83 Commits

Author SHA1 Message Date
Justin Hsu
cb93b61c14 Add note about Wisconsin. 2018-01-12 19:15:08 +00:00
Justin Hsu
f49d186123 Add ESOP acceptance. 2017-12-23 16:26:36 +00:00
Justin Hsu
4f340167b8 Fix some http links. 2017-11-14 16:24:33 +00:00
Justin Hsu
dc1ae483a2 Use https for links. 2017-11-14 16:12:39 +00:00
Justin Hsu
9516dd3db1 Merge publication lists. 2017-11-09 02:45:28 +00:00
Justin Hsu
691ba57a04 Update news. 2017-11-07 17:14:41 +00:00
Justin Hsu
cca42a7643 Update WWW PC. 2017-11-07 17:13:56 +00:00
Justin Hsu
bfa91221b4 Add thesis. 2017-11-01 15:46:30 +00:00
Justin Hsu
73a0cb0909 Bib cleaning and capitalize. 2017-11-01 15:46:29 +00:00
Justin Hsu
51577ac507 Add drafts. 2017-11-01 15:45:53 +00:00
Justin Hsu
35e2d810dd Add POPL accepts. 2017-09-27 00:13:35 +01:00
Justin Hsu
d2ca51ebd2 Nit. 2017-09-27 00:13:29 +01:00
Justin Hsu
dde5221e39 Add new contact info. 2017-09-20 15:29:17 +01:00
Justin Hsu
b4d672bd50 Add auto-coupling preprint. 2017-09-20 15:21:54 +01:00
Justin Hsu
5e22d856fd Add ICALP slides. 2017-07-11 09:42:59 -04:00
Justin Hsu
8c30d0bb73 Add updated draft, update news. 2017-07-09 10:55:45 -04:00
Justin Hsu
afdc6498e2 Link to TPDP. 2017-06-12 14:35:01 -04:00
Justin Hsu
afe7f7c955 Add FCS. 2017-05-30 17:22:57 -04:00
Justin Hsu
7217e389fa Trim news. 2017-05-12 08:02:16 -04:00
Justin Hsu
576b979fde Add LPAR slides. 2017-05-12 06:17:22 -04:00
Justin Hsu
05be844757 Add ICALP 2017. 2017-05-01 20:29:44 -04:00
Justin Hsu
986c1bc161 Add LPAR. 2017-03-01 11:42:32 -05:00
Justin Hsu
992c6114dc Update pointer to source. 2017-02-06 14:17:13 -05:00
Justin Hsu
5632f6ddb1 POPL slides. 2017-01-23 10:59:24 -05:00
Justin Hsu
0a20c86616 Tighten up bio. 2017-01-17 05:45:18 -05:00
Justin Hsu
710d259e25 Add service. 2017-01-17 05:33:57 -05:00
Justin Hsu
0310c03a32 Update news. 2017-01-09 22:31:55 -08:00
Justin Hsu
f06c585d88 Add WINE slides. 2016-12-13 17:16:25 -05:00
Justin Hsu
670b41cfed Add bounded draft. 2016-11-18 14:44:36 -05:00
Justin Hsu
55c60ac529 Update CCS refs and slides. 2016-10-25 08:37:42 -04:00
Justin Hsu
302ae7368e Remove distinction between regular and arXiv. 2016-10-13 12:27:37 -04:00
Justin Hsu
9f68d5f189 Fix. 2016-10-04 14:32:26 -04:00
Justin Hsu
36d188ae53 Delete old news. 2016-10-03 20:28:26 -04:00
Justin Hsu
883cd3e3eb Add POPL accepts. 2016-10-03 20:25:25 -04:00
Justin Hsu
3153eb3d8d Revert "Nit."
This reverts commit a5fc065d82626d72a7acdbdba383856aa65f7e44.
2016-09-25 10:23:24 -04:00
Justin Hsu
a5fc065d82 Nit. 2016-09-25 10:21:45 -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
e37e275d69 Replace products by arXiv version. 2016-07-14 16:19:26 +02:00
Justin Hsu
e85f990f4c Add slides. 2016-07-08 15:27:18 -04:00
Justin Hsu
a2b49873f9 Typo in year. 2016-07-08 15:25:41 -04: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
9b73987dc8 Add PrivInfer draft. 2016-05-02 21:15:08 -04:00
Justin Hsu
d99e6b4d8a Update news. 2016-04-18 16:22:25 -04:00
Justin Hsu
83d41bc1ad Update news. 2016-04-15 11:45:02 -04:00
Justin Hsu
e6c127b817 Typo. 2016-04-05 10:18:51 -04:00
Justin Hsu
f63c6d19d4 Add LICS. 2016-04-04 17:58:24 -04:00
Justin Hsu
f3e9d7da16 Update HKM verif paper. 2016-03-28 18:46:06 -04:00