Michael Coblenz

15 papers A* 3B 1Journal 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Grounded Theory of Debugging in Professional Software Engineering Practice.
CoRR
Haolin Li, Michael Coblenz
2026 J jnl
A Study of Scientific Computational Notebook Quality.
CoRR
Shun Kashiwa, Ayla Kurdak, Savitha Ravi, Ridhi Srikanth, Angel Thakur, Sonia Chandra, Jonathan Truong, Michael Coblenz
2025 J jnl
A Retrospective on How Developers Seek, Relate, and Collect Information About Code.
IEEE Trans. Software Eng.
Amy J. Ko, Brad A. Myers, Michael Coblenz, Htet Htet Aung
2025 J jnl
An Empirical Evaluation of Property-Based Testing in Python.
Proc. ACM Program. Lang.
Savitha Ravi, Michael Coblenz
2025 A* conf
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities.
ICSE
Ruanqianqian (Lisa) Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner, Michael Coblenz
2025 J jnl
How Scientists Use Jupyter Notebooks: Goals, Quality Attributes, and Opportunities.
CoRR
Ruanqianqian (Lisa) Huang, Savitha Ravi, Michael He, Boyu Tian, Sorin Lerner, Michael Coblenz
2025 J jnl
On the Impact of Formal Verification on Software Development.
Proc. ACM Program. Lang.
Eric Mugnier, Yuanyuan Zhou, Ranjit Jhala, Michael Coblenz
2025 J jnl
RestPi: Path-Sensitive Type Inference for REST APIs.
Proc. ACM Program. Lang.
Mark W. Aldrich, Kyla Levin, Michael Coblenz, Jeffrey S. Foster
2024 A* conf
A Theory of Scientific Programming Efficacy.
ICSE
Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz
2024 J jnl
An Analysis of the Costs and Benefits of Autocomplete in IDEs.
Proc. ACM Softw. Eng.
Shaokang Jiang, Michael Coblenz
2023 B conf
A Qualitative Study of REST API Design and Specification Practices.
VL/HCC
Michael Coblenz, Wentao Guo, Kamatchi Voozhian, Jeffrey S. Foster
2023 J jnl
REVIS: An Error Visualization Tool for Rust.
CoRR
Ruochen Wang, Molly Maclaren, Michael Coblenz
2022 A* conf
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector.
ICSE
Michael Coblenz, Michelle L. Mazurek, Michael Hicks
2021 J jnl
Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment.
CoRR
Michael Coblenz, Michelle L. Mazurek, Michael Hicks
2021 J jnl
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load.
CoRR
Michael Coblenz