Skip to content

Commit aedbc40

Browse files
pmorvalhopmorvalho
committed
vldb 2020 added
1 parent 3e0778e commit aedbc40

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

41 files changed

+3540
-142
lines changed

‎404.html

+4-2
Original file line numberDiff line numberDiff line change
@@ -420,9 +420,11 @@ <h1>Page not found</h1>
420420
<h2>Latest</h2>
421421
<ul>
422422

423-
<li><a href="/publication/conference-paper/">Encodings for Enumeration-Based Program Synthesis</a></li>
423+
<li><a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a></li>
424424

425-
<li><a href="/publication/thesis/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a></li>
425+
<li><a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a></li>
426+
427+
<li><a href="/publication/msc-thesis/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a></li>
426428

427429
</ul>
428430

‎authors/admin/index.html

+20-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-
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -484,6 +484,25 @@ <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+
<li>
496+
<a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a>
497+
</li>
498+
499+
<li>
500+
<a href="/publication/msc-thesis/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
501+
</li>
502+
503+
</ul>
504+
</div>
505+
487506
</div>
488507
</section>
489508

‎authors/admin/index.xml

+25-1
Original file line numberDiff line numberDiff line change
@@ -5,12 +5,36 @@
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>
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>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+
23+
<item>
24+
<title>Encodings for Enumeration-Based Program Synthesis</title>
25+
<link>https://squares-sql.github.io/publication/cp2019/</link>
26+
<pubDate>Mon, 23 Sep 2019 00:00:00 +0000</pubDate>
27+
<guid>https://squares-sql.github.io/publication/cp2019/</guid>
28+
<description></description>
29+
</item>
30+
31+
<item>
32+
<title>SQUARES : A SQL Synthesizer Using Query Reverse Engineering</title>
33+
<link>https://squares-sql.github.io/publication/msc-thesis/</link>
34+
<pubDate>Thu, 15 Aug 2019 00:00:00 +0000</pubDate>
35+
<guid>https://squares-sql.github.io/publication/msc-thesis/</guid>
36+
<description></description>
37+
</item>
38+
1539
</channel>
1640
</rss>

‎authors/index.html

+4-7
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-23T13:59:34&#43;02:00">
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -438,23 +438,20 @@ <h1>Authors</h1>
438438

439439

440440

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

443443

444-
<li><a href="https://squares-sql.github.io/authors/miguel-ventura/">Miguel Ventura</a></li>
444+
<li><a href="https://squares-sql.github.io/authors/miguel-terra-neves/">Miguel Terra-Neves</a></li>
445445

446446

447-
<li><a href="https://squares-sql.github.io/authors/pedro-orvalho/">Pedro Orvalho</a></li>
447+
<li><a href="https://squares-sql.github.io/authors/miguel-ventura/">Miguel Ventura</a></li>
448448

449449

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

455-
456-
<li><a href="https://squares-sql.github.io/authors/admin/"></a></li>
457-
458455
</ul>
459456

460457

‎authors/index.xml

+13-21
Original file line numberDiff line numberDiff line change
@@ -5,60 +5,52 @@
55
<link>https://squares-sql.github.io/authors/</link>
66
<atom:link href="https://squares-sql.github.io/authors/index.xml" rel="self" type="application/rss+xml" />
77
<description>Authors</description>
8-
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 23 Sep 2019 13:59:34 +0200</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>Authors</title>
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+
1523
<item>
1624
<title>Miguel Terra-Neves</title>
1725
<link>https://squares-sql.github.io/authors/miguel-terra-neves/</link>
18-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
26+
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
1927
<guid>https://squares-sql.github.io/authors/miguel-terra-neves/</guid>
2028
<description></description>
2129
</item>
2230

2331
<item>
2432
<title>Miguel Ventura</title>
2533
<link>https://squares-sql.github.io/authors/miguel-ventura/</link>
26-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
34+
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
2735
<guid>https://squares-sql.github.io/authors/miguel-ventura/</guid>
2836
<description></description>
2937
</item>
3038

31-
<item>
32-
<title>Pedro Orvalho</title>
33-
<link>https://squares-sql.github.io/authors/pedro-orvalho/</link>
34-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</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>
42-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
42+
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
4343
<guid>https://squares-sql.github.io/authors/ruben-martins/</guid>
4444
<description></description>
4545
</item>
4646

4747
<item>
4848
<title>Vasco M. Manquinho</title>
4949
<link>https://squares-sql.github.io/authors/vasco-m.-manquinho/</link>
50-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
50+
<pubDate>Mon, 31 Aug 2020 00:00:00 +0000</pubDate>
5151
<guid>https://squares-sql.github.io/authors/vasco-m.-manquinho/</guid>
5252
<description></description>
5353
</item>
5454

55-
<item>
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>
60-
<description></description>
61-
</item>
62-
6355
</channel>
6456
</rss>

‎authors/miguel-terra-neves/index.html

+6-2
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-23T13:59:34&#43;02:00">
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -421,7 +421,11 @@ <h3>Latest</h3>
421421
<ul>
422422

423423
<li>
424-
<a href="/publication/conference-paper/">Encodings for Enumeration-Based Program Synthesis</a>
424+
<a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
425+
</li>
426+
427+
<li>
428+
<a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a>
425429
</li>
426430

427431
</ul>

‎authors/miguel-terra-neves/index.xml

+12-4
Original file line numberDiff line numberDiff line change
@@ -5,18 +5,26 @@
55
<link>https://squares-sql.github.io/authors/miguel-terra-neves/</link>
66
<atom:link href="https://squares-sql.github.io/authors/miguel-terra-neves/index.xml" rel="self" type="application/rss+xml" />
77
<description>Miguel Terra-Neves</description>
8-
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 23 Sep 2019 13:59:34 +0200</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>Miguel Terra-Neves</title>
1212
<link>https://squares-sql.github.io/authors/miguel-terra-neves/</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>
17-
<link>https://squares-sql.github.io/publication/conference-paper/</link>
18-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
19-
<guid>https://squares-sql.github.io/publication/conference-paper/</guid>
25+
<link>https://squares-sql.github.io/publication/cp2019/</link>
26+
<pubDate>Mon, 23 Sep 2019 00:00:00 +0000</pubDate>
27+
<guid>https://squares-sql.github.io/publication/cp2019/</guid>
2028
<description></description>
2129
</item>
2230

‎authors/miguel-ventura/index.html

+6-2
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-23T13:59:34&#43;02:00">
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -421,7 +421,11 @@ <h3>Latest</h3>
421421
<ul>
422422

423423
<li>
424-
<a href="/publication/conference-paper/">Encodings for Enumeration-Based Program Synthesis</a>
424+
<a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
425+
</li>
426+
427+
<li>
428+
<a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a>
425429
</li>
426430

427431
</ul>

‎authors/miguel-ventura/index.xml

+12-4
Original file line numberDiff line numberDiff line change
@@ -5,18 +5,26 @@
55
<link>https://squares-sql.github.io/authors/miguel-ventura/</link>
66
<atom:link href="https://squares-sql.github.io/authors/miguel-ventura/index.xml" rel="self" type="application/rss+xml" />
77
<description>Miguel Ventura</description>
8-
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 23 Sep 2019 13:59:34 +0200</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>Miguel Ventura</title>
1212
<link>https://squares-sql.github.io/authors/miguel-ventura/</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>
17-
<link>https://squares-sql.github.io/publication/conference-paper/</link>
18-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
19-
<guid>https://squares-sql.github.io/publication/conference-paper/</guid>
25+
<link>https://squares-sql.github.io/publication/cp2019/</link>
26+
<pubDate>Mon, 23 Sep 2019 00:00:00 +0000</pubDate>
27+
<guid>https://squares-sql.github.io/publication/cp2019/</guid>
2028
<description></description>
2129
</item>
2230

‎authors/ruben-martins/index.html

+6-2
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-23T13:59:34&#43;02:00">
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -421,7 +421,11 @@ <h3>Latest</h3>
421421
<ul>
422422

423423
<li>
424-
<a href="/publication/conference-paper/">Encodings for Enumeration-Based Program Synthesis</a>
424+
<a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
425+
</li>
426+
427+
<li>
428+
<a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a>
425429
</li>
426430

427431
</ul>

‎authors/ruben-martins/index.xml

+12-4
Original file line numberDiff line numberDiff line change
@@ -5,18 +5,26 @@
55
<link>https://squares-sql.github.io/authors/ruben-martins/</link>
66
<atom:link href="https://squares-sql.github.io/authors/ruben-martins/index.xml" rel="self" type="application/rss+xml" />
77
<description>Ruben Martins</description>
8-
<generator>Source Themes Academic (https://sourcethemes.com/academic/)</generator><language>en-us</language><lastBuildDate>Mon, 23 Sep 2019 13:59:34 +0200</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>Ruben Martins</title>
1212
<link>https://squares-sql.github.io/authors/ruben-martins/</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>
17-
<link>https://squares-sql.github.io/publication/conference-paper/</link>
18-
<pubDate>Mon, 23 Sep 2019 13:59:34 +0200</pubDate>
19-
<guid>https://squares-sql.github.io/publication/conference-paper/</guid>
25+
<link>https://squares-sql.github.io/publication/cp2019/</link>
26+
<pubDate>Mon, 23 Sep 2019 00:00:00 +0000</pubDate>
27+
<guid>https://squares-sql.github.io/publication/cp2019/</guid>
2028
<description></description>
2129
</item>
2230

‎authors/vasco-m.-manquinho/index.html

+6-2
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-23T13:59:34&#43;02:00">
123+
<meta property="og:updated_time" content="2020-08-31T00:00:00&#43;00:00">
124124

125125

126126

@@ -421,7 +421,11 @@ <h3>Latest</h3>
421421
<ul>
422422

423423
<li>
424-
<a href="/publication/conference-paper/">Encodings for Enumeration-Based Program Synthesis</a>
424+
<a href="/publication/vldb2020/">SQUARES : A SQL Synthesizer Using Query Reverse Engineering</a>
425+
</li>
426+
427+
<li>
428+
<a href="/publication/cp2019/">Encodings for Enumeration-Based Program Synthesis</a>
425429
</li>
426430

427431
</ul>

0 commit comments

Comments
 (0)