Skip to content

Commit 550d46b

Browse files
pmorvalhopmorvalho
authored
Merge pull request #26 from squares-sql/gh-pages
vldb2020 pdf
2 parents b0fe7cc + 16c5d6c commit 550d46b

File tree

11 files changed

+54
-74
lines changed

11 files changed

+54
-74
lines changed

‎authors/admin/index.html

+1-12
Original file line numberDiff line numberDiff line change
@@ -120,7 +120,7 @@
120120
<meta property="og:description" content=""><meta property="og:image" content="https://squares-sql.github.io/img/icon-192.png">
121121
<meta property="twitter:image" content="https://squares-sql.github.io/img/icon-192.png"><meta property="og:locale" content="en-us">
122122

123-
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
123+
124124

125125

126126

@@ -484,17 +484,6 @@ <h2></h2>
484484

485485

486486

487-
<div class="article-widget content-widget-hr">
488-
<h3>Latest</h3>
489-
<ul>
490-
491-
<li>
492-
<a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
493-
</li>
494-
495-
</ul>
496-
</div>
497-
498487
</div>
499488
</section>
500489

‎authors/admin/index.xml

+1-9
Original file line numberDiff line numberDiff line change
@@ -5,20 +5,12 @@
55
<link>https://squares-sql.github.io/authors/admin/</link>
66
<atom:link href="https://squares-sql.github.io/authors/admin/index.xml" rel="self" type="application/rss+xml" />
77
<description>SQUARES</description>
8-
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 31 Aug 2020 00:00:00 +0000</lastBuildDate>
8+
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language>
99
<image>
1010
<url>https://squares-sql.github.io/img/icon-192.png</url>
1111
<title>SQUARES</title>
1212
<link>https://squares-sql.github.io/authors/admin/</link>
1313
</image>
1414

15-
<item>
16-
<title>SQUARES : A SQL Synthesizer Using Query Reverse Engineering</title>
17-
<link>https://squares-sql.github.io/publication/vldb2020/</link>
18-
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
19-
<guid>https://squares-sql.github.io/publication/vldb2020/</guid>
20-
<description></description>
21-
</item>
22-
2315
</channel>
2416
</rss>

‎authors/index.html

+4-4
Original file line numberDiff line numberDiff line change
@@ -438,22 +438,22 @@ <h1>Authors</h1>
438438

439439

440440

441-
<li><a href="https://squares-sql.github.io/authors/admin/"></a></li>
442-
443-
444441
<li><a href="https://squares-sql.github.io/authors/miguel-terra-neves/">Miguel Terra-Neves</a></li>
445442

446443

447444
<li><a href="https://squares-sql.github.io/authors/miguel-ventura/">Miguel Ventura</a></li>
448445

449446

447+
<li><a href="https://squares-sql.github.io/authors/pedro-orvalho/">Pedro Orvalho</a></li>
448+
449+
450450
<li><a href="https://squares-sql.github.io/authors/ruben-martins/">Ruben Martins</a></li>
451451

452452

453453
<li><a href="https://squares-sql.github.io/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></li>
454454

455455

456-
<li><a href="https://squares-sql.github.io/authors/pedro-orvalho/">Pedro Orvalho</a></li>
456+
<li><a href="https://squares-sql.github.io/authors/admin/"></a></li>
457457

458458
</ul>
459459

‎authors/index.xml

+12-12
Original file line numberDiff line numberDiff line change
@@ -12,14 +12,6 @@
1212
<link>https://squares-sql.github.io/authors/</link>
1313
</image>
1414

15-
<item>
16-
<title></title>
17-
<link>https://squares-sql.github.io/authors/admin/</link>
18-
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
19-
<guid>https://squares-sql.github.io/authors/admin/</guid>
20-
<description></description>
21-
</item>
22-
2315
<item>
2416
<title>Miguel Terra-Neves</title>
2517
<link>https://squares-sql.github.io/authors/miguel-terra-neves/</link>
@@ -36,6 +28,14 @@
3628
<description></description>
3729
</item>
3830

31+
<item>
32+
<title>Pedro Orvalho</title>
33+
<link>https://squares-sql.github.io/authors/pedro-orvalho/</link>
34+
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
35+
<guid>https://squares-sql.github.io/authors/pedro-orvalho/</guid>
36+
<description></description>
37+
</item>
38+
3939
<item>
4040
<title>Ruben Martins</title>
4141
<link>https://squares-sql.github.io/authors/ruben-martins/</link>
@@ -53,10 +53,10 @@
5353
</item>
5454

5555
<item>
56-
<title>Pedro Orvalho</title>
57-
<link>https://squares-sql.github.io/authors/pedro-orvalho/</link>
58-
<pubDate>Mon, 23 Sep 2019 00:00:00 +0000</pubDate>
59-
<guid>https://squares-sql.github.io/authors/pedro-orvalho/</guid>
56+
<title></title>
57+
<link>https://squares-sql.github.io/authors/admin/</link>
58+
<pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
59+
<guid>https://squares-sql.github.io/authors/admin/</guid>
6060
<description></description>
6161
</item>
6262

‎authors/pedro-orvalho/index.html

+5-1
Original file line numberDiff line numberDiff line change
@@ -120,7 +120,7 @@
120120
<meta property="og:description" content=""><meta property="og:image" content="https://squares-sql.github.io/img/icon-192.png">
121121
<meta property="twitter:image" content="https://squares-sql.github.io/img/icon-192.png"><meta property="og:locale" content="en-us">
122122

123-
<meta property="og:updated_time" content="2019-09-23T00:00:00&#43;00:00">
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -420,6 +420,10 @@ <h1>Pedro Orvalho</h1>
420420
<h3>Latest</h3>
421421
<ul>
422422

423+
<li>
424+
<a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
425+
</li>
426+
423427
<li>
424428
<a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a>
425429
</li>

‎authors/pedro-orvalho/index.xml

+9-1
Original file line numberDiff line numberDiff line change
@@ -5,13 +5,21 @@
55
<link>https://squares-sql.github.io/authors/pedro-orvalho/</link>
66
<atom:link href="https://squares-sql.github.io/authors/pedro-orvalho/index.xml" rel="self" type="application/rss+xml" />
77
<description>Pedro Orvalho</description>
8-
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 23 Sep 2019 00:00:00 +0000</lastBuildDate>
8+
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 31 Aug 2020 00:00:00 +0000</lastBuildDate>
99
<image>
1010
<url>https://squares-sql.github.io/img/icon-192.png</url>
1111
<title>Pedro Orvalho</title>
1212
<link>https://squares-sql.github.io/authors/pedro-orvalho/</link>
1313
</image>
1414

15+
<item>
16+
<title>SQUARES : A SQL Synthesizer Using Query Reverse Engineering</title>
17+
<link>https://squares-sql.github.io/publication/vldb2020/</link>
18+
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
19+
<guid>https://squares-sql.github.io/publication/vldb2020/</guid>
20+
<description></description>
21+
</item>
22+
1523
<item>
1624
<title>Encodings for Enumeration-Based Program Synthesis</title>
1725
<link>https://squares-sql.github.io/publication/cp2019/</link>

‎index.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -976,7 +976,7 @@ <h3 class="article-title mb-0 mt-0">
976976

977977

978978

979-
<span><a href="/authors/admin/">admin</a></span>, <span><a href="/authors/miguel-terra-neves/">Miguel Terra-Neves</a></span>, <span><a href="/authors/miguel-ventura/">Miguel Ventura</a></span>, <span><a href="/authors/ruben-martins/">Ruben Martins</a></span>, <span><a href="/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></span>
979+
<span><a href="/authors/pedro-orvalho/">Pedro Orvalho</a></span>, <span><a href="/authors/miguel-terra-neves/">Miguel Terra-Neves</a></span>, <span><a href="/authors/miguel-ventura/">Miguel Ventura</a></span>, <span><a href="/authors/ruben-martins/">Ruben Martins</a></span>, <span><a href="/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></span>
980980

981981
</div>
982982

@@ -999,7 +999,7 @@ <h3 class="article-title mb-0 mt-0">
999999

10001000

10011001

1002-
<a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="/%20" target="_blank" rel="noopener">
1002+
<a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="http://www.vldb.org/pvldb/vol13/p2853-orvalho.pdf" target="_blank" rel="noopener">
10031003
PDF
10041004
</a>
10051005

‎index.json

+1-1
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
[{"authors":[null,"Miguel Terra-Neves","Miguel Ventura","Ruben Martins","Vasco M. Manquinho"],"categories":null,"content":"","date":1598832000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1598832000,"objectID":"78466a260798a596b60204ecab2de041","permalink":"https://squares-sql.github.io/publication/vldb2020/","publishdate":"2020-06-05T00:00:00Z","relpermalink":"/publication/vldb2020/","section":"publication","summary":"In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some optional hints provided by the user. SQUARES is grounded on constraint programming techniques.","tags":["Source Themes"],"title":"SQUARES : A SQL Synthesizer Using Query Reverse Engineering","type":"publication"},{"authors":["Pedro Orvalho","Miguel Terra-Neves","Miguel Ventura","Ruben Martins","Vasco M. Manquinho"],"categories":null,"content":"","date":1569196800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1569196800,"objectID":"a90a0507155d11cdadffb5feaf5adc3b","permalink":"https://squares-sql.github.io/publication/cp2019/","publishdate":"2019-09-23T00:00:00Z","relpermalink":"/publication/cp2019/","section":"publication","summary":"In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.","tags":["Source Themes"],"title":"Encodings for Enumeration-Based Program Synthesis","type":"publication"},{"authors":["Pedro Orvalho"],"categories":null,"content":"","date":1565827200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1565827200,"objectID":"b2822fb211bf2f60d0620d4f53194a93","permalink":"https://squares-sql.github.io/publication/msc-thesis/","publishdate":"2019-08-15T00:00:00Z","relpermalink":"/publication/msc-thesis/","section":"publication","summary":"MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each program line with its own subtree.","tags":["Source Themes"],"title":"SQUARES : A SQL Synthesizer Using Query Reverse Engineering","type":"publication"}]
1+
[{"authors":["Pedro Orvalho","Miguel Terra-Neves","Miguel Ventura","Ruben Martins","Vasco M. Manquinho"],"categories":null,"content":"","date":1598832000,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1598832000,"objectID":"78466a260798a596b60204ecab2de041","permalink":"https://squares-sql.github.io/publication/vldb2020/","publishdate":"2020-06-05T00:00:00Z","relpermalink":"/publication/vldb2020/","section":"publication","summary":"In this paper, we present SQUARES, an open-source tool that generates SQL and R queries from specifications. The specifications are expressed with input-output tables and some optional hints provided by the user. SQUARES is grounded on constraint programming techniques.","tags":["Source Themes"],"title":"SQUARES : A SQL Synthesizer Using Query Reverse Engineering","type":"publication"},{"authors":["Pedro Orvalho","Miguel Terra-Neves","Miguel Ventura","Ruben Martins","Vasco M. Manquinho"],"categories":null,"content":"","date":1569196800,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1569196800,"objectID":"a90a0507155d11cdadffb5feaf5adc3b","permalink":"https://squares-sql.github.io/publication/cp2019/","publishdate":"2019-09-23T00:00:00Z","relpermalink":"/publication/cp2019/","section":"publication","summary":"In this paper, a new compact line-based encoding is proposed that allows a faster enumeration of the program space.","tags":["Source Themes"],"title":"Encodings for Enumeration-Based Program Synthesis","type":"publication"},{"authors":["Pedro Orvalho"],"categories":null,"content":"","date":1565827200,"expirydate":-62135596800,"kind":"page","lang":"en","lastmod":1565827200,"objectID":"b2822fb211bf2f60d0620d4f53194a93","permalink":"https://squares-sql.github.io/publication/msc-thesis/","publishdate":"2019-08-15T00:00:00Z","relpermalink":"/publication/msc-thesis/","section":"publication","summary":"MSc Thesis. We propose a novel Enumeration-Based SQL synthesizer SQUARES, that uses a new line representation where we represent each program line with its own subtree.","tags":["Source Themes"],"title":"SQUARES : A SQL Synthesizer Using Query Reverse Engineering","type":"publication"}]

‎publication/index.html

+2-2
Original file line numberDiff line numberDiff line change
@@ -509,7 +509,7 @@ <h1>Publications</h1>
509509

510510

511511

512-
<span><a href="/authors/admin/">admin</a></span>, <span><a href="/authors/miguel-terra-neves/">Miguel Terra-Neves</a></span>, <span><a href="/authors/miguel-ventura/">Miguel Ventura</a></span>, <span><a href="/authors/ruben-martins/">Ruben Martins</a></span>, <span><a href="/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></span>
512+
<span><a href="/authors/pedro-orvalho/">Pedro Orvalho</a></span>, <span><a href="/authors/miguel-terra-neves/">Miguel Terra-Neves</a></span>, <span><a href="/authors/miguel-ventura/">Miguel Ventura</a></span>, <span><a href="/authors/ruben-martins/">Ruben Martins</a></span>, <span><a href="/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></span>
513513

514514
</span>
515515
(2020).
@@ -531,7 +531,7 @@ <h1>Publications</h1>
531531

532532

533533

534-
<a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="/%20" target="_blank" rel="noopener">
534+
<a class="btn btn-outline-primary my-1 mr-1 btn-sm" href="http://www.vldb.org/pvldb/vol13/p2853-orvalho.pdf" target="_blank" rel="noopener">
535535
PDF
536536
</a>
537537

‎publication/vldb2020/index.html

+8-20
Original file line numberDiff line numberDiff line change
@@ -155,6 +155,11 @@
155155
"datePublished": "2020-06-05T00:00:00Z",
156156
"dateModified": "2020-08-31T00:00:00Z",
157157

158+
"author": {
159+
"@type": "Person",
160+
"name": "Pedro Orvalho"
161+
},
162+
158163
"publisher": {
159164
"@type": "Organization",
160165
"name": "SQUARES",
@@ -494,7 +499,7 @@ <h1>SQUARES : A SQL Synthesizer Using Query Reverse Engineering</h1>
494499

495500

496501

497-
<span><a href="/authors/admin/">admin</a></span>, <span><a href="/authors/miguel-terra-neves/">Miguel Terra-Neves</a></span>, <span><a href="/authors/miguel-ventura/">Miguel Ventura</a></span>, <span><a href="/authors/ruben-martins/">Ruben Martins</a></span>, <span><a href="/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></span>
502+
<span><a href="/authors/pedro-orvalho/">Pedro Orvalho</a></span>, <span><a href="/authors/miguel-terra-neves/">Miguel Terra-Neves</a></span>, <span><a href="/authors/miguel-ventura/">Miguel Ventura</a></span>, <span><a href="/authors/ruben-martins/">Ruben Martins</a></span>, <span><a href="/authors/vasco-m.-manquinho/">Vasco M. Manquinho</a></span>
498503

499504
</div>
500505

@@ -556,7 +561,7 @@ <h1>SQUARES : A SQL Synthesizer Using Query Reverse Engineering</h1>
556561

557562

558563

559-
<a class="btn btn-outline-primary my-1 mr-1" href="/%20" target="_blank" rel="noopener">
564+
<a class="btn btn-outline-primary my-1 mr-1" href="http://www.vldb.org/pvldb/vol13/p2853-orvalho.pdf" target="_blank" rel="noopener">
560565
PDF
561566
</a>
562567

@@ -774,28 +779,11 @@ <h3>Abstract</h3>
774779

775780

776781
<div class="media-body">
777-
<h5 class="card-title"><a href="/authors/admin/"></a></h5>
782+
<h5 class="card-title"><a href="/authors/pedro-orvalho/"></a></h5>
778783

779784

780785
<ul class="network-icon" aria-hidden="true">
781786

782-
783-
784-
785-
786-
787-
788-
789-
790-
791-
792-
793-
<li>
794-
<a href="https://pmorvalho.github.io" target="_blank" rel="noopener">
795-
<i class="fas fa-address-card"></i>
796-
</a>
797-
</li>
798-
799787
</ul>
800788

801789
</div>

‎sitemap.xml

+9-10
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,6 @@
22
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
33
xmlns:xhtml="http://www.w3.org/1999/xhtml">
44

5-
<url>
6-
<loc>https://squares-sql.github.io/authors/admin/</loc>
7-
<lastmod>2020-08-31T00:00:00+00:00</lastmod>
8-
</url>
9-
105
<url>
116
<loc>https://squares-sql.github.io/publication_types/1/</loc>
127
<lastmod>2020-08-31T00:00:00+00:00</lastmod>
@@ -27,6 +22,11 @@
2722
<lastmod>2020-08-31T00:00:00+00:00</lastmod>
2823
</url>
2924

25+
<url>
26+
<loc>https://squares-sql.github.io/authors/pedro-orvalho/</loc>
27+
<lastmod>2020-08-31T00:00:00+00:00</lastmod>
28+
</url>
29+
3030
<url>
3131
<loc>https://squares-sql.github.io/publication_types/</loc>
3232
<lastmod>2020-08-31T00:00:00+00:00</lastmod>
@@ -72,11 +72,6 @@
7272
<lastmod>2019-09-23T00:00:00+00:00</lastmod>
7373
</url>
7474

75-
<url>
76-
<loc>https://squares-sql.github.io/authors/pedro-orvalho/</loc>
77-
<lastmod>2019-09-23T00:00:00+00:00</lastmod>
78-
</url>
79-
8075
<url>
8176
<loc>https://squares-sql.github.io/publication_types/7/</loc>
8277
<lastmod>2019-08-15T00:00:00+00:00</lastmod>
@@ -87,6 +82,10 @@
8782
<lastmod>2019-08-15T00:00:00+00:00</lastmod>
8883
</url>
8984

85+
<url>
86+
<loc>https://squares-sql.github.io/authors/admin/</loc>
87+
</url>
88+
9089
<url>
9190
<loc>https://squares-sql.github.io/categories/</loc>
9291
</url>

0 commit comments

Comments
 (0)