Stephen Chang

308 West Village H
stchang at ccs dot neu dot edu

PhD student
Northeastern University
College of Computer and Information Science
Programming Research Lab
PLT

Research advisor: Matthias Felleisen

Research interests

I'm interested in the use of lazy evaluation in programming, from theory to language implementations.

I also hack on Racket.

Papers & Talks

Stepping Lazy Programs. With John Clements, Eli Barzilay, and Matthias Felleisen.
pre-print.
[  Abstract  | Paper  | arXiv  ]

The Call-by-need Lambda Calculus, Revisited. With Matthias Felleisen.
22nd European Symposium on Programming (ESOP 2012), Tallinn, Estonia, March 2012.
[  Abstract  | Paper  | arXiv  ]

From Stack Traces to Lazy Rewriting Sequences. With John Clements, Eli Barzilay, and Matthias Felleisen.
Symposium on Implementation and Application of Functional Languages (IFL 2011), Lawrence, Kansas, USA, October, 2011.
[  Extended Abstract  | Paper  | Slides  | arXiv  ]

Evaluating Call By Need on the Control Stack. With David Van Horn and Matthias Felleisen.
Symposium on Trends in Functional Programming (TFP 2010), Norman, Oklahoma, May, 2010.
Best Student Paper award
[ Abstract  | Paper  | Slides  | arXiv  ]