Scholar

Martin Odersky

Google Scholar ID: LbRD9tEAAAAJ

EPFL

Programming Languages and Methods

Google Scholar↗

Citations & Impact

All-time

Citations

2,531

H-index

25

i10-index

74

Publications

20

Co-authors

1

list available

Publications

8 items

Classifying Capabilities (Extended Version)

2026

Cited

0

System Capybara: Tracking Capabilities for Separation and Freshness (Extended Version)

2026

Cited

0

LACUNA: Safe Agents as Recursive Program Holes

2026

Cited

0

First-Class Refinement Types for Scala

2026

Cited

0

Tracking Capabilities for Safer Agents

2026

Cited

0

Agentic Proof Automation: A Case Study

arXiv.org · 2026

Cited

1

What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures (Extended Version)

2025

Cited

0

Language-Integrated Recursive Queries

2025

Cited

0

Co-authors

1 total

martin vetterli

Professor of computer and communication science, Ecole Polytechnique Federale Lausanne