default search action
Michael J. Coblenz
Person information
- affiliation: University of California, San Diego, CA, USA
- affiliation (PhD 2021): Carnegie Mellon University, Computer Science Department, Pittsburgh, PA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j6]Shaokang Jiang, Michael Coblenz:
An Analysis of the Costs and Benefits of Autocomplete in IDEs. Proc. ACM Softw. Eng. 1(FSE): 1284-1306 (2024) - [c18]Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz:
A Theory of Scientific Programming Efficacy. ICSE 2024: 192:1-192:12 - 2023
- [c17]Michael Coblenz, Wentao Guo, Kamatchi Voozhian, Jeffrey S. Foster:
A Qualitative Study of REST API Design and Specification Practices. VL/HCC 2023: 148-156 - [i9]Ruochen Wang, Molly Maclaren, Michael Coblenz:
REVIS: An Error Visualization Tool for Rust. CoRR abs/2309.06640 (2023) - 2022
- [c16]Michael Coblenz, Michelle L. Mazurek, Michael Hicks:
Garbage Collection Makes Rust Easier to Use: A Randomized Controlled Trial of the Bronze Garbage Collector. ICSE 2022: 1021-1032 - 2021
- [b1]Michael J. Coblenz:
User-Centered Design of Principled Programming Languages. Carnegie Mellon University, USA, 2021 - [j5]Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers:
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design. ACM Trans. Comput. Hum. Interact. 28(4): 28:1-28:53 (2021) - [i8]Michael Coblenz, Michelle L. Mazurek, Michael Hicks:
Does the Bronze Garbage Collector Make Rust Easier to Use? A Controlled Experiment. CoRR abs/2110.01098 (2021) - [i7]Michael Coblenz:
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load. CoRR abs/2110.03806 (2021) - [i6]Timothy Mou, Michael J. Coblenz, Jonathan Aldrich:
An Empirical Study of Protocols in Smart Contracts. CoRR abs/2110.08983 (2021) - 2020
- [j4]Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Can advanced type systems be usable? An empirical study of ownership, assets, and typestate in Obsidian. Proc. ACM Program. Lang. 4(OOPSLA): 132:1-132:28 (2020) - [j3]Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich:
Obsidian: Typestate and Assets for Safer Blockchain Programming. ACM Trans. Program. Lang. Syst. 42(3): 14:1-14:82 (2020) - [d1]Michael Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian (Artifact). Zenodo, 2020 - [i5]Michael J. Coblenz, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers:
An Empirical Study of Ownership, Typestate, and Assets in the Obsidian Smart Contract Language. CoRR abs/2003.12209 (2020) - [i4]Reed Oei, Michael J. Coblenz, Jonathan Aldrich:
Psamathe: A DSL with Flows for Safe Blockchain Assets. CoRR abs/2010.04800 (2020) - [i3]Michael J. Coblenz, Ariel Davis, Megan Hofmann, Vivian Huang, Siyue Jin, Max Krieger, Kyle Liang, Brian Wei, Mengchen Sam Yong, Jonathan Aldrich:
User-Centered Programming Language Design: A Course-Based Case Study. CoRR abs/2011.07565 (2020)
2010 – 2019
- 2019
- [c15]Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers:
Smarter smart contract development tools. WETSEB@ICSE 2019: 48-51 - [c14]Gauri Kambhatla, Michael J. Coblenz, Reed Oei, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers:
A Pilot Study of the Safety and Usability of the Obsidian Blockchain Programming Language. PLATEAU@UIST 2019: 2:1-2:11 - [i2]Michael J. Coblenz, Reed Oei, Tyler Etzel, Paulette Koronkevich, Miles Baker, Yannick Bloem, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich:
Obsidian: Typestate and Assets for Safer Blockchain Programming. CoRR abs/1909.03523 (2019) - [i1]Michael J. Coblenz, Gauri Kambhatla, Paulette Koronkevich, Jenna L. Wise, Celeste Barnaby, Jonathan Aldrich, Joshua Sunshine, Brad A. Myers:
User-Centered Programming Language Design in the Obsidian Smart Contract Language. CoRR abs/1912.04719 (2019) - 2018
- [c13]Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Interdisciplinary programming language design. Onward! 2018: 133-146 - 2017
- [c12]Michael J. Coblenz:
Obsidian: a safer blockchain programming language. ICSE (Companion Volume) 2017: 97-99 - [c11]Michael J. Coblenz:
Principles of usable programming language design. ICSE (Companion Volume) 2017: 469-470 - [c10]Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Glacier: transitive class immutability for Java. ICSE 2017: 496-506 - [c9]Sam Weber, Michael J. Coblenz, Brad A. Myers, Jonathan Aldrich, Joshua Sunshine:
Empirical Studies on the Security and Usability Impact of Immutability. SecDev 2017: 50-53 - 2016
- [c8]Beth Yost, Michael J. Coblenz, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich, Sam Weber, Matthew Patron, Melissa Heeren, Shelley Krueger, Mark S. Pfaff:
Software Development Practices, Barriers in the Field and the Relationship to Software Quality. ESEM 2016: 16:1-16:6 - [c7]Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers, Sam Weber, Forrest Shull:
Exploring language support for immutability. ICSE 2016: 736-747 - 2015
- [c6]Michael J. Coblenz, Joshua Sunshine, Brad A. Myers, Sam Weber, Forrest Shull:
Comparing transitive to non-transitive object immutability. PLATEAU@SPLASH 2015: 47-48 - [c5]Michael J. Coblenz, Robert C. Seacord, Brad A. Myers, Joshua Sunshine, Jonathan Aldrich:
A course-based usability analysis of Cilk Plus and OpenMP. VL/HCC 2015: 245-249 - 2014
- [c4]Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Considering Productivity Effects of Explicit Type Declarations. PLATEAU 2014: 59-61
2000 – 2009
- 2006
- [j2]Amy J. Ko, Brad A. Myers, Michael J. Coblenz, Htet Htet Aung:
An Exploratory Study of How Developers Seek, Relate, and Collect Relevant Information during Software Maintenance Tasks. IEEE Trans. Software Eng. 32(12): 971-987 (2006) - [c3]Michael J. Coblenz, Amy J. Ko, Brad A. Myers:
JASPER: an Eclipse plug-in to facilitate software maintenance tasks. ETX 2006: 65-69 - 2005
- [c2]Michael J. Coblenz, Amy J. Ko, Brad A. Myers:
Using Objects of Measurement to Detect Spreadsheet Errors. VL/HCC 2005: 314-316 - 2003
- [j1]Reid G. Simmons, Dani Goldberg, Adam Goode, Michael Montemerlo, Nicholas Roy, Brennan Sellner, Chris Urmson, Alan C. Schultz, Myriam Abramson, William Adams, Amin Atrash, Magdalena D. Bugajska, Michael J. Coblenz, Matt MacMahon, Dennis Perzanowski, Ian Horswill, Robert Zubek, David Kortenkamp, Bryn Wolfe, Tod Milam, Bruce A. Maxwell:
GRACE: An Autonomous Robot for the AAAI Robot Challenge. AI Mag. 24(2): 51-72 (2003) - 2002
- [c1]Reid G. Simmons, Dani Goldberg, Adam Goode, Michael Montemerlo, Nicholas Roy, Brennan Sellner, Chris Urmson, Alan C. Schultz, Myriam Abramson, William Adams, Amin Atrash, Magdalena D. Bugajska, Michael J. Coblenz, Matt MacMahon, Dennis Perzanowski, Ian Horswill, Robert Zubek, David Kortenkamp, Bryn Wolfe, Tod Milam, Bruce A. Maxwell:
GRACE: An Autonomous Robot for the AAAI Robot Challenge. AAAI Mobile Robot Competition 2002: 1-14
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint