Research
I am broadly interested in programming languages as a medium for human thought, expression and interaction with computer systems. My research mainly consists of applying tools, techniques and ideas from the study of programming languages to diverse domains.
Projects
- Notational Programming
- Incorporating handwritten inputs into programming practices
- Computational Conveyances
- Using programming language techniques to analyze conveyances in property law
- Merlin Network Language
- A network management language using regular expressions and bandwidth constraints
Publications
Journal Papers
-
A Programming Language for Estates and Future Interests
Yale Journal of Law and Technology, Yale Law School, 2022.
-
Merlin: A Language for Provisioning Network Resources
IEEE/ACM Transactions on Networking
Conference Papers
-
Notational Programming for Notebook Environments: A Case Study with Quantum Circuits
Honorable Mention Award
Proceedings of the 35th Annual ACM Symposium on User Interface Software and Technology (UIST ’22)
-
Property Conveyances as a Programming Language
Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software, Onward! 2019, Athens, Greece, October 23-24, 2019
-
Life on the Edge: Unraveling Policies into Configurations
Proceedings of the 2017 Symposium on Architectures for Networking and Communications Systems, ANCS 2017, Beijing, China, May 18-19, 2017
-
Merlin: A Language for Provisioning Network Resources
Proceedings of the 2017 Symposium on Architectures for Networking and Communications Systems, ANCS 2017, Beijing, China, May 18-19, 2017
-
Managing the Network with Merlin
Proceedings of the 2017 Symposium on Architectures for Networking and Communications Systems, ANCS 2017, Beijing, China, May 18-19, 2017
-
Exploring the Impact of Context Sensitivity on Blended Analysis
26th IEEE International Conference on Software Maintenance, Timisoara, Romania, September 12-18, 2010
Workshop Presentations
-
Legal Calculi
Programming Languages and the Law (ProLaLa 2022), Workshop Presentation, 2022, Philadelphia
-
Littleton: An Educational Environment for Property Law
Programming Languages and the Law (ProLaLa 2022), Workshop Presentation, 2022, Philadelphia
-
Merlin Programming the Big Switch
Open Networking Summit ( ONS ’14 ), Workshop Presentation, 2014
-
A Language Based Approach to Computational Art
Off the Beaten Track Workshop, Workshop Presentation, 2012, Philadelphia