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 | 76 | 2012 |
Resugaring: Lifting evaluation sequences through syntactic sugar J Pombrio, S Krishnamurthi Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014 | 39 | 2014 |
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 | 28 | 2018 |
Can we crowdsource language design? P Tunnell Wilson, J Pombrio, S Krishnamurthi Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas …, 2017 | 19 | 2017 |
Hygienic resugaring of compositional desugaring J Pombrio, S Krishnamurthi ACM SIGPLAN Notices 50 (9), 75-87, 2015 | 18 | 2015 |
Inferring scope through syntactic sugar J Pombrio, S Krishnamurthi, M Wand Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017 | 12 | 2017 |
Inferring type rules for syntactic sugar J Pombrio, S Krishnamurthi ACM SIGPLAN Notices 53 (4), 812-825, 2018 | 10 | 2018 |
Teaching programming languages by experimental and adversarial thinking J Pombrio, S Krishnamurthi, K Fisler 2nd Summit on Advances in Programming Languages (SNAPL 2017), 13: 1-13: 9, 2017 | 9 | 2017 |
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 | 2 | 2015 |
Protocol analysis via the chase J Pombrio Major Qualifying Project report, Worcester Polyechnic Institute, 2011 | 2 | 2011 |
A Pretty Expressive Printer (with Appendices) S Porncharoenwase, J Pombrio, E Torlak arXiv preprint arXiv:2310.01530, 2023 | 1 | 2023 |
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 |