Justin Hsu
|
f49d186123
|
Add ESOP acceptance.
|
2017-12-23 16:26:36 +00:00 |
|
Justin Hsu
|
afe68a245f
|
Deploy script now removes unnecessary files.
|
2017-12-23 16:26:29 +00:00 |
|
Justin Hsu
|
4f340167b8
|
Fix some http links.
|
2017-11-14 16:24:33 +00:00 |
|
Justin Hsu
|
dc1ae483a2
|
Use https for links.
|
2017-11-14 16:12:39 +00:00 |
|
Justin Hsu
|
cc2820a3b6
|
Remove some papers shifted to arXiv.
|
2017-11-10 18:08:33 +00:00 |
|
Justin Hsu
|
9516dd3db1
|
Merge publication lists.
|
2017-11-09 02:45:28 +00:00 |
|
Justin Hsu
|
691ba57a04
|
Update news.
|
2017-11-07 17:14:41 +00:00 |
|
Justin Hsu
|
cca42a7643
|
Update WWW PC.
|
2017-11-07 17:13:56 +00:00 |
|
Justin Hsu
|
ef79eff723
|
Simplify format for articles.
No page numbers, month, year.
|
2017-11-07 17:12:05 +00:00 |
|
Justin Hsu
|
a473b018e4
|
Update bibs.
|
2017-11-07 17:11:48 +00:00 |
|
Justin Hsu
|
81b06981aa
|
Add fields.
Need month and page numbers, otherwise rendering breaks...
|
2017-11-01 16:19:01 +00:00 |
|
Justin Hsu
|
bfa91221b4
|
Add thesis.
|
2017-11-01 15:46:30 +00:00 |
|
Justin Hsu
|
73a0cb0909
|
Bib cleaning and capitalize.
|
2017-11-01 15:46:29 +00:00 |
|
Justin Hsu
|
51577ac507
|
Add drafts.
|
2017-11-01 15:45:53 +00:00 |
|
Justin Hsu
|
13769a70aa
|
Try adjusting analytics script.
|
2017-10-21 02:38:55 +01:00 |
|
Justin Hsu
|
7477f8eb7d
|
Analytics for link tracking.
Does it work?
|
2017-09-30 14:40:59 +01:00 |
|
Justin Hsu
|
2f6065a267
|
Update google analytics tracking.
|
2017-09-30 13:41:19 +01:00 |
|
Justin Hsu
|
7481561bdc
|
Remove date from drafts.
|
2017-09-27 00:18:37 +01:00 |
|
Justin Hsu
|
35e2d810dd
|
Add POPL accepts.
|
2017-09-27 00:13:35 +01:00 |
|
Justin Hsu
|
d2ca51ebd2
|
Nit.
|
2017-09-27 00:13:29 +01:00 |
|
Justin Hsu
|
066d1ced7c
|
Small tweaks.
Seems tricky to use the Text.CSL bib parser, since that drops the
non-standard fields. Using the context monoid seems not to be worth it.
|
2017-09-23 20:37:50 +01:00 |
|
Justin Hsu
|
4666ad3439
|
Bib updates.
|
2017-09-21 19:35:06 +01:00 |
|
Justin Hsu
|
dde5221e39
|
Add new contact info.
|
2017-09-20 15:29:17 +01:00 |
|
Justin Hsu
|
b4d672bd50
|
Add auto-coupling preprint.
|
2017-09-20 15:21:54 +01:00 |
|
Justin Hsu
|
7f9e70c8e4
|
Change to use python preview server.
Hakyll not installed with preview flags for some reason.
|
2017-09-20 15:21:33 +01:00 |
|
Justin Hsu
|
f96b1c6592
|
Add setup script.
This should get (most) of the dependencies.
|
2017-09-20 15:21:06 +01:00 |
|
Justin Hsu
|
f70e1b7fd2
|
Update to new version of Hakyll.
Whew. I need to refactor this.
|
2017-09-20 15:20:50 +01:00 |
|
Justin Hsu
|
7a2f517346
|
Update bibs.
|
2017-08-08 20:21:25 -04:00 |
|
Justin Hsu
|
5e22d856fd
|
Add ICALP slides.
|
2017-07-11 09:42:59 -04:00 |
|
Justin Hsu
|
8c30d0bb73
|
Add updated draft, update news.
|
2017-07-09 10:55:45 -04:00 |
|
Justin Hsu
|
afdc6498e2
|
Link to TPDP.
|
2017-06-12 14:35:01 -04:00 |
|
Justin Hsu
|
afe7f7c955
|
Add FCS.
|
2017-05-30 17:22:57 -04:00 |
|
Justin Hsu
|
7217e389fa
|
Trim news.
|
2017-05-12 08:02:16 -04:00 |
|
Justin Hsu
|
e490409776
|
Add LPAR slides.
|
2017-05-12 07:56:36 -04:00 |
|
Justin Hsu
|
576b979fde
|
Add LPAR slides.
|
2017-05-12 06:17:22 -04:00 |
|
Justin Hsu
|
05be844757
|
Add ICALP 2017.
|
2017-05-01 20:29:44 -04:00 |
|
Justin Hsu
|
986c1bc161
|
Add LPAR.
|
2017-03-01 11:42:32 -05:00 |
|
Justin Hsu
|
992c6114dc
|
Update pointer to source.
|
2017-02-06 14:17:13 -05:00 |
|
Justin Hsu
|
759ad5cb25
|
Typo.
|
2017-02-02 21:48:38 -05:00 |
|
Justin Hsu
|
f65381494a
|
Update link.
|
2017-02-01 21:25:02 -05:00 |
|
Justin Hsu
|
0f51788caf
|
Add arXiv link.
|
2017-01-24 10:54:22 -05:00 |
|
Justin Hsu
|
457de9a388
|
Update bib.
|
2017-01-23 10:59:24 -05:00 |
|
Justin Hsu
|
c3418eb633
|
Add uniformity/indep draft.
|
2017-01-23 10:59:24 -05:00 |
|
Justin Hsu
|
5632f6ddb1
|
POPL slides.
|
2017-01-23 10:59:24 -05:00 |
|
Justin Hsu
|
0a20c86616
|
Tighten up bio.
|
2017-01-17 05:45:18 -05:00 |
|
Justin Hsu
|
710d259e25
|
Add service.
|
2017-01-17 05:33:57 -05:00 |
|
Justin Hsu
|
be54777e3a
|
Update refs.
|
2017-01-16 17:05:21 -05:00 |
|
Justin Hsu
|
0310c03a32
|
Update news.
|
2017-01-09 22:31:55 -08:00 |
|
Justin Hsu
|
270be6d24f
|
Fix references in metdom.
|
2017-01-07 15:13:17 -08:00 |
|
Justin Hsu
|
e839a9d4c0
|
Update authors and version.
|
2017-01-07 15:03:03 -08:00 |