Commit Graph

147 Commits

Author SHA1 Message Date
Justin Hsu 74a20d78fd Typo. 2021-07-11 15:39:10 +01:00
Justin Hsu 46f1917fc8 Remove jhnote. Prefer note, use errata for errors. 2021-07-11 15:29:12 +01:00
Justin Hsu 41a9c8dd5e Hide under submission. 2021-07-10 23:47:39 +01:00
Justin Hsu c733e5b1aa Update bib. 2021-07-10 23:22:55 +01:00
Justin Hsu 983a1d79fb Typo. 2021-04-03 00:45:30 +01:00
Justin Hsu 4bb4adc3c5 LICS 2021 accepts. 2021-04-02 00:57:40 +01:00
Justin Hsu dae41d2a7f LICS acceptances. 2021-04-01 23:09:59 +01:00
Justin Hsu 13e8e07eeb Bib. 2021-01-25 12:36:15 +00:00
Justin Hsu dacf190484 Remove extra booktitle. 2021-01-05 12:09:03 +00:00
Justin Hsu 6129e92a1a Arxiv for S&P 2021. 2021-01-05 10:52:04 +00:00
Justin Hsu 2602bdd594 Distinguished paper, POPL21. 2020-12-28 12:00:16 +00:00
Justin Hsu 464da44b25 Bib: SP21. 2020-12-28 11:56:46 +00:00
Justin Hsu 21d67e9dd7 Fix merge. 2020-12-16 11:25:33 +00:00
Justin Hsu 1b2c03d048 Update bibs. 2020-12-16 11:23:33 +00:00
Justin Hsu b27378575a Update. 2020-10-11 15:44:00 -05:00
Justin Hsu 5909105764 Fix year. 2020-10-04 19:08:43 -05:00
Justin Hsu 3169c114d8 Update. 2020-10-04 19:07:12 -05:00
Justin Hsu 0800594cb6 Update bib. 2020-08-24 13:36:26 -05:00
Justin Hsu 139d611d3f Update. 2020-08-18 15:51:34 -05:00
Justin Hsu 44a16544ea Update. 2020-07-21 21:30:26 -05:00
Justin Hsu a10915e00f Fix. 2020-01-13 10:27:56 -06:00
Justin Hsu 02ef453eb8 AISTATS. 2020-01-13 10:27:07 -06:00
Justin Hsu a062156ffe Journal version. 2020-01-13 10:21:35 -06:00
Justin Hsu ee0cd79f1a Update bib. 2020-01-01 08:45:00 -06:00
Justin Hsu bf957ead06 Remove FOPARA. 2019-10-27 21:30:29 -05:00
Justin Hsu 5539440521 Fix problem with underscores in URLs.
Need to use \_ instead of _ for bibtex to parse these properly.
2019-10-27 21:24:15 -05:00
Justin Hsu 72ad3df690 POPL. 2019-10-16 17:36:33 -05:00
Justin Hsu 2b299206f9 Update bibs. 2019-08-22 14:53:43 -05:00
Justin Hsu d12f81d6b9 Add IJCAI. 2019-05-10 13:49:10 -05:00
Justin Hsu 936e1fe421 Update arxiv link. 2019-04-17 22:49:32 -05:00
Justin Hsu 9da0264d40 Update. 2019-03-30 11:53:25 -05:00
Justin Hsu 7887950a65 Update. 2019-03-30 11:52:36 -05:00
Justin Hsu 7cb03409bd Update bibs. 2019-03-28 19:19:13 -05:00
Justin Hsu 4fdeccfa65 Update? 2019-02-23 22:56:09 -06:00
Justin Hsu 260440545c Update. 2019-02-20 19:58:09 -06:00
Justin Hsu bd9669ad97 Update bibs. 2018-10-31 13:15:17 -05:00
Justin Hsu ee0b45594a ICTAC appeared. 2018-10-20 05:09:04 -05:00
Justin Hsu b825e108b5 Updates. 2018-10-09 16:10:35 -05:00
Justin Hsu 8abd8fdfba Add ICTAC acceptance. 2018-07-10 17:34:25 -04:00
Justin Hsu 87d5bfbfab Add dissertation award. 2018-07-02 14:19:12 -04:00
Justin Hsu 048cf20593 Update bib. 2018-07-02 14:13:54 -04:00
Justin Hsu 9f782cd9cb Update preprint. 2018-05-30 00:52:06 -04:00
Justin Hsu 2fb6ce9dd3 Tweak bibs. 2018-05-23 23:05:50 -04:00
Justin Hsu 51a44c1f41 Fix Nate's name. 2018-05-07 15:13:49 -04:00
Justin Hsu 5528846706 Update ICALP acceptance. 2018-04-16 10:32:04 -04:00
Justin Hsu c175d31948 Upload slides for Ellora. 2018-04-16 10:29:12 -04:00
Justin Hsu aba62c73be Https everywhere. 2018-04-11 21:00:23 -04:00
Justin Hsu 5660c81d72 Add preprint for CAV. 2018-04-11 20:58:25 -04:00
Justin Hsu 96a0d99c0f Update title and link. 2018-04-11 12:31:33 -04:00
Justin Hsu f15001af81 Add CAV accept. 2018-04-01 16:54:20 -04:00