Justin Hsu
|
c2b11ec611
|
Add page numbers and publishers.
|
2016-10-13 13:59:00 -04:00 |
Justin Hsu
|
883cd3e3eb
|
Add POPL accepts.
|
2016-10-03 20:25:25 -04:00 |
Justin Hsu
|
8cd47e20d0
|
Typo.
|
2016-10-03 09:27:56 -04:00 |
Justin Hsu
|
ee3d354700
|
Add WINE submission.
|
2016-09-25 06:21:52 -04:00 |
Justin Hsu
|
7f15f490b4
|
Add CCS papers.
|
2016-07-24 00:09:38 +02:00 |
Justin Hsu
|
a7e2975ef7
|
Update bib and fix typo.
|
2016-07-14 01:42:43 +02:00 |
Justin Hsu
|
d544f7e5fe
|
Add submissions and update bib.
|
2016-07-08 12:14:14 -04:00 |
Justin Hsu
|
9983b90f83
|
Add CCS submission.
|
2016-06-25 15:45:36 -04:00 |
Justin Hsu
|
f97519bf28
|
Add arxiv version of cav16.
|
2016-05-11 11:32:11 +02:00 |
Justin Hsu
|
01ddb08e5c
|
Add CAV 2016.
|
2016-04-18 16:22:25 -04:00 |
Justin Hsu
|
0aef6d2b47
|
Add ICALP 2016.
|
2016-04-15 11:44:15 -04:00 |
Justin Hsu
|
f63c6d19d4
|
Add LICS.
|
2016-04-04 17:58:24 -04:00 |
Justin Hsu
|
03140e3b8b
|
Update header.
|
2016-02-18 21:27:50 -05:00 |
Justin Hsu
|
b96ce0f114
|
Add genprices acceptance.
|
2016-02-01 22:59:26 -05:00 |
Justin Hsu
|
00f0ac70f7
|
Add private couplings draft.
|
2016-01-19 20:59:38 -05:00 |
Justin Hsu
|
2e6cc74451
|
Update bibs.
|
2015-11-13 20:17:57 +02:00 |
Justin Hsu
|
52cdd93510
|
Add SODA acceptance.
|
2015-09-11 20:26:57 +03:00 |
Justin Hsu
|
ff08f9562a
|
Shuffle bibliography, add a few missing strings.
|
2015-09-01 01:04:01 +03:00 |
Justin Hsu
|
246d20593b
|
Webpage update.
|
2015-08-17 13:10:24 +03:00 |
Justin Hsu
|
b907eb6fc8
|
Update bib and header.
|
2015-05-13 13:11:28 -04:00 |
Justin Hsu
|
7d2c1cc271
|
Update SNAPL publication.
|
2015-02-20 18:25:17 +01:00 |
Justin Hsu
|
cc7021ac4e
|
Initial version of site almost ready.
|
2015-01-04 20:43:45 -08:00 |
Justin Hsu
|
405604d03e
|
Initial commit.
Hakyll site, generates bib from bibtex.
|
2015-01-03 14:23:27 -08:00 |