pith. sign in

James Noble

Identifiers

  • name variant James Noble 0.60 · backfill

Papers (12)

  1. Towards AI-Assisted Synthesis of Verified Dafny Methods cs.SE · 2024 · author #4
  2. Reference Capabilities for Flexible Memory Management: Extended Version cs.PL · 2023 · author #5
  3. Necessity Specifications for Robustness cs.PL · 2022 · author #3
  4. Rusty Links in Local Chains cs.PL · 2022 · author #1
  5. More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme cs.SE · 2022 · author #1
  6. Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom cs.PL · 2021 · author #3
  7. Holistic Specifications for Robust Programs cs.PL · 2020 · author #2
  8. Which of My Transient Type Checks Are Not (Almost) Free? cs.PL · 2019 · author #5
  9. Towards Gradual Checking of Reference Capabilities cs.PL · 2019 · author #3
  10. CallE: An Effect System for Method Calls cs.PL · 2019 · author #2
  11. Transient Typechecks are (Almost) Free cs.PL · 2018 · author #4
  12. The Essence of Inheritance cs.PL · 2016 · author #3

Mentions

  • 2402.00247 #4 · arxiv_oai · confidence 0.70 James Noble
  • 2309.02983 #5 · arxiv_oai · confidence 0.70 James Noble
  • 2209.08205 #3 · arxiv_oai · confidence 0.70 James Noble
  • 2205.00795 #1 · arxiv_oai · confidence 0.70 James Noble
  • 2205.00787 #1 · arxiv_oai · confidence 0.70 James Noble
  • 2109.07541 #3 · arxiv_oai · confidence 0.70 James Noble
  • 2002.08334 #2 · arxiv_oai · confidence 0.70 James Noble
  • 1909.01465 #3 · arxiv_oai · confidence 0.70 James Noble
  • 1909.05581 #5 · arxiv_oai · confidence 0.70 James Noble
  • 1907.04934 #2 · arxiv_oai · confidence 0.70 James Noble
  • 1807.00661 #4 · arxiv_oai · confidence 0.70 James Noble
  • 1601.02059 #3 · arxiv_oai · confidence 0.70 James Noble

Frequent Coauthors