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
/
Copy pathpublications.rkt
1365 lines (1355 loc) · 67.4 KB
/
publications.rkt
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
#lang scribble/html
@(require racket/match
"publication-data.rkt"
"templates.rkt")
@;; NOTE: Papers are sorted by in reverse chronological order (although there is
@;; no sorting within a year, because we don't track that information). Please
@;; follow this policy when adding new papers -- in particular, recent
@;; papers should go at the top.
@;; NOTE: For now, the policy is that a paper should be on this page if one of
@;; the authors was a member of the lab when it was published.
@(define OOPSLA "Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)")
@(define PLDI "Programming Language Design and Implementation (PLDI)")
@(define ICFP "International Conference on Functional Programming (ICFP)")
@(define POPL "Principles of Programming Languages (POPL)")
@(define ESOP "European Symposium on Programming (ESOP)")
@(define JFP "Journal of Functional Programming (JFP)")
@(define ECOOP "European Conference on Object-Oriented Programming (ECOOP)")
@(define SNAPL "Summit on Advances in Programming Langugages (SNAPL)")
@(define CC "International Conference on Compiler Construction (CC)")
@(define SIGCSE "SIGCSE")
@(define TOPLAS "Transactions on Programming Languages and Systems (TOPLAS)")
@(define IFL "Implementation and Application of Functional Languages (IFL)")
@(define PADL "Practical Aspects of Declarative Languages (PADL)")
@(define TFP "Trends in Functional Programming (TFP)")
@(define DLS "Dynamic Languages Symposium (DLS)")
@(define TLDI "Types in Language Design and Implementation (TLDI)")
@(define Scheme "Scheme and Functional Programming Workshop")
@(define PPDP "Principles and Practice of Declarative Programming (PPDP)")
@(define ACL2 "ACL2 Workshop")
@(define FDPE "Functional and Declarative Programming in Education (FDPE)")
@(define GPCE "Generative Programming: Concepts & Experience (GPCE)")
@(define LMCS "Logical Methods in Computer Science (LMCS)")
@(define MSCS "Mathematical Structures in Computer Science (MSCS)")
@(define LICS "Logic in Computer Science (LICS)")
@(define DBPL "Database Programming Languages (DBPL)")
@(define TCS "Theoretical Computer Science")
@(define VMCAI "Verification, Model Checking, and Abstract Interpretation (VMCAI)")
@(define HOSC "Higher-Order and Symbolic Computation")
@(define LFP "LISP and Functional Programming (LFP)")
@(define SOCP "Science of Computer Programming")
@(define ITP "Interactive Theorem Proving (ITP)")
@(define RTAS "Real-time and Embedded Technology and Application Symposium (RTAS)")
@(define NUTechReport "Northeastern University College of Computer and Information Science Technical Reports")
@(define PPS "Workshop on Probabilistic Programming Semantics (PPS)")
@(define PEPM "Workshop on Partial Evaluation and Program Manipulation (PEPM)")
@(define ISSTA "International Symposium on Software Testing and Analysis (ISSTA)")
@(define FSCD "Formal Structures for Computation and Deduction (FSCD)")
@(define ARRAY "Workshop on Libraries, Languages, and Compilers for Array Programming (ARRAY)")
@(define ESECFSE "European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)")
@(define CSUR "ACM Computing Surveys (CSUR)")
@(define JAR "Journal of Automated Reasoning (JAR)")
@(define TECS "ACM Transactions on Embedded Computing Systems (TECS)")
@(define TSE "IEEE Transactions on Software Engineering (TSE)")
@(define PACT "International Conference on Parallel Architectures and Compilation Techniques (PACT)")
@(define HOPL "History of Programming Languages (HOPL)")
@(define publications
(list
(publication "Corpse Reviver: Sound And Efficient Gradual Typing Via Contract Verification"
"Cameron Moy, Phúc C. Nguyễn, Sam Tobin-Hochstadt, and David Van Horn"
POPL
2021
"https://arxiv.org/abs/2007.12630")
(publication "Formally Verified Speculation and Deoptimization in a JIT Compiler"
"Aurèle Barrière, Olivier Flückiger, Sandrine Blazy, David Pichardie, and Jan Vitek"
POPL
2021
"http://janvitek.org/pubs/popl21.pdf")
(publication "Robot Action Selection Learning via Layered Dimension Informed Program Synthesis"
"Jarrett Holtz, Arjun Guha, and Joydeep Biswas"
"Conference on Robot Learning (CoRL)"
2020
"https://arxiv.org/abs/2008.04133")
(publication "Sampling Optimized Code For Type Feedback"
"Olivier Flückiger, Andreas Wälchli, Sebastián Krynski, and Jan Vitek"
DLS
2020
"https://arxiv.org/abs/2010.02080")
(publication "Wasm/K: Delimited Continuations For WebAssembly"
"Donald Pinckney, Arjun Guha, and Yuriy Brun"
DLS
2020
"https://arxiv.org/abs/2010.01723")
(publication "A Large-Scale Longitudinal Study of Flaky Tests"
"Wing Lam, Stefan Winter, Anjiang Wei, Tao Xie, Darko Marinov, and Jonathan Bell"
OOPSLA
2020
"https://jonbell.net/publications/oopsla20flaky")
(publication "World Age in Julia: Optimizing Method Dispatch in the Presence of Eval"
"Julia Belyakova, Benjamin Chung, Jack Gelinas, Jameson Nash, Ross Tate, and Jan Vitek"
OOPSLA
2020
"http://janvitek.org/pubs/oopsla20-j.pdf")
(publication "Contextual Dispatch for Function Specialization"
"Olivier Flückiger, Guido Chari, Ming-Ho Yee, Jan Ječmen, Jakob Hain, and Jan Vitek"
OOPSLA
2020
"http://janvitek.org/pubs/oopsla20-cd.pdf")
(publication "Designing Types for R, Empirically"
"Alexi Turcotte, Aviral Goel, Filip Křikava, and Jan Vitek"
OOPSLA
2020
"http://janvitek.org/pubs/oopsla20-r.pdf")
(publication "Adding Interactive Visual Syntax to Textual Code"
"Leif Andersen, Michael Ballantyne, and Matthias Felleisen"
OOPSLA
2020
"https://www2.ccs.neu.edu/racket/pubs/oopsla20-abf.pdf")
(publication "Macros for Domain-Specific Languages"
"Michael Ballantyne, Alexis King, and Matthias Felleisen"
OOPSLA
2020
"https://www2.ccs.neu.edu/racket/pubs/oopsla20-bkf.pdf")
(publication "TacTok: Semantics-Aware Proof Synthesis"
"Emily First, Yuriy Brun, and Arjun Guha"
OOPSLA
2020
"https://doi.org/10.1145/3428299")
(publication "A Semantics for the Essence of React"
"Magnus Madsen, Ondřej Lhoták, and Frank Tip"
ECOOP
2020
"https://www.franktip.org/pubs/ecoop2020.pdf")
(publication "Typed Dataspace Actors"
"Samuel Caldwell, Tony Garnock-Jones, and Matthias Felleisen"
JFP
2020
"https://www2.ccs.neu.edu/racket/pubs/cgjf-jfp20.pdf")
(publication "Hygienic Macro Technology"
"William D. Clinger and Mitchell Wand"
HOPL
2020
"https://doi.org/10.1145/3386330")
(publication "Learning Self-Play Agents For Combinatorial Optimization Problems"
"Ruiyang Xu and Karl Lieberherr"
"The Knowledge Engineering Review"
2020
"https://doi.org/10.1017/s026988892000020x")
(publication "Model-Based Warp Overlapped Tiling for Image Processing Programs on GPUs"
"Abhinav Jangda and Arjun Guha"
PACT
2020
"https://arxiv.org/abs/1909.07190")
(publication "Dependent Type Systems as Macros"
"Stephen Chang, Michael Ballantyne, Milo Turner, and William J. Bowman"
POPL
2020
"https://www.ccs.neu.edu/home/stchang/pubs/cbtb-popl2020.pdf")
(publication "Graduality and Parametricity: Together Again for the First Time"
"Max S. New, Dustin Jamner, and Amal Ahmed"
POPL
2020
"https://www.ccs.neu.edu/home/amal/papers/gradparam.pdf")
(publication "A Study of Call Graph Construction for JVM-Hosted Languages"
"Karim Ali, Xiaoni Lai, Zhaoyi Luo, Ondřej Lhoták, Julian Dolby, and Frank Tip"
TSE
2019
"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8944149")
(publication "Under Control: Compositionally Correct Closure Conversion with Mutable State"
"Phillip Mates, Jamie Perconti, and Amal Ahmed"
PPDP
2019
"https://www.ccs.neu.edu/home/amal/papers/refcc.pdf")
(publication "From Macros to DSLs: The Evolution of Racket"
"Ryan Culpepper, Matthias Felleisen, Matthew Flatt, and Shriram Krishnamurthi"
SNAPL
2019
"http://drops.dagstuhl.de/opus/volltexte/2019/10548/pdf/LIPIcs-SNAPL-2019-5.pdf")
(publication "The Next 700 Compiler Correctness Theorems (Functional Pearl)"
"Daniel Patterson and Amal Ahmed"
ICFP
2019
"http://www.ccs.neu.edu/home/amal/papers/next700ccc.pdf")
(publication "Scala Implicits are Everywhere: A Large-Scale Study of the Use of Implicits in the Wild"
"Filip Křikava, Heather Miller, and Jan Vitek"
OOPSLA
2019
"http://janvitek.org/pubs/oopsla19b.pdf")
(publication "On the Design, Implementation and Use of Laziness in R"
"Aviral Goel and Jan Vitek"
OOPSLA
2019
"http://janvitek.org/pubs/oopsla19a.pdf")
(publication "Complete Monitors for Gradual Types"
"Ben Greenman, Matthias Felleisen, and Christos Dimoulas"
OOPSLA
2019
"https://doi.org/10.1145/3360548")
(publication "R Melts Brains: An IR for First-Class Environments and Lazy Effectful Arguments"
"Olivier Flückiger, Ming-Ho Yee, Guido Chari, Jakob Hain, Jan Ječmen and Jan Vitek"
DLS
2019
"http://janvitek.org/pubs/dls19.pdf")
(publication "Julia's Efficient Algorithm for Subtyping Unions and Covariant Tuples"
"Benjamin Chung, Francesco Zappa Nardelli, and Jan Vitek"
ECOOP
2019
"http://janvitek.org/pubs/ecoop19.pdf")
(publication "On the Impact of Programming Languages on Code Quality"
"Emery D. Berger, Celeste Hollenbeck, Petr Maj, Olga Vitek, and Jan Vitek"
TOPLAS
2019
"http://janvitek.org/pubs/toplas19.pdf")
(publication "Can Android Run on Time? Extending and Measuring the Android Platform's Timeliness"
"Yin Yan, Girish Gokul, Karthik Dantu, Steven Y. Ko, Lukasz Ziarek, and Jan Vitek"
TECS
2019
"http://janvitek.org/pubs/tecs18.pdf")
(publication "Feature-specific Profiling"
"Leif Andersen, Vincent St-Amour, Jan Vitek, and Matthias Felleisen"
TOPLAS
2018
"http://janvitek.org/pubs/toplas18.pdf")
(publication "Platform-Independent Dynamic Taint Analysis for JavaScript"
"Rezwana Karim, Frank Tip, Alena Sochurkova, and Koushik Sen"
TSE
2018
"https://www.franktip.org/pubs/tse2018.pdf")
(publication "Verifying a Concurrent Garbage Collector with a Rely-Guarantee Methodology"
"Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek"
JAR
2018
"http://janvitek.org/pubs/jar18.pdf")
(publication "How to Evaluate the Performance of Gradual Type Systems"
"Ben Greenman, Asumu Takikawa, Max S. New, Daniel Feltey, Robert Bruce Findler, Jan Vitek, and Matthias Felleisen"
JFP
2019
"https://www2.ccs.neu.edu/racket/pubs/gtnffvf-jfp19.pdf")
(publication "Formal Approaches to Secure Compilation: A Survey of Fully Abstract Compilation and Related Work"
"Marco Patrignani, Amal Ahmed, and Dave Clarke"
CSUR
2019
"https://dl.acm.org/citation.cfm?id=3280984")
(publication "Gradual Type Theory"
"Max S. New, Daniel R. Licata, and Amal Ahmed"
POPL
2019
"http://www.ccs.neu.edu/home/amal/papers/gtt.pdf")
(publication "The Behavior of Gradual Types: A User Study"
"Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi"
DLS
2018
"http://cs.brown.edu/~sk/Publications/Papers/Published/tgpk-beh-grad-types-user-study/")
(publication "Practical AJAX Race Detection for JavaScript Web Applications"
"Christoffer Quist Adamsen, Anders Møller, Saba Alimadadi, and Frank Tip"
ESECFSE
2018
"http://users-cs.au.dk/amoeller/papers/ajaxracer/paper.pdf")
(publication "Collapsible Contracts: Fixing a Pathology of Gradual Typing"
"Daniel Feltey, Ben Greenman, Christophe Scholliers, Robby Findler, and Vincent St-Amour"
OOPSLA
2018
"http://www.ccis.northeastern.edu/~types/publications/collapsible/fgsfs-oopsla-2018.pdf")
(publication "Finding Broken Promises in Asynchronous JavaScript Programs"
"Saba Alimadadi, Di Zhong, Magnus Madsen, and Frank Tip"
OOPSLA
2018
"http://ece.ubc.ca/~saba/dl/promisekeeper.pdf")
(publication "Julia Subtyping: a Rational Reconstruction"
"Francesco Zappa Nardelli, Julia Belyakova, Artem Pelenitsyn, Benjamin Chung, Jeff Bezanson, and Jan Vitek"
OOPSLA
2018
"http://janvitek.org/pubs/oopsla18a.pdf")
(publication "Julia: Dynamism and Performance Reconciled by Design"
"Jeff Bezanson, Benjamin Chung, Jiahao Chen, Stefan Karpinski, Viral B Shah, Jan Vitek, and Lionel Zoubritzky"
OOPSLA
2018
"http://janvitek.org/pubs/oopsla18b.pdf")
(publication "Test Generation for Higher-Order Functions in Dynamic Languages"
"Marija Selakovic, Michael Pradel, Rezwana Karim Nawrin, and Frank Tip"
OOPSLA
2018
"http://software-lab.org/publications/oopsla2018_LambdaTester.pdf")
(publication "Rank Polymorphism Viewed as a Constraint Problem"
"Justin Slepak, Panagiotis Manolios, and Olin Shivers"
ARRAY
2018
"https://doi.org/10.1145/3219753.3219758")
(publication "Graduality from Embedding-Projection Pairs"
"Max S. New and Amal Ahmed"
ICFP
2018
#f)
(publication "Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion"
"Mitchell Wand, Ryan Culpepper, Theophilos Giannakopoulos, and Andrew Cobb"
ICFP
2018
"https://doi.org/10.1145/3236782")
(publication "A Spectrum of Soundness and Performance"
"Ben Greenman and Matthias Felleisen"
ICFP
2018
#f)
(publication "Typed Closure Conversion of the Calculus of Constructions"
"William J. Bowman and Amal Ahmed"
PLDI
2018
"https://williamjbowman.com/resources/wjb-paper-cccc.pdf")
(publication "Call-by-name Gradual Type Theory"
"Max S. New and Daniel R. Licata"
FSCD
2018
#f)
(publication "Tests from Traces: Automated Unit Test Generation for R"
"Filip Křikava, Jan Vitek"
ISSTA
2018
#f)
(publication "KafKa: Gradual Typing for Objects"
"Benjamin Chung, Paley Li, Francesco Zappa Nardelli, and Jan Vitek"
ECOOP
2018
#f)
(publication "Soundness of a Concurrent Collector for Actors"
"Juliana Franco, Sylvain Clebsch, Sophia Drossopoulou, Jan Vitek, and Tobias Wrigstad"
ESOP
2018
"janvitek.org/pubs/esop18.pdf")
(publication "On the Cost of Type-Tag Soundness"
"Ben Greenman and Zeina Migeed"
PEPM
2018
"https://dl.acm.org/citation.cfm?id=3162066")
(publication "Contextual Equivalence for a Probabilistic Language with Continuous Random Variables and Recursion"
"Mitchell Wand, Theophilos Giannakopoulos, Andrew Cobb, and Ryan Culpepper"
PPS
2018
"https://pps2018.soic.indiana.edu/2018/01/07/contextual-equivalence-for-a-probabilistic-language-with-continuous-random-variables-and-recursion/")
(publication "Correctness of Speculative Optimizations with Dynamic Deoptimization"
"Olivier Fluckiger, Gabriel Scherer, Ming-Ho Yee, Aviral Goel, Amal Ahmed, and Jan Vitek"
POPL
2018
"http://doi.org/10.1145/3158137")
(publication "Symbolic Types for Lenient Symbolic Execution"
"Stephen Chang, Alex Knauth, and Emina Torlak"
POPL
2018
"https://doi.org/10.1145/3158128")
(publication "Type-Preserving CPS Translation of Σ and Π Types is Not Not Possible"
"William J. Bowman, Youyou Cong, Nick Rioux, and Amal Ahmed"
POPL
2018
"http://doi.org/10.1145/3158110")
(publication "Simplicitly: Foundations and Applications of Implicit Function Types"
"Martin Odersky, Olivier Blanvillain, Fengyun Liu, Aggelos Biboudis, Heather Miller, and Sandro Stucki"
POPL
2018
"https://doi.org/10.1145/3158130")
(publication "Inferring Scope through Syntactic Sugar"
"Justin Pombrio, Shriram Krishnamurthi, and Mitchell Wand"
ICFP
2017
"http://doi.org/10.1145/3110288")
(publication "No-Brainer CPS Conversion"
"Milo Davis, William Meehan, and Olin Shivers"
ICFP
2017
"http://doi.org/10.1145/3110267")
(publication "Super 8 Languages for Making Movies (Functional Pearl)"
"Leif Andersen, Stephen Chang, and Matthias Felleisen"
ICFP
2017
"http://doi.org/10.1145/3110274")
(publication "Theorems for Free for Free: Parametricity, With and Without Types"
"Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler"
ICFP
2017
"http://doi.org/10.1145/3110283")
(publication "Orca: GC and Type System Co-Design for Actor Languages"
"Sylvain Clebsch, Juliana Franco, Sophia Drossopoulou, Albert Mingkun Yang, Tobias Wrigstad, and Jan Vitek"
OOPSLA
2017
"http://janvitek.org/pubs/oopsla17a.pdf")
(publication "Déj́à Vu: A Map of Code Duplicates on GitHub"
"Crista Lopes, Petr Maj, Pedro Martins, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek"
OOPSLA
2017
"http://janvitek.org/pubs/oopsla17b.pdf")
(publication "Parallelizing Julia with a Non-invasive DSL"
"Todd Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, and Tatiana Shpeisman"
ECOOP
2017
"http://janvitek.org/pubs/ecoop17.pdf")
(publication "Verifying a Concurrent Garbage Collector using a Rely-Guarantee Methodology"
"Yannick Zakowski, David Cachera, Delphine Demange, Gustavo Petri, David Pichardie, Suresh Jagannathan, and Jan Vitek"
ITP
2017
"http://janvitek.org/pubs/ITP17.pdf")
(publication "Making Android Run on Time"
"Yin Yan, Karthik Dantu, Steven Y. Ko, Jan Vitek, and Lukasz Ziarek"
RTAS
2017
"http://janvitek.org/pubs/rtas17.pdf")
(publication "Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring"
"Ryan Culpepper and Andrew Cobb"
ESOP
2017
"http://www.ccs.neu.edu/home/ryanc/papers/esop2017.pdf")
(publication "FunTAL: Reasonably Mixing a Functional Language with Assembly"
"Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed"
PLDI
2017
"https://dbp.io/pubs/2017/funtal.pdf")
(publication "Linking Types for Multi-Language Software: Have Your Cake and Eat It Too"
"Daniel Patterson and Amal Ahmed"
SNAPL
2017
"https://dbp.io/pubs/2017/linking-types-snapl.pdf")
(publication "Search for Program Structure"
"Gariel Scherer"
SNAPL
2017
"http://www.ccs.neu.edu/home/gasche/research/canonical-forms/snapl.pdf")
(publication "Migratory Typing: Ten Years Later"
"Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, and Asumu Takikawa"
SNAPL
2017
"http://www.ccs.neu.edu/racket/pubs/typed-racket.pdf")
(publication "Type Systems as Macros"
"Stephen Chang, Alex Knauth, Ben Greenman"
POPL
2017
"http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf")
(publication "Deciding equivalence with sums and the empty type"
"Gabriel Scherer"
POPL
2017
"https://arxiv.org/pdf/1610.01213")
(publication "Fully Abstract Compilation via Universal Embedding"
"Max S. New, William J. Bowman, and Amal Ahmed"
ICFP
2016
"http://www.ccs.neu.edu/home/amal/papers/fabcc.pdf")
(publication "Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl)"
"Christos Dimoulas, Max S. New, Robert Bruce Findler, and Matthias Felleisen"
ICFP
2016
"http://www.ccs.neu.edu/racket/pubs/icfp16-dnff.pdf")
(publication "Coordinated Concurrent Programming in Syndicate"
"Tony Garnock-Jones and Matthias Felleisen"
ESOP
2016
"http://www.ccs.neu.edu/racket/pubs/esop16-gjf.pdf")
(publication "Is sound gradual typing dead?"
"Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen"
POPL
2016
"http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf")
(publication "Concrete Types for TypeScript"
"Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek"
ECOOP
2015
"http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.76")
(publication "Cooking the Books: Formalizing JMM Implementation Recipes"
"Gustavo Petri, Jan Vitek, and Suresh Jagannathan"
ECOOP
2015
"http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.445")
(publication "Repeatability, reproducibility and rigor in CS research"
"Jan Vitek"
"PLMW@POPL"
2015
"http://doi.acm.org/10.1145/2792434.2792446")
(publication "Noninterference for Free"
"William J. Bowman and Amal Ahmed"
ICFP
2015
"http://www.ccs.neu.edu/home/amal/papers/nifree.pdf")
(publication "Verified Compilers for a Multi-Language World"
"Amal Ahmed"
SNAPL
2015
"http://www.ccs.neu.edu/home/amal/papers/verifcomp.pdf")
(publication "Toward practical gradual typing"
"Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, and Matthias Felleisen"
ECOOP
2015
"http://www.ccs.neu.edu/racket/pubs/ecoop2015-takikawa-et-al.pdf")
(publication "The Racket Manifesto"
"Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, Sam Tobin-Hochstadt"
SNAPL
2015
"http://www.ccs.neu.edu/racket/pubs/manifesto.pdf")
(publication "Feature-specific Profiling"
"Vincent St-Amour, Leif Andersen, Matthias Felleisen"
CC
2015
"http://www.ccs.neu.edu/racket/pubs/cc15-saf.pdf")
(publication "Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap"
"Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen"
SIGCSE
2015
"http://www.ccs.neu.edu/racket/pubs/sigcse-sfkf.pdf")
(publication "Romeo: a system for more flexible binding-safe programming"
"Paul Stansifer and Mitchell Wand"
ICFP
2014
"http://doi.acm.org/10.1145/2628136.2628162")
(publication "An Array-Oriented Language with Static Rank Polymorphism"
"Justin Slepak, Olin Shivers, and Panagiotis Manolios"
ESOP
2014
"http://dx.doi.org/10.1007/978-3-642-54833-8_3")
(publication "Atomicity Refinement for Verified Compilation"
"Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek"
TOPLAS
2014
"http://doi.acm.org/10.1145/2601339")
(publication "M3: high-performance memory management from off-the-shelf components"
"David Terei, Alex Aiken, and Jan Vitek"
"ISMM"
2014
"http://doi.acm.org/10.1145/2602988.2602995")
(publication "Atomicity refinement for verified compilation"
"Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, and Vincent Laporte"
PLDI
2014
"http://doi.acm.org/10.1145/2594291.2594346")
(publication "A fast abstract syntax tree interpreter for R"
"Tomas Kalibera, Petr Maj, Flor, and Jan Vitek"
"VEE"
2014
"http://doi.acm.org/10.1145/2576195.2576205")
(publication "The case for the three R's of systems research: repeatability, reproducibility and rigor"
"Jan Vitek"
"VEE"
2014
"http://doi.acm.org/10.1145/2576195.2576216")
(publication "Database Queries that Explain their Work"
"James Cheney, Amal Ahmed, and Umut Acar"
PPDP
2014
"http://www.ccs.neu.edu/home/amal/papers/dqew.pdf")
(publication "Verifying an Open Compiler Using Multi-Language Semantics"
"James T. Perconti and Amal Ahmed"
ESOP
2014
"http://www.ccs.neu.edu/home/amal/papers/voc.pdf")
(publication "The Network as a Language Construct"
"Tony Garnock-Jones, Sam Tobin-Hochstadt, and Matthias Felleisen"
ESOP
2014
"http://www.ccs.neu.edu/racket/pubs/esop14-gjthf.pdf")
(publication "Profiling for Laziness"
"Stephen Chang, Matthias Felleisen"
POPL
2014
"http://www.ccs.neu.edu/racket/pubs/popl14-cf.pdf")
(publication "Contracts for First-Class Classes"
"T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, and Matthias Felleisen"
TOPLAS
2013
"http://www.ccs.neu.edu/racket/pubs/toplas13-sdtf.pdf")
(publication "Logical Relations for Fine-Grained Concurrency"
"Aaron Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer"
POPL
2013
"http://www.ccs.neu.edu/home/amal/papers/relcon.pdf")
(publication "Option Contracts"
"Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen"
OOPSLA
2013
"http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf")
(publication "Gradual Typing for First-Class Classes"
"Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen"
OOPSLA
2012
"http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf")
(publication "Optimization Coaching"
"Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen"
OOPSLA
2012
"http://www.ccs.neu.edu/racket/pubs/oopsla12-stf.pdf")
(publication "The Call-by-need Lambda Calculus, Revisited"
"Stephen Chang and Matthias Felleisen"
ESOP
2012
"http://www.ccs.neu.edu/racket/pubs/esop12-cf.pdf")
(publication "Complete Monitors for Behavioral Contracts"
"Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen"
ESOP
2012
"http://www.ccs.neu.edu/racket/pubs/esop12-dthf.pdf")
(publication "From Stack Traces to Lazy Rewriting Sequences"
"Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen"
IFL
2011
"http://www.ccs.neu.edu/racket/pubs/ifl11-cbcf.pdf")
(publication "On Contract Satisfaction in a Higher-Order World"
"Christos Dimoulas, Matthias Felleisen"
TOPLAS
2011
"http://www.ccs.neu.edu/racket/pubs/df-toplas11.pdf")
(publication "Seeing the futures: profiling shared-memory parallel Racket"
"James Swaine, Burke Fetscher, Vincent St-Amour, Robby Findler and Matthew Flatt"
"Functional High-Performance Computing (FHPC)"
2012
"http://www.ccs.neu.edu/home/stamourv/papers/seeing-the-futures.pdf")
(publication "Practical Programming with Substructural Types"
"Jesse A. Tov"
"PhD Dissertation, Northeastern University"
2012
"http://users.eecs.northwestern.edu/~jesse/pubs/dissertation/")
(publication "Run Your Research"
"Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler"
POPL
2012
"http://eecs.northwestern.edu/~robby/lightweight-metatheory/popl2012-kcdeffmrtf.pdf")
(publication "Typing the Numeric Tower"
"Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, and Matthias Felleisen"
PADL
2012
"http://www.ccs.neu.edu/racket/pubs/padl12-stff.pdf")
(publication "A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs"
"Matthew Might and David Van Horn"
"The 18th International Static Analysis Symposium"
2011
"http://www.ccs.neu.edu/home/dvanhorn/pubs/might-vanhorn-sas11.pdf")
(publication "A Theory of Substructural Types and Control"
"Jesse A. Tov and Riccardo Pucella"
OOPSLA
2011
"http://users.eecs.northwestern.edu/~jesse/pubs/substructural-control")
(publication "Practical Affine Types"
"Jesse A. Tov and Riccardo Pucella"
POPL
2011
"http://users.eecs.northwestern.edu/~jesse/pubs/alms")
(publication "Languages as Libraries"
"Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen"
PLDI
2011
"http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf")
(publication "Correct Blame for Contracts: No More Scapegoating"
"Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen"
POPL
2011
"http://www.ccs.neu.edu/racket/pubs/popl11-dfff.pdf")
(publication "Modular rollback through control logging: a pair of twin functional pearls"
"Olin Shivers and Aaron Joseph Turon"
ICFP
2011
"http://doi.acm.org/10.1145/2034773.2034783")
(publication "Pushdown flow analysis of first-class control"
"Dimitrios Vardoulakis and Olin Shivers"
ICFP
2011
"http://www.ccs.neu.edu/home/dimvar/papers/cfa2-1st-class.pdf")
(publication "A Resource Analysis of the π-calculus"
"Aaron Joseph Turon and Mitchell Wand"
"Mathematical Foundations of Programming Semantics (MFPS)"
2011
"http://dx.doi.org/10.1016/j.entcs.2011.09.028")
(publication "Parsing reflective grammars"
"Paul Stansifer and Mitchell Wand"
"LDTA"
2011
"http://doi.acm.org/10.1145/1988783.1988793")
(publication "A separation logic for refining concurrent objects"
"Aaron Joseph Turon and Mitchell Wand"
POPL
2011
"http://doi.acm.org/10.1145/1926385.1926415")
(publication "Ordering multiple continuations on the stack"
"Dimitrios Vardoulakis and Olin Shivers"
"PEPM"
2011
"http://www.ccs.neu.edu/home/dimvar/papers/rcps-NU-CCIS-11-01.pdf")
(publication "Bounded-latency regional garbage collection"
"Felix S. Klock II and William D. Clinger"
DLS
2011
"http://doi.acm.org/10.1145/2047849.2047859")
(publication "Abstracting Abstract Machines"
"David Van Horn and Matthew Might"
ICFP
2010
"http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-icfp10.pdf")
(publication "Pushdown Control-Flow Analysis of Higher-Order Programs"
"Christopher Earl, Matthew Might and David Van Horn"
"Scheme and Functional Programming Workshop"
2010
"http://www.ccs.neu.edu/home/dvanhorn/pubs/earl-might-vanhorn-sfp10.pdf")
(publication "Resolving and Exploiting the k-CFA Paradox"
"Matthew Might, Yannis Smaragdakis and David Van Horn"
PLDI
2010
"http://www.ccs.neu.edu/home/dvanhorn/pubs/might-smaragdakis-vanhorn-pldi10.pdf")
(publication "Evaluating Call By Need on the Control Stack"
"Stephen Chang, David Van Horn and Matthias Felleisen"
TFP
2010
"http://www.ccs.neu.edu/home/stchang/pubs/Chang-VanHorn-Felleisen-TFP2010.pdf")
(publication "Functional Adaptive Programming"
"Bryan Chadwick"
"PhD Dissertation, Northeastern University"
2010
"http://www.ccs.neu.edu/home/chadwick/files/thesis-single.pdf")
(publication "Algorithms for Traversal-Based Generic Programming"
"Bryan Chadwick and Karl Lieberherr"
"Workshop on Generic Programming"
2010
"http://www.ccs.neu.edu/home/chadwick/demeterf/papers/wgp10-final.pdf")
(publication "Weaving Generic Programming and Traversal Performance"
"Bryan Chadwick and Karl Lieberherr"
"AOSD"
2010
"http://www.ccs.neu.edu/home/chadwick/demeterf/papers/aosd10-final.pdf")
(publication "Stateful Contracts for Affine Types"
"Jesse A. Tov and Riccardo Pucella"
ESOP
2010
"http://users.eecs.northwestern.edu/~jesse/pubs/affine-contracts/affinecontracts10-bw.pdf")
(publication "Bottom-up beta-reduction: Uplinks and lambda-DAGs"
"Olin Shivers and Mitchell Wand"
"Fundamenta Informaticae"
2010
"http://dx.doi.org/10.3233/FI-2010-328")
(publication "CFA2: A Context-Free Approach to Control-Flow Analysis"
"Dimitrios Vardoulakis and Olin Shivers"
ESOP
2010
"http://dx.doi.org/10.1007/978-3-642-11957-6_30")
(publication "Hygienic Macros for ACL2"
"Carl Eastlund, Matthias Felleisen"
TFP
2010
"http://www.ccs.neu.edu/racket/pubs/tfp10-ef.pdf")
(publication "Contracts for First-Class Classes"
"T. Stephen Strickland, Matthias Felleisen"
DLS
2010
"http://www.ccs.neu.edu/racket/pubs/dls10-sf.pdf")
(publication "CFA2: a Context-Free Approach to Control-Flow Analysis"
"Dimitrios Vardoulakis and Olin Shivers"
NUTechReport
2010
"http://www.ccs.neu.edu/home/dimvar/papers/cfa2-NU-CCIS-10-01.pdf")
(publication "Fortifying Macros"
"Ryan Culpepper, Matthias Felleisen"
ICFP
2010
"http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf")
(publication "Logical Types for Untyped Languages"
"Sam Tobin-Hochstadt, Matthias Felleisen"
ICFP
2010
"http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf")
(publication "TeachScheme!---A Checkpoint (Abstract)"
"Matthias Felleisen"
ICFP
2010
"http://www.ccs.neu.edu/racket/pubs/icfp10-f.pdf")
(publication "Adding Types to Untyped Languages (Abstract)"
"Matthias Felleisen"
TLDI
2010
"http://www.ccs.neu.edu/racket/pubs/tldi10-f.pdf")
(publication "All-Terimation(T)"
"Panagiotis Manolios and Aaron Turon"
"TACAS"
2009
"http://www.ccs.neu.edu/home/turon/tacas09.pdf")
(publication "Regular expression derivatives reexamined"
"Scott Owens, John Reppy and Aaron Turon"
JFP
2009
"http://www.ccs.neu.edu/home/turon/re-deriv.pdf")
(publication "A Type System for Functional Traversal-Based Aspects"
"Bryan Chadwick and Karl Lieberherr"
"FOAL Workshop"
2009
"http://www.ccs.neu.edu/home/chadwick/demeterf/papers/foal09-final.pdf")
(publication "Nested and Dynamic Contract Boundaries"
"T. Stephen Strickland, Matthias Felleisen"
IFL
2009
"http://www.ccs.neu.edu/racket/pubs/ifl09-sf.pdf")
(publication "Contracts for First-Class Modules"
"T. Stephen Strickland, Matthias Felleisen"
DLS
2009
"http://www.ccs.neu.edu/racket/pubs/dls09-sf.pdf")
(publication "Sequence Traces for Object-Oriented Executions"
"Carl Eastlund, Matthias Felleisen"
Scheme
2009
"http://www.ccs.neu.edu/racket/pubs/scheme2009-ef.pdf")
(publication "The Higher-Order Aggregate Update Problem"
"Christos Dimoulas and Mitchell Wand"
VMCAI
2009
"http://dx.doi.org/10.1007/978-3-540-93900-9_8")
(publication "Making Induction Manifest in Modular ACL2"
"Carl Eastlund, Matthias Felleisen"
PPDP
2009
"http://www.ccs.neu.edu/racket/pubs/ppdp09-ef.pdf")
(publication "Future Contracts"
"Christos Dimoulas, Riccardo Pucella, Matthias Felleisen"
PPDP
2009
"http://www.ccs.neu.edu/racket/pubs/ppdp09-dpf.pdf")
(publication "Ryan Culpepper, Matthias Felleisen"
"Debugging Hygienic Macros"
"Science of Computer Programming"
2009
"http://www.ccs.neu.edu/racket/pubs/cf-sp09.pdf")
(publication "A Functional I/O System (or Fun for Freshman Kids)"
"Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi"
ICFP
2009
"http://www.ccs.neu.edu/racket/pubs/icfp09-fffk.pdf")
(publication "Automatic Verification for Interactive Graphical Programs"
"Carl Eastlund and Matthias Felleisen"
ACL2
2009
"http://www.ccs.neu.edu/racket/pubs/acl209-ef.pdf")
(publication "Practical Variable-Arity Polymorphism"
"T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen"
ESOP
2009
"http://www.ccs.neu.edu/racket/pubs/esop09-sthf.pdf")
(publication "Toward a Practical Module System for ACL2"
"Carl Eastlund and Matthias Felleisen"
PADL
2009
"http://www.ccs.neu.edu/racket/pubs/padl09-ef.pdf")
(publication "Variable-Arity Generic Interfaces"
"T. Stephen Strickland and Richard Cobbe and Matthias Felleisen"
"(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-08-01"
2008
"http://www.ccs.neu.edu/racket/pubs/NU-CCIS-08-01.pdf")
(publication "Haskell Session Types with (Almost) No Class"
"Riccardo Pucella and Jesse A. Tov"
"SIGPLAN Symposium on Haskell"
2008
"http://users.eecs.northwestern.edu/~jesse/pubs/haskell-session-types/")
(publication "Caml-Shcaml: An OCaml Library for Unix Shell Programming"
"Alec Heller and Jesse A. Tov"
"SIGPLAN workshop on ML"
2008
"http://users.eecs.northwestern.edu/~jesse/pubs/caml-shcaml/")
(publication "Much Ado about Nothing: Putting Java's Null in its Place"
"Richard Cobbe"
"PhD Dissertation, Northeastern University"
2008
"http://www.ccs.neu.edu/racket/pubs/dissertation-cobbe.pdf")
(publication "Essentials of programming languages (3. ed.)"
"Daniel P. Friedman and Mitchell Wand"
"MIT Press"
2008
"http://www.eopl3.com/")
(publication "Programming languages: fundamental concepts for expanding and disciplining the mind"
"Mitchell Wand and Daniel P. Friedman"
"SIGPLAN Notices"
2008
"http://doi.acm.org/10.1145/1480828.1480857")
(publication "A Compositional Trace Semantics for Orc"
"Dimitrios Vardoulakis and Mitchell Wand"
"COORDINATION"
2008
"http://www.ccs.neu.edu/home/dimvar/papers/orc-coord.pdf")
(publication "A Theory of Hygienic Macros"
"David Herman and Mitchell Wand"
ESOP
2008
"http://dx.doi.org/10.1007/978-3-540-78739-6_4")
(publication "Building language towers with Ziggurat"
"David Fisher and Olin Shivers"
JFP
2008
"http://dx.doi.org/10.1017/S0956796808006928")
(publication "Exploiting reachability and cardinality in higher-order flow analysis"
"Matthew Might and Olin Shivers"
JFP
2008
"http://dx.doi.org/10.1017/S0956796808006941")
(publication "Why teach programming languages"
"Olin Shivers"
"SIGPLAN Notices"
2008
"http://doi.acm.org/10.1145/1480828.1480856")
(publication "Trusted Theorem Proving: A Case Study in SLD-Resolution"
"Konstantine Arkoudas and Olin Shivers"
"ISoLA"
2008
"http://dx.doi.org/10.1007/978-3-540-88479-8_56")
(publication "Functional Programming and Theorem Proving for Undergraduates: A Progress Report"
"Rex Page, Carl Eastlund, and Matthias Felleisen"
FDPE
2008
"http://www.ccs.neu.edu/racket/pubs/fdpe08-pef.pdf")
(publication "The Design and Implementation of Typed Scheme"
"Sam Tobin-Hochstadt, Matthias Felleisen"
POPL
2008
"http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf")
(publication "On the correctness of the Krivine machine"
"Mitchell Wand"
HOSC
2007
"http://dx.doi.org/10.1007/s10990-007-9019-8")
(publication "Analyzing the environment structure of higher-order languages using frame strings"
"Matthew Might and Olin Shivers"
TCS
2007
"http://dx.doi.org/10.1016/j.tcs.2006.12.031")
(publication "Model Checking Via GammaCFA"
"Matthew Might, Benjamin Chambers, and Olin Shivers"
VMCAI
2007
"http://dx.doi.org/10.1007/978-3-540-69738-1_4")
(publication "ACL2 for Freshmen: First Experiences"
"Carl Eastlund, Dale Vaillancourt, Matthias Felleisen"
ACL2
2007
"http://www.ccs.neu.edu/racket/pubs/acl207-evf.pdf")
(publication "Debugging Macros"
"Ryan Culpepper, Matthias Felleisen"
GPCE
2007
"http://www.ccs.neu.edu/racket/pubs/gpce07-cf.pdf")
(publication "Adding Delimited and Composable Control to a Production Programming Environment"
"Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen"
ICFP
2007
"http://www.ccs.neu.edu/racket/pubs/icfp07-fyff.pdf")
(publication "Implementation and Use of the PLT Scheme Web Server"
"Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen"
HOSC
2007
"http://www.ccs.neu.edu/racket/pubs/hosc07-sk-mf.pdf")
(publication "Advanced Macrology and the Implementation of Typed Scheme"
"Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt"
"Scheme Workshop"
2007
"http://www.ccs.neu.edu/racket/pubs/scheme2007-ctf.pdf")
(publication "Status Report: Specifying JavaScript with ML"
"David Herman and Cormac Flanagan"
"Workshop on ML"
2007
"http://www.ccs.neu.edu/home/dherman/research/papers/ml07-javascript.pdf")
(publication "Functional Pearl: The Great Escape. Or, How to Jump the Border Without Getting Caught"
"David Herman"
ICFP
2007
"http://www.ccs.neu.edu/home/dherman/research/papers/icfp07-great-escape.pdf")
(publication "Space-Efficient Gradual Typing"
"David Herman, Aaron Tomb and Cormac Flanagan"
TFP
2007
"http://www.ccs.neu.edu/home/dherman/research/papers/tfp07-gradual-typing.pdf")
(publication "Bisimulations for Untyped Imperative Objects"
"Vasileios Koutavas and Mitchell Wand"
ESOP
2006
"http://dx.doi.org/10.1007/11693024_11")
(publication "Small bisimulations for reasoning about higher-order imperative programs"
"Vasileios Koutavas and Mitchell Wand"
POPL
2006
"http://doi.acm.org/10.1145/1111037.1111050")
(publication "Multi-return function call"
"Olin Shivers and David Fisher"
JFP
2006
"http://dx.doi.org/10.1017/S0956796806006009")
(publication "Improving flow analyses via GammaCFA: abstract garbage collection and counting"
"Matthew Might and Olin Shivers"
ICFP
2006
"http://doi.acm.org/10.1145/1159803.1159807")
(publication "Static analysis for syntax objects"
"David Fisher and Olin Shivers"
ICFP
2006
"http://doi.acm.org/10.1145/1159803.1159817")
(publication "Continuations and transducer composition"
"Olin Shivers and Matthew Might"
PLDI
2006
"http://doi.acm.org/10.1145/1133981.1134016")
(publication "Environment analysis via Delta CFA"
"Matthew Might and Olin Shivers"
POPL
2006
"http://doi.acm.org/10.1145/1111037.1111049")
(publication "Linear combinations of radioactive decay models for generational garbage collection"
"William D. Clinger and Fabio V. Rojas"
SOCP
2006
"http://dx.doi.org/10.1016/j.scico.2006.02.005")
(publication "Selectors Make Set-Based Analysis Too Hard"
"Philippe Meunier, Robert Bruce Findler, Paul Steckler, and Mitchell Wand"
HOSC
2005