Commit Graph

  • 11bce367db Add OPLSS 2021. Justin Hsu 2021-07-10 23:35:42 +0100
  • c733e5b1aa Update bib. Justin Hsu 2021-07-10 23:22:55 +0100
  • 983a1d79fb Typo. Justin Hsu 2021-04-03 00:45:30 +0100
  • 4bb4adc3c5 LICS 2021 accepts. Justin Hsu 2021-04-02 00:57:40 +0100
  • 568986aba8 MFPS and other PCs. Justin Hsu 2021-04-01 23:14:17 +0100
  • dae41d2a7f LICS acceptances. Justin Hsu 2021-04-01 23:09:59 +0100
  • 9a1197b19f Moving. Justin Hsu 2021-03-09 00:36:59 +0000
  • 13e8e07eeb Bib. Justin Hsu 2021-01-25 12:36:15 +0000
  • 62e3e86429 Fix link. Justin Hsu 2021-01-14 23:01:45 +0000
  • 2a842d8142 Archive teaching on my website. Justin Hsu 2021-01-14 16:55:18 +0000
  • 420ddaed70 Don't delete extra files when deploying. Justin Hsu 2021-01-14 15:45:38 +0000
  • c2c9f85ff9 Update news. Justin Hsu 2021-01-04 13:07:02 +0000
  • dacf190484 Remove extra booktitle. Justin Hsu 2021-01-05 12:09:03 +0000
  • 8df121fbb8 Bump GHC version to 8.10. Justin Hsu 2021-01-05 12:08:31 +0000
  • 6129e92a1a Arxiv for S&P 2021. Justin Hsu 2021-01-05 10:52:04 +0000
  • 0244bdcdf6 Gitignore. Justin Hsu 2021-01-03 18:32:04 +0000
  • 525aa09f61 Switch to cabal builds. Justin Hsu 2021-01-03 18:31:52 +0000
  • 2602bdd594 Distinguished paper, POPL21. Justin Hsu 2020-12-28 12:00:16 +0000
  • 464da44b25 Bib: SP21. Justin Hsu 2020-12-28 11:56:46 +0000
  • 21d67e9dd7 Fix merge. Justin Hsu 2020-12-16 11:25:33 +0000
  • 1b2c03d048 Update bibs. Justin Hsu 2020-12-16 11:23:00 +0000
  • fd1d2d8ecf COLT PC. Justin Hsu 2020-11-02 10:17:05 -0600
  • b27378575a Update. Justin Hsu 2020-10-11 15:44:00 -0500
  • aafeb0435d Fix POPL slides. Justin Hsu 2020-10-05 09:24:59 -0500
  • 93d6a54fcd Remove extraneous. Justin Hsu 2020-10-05 09:22:14 -0500
  • 0af3898e45 CMCS tutorial. Justin Hsu 2020-10-05 09:22:06 -0500
  • 5909105764 Fix year. Justin Hsu 2020-10-04 19:08:43 -0500
  • 3169c114d8 Update. Justin Hsu 2020-10-04 19:07:12 -0500
  • c648146056 Link 763. Justin Hsu 2020-08-24 18:32:10 -0500
  • 0800594cb6 Update bib. Justin Hsu 2020-08-24 13:36:26 -0500
  • 139d611d3f Update. Justin Hsu 2020-08-18 15:51:34 -0500
  • bf8789d8cd AAAI Justin Hsu 2020-08-17 12:08:33 -0500
  • b79eacb129 Update. Justin Hsu 2020-08-14 10:44:47 -0500
  • 5dbd4b640d Archive 538 site. Justin Hsu 2020-08-13 18:08:26 -0500
  • e7f7a39c11 Fix. Justin Hsu 2020-07-22 16:58:51 -0500
  • 263dcae25e Update news. Justin Hsu 2020-07-22 16:57:33 -0500
  • 44a16544ea Update. Justin Hsu 2020-07-21 21:30:26 -0500
  • e8aa6ec680 PC Justin Hsu 2020-05-18 12:26:30 -0500
  • 71bc612ebb PC Justin Hsu 2020-05-18 12:24:05 -0500
  • 35767cc364 Update. Justin Hsu 2020-05-01 16:15:43 -0500
  • 235bdefd8a Update bio. Justin Hsu 2020-02-04 15:27:50 -0600
  • 1d59acba1e Link 538 website. Justin Hsu 2020-01-15 19:01:43 -0600
  • a10915e00f Fix. Justin Hsu 2020-01-13 10:27:56 -0600
  • 02ef453eb8 AISTATS. Justin Hsu 2020-01-13 10:27:07 -0600
  • a062156ffe Journal version. Justin Hsu 2020-01-13 10:21:35 -0600
  • e3be221e0d Update news. Justin Hsu 2020-01-01 08:52:17 -0600
  • ee0cd79f1a Update bib. Justin Hsu 2020-01-01 08:45:00 -0600
  • 9d85625357 Clean contacts. Justin Hsu 2019-10-27 21:33:14 -0500
  • 49d4a29c45 Don't make check during every deploy. Justin Hsu 2019-10-27 21:31:01 -0500
  • bf957ead06 Remove FOPARA. Justin Hsu 2019-10-27 21:30:29 -0500
  • 5539440521 Fix problem with underscores in URLs. Justin Hsu 2019-10-27 21:24:15 -0500
  • 72ad3df690 POPL. Justin Hsu 2019-10-16 17:36:33 -0500
  • 572e847c98 WoLLIC. Justin Hsu 2019-09-23 12:45:26 -0500
  • 9cf7b96522 Update teaching. Justin Hsu 2019-09-16 13:24:20 -0500
  • d621e92e18 Update CSF details. Justin Hsu 2019-09-16 11:16:01 -0500
  • d7432a7eff Link teaching. Justin Hsu 2019-08-23 18:25:14 -0500
  • 1bf64b1e22 Update news. Justin Hsu 2019-08-22 14:59:57 -0500
  • 2b299206f9 Update bibs. Justin Hsu 2019-08-22 14:53:43 -0500
  • 07dc58b973 Update website. Justin Hsu 2019-08-22 14:51:16 -0500
  • d12f81d6b9 Add IJCAI. Justin Hsu 2019-05-10 13:49:10 -0500
  • 936e1fe421 Update arxiv link. Justin Hsu 2019-04-17 22:49:32 -0500
  • 9da0264d40 Update. Justin Hsu 2019-03-30 11:53:25 -0500
  • 7887950a65 Update. Justin Hsu 2019-03-30 11:48:44 -0500
  • 7cb03409bd Update bibs. Justin Hsu 2019-03-28 19:19:07 -0500
  • c807cab6b1 Nit. Justin Hsu 2019-03-07 12:03:07 -0600
  • 4fdeccfa65 Update? Justin Hsu 2019-02-23 22:55:15 -0600
  • 3b486e7652 Update. Justin Hsu 2019-02-23 22:53:37 -0600
  • 260440545c Update. Justin Hsu 2019-02-20 19:57:41 -0600
  • 3d3589f0ed Point to archived site. Justin Hsu 2018-12-25 17:23:09 -0600
  • de9d1f9ae6 Relocate slides. Justin Hsu 2018-11-16 14:34:37 -0600
  • 48435c0927 PiG talk slides. Justin Hsu 2018-11-16 14:33:28 -0600
  • 2348f2cdc0 Fix link. Justin Hsu 2018-11-13 15:12:43 -0600
  • 7685b78e10 Switch 538 website. Justin Hsu 2018-11-08 15:33:21 -0600
  • 24a3195139 Make install dependencies. Justin Hsu 2018-10-31 14:56:30 -0500
  • bd9669ad97 Update bibs. Justin Hsu 2018-10-31 13:15:17 -0500
  • 276760b6c7 Gitignore. Justin Hsu 2018-10-28 19:59:20 -0500
  • f468d8a51e Track package.yaml. Justin Hsu 2018-10-28 19:59:04 -0500
  • 5ac84daf23 Don't track stack.yaml. Justin Hsu 2018-10-28 19:58:57 -0500
  • ee0b45594a ICTAC appeared. Justin Hsu 2018-10-20 05:09:04 -0500
  • e75f346dc6 Better location for slides. Justin Hsu 2018-10-15 16:32:07 -0500
  • a8037883f9 Link to TPDP slides. Justin Hsu 2018-10-15 14:56:27 -0500
  • f12c64bb20 Add DARS. Justin Hsu 2018-10-12 22:43:27 -0500
  • 092dcccd18 Links. Justin Hsu 2018-10-09 16:17:01 -0500
  • dd7cfb640b Update. Justin Hsu 2018-10-09 16:15:43 -0500
  • 0213d0460a News. Justin Hsu 2018-10-09 16:12:56 -0500
  • b825e108b5 Updates. Justin Hsu 2018-10-09 16:10:35 -0500
  • dc36490425 Tweak. Justin Hsu 2018-09-09 23:49:25 -0500
  • 3e3b1c29de Shorten address. Justin Hsu 2018-09-09 23:48:34 -0500
  • 6e9e6888ce Fix course name. Justin Hsu 2018-09-09 23:47:12 -0500
  • ab0408239b Link to teaching. Justin Hsu 2018-09-04 22:51:09 -0500
  • 82a50a7807 Update. Justin Hsu 2018-09-03 01:47:05 -0500
  • 6378c55028 Update. Justin Hsu 2018-09-03 01:46:31 -0500
  • 03d756e58c Update to use http server for python3. Justin Hsu 2018-07-29 23:00:53 -0400
  • 8abd8fdfba Add ICTAC acceptance. Justin Hsu 2018-07-10 17:34:25 -0400
  • aa0fc82778 Nit. Justin Hsu 2018-07-02 17:03:25 -0400
  • 87d5bfbfab Add dissertation award. Justin Hsu 2018-07-02 14:19:12 -0400
  • 048cf20593 Update bib. Justin Hsu 2018-07-02 14:13:54 -0400
  • ec8f491da6 Change field name note to jhnote. Justin Hsu 2018-07-02 14:13:50 -0400
  • fac8dcc24c Pass all fields through latex filter by default. Justin Hsu 2018-07-02 14:13:33 -0400
  • 9f782cd9cb Update preprint. Justin Hsu 2018-05-30 00:52:06 -0400