Commit Graph

  • 465ffa4ed0 Update news. Justin Hsu 2018-05-25 16:37:57 -0400
  • 2fb6ce9dd3 Tweak bibs. Justin Hsu 2018-05-23 23:05:50 -0400
  • a11179a6ed Simplify templates. Justin Hsu 2018-05-07 15:40:05 -0400
  • 51a44c1f41 Fix Nate's name. Justin Hsu 2018-05-07 15:13:49 -0400
  • 6fcdc74119 Revert "Add section and article tags." Justin Hsu 2018-05-03 02:25:19 -0400
  • 3661f3298b Add section and article tags. Justin Hsu 2018-05-03 02:24:09 -0400
  • 7aebac9d84 Shrink font a bit. Justin Hsu 2018-05-03 02:10:48 -0400
  • 5528846706 Update ICALP acceptance. Justin Hsu 2018-04-16 10:30:32 -0400
  • c175d31948 Upload slides for Ellora. Justin Hsu 2018-04-16 10:29:12 -0400
  • aba62c73be Https everywhere. Justin Hsu 2018-04-11 21:00:23 -0400
  • 5660c81d72 Add preprint for CAV. Justin Hsu 2018-04-11 20:58:25 -0400
  • 96a0d99c0f Update title and link. Justin Hsu 2018-04-11 12:31:33 -0400
  • 3799db6397 Caps. Justin Hsu 2018-04-01 16:54:39 -0400
  • f15001af81 Add CAV accept. Justin Hsu 2018-04-01 16:54:20 -0400
  • 87cbe4ad7d Add equivalence for probabilistic NetKAT draft. Justin Hsu 2018-03-27 22:36:09 -0400
  • 0abe04e7c3 Typo. Justin Hsu 2018-03-24 19:49:19 -0400
  • 8c1a3533d6 Update affiliation. Justin Hsu 2018-03-05 18:54:18 -0500
  • 820d5d31bb Update to use arxiv link. Justin Hsu 2018-02-20 01:29:56 +0000
  • 2af7b5f5eb Long version of ASP. Justin Hsu 2018-02-17 18:28:56 +0000
  • 4cd1f167f3 Update drafts and bib. Justin Hsu 2018-02-17 18:18:40 +0000
  • adbb272984 Fix bug with authors with "and" in name. Justin Hsu 2018-02-17 18:18:25 +0000
  • 4ac7538d0c Update to new Pandoc and Hakyll. Justin Hsu 2018-02-17 18:18:06 +0000
  • 58491440ce Move to Stackage. Justin Hsu 2018-02-17 18:16:38 +0000
  • 4c400d62bc Update drafts. Justin Hsu 2018-02-01 12:46:10 +0000
  • 6fe29ed006 Add LICS PC. Justin Hsu 2018-02-01 12:45:54 +0000
  • a34c6c67b9 Appeared. Justin Hsu 2018-01-13 06:19:15 +0000
  • 004cdfc65a More fixes. Justin Hsu 2018-01-12 21:23:49 +0000
  • 597b75a300 Update slides. Justin Hsu 2018-01-12 21:16:20 +0000
  • 0a761cceec Add slides. Justin Hsu 2018-01-12 19:20:21 +0000
  • 0bd8622a5c Update news. Justin Hsu 2018-01-12 19:16:42 +0000
  • 06412aefbb Typo. Justin Hsu 2018-01-12 19:16:14 +0000
  • 11863f2e3e Add slides for EpRHL. Justin Hsu 2018-01-12 19:15:28 +0000
  • c40b0eb776 Fix links for slides and posters. Justin Hsu 2018-01-12 19:15:20 +0000
  • cb93b61c14 Add note about Wisconsin. Justin Hsu 2018-01-12 19:15:08 +0000
  • 07f458ccfe Note about bug in AC. Justin Hsu 2017-12-23 16:28:52 +0000
  • f49d186123 Add ESOP acceptance. Justin Hsu 2017-12-23 16:26:36 +0000
  • afe68a245f Deploy script now removes unnecessary files. Justin Hsu 2017-12-23 16:26:29 +0000
  • 4f340167b8 Fix some http links. Justin Hsu 2017-11-14 16:24:33 +0000
  • dc1ae483a2 Use https for links. Justin Hsu 2017-11-14 16:06:41 +0000
  • cc2820a3b6 Remove some papers shifted to arXiv. Justin Hsu 2017-11-10 18:08:33 +0000
  • 9516dd3db1 Merge publication lists. Justin Hsu 2017-11-09 02:45:28 +0000
  • 691ba57a04 Update news. Justin Hsu 2017-11-07 17:14:41 +0000
  • cca42a7643 Update WWW PC. Justin Hsu 2017-11-07 17:13:56 +0000
  • ef79eff723 Simplify format for articles. Justin Hsu 2017-11-07 17:12:05 +0000
  • a473b018e4 Update bibs. Justin Hsu 2017-11-07 17:11:48 +0000
  • 81b06981aa Add fields. Justin Hsu 2017-11-01 16:19:01 +0000
  • bfa91221b4 Add thesis. Justin Hsu 2017-11-01 15:45:02 +0000
  • 73a0cb0909 Bib cleaning and capitalize. Justin Hsu 2017-11-01 15:43:08 +0000
  • 51577ac507 Add drafts. Justin Hsu 2017-11-01 15:41:54 +0000
  • 13769a70aa Try adjusting analytics script. Justin Hsu 2017-10-21 02:38:55 +0100
  • 7477f8eb7d Analytics for link tracking. Justin Hsu 2017-09-30 14:40:59 +0100
  • 2f6065a267 Update google analytics tracking. Justin Hsu 2017-09-30 13:41:19 +0100
  • 7481561bdc Remove date from drafts. Justin Hsu 2017-09-27 00:18:37 +0100
  • 35e2d810dd Add POPL accepts. Justin Hsu 2017-09-27 00:13:35 +0100
  • d2ca51ebd2 Nit. Justin Hsu 2017-09-27 00:13:29 +0100
  • 066d1ced7c Small tweaks. Justin Hsu 2017-09-23 20:37:50 +0100
  • 4666ad3439 Bib updates. Justin Hsu 2017-09-21 19:35:06 +0100
  • dde5221e39 Add new contact info. Justin Hsu 2017-09-20 15:29:17 +0100
  • b4d672bd50 Add auto-coupling preprint. Justin Hsu 2017-09-20 15:21:54 +0100
  • 7f9e70c8e4 Change to use python preview server. Justin Hsu 2017-09-20 15:21:33 +0100
  • f96b1c6592 Add setup script. Justin Hsu 2017-09-20 15:21:06 +0100
  • f70e1b7fd2 Update to new version of Hakyll. Justin Hsu 2017-09-20 15:20:50 +0100
  • 7a2f517346 Update bibs. Justin Hsu 2017-08-08 20:21:25 -0400
  • 5e22d856fd Add ICALP slides. Justin Hsu 2017-07-11 09:42:59 -0400
  • 8c30d0bb73 Add updated draft, update news. Justin Hsu 2017-07-09 10:55:45 -0400
  • afdc6498e2 Link to TPDP. Justin Hsu 2017-06-12 14:35:01 -0400
  • afe7f7c955 Add FCS. Justin Hsu 2017-05-30 17:22:57 -0400
  • 7217e389fa Trim news. Justin Hsu 2017-05-12 08:02:16 -0400
  • e490409776 Add LPAR slides. Justin Hsu 2017-05-12 07:56:29 -0400
  • 576b979fde Add LPAR slides. Justin Hsu 2017-05-12 06:17:22 -0400
  • 05be844757 Add ICALP 2017. Justin Hsu 2017-05-01 20:29:44 -0400
  • 986c1bc161 Add LPAR. Justin Hsu 2017-03-01 11:42:32 -0500
  • 992c6114dc Update pointer to source. Justin Hsu 2017-02-06 14:17:13 -0500
  • 759ad5cb25 Typo. Justin Hsu 2017-02-02 21:48:38 -0500
  • f65381494a Update link. Justin Hsu 2017-02-01 21:25:02 -0500
  • 0f51788caf Add arXiv link. Justin Hsu 2017-01-24 10:54:22 -0500
  • 457de9a388 Update bib. Justin Hsu 2017-01-23 10:57:37 -0500
  • c3418eb633 Add uniformity/indep draft. Justin Hsu 2017-01-23 10:55:03 -0500
  • 5632f6ddb1 POPL slides. Justin Hsu 2017-01-23 10:55:48 -0500
  • 0a20c86616 Tighten up bio. Justin Hsu 2017-01-17 05:45:18 -0500
  • 710d259e25 Add service. Justin Hsu 2017-01-17 05:33:57 -0500
  • be54777e3a Update refs. Justin Hsu 2017-01-16 17:05:21 -0500
  • 0310c03a32 Update news. Justin Hsu 2017-01-09 22:31:55 -0800
  • 270be6d24f Fix references in metdom. Justin Hsu 2017-01-07 15:13:17 -0800
  • e839a9d4c0 Update authors and version. Justin Hsu 2017-01-07 15:03:03 -0800
  • 2b3e24dd42 Tweak. Justin Hsu 2016-12-14 18:28:31 -0500
  • 0b8c8a5a8f Fix affiliations. Justin Hsu 2016-12-14 18:27:21 -0500
  • f06c585d88 Add WINE slides. Justin Hsu 2016-12-13 17:16:25 -0500
  • 5a394b6a32 Update bib. Justin Hsu 2016-12-05 12:43:48 -0500
  • 670b41cfed Add bounded draft. Justin Hsu 2016-11-18 14:44:36 -0500
  • 363ed65f72 Use https for fonts. Justin Hsu 2016-10-30 15:12:58 -0400
  • 55c60ac529 Update CCS refs and slides. Justin Hsu 2016-10-25 08:36:45 -0400
  • 283713be89 Make check after deploy, not before. Justin Hsu 2016-10-25 08:36:37 -0400
  • 665cb30154 Bib tweaks. Justin Hsu 2016-10-13 22:44:41 -0400
  • 28c1d2c02f Add Berkeley Electronic Press. Justin Hsu 2016-10-13 22:44:11 -0400
  • e029a113f3 Template fix when journal missing information. Justin Hsu 2016-10-13 22:43:58 -0400
  • 59cc6b58ab Don't choke if month is wrong. Justin Hsu 2016-10-13 22:43:11 -0400
  • e949084a4d Split out make check. Justin Hsu 2016-10-13 22:06:10 -0400
  • 7abf5e522f Bib tweak. Justin Hsu 2016-10-13 14:08:11 -0400
  • c2b11ec611 Add page numbers and publishers. Justin Hsu 2016-10-13 13:59:00 -0400