Program sketching by Solar Lezama, Armando

Get full text
Get full text

Smooth interpretation by Chaudhuri, Swarat, Solar Lezama, Armando

Get full text

Leveraging Sequential Computation for Programming Efficient and Reliable Distributed Systems by Kuraj, Ivan, Solar-Lezama, Armando

Get full text

Aspect-Oriented Language for Reactive Distributed Applications at the Edge by Kuraj, Ivan, Solar-Lezama, Armando

Get full text

Pure: Evolving Message Passing To Better Leverage Shared Memory Within Nodes by Psota, James, Solar-Lezama, Armando

Get full text

Synthesizing data-structure manipulations from storyboards by Singh, Rishabh, Solar-Lezama, Armando

Get full text
Get full text

Smoothing a program soundly and robustly by Chaudhuri, Swarat, Solar-Lezama, Armando

Get full text
Get full text

SPT: Storyboard Programming Tool by Singh, Rishabh, Solar-Lezama, Armando

Get full text
Get full text

Euler: A System for Numerical Optimization of Programs by Chaudhuri, Swarat, Solar-Lezama, Armando

Get full text
Get full text

Program synthesis from polymorphic refinement types by Polikarpova, Nadezhda, Kuraj, Ivan, Solar Lezama, Armando

Get full text
Get full text
Get full text
Get full text

Bridging the Gap Between General-Purpose and Domain-Specific Compilers with Synthesis by Cheung, Alvin, Kamil, Shoaib, Solar Lezama, Armando

Get full text
Get full text

One tool, many languages: language-parametric transformation with incremental parametric syntax by Koppel, James, Premtoon, Varot, Solar Lezama, Armando

Get full text

Probabilistic verification of fairness properties via concentration by Bastani, Osbert, Zhang, Xin, Solar-Lezama, Armando

Get full text

Semantic code search via equational reasoning by Premtoon, Varot, Koppel, James, Solar-Lezama, Armando

Get full text

Interpreting neural network judgments via minimal, stable, and symbolic corrections by Solar Lezama, Armando, Singh, Rishabh, Zhang, Xin

Get full text

Delta-Decision Procedures for Exists-Forall Problems over the Reals by Kong, Soonho, Solar-Lezama, Armando, Gao, Sicun

Get full text

Verifiable reinforcement learning via policy extraction by Solar Lezama, Armando, Pu, Yewen, Bastani, Osbert

Get full text

Optimizing Consistency for Partially Replicated Data Stores by Kuraj, Ivan, Solar-Lezama, Armando, Polikarpova, Nadia

Get full text

Automatically Deriving Control-Flow Graph Generators from Operational Semantics by Koppel, James, Kearl, Jackson, Solar-Lezama, Armando

Get full text

Using Program Synthesis for Social Recommendations by Cheung, Alvin, Solar-Lezama, Armando, Madden, Samuel

Get full text