Book Chapters

The Importance of Being Eelco Andrew P. Black, Kim B. Bruce, James Noble. Eelco Visser Commemorative Symposium 2023: 4:1-4:15

Abstract and Concrete Data Types vs Object Capabilities. James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller. In Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Springer-Verlag 2018: 221-240

Journal Articles

Challenging software developers: dialectic as a foundation for security assurance techniques. Charles Weir, Awais Rashid, James Noble. J. Cybersecur. 6(1) 2020

Long Term Software Security: Creating a Lightweight Program of Assurance Techniques for Developers. Charles Weir, Ingolf Becker, James Noble, Lynne Blair, M. Angela Sasse, Awais Rashid Software--Practice & Experience 50(3) 275-289, 2020

Lessons in Combining Block-Based and Textual Programming. Michael Homer, James Noble. Journal of Visual Languages and Sentient Systems. 3:22-39 01 Jul 2017

Grace’s Inheritance. James Noble, Andrew Black, Kim Bruce, Michael Homer, Tim Jones. Journal of Object Technology (JOT)16(2) 2:1-35 2017.

Conference Papers

Towards AI-Assisted Synthesis of Verified Dafny Methods. Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, and James Noble. Foundations of Software Engineering (FSE) 2024.

Automatic Programming vs. Artificial Intelligence. James Noble. AIware 2024

Dafny vs. Dala: Experience with Mechanising Language Design James Noble, Julian Mackay, Tobias Wrigstad, Andrewe Fawcet, Michael Homer. Formal Techniques for Java-like Programming workshop at ECOOP 2024.

Learn 'em Dafny! James Noble. Dafny workshop at POPL 2024.

Reference Capabilities for Flexible Memory Management. Ellen Ardivssib, Elisa Castegren, Slyvan Clebsch, Sophia Drossopoulou, James Noble, Matthew K Parkinson, Tobias Wrigstad. OOPSLA 2023.

programmingLanguage as Language; James Noble, Robert Biddle. Under review. 2023.

Necessity Specifications for Robustness. Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach. OOPSLA 2022. arXive version

Rusty Links in Local Chains. James Noble, Julian Mackay, Tobias Wrigstad.FTfJP 2022.

More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme James Noble. David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon. NASA Formal Methods Symposium (NFM) 2022.

Dala: a simple capability-based dynamic language design for data race freedom. Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad. Onward! 2021

Holistic Specifications for Robust Programs. Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach FASE 2020.

Dalarna: A Simplistic Capability-Based Dynamic Language Design For Data Race Freedom. Kiko Fernandez-Reyes, James Noble, et al. FTFJP 2020.

Transient Typechecks are (Almost) Free. Richard Roberts, Stefan Marr, Michael Homer, James Noble. European Conference on Object-Oriented Programming. (ECOOP) 2019.

First-class Dynamic Types. Michael Homer, Timothy Jones, James Noble. Dynamic Language Symposium (DLS) 2019. 1-14.

Design Patterns for Angular Hotdraw. Kirita-Rose Escott, James Noble. EuroPLoP 2019.

Cognitive Dimensions of Modular Noise Improvisation. James Noble. PPIG 2019