Avraham Shinnar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
24
Venues
15
Active years
2006–2025
Best venue rank
A*
Where they publish
Papers
24 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ACL | Generating OpenAPI Specifications from Online API Documentation with Large Language Models. | Koren Lazar, Matan Vetzler, Kiran Kate, Jason Tsay, David Boaz, Himanshu Gupta, Avraham Shinnar, Rohith D. Vallam, David Amid, Esther Goldbraich, Jim Laredo, Ateret Anaby-Tavor |
| 2025 | ICML | Otter: Generating Tests from Issues to Validate SWE Patches. | Toufique Ahmed, Jatin Ganhotra, Rangeet Pan, Avraham Shinnar, Saurabh Sinha, Martin Hirzel |
| 2022 | DSN | General Probability in Coq. | Avraham Shinnar, Barry M. Trager |
| 2022 | ITP | Formalization of a Stochastic Approximation Theorem. | Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun |
| 2022 | KDD | Gradual AutoML using Lale. | Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay |
| 2021 | CPP | CertRL: formalizing convergence proofs for value and policy iteration in Coq. | Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton |
| 2021 | ISSTA | Finding data compatibility bugs with JSON subschema checking. | Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel |
| 2021 | PLDI | Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. | Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar |
| 2020 | MSR | AIMMX: Artificial Intelligence Model Metadata Extractor. | Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert |
| 2019 | PLDI | Machine learning in Python with no strings attached. | Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar |
| 2018 | OOPSLA | Protecting chatbots from toxic content. | Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar |
| 2018 | OOPSLA | Reactive chatbot programming. | Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2018 | PLDI | Ariadne: analysis for machine learning programs. | Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen |
| 2017 | OOPSLA | Generating chat bots from web API specifications. | Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2017 | SIGMOD | Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. | Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2017 | SIGMOD | Q*cert: A Platform for Implementing and Verifying Query Compilers. | Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jrme Simon |
| 2015 | ECOOP | A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. | Avraham Shinnar, Jrme Simon, Martin Hirzel |
| 2014 | ECOOP | Semantics of (Resilient) X10. | Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu |
| 2014 | PPoPP | X10 and APGAS at Petascale. | Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri |
| 2010 | POPL | Toward a verified relational database management system. | J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2009 | ICFP | Effective interactive proofs for higher-order imperative programs. | Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky |
| 2009 | PLDI | A language for information flow: dynamic tracking in multiple interdependent dimensions. | Avraham Shinnar, Marco Pistoia, Anindya Banerjee |
| 2008 | ICFP | Ynot: dependent types for imperative programs. | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal |
| 2006 | PLDI | Optimizing memory transactions. | Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi |