Butler Lampson

2 papers · 2013–2018 · 2 conferences · across top CS/AI conferences

Achievements

🌉 Interdisciplinary Bridge 🌍 Conference Polyglot (2) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (12) 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🚀 Conference Pioneer

Conferences

ICML (1) OSDI (1)

Top co-authors

Tej Chajed (1) Adam Kalai (1) Omer Tamuz (1) Sumit Gulwani (1) Aditya Menon (1) Nickolai Zeldovich (1) Frans Kaashoek (1)

Keywords

program synthesis (1) formal verification (1) feature weighting (1) programming by example (1) program search (1) program induction (1) concurrent software (1) mover type (1) modular proof (1)

Papers

Verifying concurrent software using movers in CSPEC OSDI 2018

A Machine Learning Framework for Programming by Example ICML 2013