James Noble
Victoria University of Wellington
H-index: 56
Oceania-New Zealand
Top articles of James Noble
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Learn’em Dafny! | James Noble | 2024 | |
Colouring flags with Dafny & Idris | Jan de Muijnck-Hughes James Noble | 2024/1/14 | |
The Importance of Being Eelco | Andrew P Black Kim B Bruce James Noble | 2023 | |
Programming Languages and Systems | ACM Transactions on | M Vukasovic A Prokopec A Boruch-Gruszecki M Odersky E Lee | 2023 |
Numb chin syndrome. | Headache: The Journal of Head and Face Pain | Randolph W Evans Sarah Kirby R Allan Purdy | 2008/11 |
All Languages Are Dynamic (Invited Talk) | James Noble | 2023/10/24 | |
programmingLanguage as Language | James Noble Robert Biddle | 2023/10/18 | |
Reference capabilities for flexible memory management | Proceedings of the ACM on Programming Languages | Ellen Arvidsson Elias Castegren Sylvan Clebsch Sophia Drossopoulou James Noble | 2023/10/16 |
Necessity specifications for robustness | Proceedings of the ACM on Programming Languages | Julian Mackay Susan Eisenbach James Noble Sophia Drossopoulou | 2022/10/31 |
Rusty Links in Local Chains✱ | James Noble Julian Mackay Tobias Wrigstad | 2022/6/7 | |
More programming than programming: Teaching formal methods in a software engineering programme | James Noble David Streader Isaac Oscar Gariano Miniruwani Samarakoon | 2022/5/20 | |
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 | 2021/10/20 | |
Naïve transient cast insertion isn't (that) bad | Erin Greenwood-Thessman Isaac Oscar Gariano Richard Roberts Stefan Marr Michael Homer | 2021/7/13 | |
Why do programmers do what they do? a theory of influences on security practices | Proc. HATS Workshop Usable Secur. Privacy | Lavanya Sajwan James Noble Craig Anslow Robert Biddle | 2021/5 |
Challenging software developers: dialectic as a foundation for security assurance techniques | Journal of Cybersecurity | Charles Weir Awais Rashid James Noble | 2020 |
Holistic Specifications for Robust Programs. | Sophia Drossopoulou James Noble Julian Mackay Susan Eisenbach | 2020/3/13 | |
Interventions for long‐term software security: Creating a lightweight program of assurance techniques for developers | Software: Practice and Experience | Charles Weir Ingolf Becker James Noble Lynne Blair M Angela Sasse | 2020/3 |