default search action

combined dblp search
author search
venue search
publication search

ask others

Michael J. Coblenz

Michael Coblenz

> Home > Persons

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

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2021
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/us/Coblenz21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Coblenz21
Michael J. Coblenz:
User-Centered Design of Principled Programming Languages. Carnegie Mellon University, USA, 2021

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/pacmse/JiangC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmse/JiangC24
Shaokang Jiang, Michael Coblenz:
An Analysis of the Costs and Benefits of Autocomplete in IDEs. Proc. ACM Softw. Eng. 1(FSE): 1284-1306 (2024)
2021
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tochi/CoblenzKKWBSAM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tochi/CoblenzKKWBSAM21
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)
2020
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/CoblenzAMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/CoblenzAMS20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/toplas/CoblenzOEKBBMSA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/toplas/CoblenzOEKBBMSA20
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)
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/KoMCA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/KoMCA06
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)
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/SimmonsGGMRSUSAAABCMPHZKWMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/SimmonsGGMRSUSAAABCMPHZKWMM03
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)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PertsevaCZC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PertsevaCZC24
Elizaveta Pertseva, Melinda Chang, Ulia Zaman, Michael Coblenz:
A Theory of Scientific Programming Efficacy. ICSE 2024: 192:1-192:12
2023
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/CoblenzGVF23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/CoblenzGVF23
Michael Coblenz, Wentao Guo, Kamatchi Voozhian, Jeffrey S. Foster:
A Qualitative Study of REST API Design and Specification Practices. VL/HCC 2023: 148-156
2022
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoblenzM022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoblenzM022
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
2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoblenzSAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoblenzSAM19
Michael J. Coblenz, Joshua Sunshine, Jonathan Aldrich, Brad A. Myers:
Smarter smart contract development tools. WETSEB@ICSE 2019: 48-51
[c14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/uist/KambhatlaCOSAM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/KambhatlaCOSAM19
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
2018
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/CoblenzAMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CoblenzAMS18
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Interdisciplinary programming language design. Onward! 2018: 133-146
2017
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Coblenz17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Coblenz17
Michael J. Coblenz:
Obsidian: a safer blockchain programming language. ICSE (Companion Volume) 2017: 97-99
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Coblenz17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Coblenz17a
Michael J. Coblenz:
Principles of usable programming language design. ICSE (Companion Volume) 2017: 469-470
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoblenzNAMS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoblenzNAMS17
Michael J. Coblenz, Whitney Nelson, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Glacier: transitive class immutability for Java. ICSE 2017: 496-506
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/secdev/WeberCMAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secdev/WeberCMAS17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/esem/YostCMSAWPHKP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esem/YostCMSAWPHKP16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CoblenzSAMWS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CoblenzSAMWS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/CoblenzSMWS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CoblenzSMWS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/CoblenzSMSA15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/CoblenzSMSA15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/CoblenzAMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/CoblenzAMS14
Michael J. Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine:
Considering Productivity Effects of Explicit Type Declarations. PLATEAU 2014: 59-61
2006
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/eclipse/CoblenzKM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eclipse/CoblenzKM06
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/CoblenzKM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/CoblenzKM05
Michael J. Coblenz, Amy J. Ko, Brad A. Myers:
Using Objects of Measurement to Detect Spreadsheet Errors. VL/HCC 2005: 314-316
2002
[c1]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/mrc/SimmonsGGMRSUSAAABCMPHZKWMM02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mrc/SimmonsGGMRSUSAAABCMPHZKWMM02
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

Data and Artifacts

see FAQ

What is the meaning of the colors in the publication lists?

2020
[d1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - data/10/CoblenzAMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/CoblenzAMS20
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

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-06640
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-06640
Ruochen Wang, Molly Maclaren, Michael Coblenz:
REVIS: An Error Visualization Tool for Rust. CoRR abs/2309.06640 (2023)
2021
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-01098
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-01098
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-03806
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-03806
Michael Coblenz:
Toward a Theory of Programming Language and Reasoning Assistant Design: Minimizing Cognitive Load. CoRR abs/2110.03806 (2021)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-08983
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-08983
Timothy Mou, Michael J. Coblenz, Jonathan Aldrich:
An Empirical Study of Protocols in Smart Contracts. CoRR abs/2110.08983 (2021)
2020
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2003-12209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2003-12209
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-04800
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-04800
Reed Oei, Michael J. Coblenz, Jonathan Aldrich:
Psamathe: A DSL with Flows for Safe Blockchain Assets. CoRR abs/2010.04800 (2020)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-07565
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-07565
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)
2019
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03523
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03523
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1912-04719
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1912-04719
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)

Coauthor Index

see FAQ

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.