Publications

2017
Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring [http://www.ccs.neu.edu/home/ryanc/papers/esop2017.pdf]
Ryan Culpepper and Andrew Cobb
European Symposium on Programming (ESOP)
Type Systems as Macros [http://www.ccs.neu.edu/home/stchang/pubs/ckg-popl2017.pdf]
Stephen Chang, Alex Knauth, Ben Greenman
Principles of Programming Languages (POPL)
Deciding equivalence with sums and the empty type [https://arxiv.org/pdf/1610.01213]
Gabriel Scherer
Principles of Programming Languages (POPL)
FunTAL: Reasonably Mixing a Functional Language with Assembly [https://dbp.io/pubs/2017/funtal.pdf]
Daniel Patterson, Jamie Perconti, Christos Dimoulas, and Amal Ahmed
Programming Language Design and Implementation (PLDI)
Linking Types for Multi-Language Software: Have Your Cake and Eat It Too [https://dbp.io/pubs/2017/linking-types-snapl.pdf]
Daniel Patterson and Amal Ahmed
Summit on Advances in Programming Langugages (SNAPL)
Search for Program Structure [http://www.ccs.neu.edu/home/gasche/research/canonical-forms/snapl.pdf]
Gariel Scherer
Summit on Advances in Programming Langugages (SNAPL)
Migratory Typing: Ten Years Later [http://www.ccs.neu.edu/racket/pubs/typed-racket.pdf]
Sam Tobin-Hochstadt, Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Ben Greenman, Andrew M. Kent, Vincent St-Amour, T. Stephen Strickland, and Asumu Takikawa
Summit on Advances in Programming Langugages (SNAPL)
2016
Coordinated Concurrent Programming in Syndicate [http://www.ccs.neu.edu/racket/pubs/esop16-gjf.pdf]
Tony Garnock-Jones and Matthias Felleisen
European Symposium on Programming (ESOP)
Fully Abstract Compilation via Universal Embedding [http://www.ccs.neu.edu/home/amal/papers/fabcc.pdf]
Max S. New, William J. Bowman, and Amal Ahmed
International Conference on Functional Programming (ICFP)
Oh Lord, Please Don’t Let Contracts Be Misunderstood (Functional Pearl) [http://www.ccs.neu.edu/racket/pubs/icfp16-dnff.pdf]
Christos Dimoulas, Max S. New, Robert Bruce Findler, and Matthias Felleisen
International Conference on Functional Programming (ICFP)
Is sound gradual typing dead? [http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf]
Asumu Takikawa, Daniel Feltey, Ben Greenman, Max S. New, Jan Vitek, and Matthias Felleisen
Principles of Programming Languages (POPL)
2015
Concrete Types for TypeScript [http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.76]
Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek
European Conference on Object-Oriented Programming (ECOOP)
Cooking the Books: Formalizing JMM Implementation Recipes [http://dx.doi.org/10.4230/LIPIcs.ECOOP.2015.445]
Gustavo Petri, Jan Vitek, and Suresh Jagannathan
European Conference on Object-Oriented Programming (ECOOP)
Toward practical gradual typing [http://www.ccs.neu.edu/racket/pubs/ecoop2015-takikawa-et-al.pdf]
Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, and Matthias Felleisen
European Conference on Object-Oriented Programming (ECOOP)
Feature-specific Profiling [http://www.ccs.neu.edu/racket/pubs/cc15-saf.pdf]
Vincent St-Amour, Leif Andersen, Matthias Felleisen
International Conference on Compiler Construction (CC)
Noninterference for Free [http://www.ccs.neu.edu/home/amal/papers/nifree.pdf]
William J. Bowman and Amal Ahmed
International Conference on Functional Programming (ICFP)
Repeatability, reproducibility and rigor in CS research [http://doi.acm.org/10.1145/2792434.2792446]
Jan Vitek
PLMW@POPL
Transferring Skills at Solving Word Problems from Computing to Algebra Through Bootstrap [http://www.ccs.neu.edu/racket/pubs/sigcse-sfkf.pdf]
Emmanuel Schanzer, Kathi Fisler, Shriram Krishnamurthi, Matthias Felleisen
SIGCSE
Verified Compilers for a Multi-Language World [http://www.ccs.neu.edu/home/amal/papers/verifcomp.pdf]
Amal Ahmed
Summit on Advances in Programming Langugages (SNAPL)
The Racket Manifesto [http://www.ccs.neu.edu/racket/pubs/manifesto.pdf]
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, Sam Tobin-Hochstadt
Summit on Advances in Programming Langugages (SNAPL)
2014
An Array-Oriented Language with Static Rank Polymorphism [http://dx.doi.org/10.1007/978-3-642-54833-8_3]
Justin Slepak, Olin Shivers, and Panagiotis Manolios
European Symposium on Programming (ESOP)
Verifying an Open Compiler Using Multi-Language Semantics [http://www.ccs.neu.edu/home/amal/papers/voc.pdf]
James T. Perconti and Amal Ahmed
European Symposium on Programming (ESOP)
The Network as a Language Construct [http://www.ccs.neu.edu/racket/pubs/esop14-gjthf.pdf]
Tony Garnock-Jones, Sam Tobin-Hochstadt, and Matthias Felleisen
European Symposium on Programming (ESOP)
M3: high-performance memory management from off-the-shelf components [http://doi.acm.org/10.1145/2602988.2602995]
David Terei, Alex Aiken, and Jan Vitek
ISMM
Romeo: a system for more flexible binding-safe programming [http://doi.acm.org/10.1145/2628136.2628162]
Paul Stansifer and Mitchell Wand
International Conference on Functional Programming (ICFP)
Database Queries that Explain their Work [http://www.ccs.neu.edu/home/amal/papers/dqew.pdf]
James Cheney, Amal Ahmed, and Umut Acar
Principles and Practice of Declarative Programming (PPDP)
Profiling for Laziness [http://www.ccs.neu.edu/racket/pubs/popl14-cf.pdf]
Stephen Chang, Matthias Felleisen
Principles of Programming Languages (POPL)
Atomicity refinement for verified compilation [http://doi.acm.org/10.1145/2594291.2594346]
Suresh Jagannathan, Gustavo Petri, Jan Vitek, David Pichardie, and Vincent Laporte
Programming Language Design and Implementation (PLDI)
Atomicity Refinement for Verified Compilation [http://doi.acm.org/10.1145/2601339]
Suresh Jagannathan, Vincent Laporte, Gustavo Petri, David Pichardie, and Jan Vitek
Transactions on Programming Languages and Systems (TOPLAS)
A fast abstract syntax tree interpreter for R [http://doi.acm.org/10.1145/2576195.2576205]
Tomas Kalibera, Petr Maj, Flor, and Jan Vitek
VEE
The case for the three R's of systems research: repeatability, reproducibility and rigor [http://doi.acm.org/10.1145/2576195.2576216]
Jan Vitek
VEE
2013
Option Contracts [http://www.ccs.neu.edu/racket/pubs/oopsla13-dff.pdf]
Christos Dimoulas, Robert Bruce Findler, Matthias Felleisen
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
Logical Relations for Fine-Grained Concurrency [http://www.ccs.neu.edu/home/amal/papers/relcon.pdf]
Aaron Turon, Jacob Thamsborg, Amal Ahmed, Lars Birkedal, Derek Dreyer
Principles of Programming Languages (POPL)
Contracts for First-Class Classes [http://www.ccs.neu.edu/racket/pubs/toplas13-sdtf.pdf]
T. Stephen Strickland, Christos Dimoulas, Asumu Takikawa, and Matthias Felleisen
Transactions on Programming Languages and Systems (TOPLAS)
2012
The Call-by-need Lambda Calculus, Revisited [http://www.ccs.neu.edu/racket/pubs/esop12-cf.pdf]
Stephen Chang and Matthias Felleisen
European Symposium on Programming (ESOP)
Complete Monitors for Behavioral Contracts [http://www.ccs.neu.edu/racket/pubs/esop12-dthf.pdf]
Christos Dimoulas, Sam Tobin-Hochstadt, and Matthias Felleisen
European Symposium on Programming (ESOP)
Seeing the futures: profiling shared-memory parallel Racket [http://www.ccs.neu.edu/home/stamourv/papers/seeing-the-futures.pdf]
James Swaine, Burke Fetscher, Vincent St-Amour, Robby Findler and Matthew Flatt
Functional High-Performance Computing (FHPC)
Gradual Typing for First-Class Classes [http://www.ccs.neu.edu/racket/pubs/oopsla12-tsdthf.pdf]
Asumu Takikawa, T. Stephen Strickland, Christos Dimoulas, Sam Tobin-Hochstadt, Matthias Felleisen
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
Optimization Coaching [http://www.ccs.neu.edu/racket/pubs/oopsla12-stf.pdf]
Vincent St-Amour, Sam Tobin-Hochstadt, Matthias Felleisen
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
Practical Programming with Substructural Types [http://users.eecs.northwestern.edu/~jesse/pubs/dissertation/]
Jesse A. Tov
PhD Dissertation, Northeastern University
Typing the Numeric Tower [http://www.ccs.neu.edu/racket/pubs/padl12-stff.pdf]
Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, and Matthias Felleisen
Practical Aspects of Declarative Languages (PADL)
Run Your Research [http://eecs.northwestern.edu/~robby/lightweight-metatheory/popl2012-kcdeffmrtf.pdf]
Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler
Principles of Programming Languages (POPL)
2011
Bounded-latency regional garbage collection [http://doi.acm.org/10.1145/2047849.2047859]
Felix S. Klock II and William D. Clinger
Dynamic Languages Symposium (DLS)
From Stack Traces to Lazy Rewriting Sequences [http://www.ccs.neu.edu/racket/pubs/ifl11-cbcf.pdf]
Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
Implementation and Application of Functional Languages (IFL)
Modular rollback through control logging: a pair of twin functional pearls [http://doi.acm.org/10.1145/2034773.2034783]
Olin Shivers and Aaron Joseph Turon
International Conference on Functional Programming (ICFP)
Pushdown flow analysis of first-class control [http://www.ccs.neu.edu/home/dimvar/papers/cfa2-1st-class.pdf]
Dimitrios Vardoulakis and Olin Shivers
International Conference on Functional Programming (ICFP)
Parsing reflective grammars [http://doi.acm.org/10.1145/1988783.1988793]
Paul Stansifer and Mitchell Wand
LDTA
A Resource Analysis of the π-calculus [http://dx.doi.org/10.1016/j.entcs.2011.09.028]
Aaron Joseph Turon and Mitchell Wand
Mathematical Foundations of Programming Semantics (MFPS)
A Theory of Substructural Types and Control [http://users.eecs.northwestern.edu/~jesse/pubs/substructural-control]
Jesse A. Tov and Riccardo Pucella
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
Ordering multiple continuations on the stack [http://www.ccs.neu.edu/home/dimvar/papers/rcps-NU-CCIS-11-01.pdf]
Dimitrios Vardoulakis and Olin Shivers
PEPM
Practical Affine Types [http://users.eecs.northwestern.edu/~jesse/pubs/alms]
Jesse A. Tov and Riccardo Pucella
Principles of Programming Languages (POPL)
Correct Blame for Contracts: No More Scapegoating [http://www.ccs.neu.edu/racket/pubs/popl11-dfff.pdf]
Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen
Principles of Programming Languages (POPL)
A separation logic for refining concurrent objects [http://doi.acm.org/10.1145/1926385.1926415]
Aaron Joseph Turon and Mitchell Wand
Principles of Programming Languages (POPL)
Languages as Libraries [http://www.ccs.neu.edu/racket/pubs/pldi11-thacff.pdf]
Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen
Programming Language Design and Implementation (PLDI)
A Family of Abstract Interpretations for Static Analysis of Concurrent Higher-Order Programs [http://www.ccs.neu.edu/home/dvanhorn/pubs/might-vanhorn-sas11.pdf]
Matthew Might and David Van Horn
The 18th International Static Analysis Symposium
On Contract Satisfaction in a Higher-Order World [http://www.ccs.neu.edu/racket/pubs/df-toplas11.pdf]
Christos Dimoulas, Matthias Felleisen
Transactions on Programming Languages and Systems (TOPLAS)
2010
Weaving Generic Programming and Traversal Performance [http://www.ccs.neu.edu/home/chadwick/demeterf/papers/aosd10-final.pdf]
Bryan Chadwick and Karl Lieberherr
AOSD
Contracts for First-Class Classes [http://www.ccs.neu.edu/racket/pubs/dls10-sf.pdf]
T. Stephen Strickland, Matthias Felleisen
Dynamic Languages Symposium (DLS)
Stateful Contracts for Affine Types [http://users.eecs.northwestern.edu/~jesse/pubs/affine-contracts/affinecontracts10-bw.pdf]
Jesse A. Tov and Riccardo Pucella
European Symposium on Programming (ESOP)
CFA2: A Context-Free Approach to Control-Flow Analysis [http://dx.doi.org/10.1007/978-3-642-11957-6_30]
Dimitrios Vardoulakis and Olin Shivers
European Symposium on Programming (ESOP)
CFA2: a Context-Free Approach to Control-Flow Analysis [http://www.ccs.neu.edu/home/dimvar/papers/cfa2-NU-CCIS-10-01.pdf]
Dimitrios Vardoulakis and Olin Shivers
European Symposium on Programming (ESOP)
Bottom-up beta-reduction: Uplinks and lambda-DAGs [http://dx.doi.org/10.3233/FI-2010-328]
Olin Shivers and Mitchell Wand
Fundamenta Informaticae
Abstracting Abstract Machines [http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-icfp10.pdf]
David Van Horn and Matthew Might
International Conference on Functional Programming (ICFP)
Fortifying Macros [http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf]
Ryan Culpepper, Matthias Felleisen
International Conference on Functional Programming (ICFP)
Logical Types for Untyped Languages [http://www.ccs.neu.edu/racket/pubs/icfp10-thf.pdf]
Sam Tobin-Hochstadt, Matthias Felleisen
International Conference on Functional Programming (ICFP)
TeachScheme!---A Checkpoint (Abstract) [http://www.ccs.neu.edu/racket/pubs/icfp10-f.pdf]
Matthias Felleisen
International Conference on Functional Programming (ICFP)
Functional Adaptive Programming [http://www.ccs.neu.edu/home/chadwick/files/thesis-single.pdf]
Bryan Chadwick
PhD Dissertation, Northeastern University
Resolving and Exploiting the k-CFA Paradox [http://www.ccs.neu.edu/home/dvanhorn/pubs/might-smaragdakis-vanhorn-pldi10.pdf]
Matthew Might, Yannis Smaragdakis and David Van Horn
Programming Language Design and Implementation (PLDI)
Pushdown Control-Flow Analysis of Higher-Order Programs [http://www.ccs.neu.edu/home/dvanhorn/pubs/earl-might-vanhorn-sfp10.pdf]
Christopher Earl, Matthew Might and David Van Horn
Scheme and Functional Programming Workshop
Evaluating Call By Need on the Control Stack [http://www.ccs.neu.edu/home/stchang/pubs/Chang-VanHorn-Felleisen-TFP2010.pdf]
Stephen Chang, David Van Horn and Matthias Felleisen
Trends in Functional Programming (TFP)
Hygienic Macros for ACL2 [http://www.ccs.neu.edu/racket/pubs/tfp10-ef.pdf]
Carl Eastlund, Matthias Felleisen
Trends in Functional Programming (TFP)
Adding Types to Untyped Languages (Abstract) [http://www.ccs.neu.edu/racket/pubs/tldi10-f.pdf]
Matthias Felleisen
Types in Language Design and Implementation (TLDI)
Algorithms for Traversal-Based Generic Programming [http://www.ccs.neu.edu/home/chadwick/demeterf/papers/wgp10-final.pdf]
Bryan Chadwick and Karl Lieberherr
Workshop on Generic Programming
2009
Automatic Verification for Interactive Graphical Programs [http://www.ccs.neu.edu/racket/pubs/acl209-ef.pdf]
Carl Eastlund and Matthias Felleisen
ACL2 Workshop
Contracts for First-Class Modules [http://www.ccs.neu.edu/racket/pubs/dls09-sf.pdf]
T. Stephen Strickland, Matthias Felleisen
Dynamic Languages Symposium (DLS)
Practical Variable-Arity Polymorphism [http://www.ccs.neu.edu/racket/pubs/esop09-sthf.pdf]
T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen
European Symposium on Programming (ESOP)
A Type System for Functional Traversal-Based Aspects [http://www.ccs.neu.edu/home/chadwick/demeterf/papers/foal09-final.pdf]
Bryan Chadwick and Karl Lieberherr
FOAL Workshop
Nested and Dynamic Contract Boundaries [http://www.ccs.neu.edu/racket/pubs/ifl09-sf.pdf]
T. Stephen Strickland, Matthias Felleisen
Implementation and Application of Functional Languages (IFL)
A Functional I/O System (or Fun for Freshman Kids) [http://www.ccs.neu.edu/racket/pubs/icfp09-fffk.pdf]
Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
International Conference on Functional Programming (ICFP)
Regular expression derivatives reexamined [http://www.ccs.neu.edu/home/turon/re-deriv.pdf]
Scott Owens, John Reppy and Aaron Turon
Journal of Functional Programming (JFP)
Toward a Practical Module System for ACL2 [http://www.ccs.neu.edu/racket/pubs/padl09-ef.pdf]
Carl Eastlund and Matthias Felleisen
Practical Aspects of Declarative Languages (PADL)
Making Induction Manifest in Modular ACL2 [http://www.ccs.neu.edu/racket/pubs/ppdp09-ef.pdf]
Carl Eastlund, Matthias Felleisen
Principles and Practice of Declarative Programming (PPDP)
Future Contracts [http://www.ccs.neu.edu/racket/pubs/ppdp09-dpf.pdf]
Christos Dimoulas, Riccardo Pucella, Matthias Felleisen
Principles and Practice of Declarative Programming (PPDP)
Sequence Traces for Object-Oriented Executions [http://www.ccs.neu.edu/racket/pubs/scheme2009-ef.pdf]
Carl Eastlund, Matthias Felleisen
Scheme and Functional Programming Workshop
Ryan Culpepper, Matthias Felleisen [http://www.ccs.neu.edu/racket/pubs/cf-sp09.pdf]
Debugging Hygienic Macros
Science of Computer Programming
All-Terimation(T) [http://www.ccs.neu.edu/home/turon/tacas09.pdf]
Panagiotis Manolios and Aaron Turon
TACAS
The Higher-Order Aggregate Update Problem [http://dx.doi.org/10.1007/978-3-540-93900-9_8]
Christos Dimoulas and Mitchell Wand
Verification, Model Checking, and Abstract Interpretation (VMCAI)
2008
Variable-Arity Generic Interfaces [http://www.ccs.neu.edu/racket/pubs/NU-CCIS-08-01.pdf]
T. Stephen Strickland and Richard Cobbe and Matthias Felleisen
(tech report) Northeastern University College of Computer and Information Science no. NU-CCIS-08-01
A Compositional Trace Semantics for Orc [http://www.ccs.neu.edu/home/dimvar/papers/orc-coord.pdf]
Dimitrios Vardoulakis and Mitchell Wand
COORDINATION
A Theory of Hygienic Macros [http://dx.doi.org/10.1007/978-3-540-78739-6_4]
David Herman and Mitchell Wand
European Symposium on Programming (ESOP)
Functional Programming and Theorem Proving for Undergraduates: A Progress Report [http://www.ccs.neu.edu/racket/pubs/fdpe08-pef.pdf]
Rex Page, Carl Eastlund, and Matthias Felleisen
Functional and Declarative Programming in Education (FDPE)
Trusted Theorem Proving: A Case Study in SLD-Resolution [http://dx.doi.org/10.1007/978-3-540-88479-8_56]
Konstantine Arkoudas and Olin Shivers
ISoLA
Building language towers with Ziggurat [http://dx.doi.org/10.1017/S0956796808006928]
David Fisher and Olin Shivers
Journal of Functional Programming (JFP)
Exploiting reachability and cardinality in higher-order flow analysis [http://dx.doi.org/10.1017/S0956796808006941]
Matthew Might and Olin Shivers
Journal of Functional Programming (JFP)
Essentials of programming languages (3. ed.) [http://www.eopl3.com/]
Daniel P. Friedman and Mitchell Wand
MIT Press
Much Ado about Nothing: Putting Java's Null in its Place [http://www.ccs.neu.edu/racket/pubs/dissertation-cobbe.pdf]
Richard Cobbe
PhD Dissertation, Northeastern University
The Design and Implementation of Typed Scheme [http://www.ccs.neu.edu/racket/pubs/popl08-thf.pdf]
Sam Tobin-Hochstadt, Matthias Felleisen
Principles of Programming Languages (POPL)
Programming languages: fundamental concepts for expanding and disciplining the mind [http://doi.acm.org/10.1145/1480828.1480857]
Mitchell Wand and Daniel P. Friedman
SIGPLAN Notices
Why teach programming languages [http://doi.acm.org/10.1145/1480828.1480856]
Olin Shivers
SIGPLAN Notices
Haskell Session Types with (Almost) No Class [http://users.eecs.northwestern.edu/~jesse/pubs/haskell-session-types/]
Riccardo Pucella and Jesse A. Tov
SIGPLAN Symposium on Haskell
Caml-Shcaml: An OCaml Library for Unix Shell Programming [http://users.eecs.northwestern.edu/~jesse/pubs/caml-shcaml/]
Alec Heller and Jesse A. Tov
SIGPLAN workshop on ML
2007
ACL2 for Freshmen: First Experiences [http://www.ccs.neu.edu/racket/pubs/acl207-evf.pdf]
Carl Eastlund, Dale Vaillancourt, Matthias Felleisen
ACL2 Workshop
Debugging Macros [http://www.ccs.neu.edu/racket/pubs/gpce07-cf.pdf]
Ryan Culpepper, Matthias Felleisen
Generative Programming: Concepts & Experience (GPCE)
On the correctness of the Krivine machine [http://dx.doi.org/10.1007/s10990-007-9019-8]
Mitchell Wand
Higher-Order and Symbolic Computation
Implementation and Use of the PLT Scheme Web Server [http://www.ccs.neu.edu/racket/pubs/hosc07-sk-mf.pdf]
Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, Matthias Felleisen
Higher-Order and Symbolic Computation
Adding Delimited and Composable Control to a Production Programming Environment [http://www.ccs.neu.edu/racket/pubs/icfp07-fyff.pdf]
Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
International Conference on Functional Programming (ICFP)
Functional Pearl: The Great Escape. Or, How to Jump the Border Without Getting Caught [http://www.ccs.neu.edu/home/dherman/research/papers/icfp07-great-escape.pdf]
David Herman
International Conference on Functional Programming (ICFP)
Advanced Macrology and the Implementation of Typed Scheme [http://www.ccs.neu.edu/racket/pubs/scheme2007-ctf.pdf]
Ryan Culpepper, Sam Tobin-Hochstadt and Matthew Flatt
Scheme Workshop
Analyzing the environment structure of higher-order languages using frame strings [http://dx.doi.org/10.1016/j.tcs.2006.12.031]
Matthew Might and Olin Shivers
Theoretical Computer Science
Space-Efficient Gradual Typing [http://www.ccs.neu.edu/home/dherman/research/papers/tfp07-gradual-typing.pdf]
David Herman, Aaron Tomb and Cormac Flanagan
Trends in Functional Programming (TFP)
Model Checking Via GammaCFA [http://dx.doi.org/10.1007/978-3-540-69738-1_4]
Matthew Might, Benjamin Chambers, and Olin Shivers
Verification, Model Checking, and Abstract Interpretation (VMCAI)
Status Report: Specifying JavaScript with ML [http://www.ccs.neu.edu/home/dherman/research/papers/ml07-javascript.pdf]
David Herman and Cormac Flanagan
Workshop on ML
2006
Bisimulations for Untyped Imperative Objects [http://dx.doi.org/10.1007/11693024_11]
Vasileios Koutavas and Mitchell Wand
European Symposium on Programming (ESOP)
Improving flow analyses via GammaCFA: abstract garbage collection and counting [http://doi.acm.org/10.1145/1159803.1159807]
Matthew Might and Olin Shivers
International Conference on Functional Programming (ICFP)
Static analysis for syntax objects [http://doi.acm.org/10.1145/1159803.1159817]
David Fisher and Olin Shivers
International Conference on Functional Programming (ICFP)
Multi-return function call [http://dx.doi.org/10.1017/S0956796806006009]
Olin Shivers and David Fisher
Journal of Functional Programming (JFP)
Small bisimulations for reasoning about higher-order imperative programs [http://doi.acm.org/10.1145/1111037.1111050]
Vasileios Koutavas and Mitchell Wand
Principles of Programming Languages (POPL)
Environment analysis via Delta CFA [http://doi.acm.org/10.1145/1111037.1111049]
Matthew Might and Olin Shivers
Principles of Programming Languages (POPL)
Continuations and transducer composition [http://doi.acm.org/10.1145/1133981.1134016]
Olin Shivers and Matthew Might
Programming Language Design and Implementation (PLDI)
Linear combinations of radioactive decay models for generational garbage collection [http://dx.doi.org/10.1016/j.scico.2006.02.005]
William D. Clinger and Fabio V. Rojas
Science of Computer Programming
2005
Selectors Make Set-Based Analysis Too Hard [http://dx.doi.org/10.1007/s10990-005-4876-5]
Philippe Meunier, Robert Bruce Findler, Paul Steckler, and Mitchell Wand
Higher-Order and Symbolic Computation
2004
Relating models of backtracking [http://doi.acm.org/10.1145/1016850.1016861]
Mitchell Wand and Dale Vaillancourt
International Conference on Functional Programming (ICFP)
A semantics for advice and dynamic join points in aspect-oriented programming [http://doi.acm.org/10.1145/1018203.1018208]
Mitchell Wand, Gregor Kiczales, and Christopher Dutchyn
Transactions on Programming Languages and Systems (TOPLAS)
2003
Understanding aspects: extended abstract [http://doi.acm.org/10.1145/944705.944732]
Mitchell Wand
International Conference on Functional Programming (ICFP)
CPS transformation of flow information [http://dx.doi.org/10.1017/S0956796802004513]
Jens Palsberg and Mitchell Wand
Journal of Functional Programming (JFP)
2002
A Modular, Extensible Proof Method for Small-Step Flow Analyses [http://dx.doi.org/10.1007/3-540-45927-8_16]
Mitchell Wand and Galen B. Williamson
European Symposium on Programming (ESOP)
An experimental study of renewal-older-first garbage collection [http://doi.acm.org/10.1145/581478.581502]
Lars Thomas Hansen and William D. Clinger
International Conference on Functional Programming (ICFP)
Concurrent Remembered Set Refinement in Generational Garbage Collection [http://www.usenix.org/publications/library/proceedings/javavm02/detlefs.html]
David Detlefs, Ross Knippel, William D. Clinger, and Matthias Jacob
Java Virtual Machine Research and Technology Symposium
2001
Set constraints for destructive array update optimization [http://dx.doi.org/10.1017/S0956796801003938]
Mitchell Wand and William D. Clinger
Journal of Functional Programming (JFP)
Essentials of programming languages (2. ed.) [http://www.cs.indiana.edu/eopl/]
Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes
MIT Press
A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming [http://dx.doi.org/10.1007/3-540-44806-3_3]
Mitchell Wand
SAIG
2000
Analysis-based program transformations [http://doi.acm.org/10.1145/340855.341041]
Mitchell Wand
ACM SIGSOFT Software Engineering Notes
Optimizing memory usage in higher-order programming languages: theoretical and experimental studies [http://doi.acm.org/10.1145/340855.341042]
Mitchell Wand and William D. Clinger
ACM SIGSOFT Software Engineering Notes
1999
Implementation Strategies for First-Class Continuations [http://dx.doi.org/10.1023/A:1010016816429]
William D. Clinger, Anne Hartheimer, and Eric Ost
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing Revisited [http://dx.doi.org/10.1023/A:1010049917750]
Mitchell Wand
Higher-Order and Symbolic Computation
Continuation-Based Multiprocessing [http://dx.doi.org/10.1023/A:1010093700911]
Mitchell Wand
Higher-Order and Symbolic Computation
Trampolined Style [http://doi.acm.org/10.1145/317636.317779]
Steven E. Ganz, Daniel P. Friedman, and Mitchell Wand
International Conference on Functional Programming (ICFP)
A Language for Specifying Recursive Traversals of Object Structures [http://doi.acm.org/10.1145/320384.320391]
Johan Ovlinger and Mitchell Wand
Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)
Constraint Systems for Useless Variable Elimination [http://doi.acm.org/10.1145/292540.292567]
Mitchell Wand and Igor Siveroni
Principles of Programming Languages (POPL)
1998
Revised Report on the Algorithmic Language Scheme [http://dx.doi.org/10.1023/A:1010051815785]
Harold Abelson, R. Kent Dybvig, Christopher T. Haynes, Guillermo Juan Rozas, N. I. Adams IV, Daniel P. Friedman, Eugene E. Kohlbecker, Guy L. Steele Jr., David H. Bartley, Robert H. Halstead Jr., Don Oxley, Gerald J. Sussman, G. Brooks, Chris Hanson, Kent M. Pitman, and Mitchell Wand
Higher-Order and Symbolic Computation
Set Constraints for Destructive Array Update Optimization [http://www.ccs.neu.edu/home/wand/papers/jfp-01.ps]
Mitchell Wand and William D. Clinger
ICCL
The Theory of Fexprs is Trivial [http://www.ccs.neu.edu/home/wand/papers/fexprs.ps]
Mitchell Wand
Lisp and Symbolic Computation
Proper Tail Recursion and Space Efficiency [http://doi.acm.org/10.1145/277650.277719]
William D. Clinger
Programming Language Design and Implementation (PLDI)
1997
Type Inference with Non-Structural Subtyping [http://dx.doi.org/10.1007/BF01212524]
Jens Palsberg, Mitchell Wand, and Patrick O'Keefe
Formal Aspects of Computing
Denotational Semantics Using an Operationally-Based Term Model [http://doi.acm.org/10.1145/263699.263755]
Mitchell Wand and Gregory T. Sullivan
Principles of Programming Languages (POPL)
Generational Garbage Collection and the Radioactive Decay Model [http://doi.acm.org/10.1145/258915.258925]
William D. Clinger and Lars Thomas Hansen
Programming Language Design and Implementation (PLDI)
Lightweight Closure Conversion [http://doi.acm.org/10.1145/239912.239915]
Paul Steckler and Mitchell Wand
Transactions on Programming Languages and Systems (TOPLAS)
1996
Untyped Lambda-Calculus with Input-Output [http://dx.doi.org/10.1007/3-540-61064-2_46]
Jerzy Tiuryn and Mitchell Wand
CAAP
Compiler Correctness for Concurrent Languages [http://dx.doi.org/10.1007/3-540-61052-9_49]
David S. Gladstein and Mitchell Wand
COORDINATION
Modeling Subobject-based Inheritance [http://dx.doi.org/10.1007/BFb0053065]
Jonathan G. Rossie Jr., Daniel P. Friedman, and Mitchell Wand
European Conference on Object-Oriented Programming (ECOOP)
1995
Compiler Correctness for Parallel Languages [http://doi.acm.org/10.1145/224164.224193]
Mitchell Wand
FPCA
VLISP: A Verified Implementation of Scheme [http://link.springer.com/article/10.1007/BF01128406]
Joshua D. Guttman, John D. Ramsdell, and Mitchell Wand
Lisp and Symbolic Computation
The VLISP Verified PreScheme Compiler [http://link.springer.com/article/10.1007/BF01128408]
Dino Oliva, John D. Ramsdell, and Mitchell Wand
Lisp and Symbolic Computation
Strong Normalization with Non-Structural Subtyping [http://dx.doi.org/10.1017/S0960129500000815]
Mitchell Wand, Patrick O'Keefe, and Jens Palsberg
Mathematical Structures in Computer Science
1994
Conditional Lambda-Theories and the Verification of Static Properties of Programs [http://dx.doi.org/10.1006/inco.1994.1072]
Mitchell Wand and Zheng-Yu Wang
Information and Computation
Selective and Lightweight Closure Conversion [http://doi.acm.org/10.1145/174675.178044]
Mitchell Wand and Paul Steckler
Principles of Programming Languages (POPL)
Selective Thunkification [http://dx.doi.org/10.1007/3-540-58485-4_39]
Paul Steckler and Mitchell Wand
SAS
1993
Specifying the Correctness of Binding-Time Analysis [http://dx.doi.org/10.1017/S0956796800000782]
Mitchell Wand
Journal of Functional Programming (JFP)
Specifying the Correctness of Binding-Time Analysis [http://doi.acm.org/10.1145/158511.158614]
Mitchell Wand
Principles of Programming Languages (POPL)
Type Reconstruction with Recursive Types and Atomic Subtyping [http://dx.doi.org/10.1007/3-540-56610-4_98]
Jerzy Tiuryn and Mitchell Wand
TAPSOFT
1992
Type Inference for Partial Types is Decidable [http://dx.doi.org/10.1007/3-540-55253-7_24]
Patrick O'Keefe and Mitchell Wand
European Symposium on Programming (ESOP)
Proving the Correctness of Storage Representations [http://doi.acm.org/10.1145/141471.141528]
Mitchell Wand and Dino Oliva
LISP and Functional Programming (LFP)
Essentials of programming languages [http://www.cs.indiana.edu/eip/eopl.html]
Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes
MIT Press
1991
Automatic Dimensional Inference [http://www.ccs.neu.edu/home/wand/papers/dimensions.ps]
Mitchell Wand and Patrick O'Keefe
Computational Logic - Essays in Honor of Alan Robinson
Type Inference for Record Concatenation and Multiple Inheritance [http://dx.doi.org/10.1016/0890-5401(91)90050-C]
Mitchell Wand
Information and Computation
Correctness of Procedure Representations in Higher-Order Assembly Language [http://dx.doi.org/10.1007/3-540-55511-0_15]
Mitchell Wand
Mathematical Foundations of Programming Semantics (MFPS)
Correctness of Static Flow Analysis in Continuation Semantics [http://dx.doi.org/10.1016/0167-6423(91)90021-O]
Margaret Montenyohl and Mitchell Wand
Science of Computer Programming
1990
A Short Proof of the Lexical Addressing Algorithm [http://dx.doi.org/10.1016/0020-0190(90)90165-T]
Mitchell Wand
Information Processing Letters
Conditional Lambda-Theories and the Verification of Static Properties of Programs [http://dx.doi.org/10.1109/LICS.1990.113758]
Mitchell Wand and Zheng-Yu Wang
Logic in Computer Science (LICS)
1989
On the Complexity of Type Inference with Coercion [http://doi.acm.org/10.1145/99370.99394]
Mitchell Wand and Patrick O'Keefe
FPCA
Incorporating Static Analysis in a Combinator-Based Compiler [http://dx.doi.org/10.1016/0890-5401(89)90052-7]
Margaret Montenyohl and Mitchell Wand
Information and Computation
Type Inference for Record Concatenation and Multiple Inheritance [http://dx.doi.org/10.1109/LICS.1989.39162]
Mitchell Wand
Logic in Computer Science (LICS)
1988
Abstract Continuations: A Mathematical Semantics for Handling Full Jumps [http://doi.acm.org/10.1145/62678.62684]
Matthias Felleisen, Mitchell Wand, Daniel P. Friedman, and Bruce F. Duba
LISP and Functional Programming (LFP)
The Mystery of the Tower Revealed: A Nonreflective Description of the Reflective Tower [https://cs.au.dk/%7Ehosc/local/LaSC-1-1-pp11-37.pdf]
Mitchell Wand and Daniel P. Friedman
Lisp and Symbolic Computation
Corrigendum: Complete Type Inference for Simple Objects [http://dx.doi.org/10.1109/LICS.1988.5111]
Mitchell Wand
Logic in Computer Science (LICS)
Correct Flow Analysis in Continuation Semantics [http://doi.acm.org/10.1145/73560.73578]
Margaret Montenyohl and Mitchell Wand
Principles of Programming Languages (POPL)
1987
Complete Type Inference for Simple Objects [http://www.ccs.neu.edu/home/wand/papers/wand-lics-87.pdf]
Mitchell Wand
Logic in Computer Science (LICS)
Macro-by-Example: Deriving Syntactic Transformations from their Specifications [http://doi.acm.org/10.1145/41625.41632]
Eugene E. Kohlbecker and Mitchell Wand
Principles of Programming Languages (POPL)
Linear Future Semantics and Its Implementation [http://dx.doi.org/10.1016/0167-6423(87)90005-0]
Stefan K and Mitchell Wand
Science of Computer Programming
1986
Obtaining Coroutines with Continuations [http://dx.doi.org/10.1016/0096-0551(86)90007-X]
Christopher T. Haynes, Daniel P. Friedman, and Mitchell Wand
Computer Languages
The Mystery of the Tower Revealed: A Non-Reflective Description of the Reflective Tower [https://www.cs.indiana.edu/ftp/techreports/TR196.pdf]
Mitchell Wand and Daniel P. Friedman
LISP and Functional Programming (LFP)
Finding the Source of Type Errors [http://doi.acm.org/10.1145/512644.512648]
Mitchell Wand
Principles of Programming Languages (POPL)
1985
Continuation Semantics in Typed Lambda-Calculi (Summary) [http://dx.doi.org/10.1007/3-540-15648-8_17]
Albert R. Meyer and Mitchell Wand
Logic of Programs
Embedding Type Structure in Semantics [http://doi.acm.org/10.1145/318593.318602]
Mitchell Wand
Principles of Programming Languages (POPL)
From interpreter to compiler: a representational derivation [http://dx.doi.org/10.1007/3-540-16446-4_17]
Mitchell Wand
Programs as Data Objects