This repository has been archived by the owner on Jul 4, 2021. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 10
/
publications.html
1392 lines (1379 loc) · 127 KB
/
publications.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
<!DOCTYPE html>
<html lang="en"><head><meta charset="utf-8" />
<meta http-equiv="X-UA-Compatible" content="IE=edge" />
<meta name="viewport" content="width=device-width, initial-scale=1" />
<meta property="og:title" content="NEU PRL" />
<meta property="og:description" content="Programming Research Laboratory @ Northeastern&nbsp;University" />
<meta property="og:image" content="img/prl-bg.png" />
<title>Publications - Programming Research Laboratory - Northeastern University</title>
<!-- Bootstrap -->
<link href="css/bootstrap.min.css" rel="stylesheet" />
<!-- Custom css -->
<link href="css/custom.css" rel="stylesheet" />
<!-- Fonts -->
<link href="https://fonts.googleapis.com/css?family=Ubuntu:300" rel="stylesheet" type="text/css" />
<link href="https://fonts.googleapis.com/css?family=PT+Sans" rel="stylesheet" type="text/css" />
<!-- For IE 9 and below. ICO should be 32x32 pixels in size -->
<!-- [if IE]><link rel="shortcut icon" href="img/favicon.ico"><![endif] -->
<!-- Firefox, Chrome, Safari, IE 11+ and Opera. 196x196 pixels in size. -->
<link rel="icon" href="img/favicon.png" />
<!-- HTML5 shim and Respond.js for IE8 support of HTML5 elements and media queries -->
<!-- WARNING: Respond.js doesn't work if you view the page via file:// -->
<!-- [if lt IE 9] -->
<script src="https://oss.maxcdn.com/html5shiv/3.7.2/html5shiv.min.js"></script>
<script src="https://oss.maxcdn.com/respond/1.4.2/respond.min.js"></script>
<!-- <![endif] --> </head>
<body id="pn-top"><nav class="navbar navbar-inverse"><div class="container"><div class="row"><div class="navbar-header"><button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#navbar" aria-expanded="false" aria-controls="navbar"><span class="sr-only">Toggle navigation</span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span></button></div>
<div id="navbar" class="navbar-collapse collapse"><ul class="nav navbar-nav"><li role="presentation"><a href="./">Home</a></li><li role="presentation"><a href="people.html">People</a></li><li role="presentation"><a href="teaching.html">Teaching</a></li><li role="presentation"><a href="seminars.html">Seminars</a></li><li role="presentation"><a href="software.html">Software</a></li><li role="presentation" class="active"><a href="#">Publications</a></li><li role="presentation"><a href="new-members.html">New Members</a></li><li role="presentation"><a href="contact.html">Contact</a></li><li role="presentation"><a href="blog/index.html">Blog</a></li></ul> </div></div></div></nav>
<div class="jumbotron subpages"><div class="container"><div class="row"><div class="col-md-12"><h1>Publications</h1></div></div></div></div>
<div class="pn-main-wrapper"><div class="row"><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2021</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Corpse Reviver: Sound And Efficient Gradual Typing Via Contract Verification</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://arxiv.org/abs/2007.12630">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Cameron Moy, Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Formally Verified Speculation and Deoptimization in a JIT Compiler</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/popl21.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Aurèle Barrière, Olivier Flückiger, Sandrine Blazy, David Pichardie, and Jan Vitek</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2020</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Robot Action Selection Learning via Layered Dimension Informed Program Synthesis</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://arxiv.org/abs/2008.04133">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jarrett Holtz, Arjun Guha, and Joydeep Biswas</span>
<br />
<span class="pn-venue">Conference on Robot Learning (CoRL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Sampling Optimized Code For Type Feedback</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://arxiv.org/abs/2010.02080">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, and Jan Vitek</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Wasm/K: Delimited Continuations For WebAssembly</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://arxiv.org/abs/2010.01723">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Donald Pinckney, Arjun Guha, and Yuriy Brun</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Semantics for the Essence of React</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www.franktip.org/pubs/ecoop2020.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Magnus Madsen, Ondřej Lhoták, and Frank Tip</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Hygienic Macro Technology</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3386330">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">William D. Clinger and Mitchell Wand</span>
<br />
<span class="pn-venue">History of Programming Languages (HOPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://arxiv.org/abs/1909.07190">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Abhinav Jangda and Arjun Guha</span>
<br />
<span class="pn-venue">International Conference on Parallel Architectures and Compilation Techniques (PACT)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Typed Dataspace Actors</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www2.ccs.neu.edu/racket/pubs/cgjf-jfp20.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Samuel Caldwell, Tony Garnock-Jones, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Journal of Functional Programming (JFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Large-Scale Longitudinal Study of Flaky Tests</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://jonbell.net/publications/oopsla20flaky">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">World Age in Julia: Optimizing Method Dispatch in the Presence of Eval</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla20-j.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contextual Dispatch for Function Specialization</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla20-cd.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Designing Types for R, Empirically</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla20-r.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Adding Interactive Visual Syntax to Textual Code</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www2.ccs.neu.edu/racket/pubs/oopsla20-abf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Leif Andersen, Michael Ballantyne, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Macros for Domain-Specific Languages</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www2.ccs.neu.edu/racket/pubs/oopsla20-bkf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Michael Ballantyne, Alexis King, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">TacTok: Semantics-Aware Proof Synthesis</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3428299">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Emily First, Yuriy Brun, and Arjun Guha</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Dependent Type Systems as Macros</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang, Michael Ballantyne, Milo Turner, and William J. Bowman</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Graduality and Parametricity: Together Again for the First Time</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www.ccs.neu.edu/home/amal/papers/gradparam.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Max S. New, Dustin Jamner, and Amal Ahmed</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Learning Self-Play Agents For Combinatorial Optimization Problems</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1017/s026988892000020x">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ruiyang Xu and Karl Lieberherr</span>
<br />
<span class="pn-venue">The Knowledge Engineering Review</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2019</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://dl.acm.org/citation.cfm?id=3280984">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Marco Patrignani, Amal Ahmed, and Dave Clarke</span>
<br />
<span class="pn-venue">ACM Computing Surveys (CSUR)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/tecs18.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, and Jan Vitek</span>
<br />
<span class="pn-venue">ACM Transactions on Embedded Computing Systems (TECS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">R Melts Brains: An IR for First-Class Environments and Lazy Effectful Arguments</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/dls19.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olivier Flückiger, Ming-Ho Yee, Guido Chari, Jakob Hain, Jan Ječmen and Jan Vitek</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/ecoop19.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Benjamin Chung, Francesco Zappa Nardelli, and Jan Vitek</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Study of Call Graph Construction for JVM-Hosted Languages</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8944149">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondřej Lhoták, Julian Dolby, and Frank Tip</span>
<br />
<span class="pn-venue">IEEE Transactions on Software Engineering (TSE)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Next 700 Compiler Correctness Theorems (Functional Pearl)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/next700ccc.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Daniel Patterson and Amal Ahmed</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">How to Evaluate the Performance of Gradual Type Systems</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www2.ccs.neu.edu/racket/pubs/gtnffvf-jfp19.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Journal of Functional Programming (JFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Scala Implicits are Everywhere: A Large-Scale Study of the Use of Implicits in the Wild</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla19b.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Filip Křikava, Heather Miller, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">On the Design, Implementation and Use of Laziness in R</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla19a.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Aviral Goel and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Complete Monitors for Gradual Types</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3360548">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ben Greenman, Matthias Felleisen, and Christos Dimoulas</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Under Control: Compositionally Correct Closure Conversion with Mutable State</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www.ccs.neu.edu/home/amal/papers/refcc.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Phillip Mates, Jamie Perconti, and Amal Ahmed</span>
<br />
<span class="pn-venue">Principles and Practice of Declarative Programming (PPDP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Gradual Type Theory</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/gtt.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Max S. New, Daniel R. Licata, and Amal Ahmed</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">From Macros to DSLs: The Evolution of Racket</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://drops.dagstuhl.de/opus/volltexte/2019/10548/pdf/LIPIcs-SNAPL-2019-5.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi</span>
<br />
<span class="pn-venue">Summit on Advances in Programming Langugages (SNAPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">On the Impact of Programming Languages on Code Quality</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/toplas19.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, and Jan Vitek</span>
<br />
<span class="pn-venue">Transactions on Programming Languages and Systems (TOPLAS)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2018</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Behavior of Gradual Types: A User Study</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://cs.brown.edu/~sk/Publications/Papers/Published/tgpk-beh-grad-types-user-study/">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">KafKa: Gradual Typing for Objects</span>
<br />
<span class="pn-authors">Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Practical AJAX Race Detection for JavaScript Web Applications</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users-cs.au.dk/amoeller/papers/ajaxracer/paper.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, and Frank Tip</span>
<br />
<span class="pn-venue">European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Soundness of a Concurrent Collector for Actors</span>
<span class="pn-pub-link">[<a class="pn-url" href="janvitek.org/pubs/esop18.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Juliana Franco, Sylvain Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Call-by-name Gradual Type Theory</span>
<br />
<span class="pn-authors">Max S. New and Daniel R. Licata</span>
<br />
<span class="pn-venue">Formal Structures for Computation and Deduction (FSCD)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Platform-Independent Dynamic Taint Analysis for JavaScript</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://www.franktip.org/pubs/tse2018.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Rezwana Karim, Frank Tip, Alena Sochurkova, and Koushik Sen</span>
<br />
<span class="pn-venue">IEEE Transactions on Software Engineering (TSE)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Graduality from Embedding-Projection Pairs</span>
<br />
<span class="pn-authors">Max S. New and Amal Ahmed</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3236782">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Spectrum of Soundness and Performance</span>
<br />
<span class="pn-authors">Ben Greenman and Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Tests from Traces: Automated Unit Test Generation for R</span>
<br />
<span class="pn-authors">Filip Křikava, Jan Vitek</span>
<br />
<span class="pn-venue">International Symposium on Software Testing and Analysis (ISSTA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/jar18.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek</span>
<br />
<span class="pn-venue">Journal of Automated Reasoning (JAR)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Collapsible Contracts: Fixing a Pathology of Gradual Typing</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccis.northeastern.edu/~types/publications/collapsible/fgsfs-oopsla-2018.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Daniel Feltey, Ben Greenman, Christophe Scholliers, Robby Findler, and Vincent St-Amour</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Finding Broken Promises in Asynchronous JavaScript Programs</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://ece.ubc.ca/~saba/dl/promisekeeper.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Julia Subtyping: a Rational Reconstruction</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla18a.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Julia: Dynamism and Performance Reconciled by Design</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla18b.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jeff Bezanson, Benjamin Chung, Jiahao Chen, Stefan Karpinski, Viral B Shah, Jan Vitek, and Lionel Zoubritzky</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Test Generation for Higher-Order Functions in Dynamic Languages</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://software-lab.org/publications/oopsla2018_LambdaTester.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Marija Selakovic, Michael Pradel, Rezwana Karim Nawrin, and Frank Tip</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Correctness of Speculative Optimizations with Dynamic Deoptimization</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.org/10.1145/3158137">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olivier Fluckiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, and Jan Vitek</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Symbolic Types for Lenient Symbolic Execution</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3158128">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang, Alex Knauth, and Emina Torlak</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.org/10.1145/3158110">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Simplicitly: Foundations and Applications of Implicit Function Types</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3158130">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, and Sandro Stucki</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Typed Closure Conversion of the Calculus of Constructions</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://williamjbowman.com/resources/wjb-paper-cccc.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">William J. Bowman and Amal Ahmed</span>
<br />
<span class="pn-venue">Programming Language Design and Implementation (PLDI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Feature-specific Profiling</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/toplas18.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Leif Andersen, Vincent St-Amour, Jan Vitek, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Transactions on Programming Languages and Systems (TOPLAS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Rank Polymorphism Viewed as a Constraint Problem</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://doi.org/10.1145/3219753.3219758">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Justin Slepak, Panagiotis Manolios, and Olin Shivers</span>
<br />
<span class="pn-venue">Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">On the Cost of Type-Tag Soundness</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://dl.acm.org/citation.cfm?id=3162066">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ben Greenman and Zeina Migeed</span>
<br />
<span class="pn-venue">Workshop on Partial Evaluation and Program Manipulation (PEPM)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://pps2018.soic.indiana.edu/2018/01/07/contextual-equivalence-for-a-probabilistic-language-with-continuous-random-variables-and-recursion/">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Mitchell Wand, Theophilos Giannakopoulos, Andrew Cobb, and Ryan Culpepper</span>
<br />
<span class="pn-venue">Workshop on Probabilistic Programming Semantics (PPS)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2017</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Parallelizing Julia with a Non-invasive DSL</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/ecoop17.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Todd Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/ryanc/papers/esop2017.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ryan Culpepper and Andrew Cobb</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/ITP17.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek</span>
<br />
<span class="pn-venue">Interactive Theorem Proving (ITP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Inferring Scope through Syntactic Sugar</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.org/10.1145/3110288">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Justin Pombrio, Shriram Krishnamurthi, and Mitchell Wand</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">No-Brainer CPS Conversion</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.org/10.1145/3110267">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Milo Davis, William Meehan, and Olin Shivers</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Super 8 Languages for Making Movies (Functional Pearl)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.org/10.1145/3110274">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Leif Andersen, Stephen Chang, and Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Theorems for Free for Free: Parametricity, With and Without Types</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.org/10.1145/3110283">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Orca: GC and Type System Co-Design for Actor Languages</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla17a.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Sylvain Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Déj́à Vu: A Map of Code Duplicates on GitHub</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/oopsla17b.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Crista Lopes, Petr Maj, Pedro Martins, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Type Systems as Macros</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang, Alex Knauth, Ben Greenman</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Deciding equivalence with sums and the empty type</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://arxiv.org/pdf/1610.01213">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Gabriel Scherer</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">FunTAL: Reasonably Mixing a Functional Language with Assembly</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://dbp.io/pubs/2017/funtal.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed</span>
<br />
<span class="pn-venue">Programming Language Design and Implementation (PLDI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Making Android Run on Time</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://janvitek.org/pubs/rtas17.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, and Lukasz Ziarek</span>
<br />
<span class="pn-venue">Real-time and Embedded Technology and Application Symposium (RTAS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Linking Types for Multi-Language Software: Have Your Cake and Eat It Too</span>
<span class="pn-pub-link">[<a class="pn-url" href="https://dbp.io/pubs/2017/linking-types-snapl.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Daniel Patterson and Amal Ahmed</span>
<br />
<span class="pn-venue">Summit on Advances in Programming Langugages (SNAPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Search for Program Structure</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/gasche/research/canonical-forms/snapl.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Gariel Scherer</span>
<br />
<span class="pn-venue">Summit on Advances in Programming Langugages (SNAPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Migratory Typing: Ten Years Later</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/typed-racket.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, and Asumu Takikawa</span>
<br />
<span class="pn-venue">Summit on Advances in Programming Langugages (SNAPL)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2016</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Coordinated Concurrent Programming in Syndicate</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/esop16-gjf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Tony Garnock-Jones and Matthias Felleisen</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Fully Abstract Compilation via Universal Embedding</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/fabcc.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Max S. New, William J. Bowman, and Amal Ahmed</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/icfp16-dnff.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas, Max S. New, Robert Bruce Findler, and Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Is sound gradual typing dead?</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2015</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Concrete Types for TypeScript</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.76">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Cooking the Books: Formalizing JMM Implementation Recipes</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.445">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Gustavo Petri, Jan Vitek, and Suresh Jagannathan</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Toward practical gradual typing</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/ecoop2015-takikawa-et-al.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, and Matthias Felleisen</span>
<br />
<span class="pn-venue">European Conference on Object-Oriented Programming (ECOOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Feature-specific Profiling</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/cc15-saf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Vincent St-Amour, Leif Andersen, Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Compiler Construction (CC)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Noninterference for Free</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/nifree.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">William J. Bowman and Amal Ahmed</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Repeatability, reproducibility and rigor in CS research</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2792434.2792446">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jan Vitek</span>
<br />
<span class="pn-venue">PLMW@POPL</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/sigcse-sfkf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen</span>
<br />
<span class="pn-venue">SIGCSE</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Verified Compilers for a Multi-Language World</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/verifcomp.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Amal Ahmed</span>
<br />
<span class="pn-venue">Summit on Advances in Programming Langugages (SNAPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Racket Manifesto</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/manifesto.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, Sam Tobin-Hochstadt</span>
<br />
<span class="pn-venue">Summit on Advances in Programming Langugages (SNAPL)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2014</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">An Array-Oriented Language with Static Rank Polymorphism</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/978-3-642-54833-8_3">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Justin Slepak, Olin Shivers, and Panagiotis Manolios</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Verifying an Open Compiler Using Multi-Language Semantics</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/voc.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">James T. Perconti and Amal Ahmed</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Network as a Language Construct</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/esop14-gjthf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Tony Garnock-Jones, Sam Tobin-Hochstadt, and Matthias Felleisen</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">M3: high-performance memory management from off-the-shelf components</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2602988.2602995">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Terei, Alex Aiken, and Jan Vitek</span>
<br />
<span class="pn-venue">ISMM</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Romeo: a system for more flexible binding-safe programming</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2628136.2628162">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Paul Stansifer and Mitchell Wand</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Database Queries that Explain their Work</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/dqew.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">James Cheney, Amal Ahmed, and Umut Acar</span>
<br />
<span class="pn-venue">Principles and Practice of Declarative Programming (PPDP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Profiling for Laziness</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/popl14-cf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang, Matthias Felleisen</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Atomicity refinement for verified compilation</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2594291.2594346">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, and Vincent Laporte</span>
<br />
<span class="pn-venue">Programming Language Design and Implementation (PLDI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Atomicity Refinement for Verified Compilation</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2601339">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek</span>
<br />
<span class="pn-venue">Transactions on Programming Languages and Systems (TOPLAS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A fast abstract syntax tree interpreter for R</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2576195.2576205">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Tomas Kalibera, Petr Maj, Flor, and Jan Vitek</span>
<br />
<span class="pn-venue">VEE</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The case for the three R's of systems research: repeatability, reproducibility and rigor</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2576195.2576216">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jan Vitek</span>
<br />
<span class="pn-venue">VEE</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2013</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Option Contracts</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Logical Relations for Fine-Grained Concurrency</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/amal/papers/relcon.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Aaron Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contracts for First-Class Classes</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/toplas13-sdtf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Transactions on Programming Languages and Systems (TOPLAS)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2012</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Call-by-need Lambda Calculus, Revisited</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/esop12-cf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang and Matthias Felleisen</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Complete Monitors for Behavioral Contracts</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/esop12-dthf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Seeing the futures: profiling shared-memory parallel Racket</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/stamourv/papers/seeing-the-futures.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">James Swaine, Burke Fetscher, Vincent St-Amour, Robby Findler and Matthew Flatt</span>
<br />
<span class="pn-venue">Functional High-Performance Computing (FHPC)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Gradual Typing for First-Class Classes</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Optimization Coaching</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/oopsla12-stf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Practical Programming with Substructural Types</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users.eecs.northwestern.edu/~jesse/pubs/dissertation/">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jesse A. Tov</span>
<br />
<span class="pn-venue">PhD Dissertation, Northeastern University</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Typing the Numeric Tower</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/padl12-stff.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Practical Aspects of Declarative Languages (PADL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Run Your Research</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://eecs.northwestern.edu/~robby/lightweight-metatheory/popl2012-kcdeffmrtf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2011</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Bounded-latency regional garbage collection</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2047849.2047859">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Felix S. Klock II and William D. Clinger</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">From Stack Traces to Lazy Rewriting Sequences</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/ifl11-cbcf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen</span>
<br />
<span class="pn-venue">Implementation and Application of Functional Languages (IFL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Modular rollback through control logging: a pair of twin functional pearls</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/2034773.2034783">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olin Shivers and Aaron Joseph Turon</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Pushdown flow analysis of first-class control</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dimvar/papers/cfa2-1st-class.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Dimitrios Vardoulakis and Olin Shivers</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Parsing reflective grammars</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1988783.1988793">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Paul Stansifer and Mitchell Wand</span>
<br />
<span class="pn-venue">LDTA</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Resource Analysis of the π-calculus</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1016/j.entcs.2011.09.028">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Aaron Joseph Turon and Mitchell Wand</span>
<br />
<span class="pn-venue">Mathematical Foundations of Programming Semantics (MFPS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Theory of Substructural Types and Control</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users.eecs.northwestern.edu/~jesse/pubs/substructural-control">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jesse A. Tov and Riccardo Pucella</span>
<br />
<span class="pn-venue">Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Ordering multiple continuations on the stack</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dimvar/papers/rcps-NU-CCIS-11-01.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Dimitrios Vardoulakis and Olin Shivers</span>
<br />
<span class="pn-venue">PEPM</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Practical Affine Types</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users.eecs.northwestern.edu/~jesse/pubs/alms">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jesse A. Tov and Riccardo Pucella</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Correct Blame for Contracts: No More Scapegoating</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/popl11-dfff.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A separation logic for refining concurrent objects</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1926385.1926415">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Aaron Joseph Turon and Mitchell Wand</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Languages as Libraries</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen</span>
<br />
<span class="pn-venue">Programming Language Design and Implementation (PLDI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dvanhorn/pubs/might-vanhorn-sas11.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might and David Van Horn</span>
<br />
<span class="pn-venue">The 18th International Static Analysis Symposium</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">On Contract Satisfaction in a Higher-Order World</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/df-toplas11.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas, Matthias Felleisen</span>
<br />
<span class="pn-venue">Transactions on Programming Languages and Systems (TOPLAS)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2010</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Weaving Generic Programming and Traversal Performance</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/chadwick/demeterf/papers/aosd10-final.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Bryan Chadwick and Karl Lieberherr</span>
<br />
<span class="pn-venue">AOSD</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contracts for First-Class Classes</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/dls10-sf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">T. Stephen Strickland, Matthias Felleisen</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Stateful Contracts for Affine Types</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users.eecs.northwestern.edu/~jesse/pubs/affine-contracts/affinecontracts10-bw.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Jesse A. Tov and Riccardo Pucella</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">CFA2: A Context-Free Approach to Control-Flow Analysis</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/978-3-642-11957-6_30">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Dimitrios Vardoulakis and Olin Shivers</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Bottom-up beta-reduction: Uplinks and lambda-DAGs</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.3233/FI-2010-328">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olin Shivers and Mitchell Wand</span>
<br />
<span class="pn-venue">Fundamenta Informaticae</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Abstracting Abstract Machines</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-icfp10.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Van Horn and Matthew Might</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Fortifying Macros</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ryan Culpepper, Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Logical Types for Untyped Languages</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Sam Tobin-Hochstadt, Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">TeachScheme!---A Checkpoint (Abstract)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/icfp10-f.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">CFA2: a Context-Free Approach to Control-Flow Analysis</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dimvar/papers/cfa2-NU-CCIS-10-01.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Dimitrios Vardoulakis and Olin Shivers</span>
<br />
<span class="pn-venue">Northeastern University College of Computer and Information Science Technical Reports</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Functional Adaptive Programming</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/chadwick/files/thesis-single.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Bryan Chadwick</span>
<br />
<span class="pn-venue">PhD Dissertation, Northeastern University</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Resolving and Exploiting the k-CFA Paradox</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dvanhorn/pubs/might-smaragdakis-vanhorn-pldi10.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might, Yannis Smaragdakis and David Van Horn</span>
<br />
<span class="pn-venue">Programming Language Design and Implementation (PLDI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Pushdown Control-Flow Analysis of Higher-Order Programs</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dvanhorn/pubs/earl-might-vanhorn-sfp10.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christopher Earl, Matthew Might and David Van Horn</span>
<br />
<span class="pn-venue">Scheme and Functional Programming Workshop</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Evaluating Call By Need on the Control Stack</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/stchang/pubs/Chang-VanHorn-Felleisen-TFP2010.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Stephen Chang, David Van Horn and Matthias Felleisen</span>
<br />
<span class="pn-venue">Trends in Functional Programming (TFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Hygienic Macros for ACL2</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/tfp10-ef.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Carl Eastlund, Matthias Felleisen</span>
<br />
<span class="pn-venue">Trends in Functional Programming (TFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Adding Types to Untyped Languages (Abstract)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/tldi10-f.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthias Felleisen</span>
<br />
<span class="pn-venue">Types in Language Design and Implementation (TLDI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Algorithms for Traversal-Based Generic Programming</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/chadwick/demeterf/papers/wgp10-final.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Bryan Chadwick and Karl Lieberherr</span>
<br />
<span class="pn-venue">Workshop on Generic Programming</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2009</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Automatic Verification for Interactive Graphical Programs</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/acl209-ef.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Carl Eastlund and Matthias Felleisen</span>
<br />
<span class="pn-venue">ACL2 Workshop</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Contracts for First-Class Modules</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/dls09-sf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">T. Stephen Strickland, Matthias Felleisen</span>
<br />
<span class="pn-venue">Dynamic Languages Symposium (DLS)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Practical Variable-Arity Polymorphism</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/esop09-sthf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Type System for Functional Traversal-Based Aspects</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/chadwick/demeterf/papers/foal09-final.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Bryan Chadwick and Karl Lieberherr</span>
<br />
<span class="pn-venue">FOAL Workshop</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Nested and Dynamic Contract Boundaries</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/ifl09-sf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">T. Stephen Strickland, Matthias Felleisen</span>
<br />
<span class="pn-venue">Implementation and Application of Functional Languages (IFL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Functional I/O System (or Fun for Freshman Kids)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/icfp09-fffk.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Regular expression derivatives reexamined</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/turon/re-deriv.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Scott Owens, John Reppy and Aaron Turon</span>
<br />
<span class="pn-venue">Journal of Functional Programming (JFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Toward a Practical Module System for ACL2</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/padl09-ef.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Carl Eastlund and Matthias Felleisen</span>
<br />
<span class="pn-venue">Practical Aspects of Declarative Languages (PADL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Making Induction Manifest in Modular ACL2</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/ppdp09-ef.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Carl Eastlund, Matthias Felleisen</span>
<br />
<span class="pn-venue">Principles and Practice of Declarative Programming (PPDP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Future Contracts</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/ppdp09-dpf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas, Riccardo Pucella, Matthias Felleisen</span>
<br />
<span class="pn-venue">Principles and Practice of Declarative Programming (PPDP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Sequence Traces for Object-Oriented Executions</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/scheme2009-ef.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Carl Eastlund, Matthias Felleisen</span>
<br />
<span class="pn-venue">Scheme and Functional Programming Workshop</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Ryan Culpepper, Matthias Felleisen</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/cf-sp09.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Debugging Hygienic Macros</span>
<br />
<span class="pn-venue">Science of Computer Programming</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">All-Terimation(T)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/turon/tacas09.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Panagiotis Manolios and Aaron Turon</span>
<br />
<span class="pn-venue">TACAS</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Higher-Order Aggregate Update Problem</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/978-3-540-93900-9_8">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Christos Dimoulas and Mitchell Wand</span>
<br />
<span class="pn-venue">Verification, Model Checking, and Abstract Interpretation (VMCAI)</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2008</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Variable-Arity Generic Interfaces</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/NU-CCIS-08-01.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">T. Stephen Strickland and Richard Cobbe and Matthias Felleisen</span>
<br />
<span class="pn-venue">(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-08-01</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Compositional Trace Semantics for Orc</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dimvar/papers/orc-coord.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Dimitrios Vardoulakis and Mitchell Wand</span>
<br />
<span class="pn-venue">COORDINATION</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">A Theory of Hygienic Macros</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/978-3-540-78739-6_4">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Herman and Mitchell Wand</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Functional Programming and Theorem Proving for Undergraduates: A Progress Report</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/fdpe08-pef.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Rex Page, Carl Eastlund, and Matthias Felleisen</span>
<br />
<span class="pn-venue">Functional and Declarative Programming in Education (FDPE)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Trusted Theorem Proving: A Case Study in SLD-Resolution</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/978-3-540-88479-8_56">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Konstantine Arkoudas and Olin Shivers</span>
<br />
<span class="pn-venue">ISoLA</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Building language towers with Ziggurat</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1017/S0956796808006928">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Fisher and Olin Shivers</span>
<br />
<span class="pn-venue">Journal of Functional Programming (JFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Exploiting reachability and cardinality in higher-order flow analysis</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1017/S0956796808006941">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might and Olin Shivers</span>
<br />
<span class="pn-venue">Journal of Functional Programming (JFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Essentials of programming languages (3. ed.)</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.eopl3.com/">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Daniel P. Friedman and Mitchell Wand</span>
<br />
<span class="pn-venue">MIT Press</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Much Ado about Nothing: Putting Java's Null in its Place</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/dissertation-cobbe.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Richard Cobbe</span>
<br />
<span class="pn-venue">PhD Dissertation, Northeastern University</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">The Design and Implementation of Typed Scheme</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Sam Tobin-Hochstadt, Matthias Felleisen</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Programming languages: fundamental concepts for expanding and disciplining the mind</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1480828.1480857">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Mitchell Wand and Daniel P. Friedman</span>
<br />
<span class="pn-venue">SIGPLAN Notices</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Why teach programming languages</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1480828.1480856">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olin Shivers</span>
<br />
<span class="pn-venue">SIGPLAN Notices</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Haskell Session Types with (Almost) No Class</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users.eecs.northwestern.edu/~jesse/pubs/haskell-session-types/">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Riccardo Pucella and Jesse A. Tov</span>
<br />
<span class="pn-venue">SIGPLAN Symposium on Haskell</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Caml-Shcaml: An OCaml Library for Unix Shell Programming</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://users.eecs.northwestern.edu/~jesse/pubs/caml-shcaml/">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Alec Heller and Jesse A. Tov</span>
<br />
<span class="pn-venue">SIGPLAN workshop on ML</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2007</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">ACL2 for Freshmen: First Experiences</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/acl207-evf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Carl Eastlund, Dale Vaillancourt, Matthias Felleisen</span>
<br />
<span class="pn-venue">ACL2 Workshop</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Debugging Macros</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/gpce07-cf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ryan Culpepper, Matthias Felleisen</span>
<br />
<span class="pn-venue">Generative Programming: Concepts & Experience (GPCE)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">On the correctness of the Krivine machine</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/s10990-007-9019-8">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Mitchell Wand</span>
<br />
<span class="pn-venue">Higher-Order and Symbolic Computation</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Implementation and Use of the PLT Scheme Web Server</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/hosc07-sk-mf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen</span>
<br />
<span class="pn-venue">Higher-Order and Symbolic Computation</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Adding Delimited and Composable Control to a Production Programming Environment</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/icfp07-fyff.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Functional Pearl: The Great Escape. Or, How to Jump the Border Without Getting Caught</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dherman/research/papers/icfp07-great-escape.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Herman</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Advanced Macrology and the Implementation of Typed Scheme</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/racket/pubs/scheme2007-ctf.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt</span>
<br />
<span class="pn-venue">Scheme Workshop</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Analyzing the environment structure of higher-order languages using frame strings</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1016/j.tcs.2006.12.031">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might and Olin Shivers</span>
<br />
<span class="pn-venue">Theoretical Computer Science</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Space-Efficient Gradual Typing</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dherman/research/papers/tfp07-gradual-typing.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Herman, Aaron Tomb and Cormac Flanagan</span>
<br />
<span class="pn-venue">Trends in Functional Programming (TFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Model Checking Via GammaCFA</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/978-3-540-69738-1_4">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might, Benjamin Chambers, and Olin Shivers</span>
<br />
<span class="pn-venue">Verification, Model Checking, and Abstract Interpretation (VMCAI)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Status Report: Specifying JavaScript with ML</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://www.ccs.neu.edu/home/dherman/research/papers/ml07-javascript.pdf">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Herman and Cormac Flanagan</span>
<br />
<span class="pn-venue">Workshop on ML</span></div></div></div><div class="pn-pub-group col-md-12 compact"><span class="pn-pub-year ">2006</span>
<br />
<div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Bisimulations for Untyped Imperative Objects</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1007/11693024_11">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Vasileios Koutavas and Mitchell Wand</span>
<br />
<span class="pn-venue">European Symposium on Programming (ESOP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Improving flow analyses via GammaCFA: abstract garbage collection and counting</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1159803.1159807">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might and Olin Shivers</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Static analysis for syntax objects</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1159803.1159817">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">David Fisher and Olin Shivers</span>
<br />
<span class="pn-venue">International Conference on Functional Programming (ICFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Multi-return function call</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://dx.doi.org/10.1017/S0956796806006009">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olin Shivers and David Fisher</span>
<br />
<span class="pn-venue">Journal of Functional Programming (JFP)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Small bisimulations for reasoning about higher-order imperative programs</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1111037.1111050">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Vasileios Koutavas and Mitchell Wand</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Environment analysis via Delta CFA</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1111037.1111049">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Matthew Might and Olin Shivers</span>
<br />
<span class="pn-venue">Principles of Programming Languages (POPL)</span></div></div><div class="pn-publication"><div class="pn-main-informations"><span class="pn-pub-title">Continuations and transducer composition</span>
<span class="pn-pub-link">[<a class="pn-url" href="http://doi.acm.org/10.1145/1133981.1134016">link <span class="glyphicon glyphicon-link"></span></a>]</span>
<br />
<span class="pn-authors">Olin Shivers and Matthew Might</span>