Martin Odersky
Identifiers
- name variant Martin Odersky 0.60 · backfill
Papers (5)
- LACUNA: Safe Agents as Recursive Program Holes cs.AI · 2026 · author #6
- First-Class Refinement Types for Scala cs.PL · 2026 · author #3
- Tracking Capabilities for Safer Agents cs.AI · 2026 · author #1
- Language-Integrated Recursive Queries (Full Version) cs.PL · 2025 · author #4
- Cache-Aware Lock-Free Concurrent Hash Tries cs.DS · 2017 · author #3
Mentions
- 2603.00991 #1 · arxiv_oai · confidence 0.70 Martin Odersky
- 2605.28617 #6 · arxiv_oai · confidence 0.70 Martin Odersky
Frequent Coauthors
- Cao Nguyen Pham 2 shared papers
- Oliver Bra\v{c}evac 2 shared papers
- Yaoyu Zhao 2 shared papers
- Yichen Xu 2 shared papers
- Aleksandar Prokopec 1 shared papers
- Amir Shaikhha 1 shared papers
- Anastasia Ailamaki 1 shared papers
- Anna Herlihy 1 shared papers
- Frank Zhengqing Wu 1 shared papers
- Matt Bovel 1 shared papers
- Phil Bagwell 1 shared papers
- Viktor Kun\v{c}ak 1 shared papers