Follow
Justin Pombrio
Justin Pombrio
PhD student, Brown University
Verified email at cs.brown.edu - Homepage
Title
Cited by
Cited by
Year
A tested semantics for getters, setters, and eval in JavaScript
JG Politz, MJ Carroll, BS Lerner, J Pombrio, S Krishnamurthi
Proceedings of the 8th Symposium on Dynamic Languages, 1-16, 2012
732012
Resugaring: Lifting evaluation sequences through syntactic sugar
J Pombrio, S Krishnamurthi
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
382014
The behavior of gradual types: a user study
P Tunnell Wilson, B Greenman, J Pombrio, S Krishnamurthi
ACM SIGPLAN Notices 53 (8), 1-12, 2018
202018
Can we crowdsource language design?
P Tunnell Wilson, J Pombrio, S Krishnamurthi
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017
182017
Hygienic resugaring of compositional desugaring
J Pombrio, S Krishnamurthi
ACM SIGPLAN Notices 50 (9), 75-87, 2015
162015
Inferring scope through syntactic sugar
J Pombrio, S Krishnamurthi, M Wand
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
112017
Inferring type rules for syntactic sugar
J Pombrio, S Krishnamurthi
ACM SIGPLAN Notices 53 (4), 812-825, 2018
102018
Teaching programming languages by experimental and adversarial thinking
J Pombrio, S Krishnamurthi, K Fisler
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
92017
Slimming languages by reducing sugar: a case for semantics-altering transformations
J Li, J Pombrio, JG Politz, S Krishnamurthi
2015 ACM International Symposium on New Ideas, New Paradigms, and …, 2015
32015
Protocol analysis via the chase
J Pombrio
Major Qualifying Project report, Worcester Polyechnic Institute, 2011
22011
A Pretty Expressive Printer (with Appendices)
S Porncharoenwase, J Pombrio, E Torlak
arXiv preprint arXiv:2310.01530, 2023
12023
A Pretty Expressive Printer
S Porncharoenwase, J Pombrio, E Torlak
Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1122-1149, 2023
2023
Resugaring: Lifting Languages through Syntactic Sugar.
J Pombrio
Brown University, USA, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–13