Commit Graph

380 Commits

Author SHA1 Message Date
Justin Hsu 092dcccd18 Links. 2018-10-09 16:17:01 -05:00
Justin Hsu dd7cfb640b Update. 2018-10-09 16:15:43 -05:00
Justin Hsu 0213d0460a News. 2018-10-09 16:12:56 -05:00
Justin Hsu b825e108b5 Updates. 2018-10-09 16:10:35 -05:00
Justin Hsu dc36490425 Tweak. 2018-09-09 23:49:25 -05:00
Justin Hsu 3e3b1c29de Shorten address. 2018-09-09 23:48:34 -05:00
Justin Hsu 6e9e6888ce Fix course name. 2018-09-09 23:47:12 -05:00
Justin Hsu ab0408239b Link to teaching. 2018-09-04 22:51:09 -05:00
Justin Hsu 82a50a7807 Update. 2018-09-03 01:47:05 -05:00
Justin Hsu 6378c55028 Update. 2018-09-03 01:46:31 -05:00
Justin Hsu 03d756e58c Update to use http server for python3. 2018-07-29 23:00:53 -04:00
Justin Hsu 8abd8fdfba Add ICTAC acceptance. 2018-07-10 17:34:25 -04:00
Justin Hsu aa0fc82778 Nit. 2018-07-02 17:03: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 ec8f491da6 Change field name note to jhnote. 2018-07-02 14:13:50 -04:00
Justin Hsu fac8dcc24c Pass all fields through latex filter by default. 2018-07-02 14:13:33 -04:00
Justin Hsu 9f782cd9cb Update preprint. 2018-05-30 00:52:06 -04:00
Justin Hsu 465ffa4ed0 Update news. 2018-05-25 16:37:57 -04:00
Justin Hsu 2fb6ce9dd3 Tweak bibs. 2018-05-23 23:05:50 -04:00
Justin Hsu a11179a6ed Simplify templates. 2018-05-07 15:40:05 -04:00
Justin Hsu 51a44c1f41 Fix Nate's name. 2018-05-07 15:13:49 -04:00
Justin Hsu 6fcdc74119 Revert "Add section and article tags."
This reverts commit 3661f3298b.
2018-05-03 02:25:19 -04:00
Justin Hsu 3661f3298b Add section and article tags.
Absolute abomination.
2018-05-03 02:24:09 -04:00
Justin Hsu 7aebac9d84 Shrink font a bit. 2018-05-03 02:10:48 -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 3799db6397 Caps. 2018-04-01 16:54:39 -04:00
Justin Hsu f15001af81 Add CAV accept. 2018-04-01 16:54:20 -04:00
Justin Hsu 87cbe4ad7d Add equivalence for probabilistic NetKAT draft. 2018-03-27 22:36:09 -04:00
Justin Hsu 0abe04e7c3 Typo. 2018-03-24 19:49:19 -04:00
Justin Hsu 8c1a3533d6 Update affiliation. 2018-03-05 18:54:18 -05:00
Justin Hsu 820d5d31bb Update to use arxiv link. 2018-02-20 01:29:56 +00:00
Justin Hsu 2af7b5f5eb Long version of ASP. 2018-02-17 18:28:56 +00:00
Justin Hsu 4cd1f167f3 Update drafts and bib. 2018-02-17 18:23:17 +00:00
Justin Hsu adbb272984 Fix bug with authors with "and" in name. 2018-02-17 18:23:17 +00:00
Justin Hsu 4ac7538d0c Update to new Pandoc and Hakyll. 2018-02-17 18:23:17 +00:00
Justin Hsu 58491440ce Move to Stackage.
No more cabal sandbox.
2018-02-17 18:23:17 +00:00
Justin Hsu 4c400d62bc Update drafts. 2018-02-01 12:46:10 +00:00
Justin Hsu 6fe29ed006 Add LICS PC. 2018-02-01 12:45:54 +00:00
Justin Hsu a34c6c67b9 Appeared. 2018-01-13 06:19:15 +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 0bd8622a5c Update news. 2018-01-12 19:16:42 +00:00
Justin Hsu 06412aefbb Typo. 2018-01-12 19:16:14 +00:00
Justin Hsu 11863f2e3e Add slides for EpRHL. 2018-01-12 19:15:36 +00:00