48 Commits

Author SHA1 Message Date
Justin Hsu
11bce367db Add OPLSS 2021. 2021-07-10 23:35:42 +01:00
Justin Hsu
aafeb0435d Fix POPL slides. 2020-10-05 09:24:59 -05:00
Justin Hsu
93d6a54fcd Remove extraneous. 2020-10-05 09:22:14 -05:00
Justin Hsu
0af3898e45 CMCS tutorial. 2020-10-05 09:22:06 -05:00
Justin Hsu
263dcae25e Update news. 2020-07-22 16:57:33 -05:00
Justin Hsu
de9d1f9ae6 Relocate slides. 2018-11-16 14:34:37 -06:00
Justin Hsu
e75f346dc6 Better location for slides. 2018-10-15 16:32:07 -05:00
Justin Hsu
c175d31948 Upload slides for Ellora. 2018-04-16 10:29:12 -04:00
Justin Hsu
2af7b5f5eb Long version of ASP. 2018-02-17 18:28:56 +00:00
Justin Hsu
004cdfc65a More fixes. 2018-01-12 21:23:49 +00:00
Justin Hsu
597b75a300 Update slides. 2018-01-12 21:16:20 +00:00
Justin Hsu
0a761cceec Add slides. 2018-01-12 19:20:21 +00:00
Justin Hsu
cc2820a3b6 Remove some papers shifted to arXiv. 2017-11-10 18:08:33 +00:00
Justin Hsu
51577ac507 Add drafts. 2017-11-01 15:45:53 +00: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
e490409776 Add LPAR slides. 2017-05-12 07:56:36 -04:00
Justin Hsu
c3418eb633 Add uniformity/indep draft. 2017-01-23 10:59:24 -05:00
Justin Hsu
5632f6ddb1 POPL slides. 2017-01-23 10:59:24 -05:00
Justin Hsu
270be6d24f Fix references in metdom. 2017-01-07 15:13:17 -08:00
Justin Hsu
e839a9d4c0 Update authors and version. 2017-01-07 15:03:03 -08:00
Justin Hsu
2b3e24dd42 Tweak. 2016-12-14 18:28:31 -05:00
Justin Hsu
0b8c8a5a8f Fix affiliations. 2016-12-14 18:27:21 -05: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
0a9b1ab9d4 Rename files to be readable. 2016-10-13 12:26:38 -04: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
d544f7e5fe Add submissions and update bib. 2016-07-08 12:14:14 -04:00
Justin Hsu
f97519bf28 Add arxiv version of cav16. 2016-05-11 11:32:11 +02:00
Justin Hsu
bae96fea51 Add martingales paper. 2016-01-29 16:23:37 -05:00
Justin Hsu
ac30f4920d Add SODA slides. 2016-01-10 20:46:47 -05:00
Justin Hsu
48d3625673 Add LPAR slides. 2015-11-28 17:41:59 +13:00
Justin Hsu
a2c59042cb Update accuracy draft. 2015-11-24 15:41:20 +13:00
Justin Hsu
b07e4adce6 Replace coupling paper with arxiv link. 2015-09-14 10:59:17 +03:00
Justin Hsu
86eb4a6f37 Add IFL slides. 2015-09-01 01:07:21 +03:00
Justin Hsu
6a5966b3a5 Add some papers and slides. 2015-09-01 01:07:06 +03:00
Justin Hsu
33ce7d063f Remove some old preprints.
Moved to arxiv.
2015-08-27 15:57:15 +03:00
Justin Hsu
36774a29b2 Update online assignment paper. 2015-05-13 13:11:21 -04:00
Justin Hsu
50b4d69442 For some reason, Hakyll doesn't like the + symbol. 2015-05-13 13:11:10 -04:00
Justin Hsu
271c1aa847 Fix typo. 2015-05-13 12:55:13 -04:00
Justin Hsu
ff7d516db3 Update tax abstract. 2015-03-21 17:08:46 -04:00
Justin Hsu
c866d1280a Add crowdsourcing draft. 2015-02-22 14:40:04 +01:00
Justin Hsu
3f86aaae9d Add POPL slides. 2015-01-26 15:37:55 +01:00
Justin Hsu
130e17daee Add SNAPL drafts, update website. 2015-01-12 15:35:38 +01:00
Justin Hsu
6bcab7ce96 Makefile and deploy. 2015-01-04 22:20:06 -08:00
Justin Hsu
eb2315d12a Add pdfs. 2015-01-04 20:44:01 -08:00