Justin Pombrio

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 7

Top Topics

Programming Language

Syntactic Semantic

Linguistically Motivated

Top Venues

Proc. ACM Program. Lang.

Publications

Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
A Pretty Expressive Printer (with Appendices). CoRR (2023)
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak
A Pretty Expressive Printer. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Justin Pombrio, Shriram Krishnamurthi
Inferring type rules for syntactic sugar. PLDI (2018)
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi
The behavior of gradual types: a user study. DLS (2018)
Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi
Can we crowdsource language design? Onward! (2017)
Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler
Teaching Programming Languages by Experimental and Adversarial Thinking. SNAPL (2017)
Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand
Inferring scope through syntactic sugar. Proc. ACM Program. Lang. 1 (ICFP) (2017)
Justin Pombrio, Shriram Krishnamurthi
Hygienic resugaring of compositional desugaring. ICFP (2015)
Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi
Slimming languages by reducing sugar: a case for semantics-altering transformations. Onward! (2015)
Justin Pombrio, Shriram Krishnamurthi
Resugaring: lifting evaluation sequences through syntactic sugar. PLDI (2014)
Joe Gibbs Politz, Matthew J. Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi
A tested semantics for getters, setters, and eval in JavaScript. DLS (2012)