James Noble
Victoria University of Wellington
H-index: 56
Oceania-New Zealand
Top articles of James Noble
Learn’em Dafny!
2024
James Noble
H-Index: 27
All Languages Are Dynamic (Invited Talk)
2023/10/24
James Noble
H-Index: 27
Reference capabilities for flexible memory management
Proceedings of the ACM on Programming Languages
2023/10/16
Elias Castegren
H-Index: 7
Sophia Drossopoulou
H-Index: 17
James Noble
H-Index: 27
Tobias Wrigstad
H-Index: 14
The Importance of Being Eelco
2023
James Noble
H-Index: 27
Necessity specifications for robustness
Proceedings of the ACM on Programming Languages
2022/10/31
More programming than programming: Teaching formal methods in a software engineering programme
2022/5/20
James Noble
H-Index: 27
Isaac Oscar Gariano
H-Index: 1
Dala: a simple capability-based dynamic language design for data race-freedom
2021/10/20
Isaac Oscar Gariano
H-Index: 1
James Noble
H-Index: 27
Michael Homer
H-Index: 9
Tobias Wrigstad
H-Index: 14
Naïve transient cast insertion isn't (that) bad
2021/7/13
Why do programmers do what they do? a theory of influences on security practices
Proc. HATS Workshop Usable Secur. Privacy
2021/5
Holistic Specifications for Robust Programs.
2020/3/13
Interventions for long‐term software security: Creating a lightweight program of assurance techniques for developers
Software: Practice and Experience
2020/3
Challenging software developers: dialectic as a foundation for security assurance techniques
Journal of Cybersecurity
2020