About Me
Archive
- Blackout
- Faster Than Light
- Hex Board
- Invariants
- Listening To OEIS
- Logic Gates
- Penrose Maze
- Syntactic Sugar
- Terminal Colors
Notes
Puzzles
Tree Editors
Programming
- Typst as a Language
- A Twist on Wadler's Printer
- Preventing Log4j with Capabilities
- Algebra and Data Types
- Pixel to Hex
- Linear vs Binary Search
Physics
Math
- Traffic Engineering with Portals, Part II
- Traffic Engineering with Portals
- Algebra and Data Types
- What's a Confidence Interval?
- Typst as a Language
- A Twist on Wadler's Printer
- Space Logistics
- Hilbert's Curve
- Preventing Log4j with Capabilities
- Traffic Engineering with Portals, Part II
- Traffic Engineering with Portals
- Algebra and Data Types
- What's a Confidence Interval?
- Uncalibrated quantum experiments act clasically
- Pixel to Hex
- Linear vs Binary Search
- There and Back Again
- Tree Editor Survey
- Rust Quick Reference
- The Prisoners' Lightbulb
- Notes on Concurrency
- It's a blog now!
All Posts
justinpombrio.net
Latest Posts
About Me
I most recently worked at Geopipe, making digital twins of real-world cities.
I received a PhD from Brown University. My research was mainly in programming languages with a focus on syntactic sugar, but also included CS education.
Publications
- A Pretty Expressive Printer
Sorawee Porncharoenwase, Justin Pombrio, Emina Torlak, 2023. - Resugaring: Lifting Languages through Syntactic Sugar (Thesis)
Justin Pombrio. Brown University 2018. - Inferring Type Rules for Syntactic Sugar
Justin Pombrio, Shriram Krishnamurthi. PLDI 2018. - Can we Crowdsource Language Design?
Preston Tunnell Wilson, Justin Pombrio, Shriram Krishnamurthi. Onward! 2017. - Teaching Programming Languages by Experimental and Adversarial Thinking
Justin Pombrio, Shriram Krishnamurthi, Kathi Fisler. SNAPL 2017. - Inferring Scope through Syntactic Sugar
Justin Pombrio, Shriram Krishnamurthi, Mitchell Wand. ICFP 2017. - Slimming Languages by Reducing Sugar: A Case for Semantics-Altering Transformations
Junsong Li, Justin Pombrio, Joe Gibbs Politz, Shriram Krishnamurthi. Onward! 2015. - Hygienic Resugaring of Compositional Desugaring
Justin Pombrio, Shriram Krishnamurthi. ICFP 2015. - Resugaring: Lifting Evaluation Sequences through Syntactic Sugar
Justin Pombrio, Shriram Krishnamurthi. PLDI 2014. - A Tested Semantics for Getters, Setters, and Eval in JavaScript
Joe Gibbs Politz, Matt Carroll, Benjamin S. Lerner, Justin Pombrio, Shriram Krishnamurthi. DLS 2012.
Selected Posts
This website is written in Markdown, compiled by Jekyll, highlighted by pygments, typefaced by Triplicate, and hosted by nearlyfreespeech.net. The layout is no longer inspired by fleuron.
