Multi-modal Program Inference: a Marriage of Pre-trainedLanguage Models and Component-based Synthesis

no code implementations • 3 Sep 2021 • Kia Rahmani, Mohammad Raza, Sumit Gulwani, Vu Le, Daniel Morris, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari

Examples provide a precise but incomplete specification, and natural language provides an ambiguous but more "complete" task description.

Program Synthesis

Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring

no code implementations • 9 Mar 2021 • Kia Rahmani, Kartik Nagar, Benjamin Delaware, Suresh Jagannathan

Serializability is a well-understood concurrency control mechanism that eases reasoning about highly-concurrent database programs.

Programming Languages