Registered user since Wed 10 Sep 2014
Name:Michael Coblenz
Country:United States
Affiliation:University of California, San Diego
Personal website: https://cseweb.ucsd.edu/~mcoblenz/
X (Twitter): https://x.com/mcoblenz
GitHub: https://github.com/mcoblenz
Research interests:Usability of programming languages
Contributions
2025
HATRA
ICFP/SPLASH
SPLASH
- RestPi: Path-Sensitive Type Inference for REST APIs
- Session Chair of Onward! Essays 1 (part of Onward! Papers)
- DEI Chair in Organizing Committee
- PC Member in Program Committee within the Onward! Essays-track
- On the Impact of Formal Verification on Software Development
- An Empirical Evaluation of Property-Based Testing in Python
Using general profile