justhsu/justin-site
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
303 Commits 1 Branch 0 Tags
2a842d814255c2506e325eba991e59bf9e6ea5b0
Commit Graph
100 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Justin Hsu 2a842d8142 Archive teaching on my website. 2021-01-14 16:55:18 +00:00
Justin Hsu 420ddaed70 Don't delete extra files when deploying. 2021-01-14 15:45:38 +00:00
Justin Hsu c2c9f85ff9 Update news. 2021-01-05 12:12:21 +00:00
Justin Hsu dacf190484 Remove extra booktitle. 2021-01-05 12:09:03 +00:00
Justin Hsu 8df121fbb8 Bump GHC version to 8.10. 
To fix problem with Big Sur.
 2021-01-05 12:08:31 +00:00
Justin Hsu 6129e92a1a Arxiv for S&P 2021. 2021-01-05 10:52:04 +00:00
Justin Hsu 0244bdcdf6 Gitignore. 2021-01-03 18:32:04 +00:00
Justin Hsu 525aa09f61 Switch to cabal builds. 
No more stackage.
 2021-01-03 18:31:52 +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 fd1d2d8ecf COLT PC. 2020-11-02 10:17:05 -06:00
Justin Hsu b27378575a Update. 2020-10-11 15:44:00 -05: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 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 c648146056 Link 763. 2020-08-24 18:32:10 -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 bf8789d8cd AAAI 2020-08-17 12:08:33 -05:00
Justin Hsu b79eacb129 Update. 2020-08-14 10:44:47 -05:00
Justin Hsu 5dbd4b640d Archive 538 site. 2020-08-13 18:08:26 -05:00
Justin Hsu e7f7a39c11 Fix. 2020-07-22 16:58:51 -05:00
Justin Hsu 263dcae25e Update news. 2020-07-22 16:57:33 -05:00
Justin Hsu 44a16544ea Update. 2020-07-21 21:30:26 -05:00
Justin Hsu e8aa6ec680 PC 2020-05-18 12:26:30 -05:00
Justin Hsu 71bc612ebb PC 2020-05-18 12:24:05 -05:00
Justin Hsu 35767cc364 Update. 2020-05-01 16:15:43 -05:00
Justin Hsu 235bdefd8a Update bio. 2020-02-04 15:27:50 -06:00
Justin Hsu 1d59acba1e Link 538 website. 2020-01-15 19:01:43 -06: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 e3be221e0d Update news. 2020-01-01 08:52:36 -06:00
Justin Hsu ee0cd79f1a Update bib. 2020-01-01 08:45:00 -06:00
Justin Hsu 9d85625357 Clean contacts. 2019-10-27 21:34:04 -05:00
Justin Hsu 49d4a29c45 Don't make check during every deploy. 2019-10-27 21:31:01 -05: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 572e847c98 WoLLIC. 2019-09-23 12:45:26 -05:00
Justin Hsu 9cf7b96522 Update teaching. 2019-09-16 13:24:20 -05:00
Justin Hsu d621e92e18 Update CSF details. 2019-09-16 11:16:01 -05:00
Justin Hsu d7432a7eff Link teaching. 2019-08-23 18:25:14 -05:00
Justin Hsu 1bf64b1e22 Update news. 2019-08-22 14:59:57 -05:00
Justin Hsu 2b299206f9 Update bibs. 2019-08-22 14:53:43 -05:00
Justin Hsu 07dc58b973 Update website. 2019-08-22 14:51:16 -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 c807cab6b1 Nit. 2019-03-28 19:19:13 -05:00
Justin Hsu 4fdeccfa65 Update? 2019-02-23 22:56:09 -06:00
Justin Hsu 3b486e7652 Update. 2019-02-23 22:55:47 -06:00
Justin Hsu 260440545c Update. 2019-02-20 19:58:09 -06:00
Justin Hsu 3d3589f0ed Point to archived site. 2018-12-25 17:23:09 -06:00
Justin Hsu de9d1f9ae6 Relocate slides. 2018-11-16 14:34:37 -06:00
Justin Hsu 48435c0927 PiG talk slides. 2018-11-16 14:33:28 -06:00
Justin Hsu 2348f2cdc0 Fix link. 2018-11-13 15:12:43 -06:00
Justin Hsu 7685b78e10 Switch 538 website. 2018-11-08 15:33:21 -06:00
Justin Hsu 24a3195139 Make install dependencies. 2018-10-31 14:56:30 -05:00
Justin Hsu bd9669ad97 Update bibs. 2018-10-31 13:15:17 -05:00
Justin Hsu 276760b6c7 Gitignore. 2018-10-28 19:59:20 -05:00
Justin Hsu f468d8a51e Track package.yaml. 2018-10-28 19:59:04 -05:00
Justin Hsu 5ac84daf23 Don't track stack.yaml. 2018-10-28 19:58:57 -05:00
Justin Hsu ee0b45594a ICTAC appeared. 2018-10-20 05:09:04 -05:00
Justin Hsu e75f346dc6 Better location for slides. 2018-10-15 16:32:07 -05:00
Justin Hsu a8037883f9 Link to TPDP slides. 2018-10-15 14:56:27 -05:00
Justin Hsu f12c64bb20 Add DARS. 2018-10-12 22:43:27 -05:00
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