default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJames Noble 0001
Robert James Noble
Person information
- affiliation: Creative Research & Programming, Wellington, New Zealand
- affiliation (former): Victoria University of Wellington, New Zealand
- affiliation (former): Macquarie University, Microsoft Research Institute, Sydney, NSW, Australia
Other persons with the same name
- James Noble 0002 — Brown University, Providence, RI, USA
- James Noble 0003
![[0000-0003-0648-6702]](https://dblp.org/img/orcid-mark.12x12.png "0000-0003-0648-6702")
(aka: James M. Noble) — Columbia University, Department of Neurology, New York, NY, USA - James Noble 0004 — University of Toronto, Children's Aid society of Toronto, Canada (and 1 more)
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j28]Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble:
Towards AI-Assisted Synthesis of Verified Dafny Methods. Proc. ACM Softw. Eng. 1(FSE): 812-835 (2024)- [c226]James Noble:
Automatic Programming vs. Artificial Intelligence. AIware 2024 - [i13]Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, James Noble:
Towards AI-Assisted Synthesis of Verified Dafny Methods. CoRR abs/2402.00247 (2024) - 2023
- [j27]Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad:
Reference Capabilities for Flexible Memory Management. Proc. ACM Program. Lang. 7(OOPSLA2): 1363-1393 (2023) - [c225]Andrew P. Black, Kim B. Bruce, James Noble:
The Importance of Being Eelco. Eelco Visser Commemorative Symposium 2023: 4:1-4:15 - [c224]James Noble:
All Languages Are Dynamic (Invited Talk). DLS 2023: 1 - [c223]James Noble, Robert Biddle:
programmingLanguage as Language;. Onward! 2023: 191-204 - [i12]Ellen Arvidsson, Elias Castegren, Sylvan Clebsch, Sophia Drossopoulou, James Noble, Matthew J. Parkinson, Tobias Wrigstad:
Reference Capabilities for Flexible Memory Management: Extended Version. CoRR abs/2309.02983 (2023) - 2022
- [j26]Julian Mackay, Susan Eisenbach, James Noble, Sophia Drossopoulou:
Necessity specifications for robustness. Proc. ACM Program. Lang. 6(OOPSLA2): 811-840 (2022) - [c222]James Noble, Julian Mackay, Tobias Wrigstad:
Rusty Links in Local Chains✱. FTfJP@ECOOP 2022: 1-3 - [c221]James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon:
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. NFM 2022: 431-450 - [i11]James Noble, David Streader, Isaac Oscar Gariano, Miniruwani Samarakoon:
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme. CoRR abs/2205.00787 (2022) - [i10]James Noble, Julian Mackay, Tobias Wrigstad:
Rusty Links in Local Chains. CoRR abs/2205.00795 (2022) - [i9]Julian Mackay, Sophia Drossopoulou, James Noble, Susan Eisenbach:
Necessity Specifications for Robustness. CoRR abs/2209.08205 (2022) - 2021
- [c220]Erin Greenwood-Thessman, Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Naïve transient cast insertion isn't (that) bad. ICOOOLPS@ECOOP 2021: 1-9 - [c219]Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad:
Dala: a simple capability-based dynamic language design for data race-freedom. Onward! 2021: 1-17 - [i8]Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Erin Greenwood-Thessman, Michael Homer, Tobias Wrigstad:
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom. CoRR abs/2109.07541 (2021) - 2020
- [j25]Charles Weir, Awais Rashid, James Noble:
Challenging software developers: dialectic as a foundation for security assurance techniques. J. Cybersecur. 6(1) (2020) - [j24]Charles Weir, Ingolf Becker, James Noble, Lynne Blair, M. Angela Sasse, Awais Rashid:
Interventions for long-term software security: Creating a lightweight program of assurance techniques for developers. Softw. Pract. Exp. 50(3): 275-298 (2020) - [c218]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. FASE 2020: 420-440 - [d2]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holisitic Specifications for Robust Programs - Coq Model. Zenodo, 2020
- [i7]Sophia Drossopoulou, James Noble, Julian Mackay, Susan Eisenbach:
Holistic Specifications for Robust Programs. CoRR abs/2002.08334 (2020)
2010 – 2019
- 2019
- [c217]Michael Homer, Timothy Jones, James Noble:
First-class dynamic types. DLS 2019: 1-14 - [c216]Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Transient Typechecks Are (Almost) Free. ECOOP 2019: 5:1-5:28 - [c215]Kirita-Rose Escott, James Noble:
Design patterns for angular hotdraw. EuroPLoP 2019: 35:1-35:13 - [c214]Charles Weir, Ingolf Becker, James Noble, Lynne Blair, M. Angela Sasse, Awais Rashid:
Interventions for software security: creating a lightweight program of assurance techniques for developers. ICSE (SEIP) 2019: 41-50 - [c213]Isaac Oscar Gariano, James Noble, Marco Servetto:
CallƐ: an effect system for method calls. Onward! 2019: 32-45 - [c212]Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Which of my transient type checks are not (almost) free? VMIL@SPLASH 2019: 58-66 - [c211]James Noble:
Cognitive Dimensions of Modular Noise Improvisation. PPIG 2019 - [c210]Brendan Julian, James Noble, Craig Anslow:
Agile Practices in Practice: Towards a Theory of Agile Adoption and Process Evolution. XP 2019: 3-18 - [e8]James Noble, Ralph E. Johnson, Uwe Zdun, Eugene Wallingford:
Transactions on Pattern Languages of Programming IV. Lecture Notes in Computer Science 10600, Springer 2019, ISBN 978-3-030-14290-2 [contents] - [d1]Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Transient Typechecks are (Almost) Free [Artifact]. Zenodo, 2019 - [i6]Isaac Oscar Gariano, James Noble, Marco Servetto:
CallE: An Effect System for Method Calls. CoRR abs/1907.04934 (2019) - [i5]Kiko Fernandez-Reyes, Isaac Oscar Gariano, James Noble, Tobias Wrigstad:
Towards Gradual Checking of Reference Capabilities. CoRR abs/1909.01465 (2019) - [i4]Isaac Oscar Gariano, Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Which of My Transient Type Checks Are Not (Almost) Free? CoRR abs/1909.05581 (2019) - 2018
- [c209]James Noble, Alex Potanin, Toby C. Murray, Mark S. Miller:
Abstract and Concrete Data Types vs Object Capabilities. Principled Software Development 2018: 221-240 - [c208]Charles Weir, Lynne Blair, Ingolf Becker, M. Angela Sasse, James Noble:
Light-Touch Interventions to Improve Software Development Security. SecDev 2018: 85-93 - [c207]Aaron Pang, Craig Anslow, James Noble:
What Programming Languages Do Developers Use? A Theory of Static vs Dynamic Language Choice. VL/HCC 2018: 239-247 - [i3]Richard Roberts, Stefan Marr, Michael Homer, James Noble:
Shallow Types for Insightful Programs: Grace is Optional, Performance is Not. CoRR abs/1807.00661 (2018) - 2017
- [j23]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Timothy Jones:
Grace's Inheritance. J. Object Technol. 16(2): 2:1-35 (2017) - [j22]Michael Homer, James Noble:
Lessons in Combining Block-based and Textual Programming. J. Vis. Lang. Sentient Syst. 3: 22-39 (2017) - [c206]Rashina Hoda, James Noble:
Becoming agile: a grounded theory of agile transitions in practice. ICSE 2017: 141-151 - 2016
- [c205]Andrew P. Black, Kim B. Bruce, James Noble:
The Essence of Inheritance. A List of Successes That Can Change the World 2016: 73-94 - [c204]Sophia Drossopoulou, James Noble, Mark S. Miller, Toby C. Murray:
Permission and Authority Revisited towards a formalisation. FTfJP@ECOOP 2016: 10 - [c203]Timothy Jones, Michael Homer, James Noble, Kim B. Bruce:
Object Inheritance Without Classes. ECOOP 2016: 13:1-13:26 - [c202]Charles Weir, Awais Rashid, James Noble:
Early Report: How to Improve Programmers' Expertise at App Security? IMPS@ESSoS 2016: 49-50 - [c201]Craig Anslow, Stuart Marshall, James Noble, Robert Biddle:
Hacking with multi-touch for Java (MT4j). Mobile!@SPLASH 2016: 17-20 - [c200]James Noble, Andrew P. Black, Kim B. Bruce, Michael Homer, Mark S. Miller:
The left hand of equals. Onward! 2016: 224-237 - [c199]Charles Weir, Awais Rashid, James Noble:
Reaching the masses: a new subdiscipline of app programmer education. SIGSOFT FSE 2016: 936-939 - [c198]Charles Weir, Awais Rashid, James Noble:
How to Improve the Security Skills of Mobile App Developers? Comparing and Contrasting Expert Views. WSIW@SOUPS 2016 - [i2]Andrew P. Black, Kim B. Bruce, James Noble:
The Essence of Inheritance. CoRR abs/1601.02059 (2016) - 2015
- [j21]Timothy Jones, Michael Homer, James Noble:
Brand Objects for Nominal Typing (Artifact). Dagstuhl Artifacts Ser. 1(1): 04:1-04:2 (2015) - [c197]Michael Homer, Timothy Jones, James Noble:
From APIs to languages: generalising method names. DLS 2015: 1-12 - [c196]Sophia Drossopoulou, James Noble, Mark S. Miller:
Swapsies on the Internet: First Steps towards Reasoning about Risk and Trust in an Open World. PLAS@ECOOP 2015: 2-15 - [c195]Timothy Jones, Michael Homer, James Noble:
Brand Objects for Nominal Typing. ECOOP 2015: 198-221 - [c194]Michael Waterman, James Noble, George Allan:
How Much Up-Front? A Grounded theory of Agile Architecture. ICSE (1) 2015: 347-357 - [c193]Najwani Razali, James Noble, Stuart Marshall:
Operators and precedence in programming languages. PLATEAU@SPLASH 2015: 53-56 - [c192]Alex Potanin, James Noble:
Workshop preview of the 2015 workshop on new object-oriented languages (NOOL 2015). SPLASH (Companion Volume) 2015: 105-106 - [c191]Mawarny Md. Rejab, James Noble, Stuart Marshall:
Coordinating Expertise Outside Agile Teams. XP 2015: 141-153 - 2014
- [c190]Mawarny Md. Rejab, James Noble, George Allan:
Distributing Expertise in Agile Software Development Projects. AGILE 2014: 33-36 - [c189]Timothy Jones, James Noble:
Tinygrace: A Simple, Safe, and Structurally Typed Language. FTfJP@ECOOP 2014: 3:1-3:6 - [c188]James Noble, Sophia Drossopoulou:
Rationally Reconstructing the Escrow Example. FTfJP@ECOOP 2014: 5:1-5:6 - [c187]Michael Homer, Timothy Jones, James Noble, Kim B. Bruce, Andrew P. Black:
Graceful Dialects. ECOOP 2014: 131-156 - [c186]James Noble, Timothy Jones:
[Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language. FARM@ICFP 2014: 61-62 - [c185]Sophia Drossopoulou, James Noble:
How to Break the Bank: Semantics of Capability Policies. IFM 2014: 18-35 - [c184]Michael Homer, James Noble:
Combining Tiled and Textual Views of Code. VISSOFT 2014: 1-10 - [c183]James Noble:
Livecoding the SynthKit: Little Bits as an Embodied Programming Language. VISSOFT 2014: 40-44 - [c182]Mawarny Md. Rejab, James Noble, George Allan:
Locating Expertise in Agile Software Development Projects. XP 2014: 260-268 - 2013
- [j20]Rashina Hoda, James Noble, Stuart Marshall:
Self-Organizing Roles on Agile Software Development Teams. IEEE Trans. Software Eng. 39(3): 422-444 (2013) - [c181]Siva Dorairaj, James Noble:
Agile Software Development with Distributed Teams: Agility, Distribution and Trust. AGILE 2013: 1-10 - [c180]James Noble, Michael Homer, Kim B. Bruce, Andrew P. Black:
Designing Grace: Can an introductory programming language support the teaching of software engineering? CSEE&T 2013: 219-228 - [c179]Sophia Drossopoulou, James Noble:
The need for capability policies. FTfJP@ECOOP 2013: 6:1-6:7 - [c178]Marco Servetto, Julian Mackay, Alex Potanin, James Noble:
The Billion-Dollar Fix - Safe Modular Circular Initialisation with Placeholders and Placeholder Types. ECOOP 2013: 205-229 - [c177]Ewan D. Tempero, Hong Yul Yang, James Noble:
What Programmers Do with Inheritance in Java. ECOOP 2013: 577-601 - [c176]Michael Homer, James Noble:
Object creation in Grace. EuroPLoP 2013: 21:1-21:15 - [c175]Siva Dorairaj, James Noble, George Allan:
Agile Software Development with Distributed Teams: Senior Management Support. ICGSE 2013: 197-205 - [c174]Alex Potanin, Monique Damitio, James Noble:
Are your incoming aliases really necessary? counting the cost of object ownership. ICSE 2013: 742-751 - [c173]Shriram Krishnamurthi, James Noble, Jan Vitek:
Should software conferences respect software? SPLASH (Companion Volume) 2013: 71-72 - [c172]Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble, Amy Ruskin, Richard Yannow:
Seeking grace: a new object-oriented language for novices. SIGCSE 2013: 129-134 - [c171]Craig Anslow, Stuart Marshall, James Noble, Robert Biddle:
SourceVis: Collaborative software visualization for co-located environments. VISSOFT 2013: 1-10 - [c170]Michael Homer, James Noble:
A tile-based editor for a textual programming language. VISSOFT 2013: 1-4 - [c169]Michael Waterman, James Noble, George Allan:
The Effect of Complexity and Value on Architecture Planning in Agile Software Development. XP 2013: 238-252 - [p4]Dave Clarke, James Noble, Tobias Wrigstad:
Beyond the Geneva Convention on the Treatment of Object Aliasing. Aliasing in Object-Oriented Programming 2013: 1-6 - [p3]Nicholas Cameron, Sophia Drossopoulou, James Noble:
Understanding Ownership Types with Dependent Types. Aliasing in Object-Oriented Programming 2013: 84-108 - [p2]James Noble:
How, Then, Should We Program? Aliasing in Object-Oriented Programming 2013: 507-508 - [e7]James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford:
Transactions on Pattern Languages of Programming III. Lecture Notes in Computer Science 7840, Springer 2013, ISBN 978-3-642-38675-6 [contents] - [e6]Dave Clarke, James Noble, Tobias Wrigstad:
Aliasing in Object-Oriented Programming. Types, Analysis and Verification. Lecture Notes in Computer Science 7850, Springer 2013, ISBN 978-3-642-36945-2 [contents] - [i1]Alan F. Blackwell, Alex McLean, James Noble, Julian Rohrhuber:
Collaboration and learning through live coding (Dagstuhl Seminar 13382). Dagstuhl Reports 3(9): 130-168 (2013) - 2012
- [j19]Rashina Hoda, James Noble, Stuart Marshall:
Developing a grounded theory to explain the practices of self-organizing Agile teams. Empir. Softw. Eng. 17(6): 609-639 (2012) - [c168]Siva Dorairaj, James Noble, Petra Malik:
Knowledge Management in Distributed Agile Software Development. AGILE 2012: 64-73 - [c167]Michael Homer, James Noble, Kim B. Bruce, Andrew P. Black, David J. Pearce:
Patterns as objects in grace. DLS 2012: 17-28 - [c166]Siva Dorairaj, James Noble, Petra Malik:
Understanding Lack of Trust in Distributed Agile Teams: A grounded theory study. EASE 2012: 81-90 - [c165]Andrew P. Black, Kim B. Bruce, Michael Homer, James Noble:
Grace: the absence of (inessential) difficulty. Onward! 2012: 85-98 - [c164]Stephen Nelson, David J. Pearce, James Noble:
Profiling Field Initialisation in Java. RV 2012: 292-307 - [c163]Siva Dorairaj, James Noble, Petra Malik:
Understanding Team Dynamics in Distributed Agile Software Development. XP 2012: 47-61 - [e5]James Noble:
ECOOP 2012 - Object-Oriented Programming - 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Lecture Notes in Computer Science 7313, Springer 2012, ISBN 978-3-642-31056-0 [contents] - 2011
- [j18]Rashina Hoda, James Noble, Stuart Marshall:
The impact of inadequate customer collaboration on self-organizing Agile teams. Inf. Softw. Technol. 53(5): 521-534 (2011) - [c162]Siva Dorairaj, James Noble, Petra Malik:
Bridging cultural differences: a grounded theory perspective. ISEC 2011: 3-10 - [c161]Paley Li, Nicholas Cameron, James Noble:
Cloning in ownership. OOPSLA Companion 2011: 63-66 - [c160]Rashina Hoda, James Noble, Stuart Marshall:
Grounded theory for geeks. PLoP 2011: 24:1-24:17 - [c159]Craig Anslow, Stuart Marshall, James Noble, Robert Biddle:
SourceVis: a tool for multi-touch software visualization. ITS 2011: 264-265 - [c158]Rashina Hoda, James Noble, Stuart Marshall:
Supporting Self-organizing Agile Teams - What's Senior Management Got to Do with It? XP 2011: 73-87 - [c157]Siva Dorairaj, James Noble, Petra Malik:
Effective Communication in Distributed Agile Software Development Teams. XP 2011: 102-116 - [c156]David J. Pearce, James Noble:
Implementing a Language with Flow-Sensitive and Structural Typing on the JVM. Bytecode@ETAPS 2011: 47-59 - [e4]James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun:
Transactions on Pattern Languages of Programming II - Special Issue on Applying Patterns. Lecture Notes in Computer Science 6510, Springer 2011, ISBN 978-3-642-19431-3 [contents] - 2010
- [j17]Matthew Duignan, James Noble, Robert Biddle:
Abstraction and Activity in Computer-Mediated Music Production. Comput. Music. J. 34(4): 22-33 (2010) - [j16]Shane Markstrum, Daniel Marino, Matthew Esquivel, Todd D. Millstein, Chris Andreae, James Noble:
JavaCOP: Declarative pluggable types for java. ACM Trans. Program. Lang. Syst. 32(2): 4:1-4:37 (2010) - [c155]Ewan D. Tempero, Steve Counsell, James Noble:
An empirical study of overriding in open source Java. ACSC 2010: 3-12 - [c154]Ewan D. Tempero, Craig Anslow, Jens Dietrich, Ted Han, Jing Li, Markus Lumpe, Hayden Melton, James Noble:
The Qualitas Corpus: A Curated Collection of Java Code for Empirical Studies. APSEC 2010: 336-345 - [c153]Rashina Hoda, James Noble, Stuart Marshall:
How much is just enough?: some documentation patterns on Agile projects. EuroPLoP 2010: 13 - [c152]Rashina Hoda, James Noble, Stuart Marshall:
Balancing acts: walking the Agile tightrope. CHASE 2010: 5-12 - [c151]Joshua Lindsay, James Noble, Ewan D. Tempero:
Does size matter?: a preliminary investigation of the consequences of powerlaws in software. WETSoM 2010: 16-23 - [c150]Rashina Hoda, James Noble, Stuart Marshall:
Organizing self-organizing teams. ICSE (1) 2010: 285-294 - [c149]Rashina Hoda, Philippe Kruchten, James Noble, Stuart Marshall:
Agility in context. OOPSLA 2010: 74-88 - [c148]Andrew P. Black, Kim B. Bruce, James Noble:
Panel: designing the next educational programming language. SPLASH/OOPSLA Companion 2010: 201-204 - [c147]Nicholas Cameron, James Noble, Tobias Wrigstad:
Tribal ownership. OOPSLA 2010: 618-633 - [c146]Frank Schmager, Nicholas Cameron, James Noble:
GoHotDraw: evaluating the Go programming language with design patterns. PLATEAU 2010: 10:1-10:6 - [c145]Craig Anslow, Stuart Marshall, James Noble, Ewan D. Tempero, Robert Biddle:
User evaluation of polymetric views using a large visualization wall. SOFTVIS 2010: 25-34 - [c144]Haowei Ruan, Craig Anslow, Stuart Marshall, James Noble:
Exploring the inventor's paradox: applying jigsaw to software visualization. SOFTVIS 2010: 83-92 - [c143]Stephen Nelson, David J. Pearce, James Noble:
Understanding the Impact of Collection Contracts on Design. TOOLS (48) 2010: 61-78 - [c142]Nicholas Cameron, James Noble:
Encoding Ownership Types in Java. TOOLS (48) 2010: 271-290 - [c141]Rashina Hoda, James Noble, Stuart Marshall:
Agile Undercover: When Customers Don't Collaborate. XP 2010: 73-87 - [c140]