Butler Lampson

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

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

+1 more ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Sprint 🌉 Interdisciplinary Bridge · Bronze 🐣 Hot Topic Early Bird 🧭 Keyword Pioneer

🚀 Conference Pioneer

Venues

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)

Research topics

Computer Science (1) Knowledge & Reasoning (1) Machine Learning (1) Application Areas (1) Applications (1) Core Methods (1) Reasoning (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