2958c28 | Ben Greenman | 14 February 2024, 05:57:53 UTC | sneha trip demo slides | 14 February 2024, 05:57:53 UTC |
299d4d4 | Ben Greenman | 18 June 2022, 20:54:25 UTC | talk: dead code | 18 June 2022, 20:54:28 UTC |
ffef11f | Ben Greenman | 16 June 2022, 15:21:47 UTC | talk: links | 16 June 2022, 15:22:10 UTC |
d9b24be | Ben Greenman | 16 June 2022, 00:21:36 UTC | readme: add pldi page numbers | 16 June 2022, 00:21:36 UTC |
b4164f4 | Ben Greenman | 15 June 2022, 15:40:41 UTC | talk: add links to artifact | 15 June 2022, 15:40:41 UTC |
acc466d | Ben Greenman | 15 June 2022, 04:58:23 UTC | talk: little cleanup | 15 June 2022, 04:58:23 UTC |
6991a85 | Ben Greenman | 15 June 2022, 04:40:58 UTC | pldi: / -> + golly | 15 June 2022, 04:40:58 UTC |
83a6a87 | Ben Greenman | 15 June 2022, 00:08:38 UTC | talk: a real draft | 15 June 2022, 00:08:38 UTC |
fe248af | Ben Greenman | 14 June 2022, 14:39:01 UTC | talk: lang picts | 14 June 2022, 14:39:01 UTC |
e189cef | Ben Greenman | 14 June 2022, 01:20:40 UTC | talk: back half cleanup | 14 June 2022, 01:20:40 UTC |
5cd647b | Ben Greenman | 13 June 2022, 18:33:54 UTC | talk: cleanup perf slides | 13 June 2022, 18:33:54 UTC |
963be70 | Ben Greenman | 12 June 2022, 23:23:16 UTC | talk: cleanup 2/N | 12 June 2022, 23:23:16 UTC |
230c282 | Ben Greenman | 12 June 2022, 18:34:05 UTC | talk: cleanup up part 1 of N | 12 June 2022, 18:34:05 UTC |
306e6f5 | Ben Greenman | 11 June 2022, 22:48:04 UTC | talk: a first draft of slides | 11 June 2022, 22:48:04 UTC |
a72af31 | Ben Greenman | 11 June 2022, 22:06:16 UTC | pldi: NSF++ | 11 June 2022, 22:06:16 UTC |
46f3c70 | Ben Greenman | 09 June 2022, 21:05:16 UTC | talk: intro progress | 09 June 2022, 21:05:16 UTC |
205e1f3 | Ben Greenman | 31 May 2022, 23:49:18 UTC | talk: date set | 31 May 2022, 23:49:18 UTC |
d731faa | Ben Greenman | 31 May 2022, 23:08:24 UTC | talk: puttering around, outline, background | 31 May 2022, 23:08:24 UTC |
c6ea220 | Ben Greenman | 24 May 2022, 14:54:07 UTC | talk: text outline | 24 May 2022, 14:54:07 UTC |
d00542e | Ben Greenman | 23 May 2022, 03:19:31 UTC | pldi: affiliation++ | 23 May 2022, 03:19:31 UTC |
3afe505 | Ben Greenman | 21 May 2022, 19:24:34 UTC | pldi: ack neu funding (how to ack 2nd affiliation?) | 21 May 2022, 19:24:34 UTC |
b8cbeed | Ben Greenman | 20 May 2022, 01:40:08 UTC | talk: more outline / notes | 20 May 2022, 01:40:08 UTC |
d3fcb9c | Ben Greenman | 19 May 2022, 02:40:50 UTC | talk: sketching intro | 19 May 2022, 02:40:50 UTC |
6825071 | Ben Greenman | 17 May 2022, 01:59:57 UTC | talk: sketch conclusion, sort unsorted | 17 May 2022, 01:59:57 UTC |
1b9136a | Ben Greenman | 17 May 2022, 00:17:45 UTC | talk: sketch expressiveness slides | 17 May 2022, 00:17:45 UTC |
286bda4 | Ben Greenman | 13 May 2022, 22:39:06 UTC | talk: dsu sketch, utah slide | 13 May 2022, 22:39:06 UTC |
deb6c79 | Ben Greenman | 12 May 2022, 20:06:16 UTC | talk: data for tables | 12 May 2022, 20:06:16 UTC |
0b9cefb | Ben Greenman | 12 May 2022, 03:42:01 UTC | talk: sketching 1-2 slides | 12 May 2022, 03:42:01 UTC |
3d7c5b4 | Ben Greenman | 28 April 2022, 02:25:38 UTC | talk: ball rolling on outline | 28 April 2022, 02:25:38 UTC |
05a67a0 | Ben Greenman | 28 April 2022, 01:54:52 UTC | talk: it's a start | 28 April 2022, 01:54:52 UTC |
32b74cd | Ben Greenman | 27 April 2022, 20:05:20 UTC | pldi: camera ready sources | 27 April 2022, 20:05:20 UTC |
bcc67ab | Ben Greenman | 27 April 2022, 19:36:13 UTC | pldi: data availability | 27 April 2022, 20:04:34 UTC |
51f2da3 | Ben Greenman | 25 April 2022, 16:12:32 UTC | readme: answer 'how to reuse' questions for pldi aec | 25 April 2022, 16:12:32 UTC |
9eeb206 | Ben Greenman | 22 April 2022, 01:46:18 UTC | pldi: fixes from Simone | 22 April 2022, 01:46:18 UTC |
62db63c | Ben Greenman | 13 April 2022, 20:58:05 UTC | pldi: move overfull code | 13 April 2022, 20:58:05 UTC |
2b9b811 | Ben Greenman | 08 April 2022, 23:17:54 UTC | pldi: ccs concepts, acm reference | 08 April 2022, 23:17:54 UTC |
bf465d7 | Ben Greenman | 07 April 2022, 22:39:52 UTC | camera ready | 07 April 2022, 23:15:06 UTC |
ea53a44 | Ben Greenman | 05 April 2022, 04:41:57 UTC | data/README replace backtick with quote | 05 April 2022, 04:41:57 UTC |
6b1044b | Ben Greenman | 05 April 2022, 04:40:00 UTC | data/README add backticks | 05 April 2022, 04:40:00 UTC |
3926d11 | Ben Greenman | 05 April 2022, 04:35:44 UTC | pldi updates - Makefile: ignore Typed Racket errors (from images/compile-time.rkt) - README: say more about what's expected - data/README: say much more about the data files and how they relate to the figures in the latest version of the paper | 05 April 2022, 04:35:47 UTC |
62237cb | Ben Greenman | 21 March 2022, 03:28:11 UTC | pldi: diff target | 21 March 2022, 03:28:11 UTC |
07ca7dd | Ben Greenman | 21 March 2022, 02:53:56 UTC | pldi revisions | 21 March 2022, 02:53:56 UTC |
a400c04 | Ben Greenman | 19 March 2022, 17:13:08 UTC | pldi: cite software | 19 March 2022, 17:13:08 UTC |
5238ba7 | Ben Greenman | 17 March 2022, 20:33:03 UTC | pldi: make checklist, do smallest fixes | 17 March 2022, 20:33:03 UTC |
cb390ff | Ben Greenman | 17 March 2022, 02:04:29 UTC | pldi: impl, more discussion no more appendix | 17 March 2022, 02:04:29 UTC |
44f6785 | Ben Greenman | 15 March 2022, 03:45:39 UTC | pldi: start fixes - reorder perf - explain deep contextual modules | 15 March 2022, 03:45:50 UTC |
f13c1a3 | Ben Greenman | 15 March 2022, 00:52:02 UTC | acmart | 15 March 2022, 00:52:02 UTC |
36ffcf2 | Ben Greenman | 05 March 2022, 06:50:39 UTC | fix typo to src | 05 March 2022, 06:50:39 UTC |
551439d | Ben Greenman | 05 March 2022, 06:37:46 UTC | readme subdir, point run script to bin/ | 05 March 2022, 06:37:46 UTC |
c296f6d | Ben Greenman | 05 March 2022, 06:20:06 UTC | move paper to subdir | 05 March 2022, 06:20:06 UTC |
42ba58e | Ben Greenman | 05 March 2022, 04:52:27 UTC | organize, readme, submodule | 05 March 2022, 04:52:27 UTC |
2364c41 | Ben Greenman | 04 March 2022, 04:23:21 UTC | data: save copy of 3d (best-case) data | 04 March 2022, 04:23:21 UTC |
30385f1 | Ben Greenman | 28 February 2022, 20:15:39 UTC | pldi +2 pages available | 28 February 2022, 20:15:39 UTC |
cd33a5c | Ben Greenman | 28 February 2022, 16:55:49 UTC | pldi: meta-review, conditional accept | 28 February 2022, 16:55:49 UTC |
df3dce8 | Ben Greenman | 10 February 2022, 03:41:11 UTC | pldi: finalize response | 10 February 2022, 03:41:11 UTC |
7b13547 | Ben Greenman | 10 February 2022, 02:21:27 UTC | pldi: wrap review | 10 February 2022, 02:21:27 UTC |
e66df0a | Ben Greenman | 09 February 2022, 18:46:14 UTC | pldi: response, mf edits + shortenings | 09 February 2022, 18:46:14 UTC |
75b02a2 | Ben Greenman | 09 February 2022, 04:45:55 UTC | pldi: review comments and draft response | 09 February 2022, 04:45:59 UTC |
c681371 | Ben Greenman | 08 February 2022, 15:01:22 UTC | pldi: another review | 08 February 2022, 16:28:09 UTC |
b50fdf0 | Ben Greenman | 18 November 2021, 02:28:41 UTC | pldi: cleanup pass | 18 November 2021, 02:28:41 UTC |
95620c6 | Ben Greenman | 17 November 2021, 23:51:50 UTC | pldi: thicker tikz arrows, avoid bad words (we now later) | 17 November 2021, 23:51:50 UTC |
249bbaa | Ben Greenman | 17 November 2021, 23:23:25 UTC | pldi: mf comments from nov 15 | 17 November 2021, 23:23:25 UTC |
be5212e | Ben Greenman | 12 November 2021, 14:44:25 UTC | pldi: briefest explanation of SR compiler be careful about double-blind reviewing | 12 November 2021, 14:44:28 UTC |
72aec84 | Ben Greenman | 10 November 2021, 17:28:30 UTC | pldi: clarify h-o interface, smaller arrow | 10 November 2021, 17:28:30 UTC |
e12ad87 | Ben Greenman | 10 November 2021, 16:57:27 UTC | pldi: abstract wording | 10 November 2021, 16:57:27 UTC |
14c1da9 | Ben Greenman | 10 November 2021, 16:25:27 UTC | pldi: appendix, #f -> #false, sloppy urls | 10 November 2021, 16:40:23 UTC |
229c6be | Ben Greenman | 10 November 2021, 16:22:09 UTC | pldi: appendix, fix typos reduce space in rules | 10 November 2021, 16:22:09 UTC |
0727184 | Ben Greenman | 10 November 2021, 16:00:03 UTC | pldi: abs + intro abstract: focus on deep and shallow, mention bottlenecks data intro: clearer switch from Nat / Trans to Deep / Shallow | 10 November 2021, 16:00:06 UTC |
4649d0a | Ben Greenman | 08 November 2021, 02:57:49 UTC | bib typos | 08 November 2021, 02:57:49 UTC |
0864de9 | Ben Greenman | 06 November 2021, 01:18:48 UTC | pldi: appendix | 06 November 2021, 01:18:48 UTC |
afb6a8e | Ben Greenman | 05 November 2021, 01:19:26 UTC | pldi: concl, quick pass | 05 November 2021, 01:19:26 UTC |
32c6af9 | Ben Greenman | 05 November 2021, 00:49:44 UTC | pldi: intro, contribs pass | 05 November 2021, 00:49:44 UTC |
5ad06c2 | Ben Greenman | 05 November 2021, 00:49:36 UTC | pldi: impl, headlines | 05 November 2021, 00:49:36 UTC |
075faac | Ben Greenman | 04 November 2021, 02:14:01 UTC | pldi: remove trailing spaces | 04 November 2021, 02:14:01 UTC |
e782445 | Ben Greenman | 04 November 2021, 02:10:02 UTC | pldi: progress on mf suggestions | 04 November 2021, 02:10:02 UTC |
084488e | Ben Greenman | 27 October 2021, 01:17:40 UTC | intro: mid-mf edits | 27 October 2021, 01:18:51 UTC |
fd94317 | Matthias Felleisen | 27 October 2021, 00:03:04 UTC | typo | 27 October 2021, 00:03:04 UTC |
5793e1f | Matthias Felleisen | 27 October 2021, 00:02:47 UTC | no macros | 27 October 2021, 00:02:47 UTC |
ac7e3fa | Matthias Felleisen | 26 October 2021, 23:53:38 UTC | minor touch ups | 26 October 2021, 23:53:38 UTC |
7518d09 | Matthias Felleisen | 26 October 2021, 23:51:08 UTC | punchier contributions | 26 October 2021, 23:51:08 UTC |
33c0367 | Ben Greenman | 26 October 2021, 17:06:39 UTC | with-cache: avoid calling get-info | 26 October 2021, 17:06:39 UTC |
ccd1cac | Ben Greenman | 26 October 2021, 16:52:23 UTC | remove with-cache from data/analyze.rkt | 26 October 2021, 16:52:23 UTC |
dbba297 | Ben Greenman | 26 October 2021, 16:16:48 UTC | add missing with-cache file | 26 October 2021, 16:16:48 UTC |
68facca | Ben Greenman | 20 October 2021, 17:40:30 UTC | pldi: tikz picture for DSU interactions | 20 October 2021, 17:40:30 UTC |
8fa949c | Ben Greenman | 19 October 2021, 01:17:58 UTC | pldi: fix small popl comments | 19 October 2021, 01:17:58 UTC |
cdb835d | Ben Greenman | 19 October 2021, 00:57:16 UTC | pldi: fill in cites | 19 October 2021, 00:57:16 UTC |
2f8c1aa | Ben Greenman | 19 October 2021, 00:26:21 UTC | pldi: down to 12 pages | 19 October 2021, 00:26:21 UTC |
81ca83d | Ben Greenman | 18 October 2021, 03:07:10 UTC | pldi: new sec 4, decent but long | 18 October 2021, 03:07:10 UTC |
a712b49 | Ben Greenman | 16 October 2021, 13:40:39 UTC | pldi: impl, outline | 16 October 2021, 13:40:39 UTC |
33fe519 | Ben Greenman | 16 October 2021, 01:32:29 UTC | pldi: tuning sec3 , intro for sec4 sort of | 16 October 2021, 01:32:29 UTC |
dff0d31 | Ben Greenman | 15 October 2021, 03:08:18 UTC | pldi: trimming abstract, intro, background | 15 October 2021, 03:08:18 UTC |
8ee1fe1 | Ben Greenman | 15 October 2021, 00:27:27 UTC | pldi: all popl requests | 15 October 2021, 00:27:27 UTC |
d27d705 | Ben Greenman | 14 October 2021, 22:02:16 UTC | pldi: define cfgs, overhead | 14 October 2021, 22:02:16 UTC |
a00f2bf | Ben Greenman | 14 October 2021, 22:02:03 UTC | pldi: theorem for types-rule-out-tagerr | 14 October 2021, 22:02:03 UTC |
c067dfe | Ben Greenman | 13 October 2021, 22:45:32 UTC | pldi: sec 5 figures | 13 October 2021, 22:45:32 UTC |
c6fc10d | Ben Greenman | 13 October 2021, 22:45:21 UTC | pldi: sec 3 figures looking good | 13 October 2021, 22:45:21 UTC |
fd62d85 | Ben Greenman | 13 October 2021, 17:45:38 UTC | pldi: more sec3 figuring | 13 October 2021, 19:56:15 UTC |
deeeac6 | Ben Greenman | 13 October 2021, 03:16:34 UTC | pldi: cut down typing rules | 13 October 2021, 03:16:34 UTC |
8fc1ec9 | Ben Greenman | 13 October 2021, 02:21:38 UTC | pldi: more figuring | 13 October 2021, 02:21:38 UTC |
2688a0f | Ben Greenman | 12 October 2021, 19:42:30 UTC | pldi: fig remodeling | 12 October 2021, 19:42:30 UTC |