Stephen Chang

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 7

Top Topics

Symbolic Execution

Interactive Visual

Functional Programming

Complex Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Leif Andersen, Cameron Moy, Stephen Chang, Matthias Felleisen
Making Hybrid Languages: A Recipe. CoRR (2024)
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent Type Systems as Macros. CoRR (2021)
Daniel Melcer, Stephen Chang
ProofViz: An Interactive Visual Proof Explorer. TFP (2021)
Stephen Chang, Michael Ballantyne, Milo Turner, William J. Bowman
Dependent type systems as macros. Proc. ACM Program. Lang. 4 (POPL) (2020)
Stephen Chang, Alex Knauth, Emina Torlak
Symbolic types for lenient symbolic execution. Proc. ACM Program. Lang. 2 (POPL) (2018)
Stephen Chang, Alex Knauth, Ben Greenman
Type systems as macros. POPL (2017)
Leif Andersen, Stephen Chang, Matthias Felleisen
Super 8 languages for making movies (functional pearl). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Stephen Chang, Matthias Felleisen
Profiling for laziness. POPL (2014)
Stephen Chang
Laziness by Need. ESOP (2013)
Stephen Chang, Matthias Felleisen
The Call-by-Need Lambda Calculus, Revisited. ESOP (2012)
Stephen Chang, Matthias Felleisen
The Call-by-need Lambda Calculus, Revisited CoRR (2012)
Stephen Chang, Eli Barzilay, John Clements, Matthias Felleisen
From Stack Traces to Lazy Rewriting Sequences. IFL (2011)
Stephen Chang, John Clements, Eli Barzilay, Matthias Felleisen
Stepping Lazy Programs CoRR (2011)
Stephen Chang, David Van Horn, Matthias Felleisen
Evaluating Call-by-Need on the Control Stack. Trends in Functional Programming (2010)
Stephen Chang, David Van Horn, Matthias Felleisen
Evaluating Call-By-Need on the Control Stack CoRR (2010)