We stand with Ukraine  

Stephen Chang

Orcid: 0000-0002-4760-0658

Affiliations:
  • University of Massachusetts Boston, MA, USA
  • Northeastern University, Boston, MA, USA (until 2020)


According to our database1, Stephen Chang authored at least 14 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Type Tailoring (Artifact).
[BibTeX]
[DOI]
Ashton Wiersdorf
,
Stephen Chang
,
Matthias Felleisen
,
Ben Greenman
Dagstuhl Artifacts Ser., 2024

Making Hybrid Languages: A Recipe.
[BibTeX]
[DOI]
Leif Andersen
,
Cameron Moy
,
Stephen Chang
,
Matthias Felleisen
CoRR, 2024

Type Tailoring.
[BibTeX]
[DOI]
Ashton Wiersdorf
,
Stephen Chang
,
Matthias Felleisen
,
Ben Greenman
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2021
ProofViz: An Interactive Visual Proof Explorer.
[BibTeX]
[DOI]
Daniel Melcer
,
Stephen Chang
Proceedings of the Trends in Functional Programming - 22nd International Symposium, 2021

2020
Dependent type systems as macros.
[BibTeX]
[DOI]
Stephen Chang
,
Michael Ballantyne
,
Milo Turner
,
William J. Bowman
Proc. ACM Program. Lang., 2020

2018
Symbolic types for lenient symbolic execution.
[BibTeX]
[DOI]
Stephen Chang
,
Alex Knauth
,
Emina Torlak
Proc. ACM Program. Lang., 2018

2017
Super 8 languages for making movies (functional pearl).
[BibTeX]
[DOI]
Leif Andersen
,
Stephen Chang
,
Matthias Felleisen
Proc. ACM Program. Lang., 2017

Type systems as macros.
[BibTeX]
[DOI]
Stephen Chang
,
Alex Knauth
,
Ben Greenman
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2014
Profiling for laziness.
[BibTeX]
[DOI]
Stephen Chang
,
Matthias Felleisen
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Laziness by Need.
[BibTeX]
[DOI]
Stephen Chang
Proceedings of the Programming Languages and Systems, 2013

2012
The Call-by-Need Lambda Calculus, Revisited.
[BibTeX]
[DOI]
Stephen Chang
,
Matthias Felleisen
Proceedings of the Programming Languages and Systems, 2012

2011
Stepping Lazy Programs
[BibTeX]
[DOI]
Stephen Chang
,
John Clements
,
Eli Barzilay
,
Matthias Felleisen
CoRR, 2011

From Stack Traces to Lazy Rewriting Sequences.
[BibTeX]
[DOI]
Stephen Chang
,
Eli Barzilay
,
John Clements
,
Matthias Felleisen
Proceedings of the Implementation and Application of Functional Languages, 2011

2010
Evaluating Call-by-Need on the Control Stack.
[BibTeX]
[DOI]
Stephen Chang
,
David Van Horn
,
Matthias Felleisen
Proceedings of the Trends in Functional Programming - 11th International Symposium, 2010


  Loading...