-
Notifications
You must be signed in to change notification settings - Fork 32
/
publications.rkt
1774 lines (1764 loc) · 92.8 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 "Technical Symposium on Computer Science Education (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 EuroSys "European Conference on Computer Systems (EuroSys)")
@(define ICSE "International Conference on Software Engineering (ICSE)")
@(define TOSEM "ACM Transactions on Software Engineering and Methodology (TOSEM)")
@(define MSR "Mining Software Repositories (MSR)")
@(define SLE "International Conference on Software Language Engineering (SLE)")
@(define CSF "Computer Security Foundations Symposium (CSF)")
@(define ASE "International Conference on Automated Software Engineering (ASE)")
@(define ICST "International Conference on Software Testing, Verification and Validation (ICST)")
@(define publications
(list
(publication "Realistic Realizability: Specifying ABIs You Can Count On"
"Andrew Wagner, Zachary Eisbach, and Amal Ahmed"
"Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)"
2024
"https://doi.org/10.1145/3689755")
(publication "Decidable Subtyping Of Existential Types For Julia"
"Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek"
"Programming Language Design and Implementation (PLDI)"
2024
"https://doi.org/10.1145/3656421")
(publication "NL2Code-Reasoning And Planning With LLMs For Code Development"
"Ye Xing, Jun Huan, Wee Hyong Tok, Cong Shen, Johannes Gehrke, Katherine Lin, Arjun Guha, Omer Tripp, and Murali Krishna Ramanathan"
"Conference on Knowledge Discovery and Data Mining (KDD)"
2024
"https://doi.org/10.1145/3637528.3671505")
(publication "RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down To Webassembly"
"Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed"
"Programming Language Design and Implementation (PLDI)"
2024
"https://doi.org/10.1145/3656444")
(publication "Bit Blasting Probabilistic Programs"
"Poorva Garg, Steven Holtzen, Guy Van den Broeck, and Todd D. Millstein"
"Programming Language Design and Implementation (PLDI)"
2024
"https://doi.org/10.1145/3656412")
(publication "Ahead-Of-Time Compilation For Diverse Samplers Of Constrained Design Spaces"
"Abdelrahman Madkour, Ross Mawhorter, Stacy Marsella, Adam M. Smith, and Steven Holtzen"
"International Conference on the Foundations of Digital Games (FDG)"
2024
"https://doi.org/10.1145/3649921.3656986")
(publication "Semantic Matching In GUI Test Reuse"
"Farideh Khalili, Leonardo Mariani, Ali Mohebbi, Mauro Pezzè, and Valerio Terragni"
"Empirical Software Engineering (ESE)"
2024
"https://doi.org/10.1007/s10664-023-10406-8")
(publication "Forge: A Tool And Language For Teaching Formal Methods"
"Tim Nelson, Ben Greenman, Siddhartha Prasad, Tristan Dyer, Ethan Bove, Qianfan Chen, Charles Cutting, Thomas Del Vecchio, Sidney Levine, Julianne Rudner, Ben Ryjikov, Alexander Varga, Andrew Wagner, Luke West, and Shriram Krishnamurthi"
"Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)"
2024
"https://doi.org/10.1145/3649833")
(publication "A Nominal Approach To Probabilistic Separation Logic"
"John M. Li, Jon Aytac, Philip Johnson-Freyd, Amal Ahmed, and Steven Holtzen"
"Logic in Computer Science (LICS)"
2024
"https://doi.org/10.1145/3661814.3662135")
(publication "StudentEval: A Benchmark of Student-Written Prompts for Large Language Models of Code"
"Hannah McLean Babe, Sydney Nguyen, Yangtian Zi, Arjun Guha, Molly Q Feldman, and Carolyn Jane Anderson"
"Findings of the Association for Computational Linguistics (ACL Findings)"
2024
"https://aclanthology.org/2024.findings-acl.501.pdf")
(publication "How Beginning Programmers and Code LLMs (Mis)read Each Other"
"Sydney Nguyen, Hannah McLean Babe, Yangtian Zi, Arjun Guha, Carolyn Jane Anderson, and Molly Q Feldman"
"ACM Conference on Human Factors in Computing Systems (CHI)"
2024
"https://dl.acm.org/doi/full/10.1145/3613904.3642706")
(publication "Knuth-Morris-Pratt Illustrated"
"Cameron Moy"
JFP
2024
"https://ccs.neu.edu/~camoy/pub/knuth-morris-pratt.pdf")
(publication "Trace Contracts"
"Cameron Moy and Matthias Felleisen"
JFP
2024
"https://ccs.neu.edu/~camoy/pub/trace-contract.pdf")
(publication "Deploying and Evaluating LLMs to Program Service Mobile Robots"
"Zichao Hu, Francesca Lucchetti, Claire Schlesinger, Yash Saxena, Anders Freeman, Sadanand Modak, Arjun Guha, and Joydeep Biswas"
"Robotics and Automation Letters"
2024
"https://arxiv.org/abs/2311.11183")
(publication "Effectful Software Contracts"
"Cameron Moy, Christos Dimoulas, and Matthias Felleisen"
POPL
2024
"https://www.khoury.northeastern.edu/~camoy/pub/effectful-contract.pdf")
(publication "Gradually Typed Languages Should Be Vigilant!"
"Olek Gierczak, Lucy Menon, Christos Dimoulas, and Amal Ahmed"
OOPSLA
2024
"https://olekg.pl/papers/vigilance.pdf")
(publication "An Empirical Evaluation of Using Large Language Models for Automated Unit Test Generation"
"Max Schaefer, Sarah Nadi, Aryaz Eghbali, and Frank Tip"
TSE
2024
"https://www.franktip.org/pubs/testpilot2024.pdf")
(publication "230,439 Test Failures Later: An Empirical Evaluation of Flaky Failure Classifiers"
"Abdulrahman Alshammari, Paul Ammann, Michael Hilton, and Jonathan Bell"
ICST
2024
"https://www.jonbell.net/preprint/icst24-flaky-messages.pdf")
(publication "Automatically Reproducing Timing-Dependent Flaky-Test Failures"
"Shanto Rahman, Aaron Massey, Wing Lam, August Shi, and Jonathan Bell"
ICST
2024
"https://www.jonbell.net/preprint/icst24-flakerake.pdf")
(publication "Crossover in Parametric Fuzzing"
"Katherine Hough and Jonathan Bell"
ICSE
2024
"https://www.jonbell.net/preprint/icse24-zeugma.pdf")
(publication "Thirty-Three Years of Mathematicians and Software Engineers: A Case Study of Domain Expertise and Participation in Proof Assistant Ecosystems"
"Gwenyth Lincroft, Minsung Cho, Katherine Hough, Mahsa Bazzaz, and Jonathan Bell"
MSR
2024
"https://www.jonbell.net/preprint/msr24-proof-assistants.pdf")
(publication "StarCoder: May the Source be With You!"
"Raymond Li, Loubna Ben Allal, Yangtian Zi, Niklas Muennighoff, Denis Kocetkov, Chenghao Mou, Marc Marone, Christopher Akiki, Jia Li, Jenny Chim, Qian Liu, Evgenii Zheltonozhskii, Terry Yue Zhuo, Thomas Wang, Olivier Dehaene, Mishig Davaadorj, Joel Lamy-Poirier, João Monteiro, Oleh Shliazhko, Nicolas Gontier, Nicholas Meade, Armel Randy, Ming-Ho Yee, Logesh Kumar Umapathi, Jian Zhu, Benjamin Lipkin, Muhtasham Oblokulov, Zhiruo Wang, Rudra Murthy, Jason Stillerman, Siva Sankalp Patel, Dmitry Abulkhanov, Marco Zocca, Manan Dey, Zhihan Zhang, Nour Fahmy, Urvashi Bhattacharyya, Suriya Gunasekar, Wenhao Yu, Swayam Singh, Sasha Luccioni, Paulo Villegas, Maxim Kunakov, Fedor Zhdanov, Manuel Romero, Tony Lee, Nadav Timor, Jennifer Ding, Claire Schlesinger, Hailey Schoelkopf, Jan Ebert, Tri Dao, Mayank Mishra, Alex Gu, Jennifer Robinson, Carolyn Jane Anderson, Brendan Dolan-Gavitt, Danish Contractor, Siva Reddy, Daniel Fried, Dzmitry Bahdanau, Yacine Jernite, Carlos Muñoz Ferrandis, Sean Hughes, Thomas Wolf, Arjun Guha, Leandro von Werra, and Harm de Vries"
"Transactions on Machine Learning Research (TMLR)"
2023
"https://openreview.net/forum?id=KoFOg41haE")
(publication "How to Evaluate Blame for Gradual Types, Part 2"
"Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas"
ICFP
2023
"https://doi.org/10.1145/3607836")
(publication "Increasing the Responsiveness of Web Applications by Introducing Lazy Loading"
"Alexi Turcotte, Satyajit Gokhale, and Frank Tip"
ASE
2023
"https://www.franktip.org/pubs/ase2023.pdf")
(publication "Code Coverage Criteria for Asynchronous Programs"
"Mohammad Ganji, Saba Alimadadi, and Frank Tip"
ESECFSE
2023
"https://www.franktip.org/pubs/fse2023.pdf")
(publication "How Profilers Can Help Navigate Type Migration"
"Ben Greenman, Matthias Felleisen, and Christos Dimoulas"
OOPSLA
2023
"https://doi.org/10.1145/3622817")
(publication "Reusing Just-in-Time Compiled Code"
"Meetesh Kalpesh Mehta, Sebastián Krynski, Hugo Musso Gualandi, Manas Thakur, and Jan Vitek"
OOPSLA
2023
"https://doi.org/10.1145/3622839")
(publication "Continuing WebAssembly with Effect Handlers"
"Luna Phipps-Costin, Andreas Rossberg, Arjun Guha, Daan Leijen, Daniel Hillerström, KC Sivaramakrishnan, Matija Pretnar, and Sam Lindle"
OOPSLA
2023
"https://doi.org/10.1145/3622814")
(publication "Semantic Encapsulation using Linking Types"
"Daniel Patterson, Andrew Wagner, and Amal Ahmed"
"International Workshop on Type-Driven Development (TyDE)"
2023
"https://dbp.io/pubs/2023/lt.pdf")
(publication "Probabilistic Logic Programming Semantics For Procedural Content Generation"
"Abdelrahman Madkour, Chris Martens, Steven Holtzen, Casper Harteveld, and Stacy Marsella"
"Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE)"
2023
"https://doi.org/10.1609/aiide.v19i1.27525")
(publication "Approximating Type Stability In The Julia Jit (Work In Progress)"
"Artem Pelenitsyn"
"International Workshop on Virtual Machines and Intermediate Languages (VMIL)"
2023
"https://doi.org/10.1145/3623507.3623556")
(publication "Typed–Untyped Interactions: A Comparative Analysis"
"Ben Greenman, Christos Dimoulas, and Matthias Felleisen"
TOPLAS
2023
"https://www2.ccs.neu.edu/racket/pubs/toplas23-gdf.pdf")
(publication "Injecting Language Workbench Technology Into Mainstream Languages"
"Michael Ballantyne and Matthias Felleisen"
"Eelco Visser Commemorative Symposium (EVCS)"
2023
"https://www2.ccs.neu.edu/racket/pubs/evcs.pdf")
(publication "Faster, Simpler Red-Black Trees"
"Cameron Moy"
TFP
2023
"https://doi.org/10.1007/978-3-031-38938-2_3")
(publication "That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly"
"Daniel Lehmann, Michelle Thalakottur, Frank Tip, and Michael Pradel"
ISSTA
2023
"https://doi.org/10.1145/3597926.3598104")
(publication "MultiPL-E: A Scalable And Polyglot Approach To Benchmarking Neural Code Generation"
"Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, and Abhinav Jangda"
TSE
2023
"https://doi.org/10.1109/tse.2023.3267446")
(publication "Scaling Integer Arithmetic in Probabilistic Programs"
"William X. Cao, Poorva Garg, Ryan Tjoa, Steven Holtzen, Todd D. Millstein, and Guy Van den Broeck"
"Conference on Uncertainty in Artificial Intelligence (UAI)"
2023
"https://neuppl.khoury.northeastern.edu/assets/pdf/CaoUAI23.pdf")
(publication "Lilac: A Modal Separation Logic for Conditional Probability"
"John M. Li, Amal Ahmed, Steven Holtzen"
PLDI
2023
"https://johnm.li/lilac-a-modal-separation-logic-for-conditional-probability.pdf")
(publication "A Large Scale Analysis of Semantic Versioning in NPM"
"Donald Pinckney, Federico Cassano, Arjun Guha, and Jonathan Bell"
MSR
2023
"https://ccs.neu.edu/~arjunguha/main/papers/2023-npm-mining.html")
(publication "SantaCoder: don't reach for the stars!"
"Loubna Ben Allal, Raymond Li, Denis Kocetkov, Chenghao Mou, Christopher Akiki, Carlos Munoz Ferrandis, Niklas Muennighoff, Mayank Mishra, Alex Gu, Manan Dey, Logesh Kumar Umapathi, Carolyn Jane Anderson, Yangtian Zi, Joel Lamy Poirier, Hailey Schoelkopf, Sergey Troshin, Dmitry Abulkhanov, Manuel Romero, Michael Lappert, Francesco De Toni, Bernardo García del Río, Qian Liu, Shamik Bose, Urvashi Bhattacharyya, Terry Yue Zhuo, Ian Yu, Paulo Villegas, Marco Zocca, Sourab Mangrulkar, David Lansky, Huu Nguyen, Danish Contractor, Luis Villa, Jia Li, Dzmitry Bahdanau, Yacine Jernite, Sean Hughes, Daniel Fried, Arjun Guha, Harm de Vries, and Leandro von Werra"
"Deep Learning for Code Workshop (DL4C)"
2023
"https://ccs.neu.edu/~arjunguha/main/papers/2023-santacoder.html")
(publication "Do Machine Learning Models Produce TypeScript Types That Type Check?"
"Ming-Ho Yee and Arjun Guha"
ECOOP
2023
"https://doi.org/10.4230/LIPIcs.ECOOP.2023.37")
(publication "Flexible and Optimal Dependency Management via Max-SMT"
"Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, and Todd Gamblin"
ICSE
2023
"https://ccs.neu.edu/~arjunguha/main/papers/2023-maxnpm.html")
(publication "Adversary Safety By Construction In A Language Of Cryptographic Protocols"
"Timothy M. Braje, Alice R. Lee, Andrew Wagner, Benjamin Kaiser, Daniel Park, Martine Kalke, Robert K. Cunningham, and Adam Chlipala"
CSF
2022
"https://doi.org/10.1109/csf54842.2022.9919638")
(publication "A Retrospective Study Of One Decade Of Artifact Evaluations"
"Stefan Winter, Christopher Steven Timperley, Ben Hermann, Jürgen Cito, Jonathan Bell, Michael Hilton, and Dirk Beyer"
ESECFSE
2022
"https://www.jonbell.net/preprint/fse22artifacts.pdf")
(publication "Reformulator: Automated Refactoring Of The N+1 Problem In Database-Backed Applications"
"Alexi Turcotte, Mark W. Aldrich, and Frank Tip"
ASE
2022
"https://www.franktip.org/pubs/ase2022.pdf")
(publication "Augur: Dynamic Taint Analysis For Asynchronous Javascript"
"Mark W. Aldrich, Alexi Turcotte, Matthew Blanco, and Frank Tip"
ASE
2022
"https://doi.org/10.1145/3551349.3559522")
(publication "signatr: A Data-Driven Fuzzing Tool For R"
"Alexi Turcotte, Pierre Donat-Bouillud, Filip Křikava, and Jan Vitek"
SLE
2022
"https://doi.org/10.1145/3567512.3567530")
(publication "Integrated Data Science for Secondary Schools: Design and Assessment of a Curriculum"
"Emmanuel Schanzer, Nancy Pfenning, Flannery Denny, Sam Dooman, Joe Gibbs Politz, Benjamin S. Lerner, Kathi Fisler, and Shriram Krishnamurthi"
SIGCSE
2022
"https://www.ccs.neu.edu/home/blerner/papers/sigcse2022_ds_curriculum.pdf")
(publication "DrAsync: Identifying and Visualizing Anti-Patterns in Asynchronous JavaScript"
"Alexi Turcotte, Michael D. Shah, Mark W. Aldrich, and Frank Tip"
ICSE
2022
"https://www.franktip.org/pubs/icse2022-drasync.pdf")
(publication "On the Use of Mutation Analysis For Evaluating Student Test Suite Quality"
"James Perretta, Andrew DeOrio, Arjun Guha, and Jonathan Bell"
ISSTA
2022
"https://jonbell.net/publications/issta22mutants")
(publication "Stubbifier: Debloating Dynamic Server-Side JavaScript Applications"
"Alexi Turcotte, Ellen Arteca, Ashish Mishra, Saba Alimadadi, and Frank Tip"
"Empirical Software Engineering"
2022
"https://www.franktip.org/pubs/emse2022.pdf")
(publication "Computing Correctly With Inductive Relations"
"Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos"
PLDI
2022
"https://doi.org/10.1145/3519939.3523707")
(publication "Analyzing Binding Extent in 3CPS"
"Benjamin Quiring, Olin Shivers, and John Reppy"
ICFP
2022
"https://doi.org/10.1145/3547645")
(publication "ANF Preserves Dependent Types up to Extensional Equality"
"Paulette Koronkevich, Ramon Rakow, Amal Ahmed, and William J. Bowman"
JFP
2022
"https://doi.org/10.1017/S0956796822000090")
(publication "Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations"
"Olivier Flückiger, Jan Ječmen, Sebastián Krynski, and Jan Vitek"
PLDI
2022
"http://janvitek.org/pubs/pldi22.pdf")
(publication "Semantic Soundness for Language Interoperability"
"Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed"
PLDI
2022
"http://www.ccs.neu.edu/home/amal/papers/seminterop.pdf")
(publication "Learning How to Listen: Automatically Finding Bug Patterns in Event-Driven JavaScript APIs"
"Ellen Arteca, Max Schäfer, and Frank Tip"
TSE
2022
"https://www.franktip.org/pubs/tse-eventlisteners2022.pdf")
(publication "Nessie: Automatically Testing JavaScript APIs with Asynchronous Callbacks"
"Ellen Arteca, Sebastian Harner, Michael Pradel, and Frank Tip"
ICSE
2022
"https://www.franktip.org/pubs/icse2022-nessie.pdf")
(publication "CONFETTI: Amplifying Concolic Guidance for Fuzzers"
"James Kukucka, Luís Pina, Paul Ammann, and Jonathan Bell"
ICSE
2022
"https://www.jonbell.net/preprint/confetti.pdf")
(publication "A Transient Semantics For Typed Racket"
"Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen"
"The Art, Science, and Engineering of Programming"
2022
"http://www.ccis.neu.edu/racket/pubs/programming-gldf.pdf")
(publication "Proof Repair Across Type Equivalences"
"Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman"
PLDI
2021
"https://doi.org/10.1145/3453483.3454033")
(publication "3CPS: The Design of an Environment-Focussed Intermediate Representation"
"Benjamin Quiring, John Reppy, and Olin Shivers"
IFL
2021
"https://doi.org/10.1145/3544885.3544889")
(publication "A Practical Approach for Dynamic Taint Tracking with Control-flow Relationships"
"Katherine Hough and Jonathan Bell"
TOSEM
2021
"https://www.jonbell.net/preprint/tosem22-conflux.pdf")
(publication "First-Class Environments in R"
"Aviral Goel and Jan Vitek"
DLS
2021
"https://doi.org/10.1145/3486602.3486768")
(publication "Coarsening Optimization for Differentiable Programming"
"Xipeng Shen, Guoqiang Zhang, Irene Dea, Samantha Andow, Emilio Arroyo-Fang, Neal Gafter, Johann George, Melissa Grueter, Erik Meijer, Olin Shivers, Steffi Stumpos, Alanna Tempest, Christy Warden, and Shannon Yang"
OOPSLA
2021
"https://doi.org/10.1145/3485507")
(publication "What We Eval in the Shadows: A Large-Scale Study of Eval in R Programs"
"Aviral Goel, Pierre Donat-Bouillud, Filip Křikava, Christoph M. Kirsch, and Jan Vitek"
OOPSLA
2021
"https://doi.org/10.1145/3485502")
(publication "Type Stability in Julia: Avoiding Performance Pathologies in JIT Compilation"
"Artem Pelenitsyn, Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek"
OOPSLA
2021
"https://doi.org/10.1145/3485527")
(publication "Promises Are Made to Be Broken: Migrating R to Strict Semantics"
"Aviral Goel, Jan Ječmen, Sebastián Krynski, Olivier Flückiger, and Jan Vitek"
OOPSLA
2021
"https://doi.org/10.1145/3485478")
(publication "Solver-Based Gradual Type Migration"
"Luna Phipps-Costin, Carolyn Jane Anderson, Michael Greenberg, and Arjun Guha"
OOPSLA
2021
"https://arxiv.org/abs/2109.05049")
(publication "Automatic Migration from Synchronous to Asynchronous Javascript APIs"
"Satyajit Gokhale, Alexi Turcotte, and Frank Tip"
OOPSLA
2021
"https://www.franktip.org/pubs/oopsla2021.pdf")
(publication "Compiling with Continuations, Correctly"
"Zoe Paraskevopoulou and Anvay Grover"
OOPSLA
2021
"https://doi.org/10.1145/3485491")
(publication "How to Evaluate Blame for Gradual Types"
"Lukas Lazarek, Ben Greenman, Matthias Felleisen, and Christos Dimoulas"
ICFP
2021
"https://www2.ccs.neu.edu/racket/pubs/icfp21-lgfd.pdf")
(publication "Compositional Optimizations for Certicoq"
"Zoe Paraskevopoulou, John M. Li, and Andrew W. Appel"
ICFP
2021
"https://www.cs.princeton.edu/~appel/papers/comp-opt-certicoq.pdf")
(publication "Iterative Program Synthesis For Adaptable Social Navigation"
"Jarrett Holtz, Simon Andrews, Arjun Guha, and Joydeep Biswas"
"International Conference on Intelligent Robots and Systems (IROS)"
2021
"https://arxiv.org/abs/2103.04880")
(publication "Cryptographic Hardness Under Projections For Time-Bounded Kolmogorov Complexity"
"Eric Allender, John Gouwar, Shuichi Hirahara, and Caleb Robelle"
"International Symposium on Algorithms and Computation (ISAAC)"
2021
"https://doi.org/10.4230/lipics.isaac.2021.54")
(publication "Evolving A K-12 Curriculum For Integrating Computer Science Into Mathematics"
"Kathi Fisler, Emmanuel Schanzer, Steve Weimar, Annie Fetter, K. Ann Renninger, Shriram Krishnamurthi, Joe Gibbs Politz, Benjamin Lerner, Jennifer Poole, and Christine Koerner"
SIGCSE
2021
"https://doi.org/10.1145/3408877.3432546")
(publication "Accelerating Graph Sampling For Graph Machine Learning Using GPUs"
"Abhinav Jangda, Sandeep Polisetty, Arjun Guha, and Marco Serafini"
EuroSys
2021
"https://arxiv.org/pdf/2009.06693.pdf")
(publication "FlakeFlagger: Predicting Flakiness Without Rerunning Tests"
"Abdulrahman Alshammari, Christopher Morris, Michael Hilton, and Jonathan Bell"
ICSE
2021
"https://www.jonbell.net/preprint/icse21-flakeflagger.pdf")
(publication "CodeDJ: Reproducible Queries over Large-Scale Software Repositories"
"Petr Maj, Konrad Siek, Jan Vitek, and Alexander Kovalenko"
ECOOP
2021
"http://janvitek.org/pubs/ecoop21.pdf")
(publication "Enabling Additional Parallelism in Asynchronous JavaScript Applications"
"Ellen Arteca, Frank Tip, and Max Schäefer"
ECOOP
2021
"https://www.franktip.org/pubs/ecoop2021.pdf")
(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"