Avraham Shinnar

59 papers A* 6A 6B 3Journal 29Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Resolving Java Code Repository Issues with iSWE Agent.
CoRR
Jatin Ganhotra, Sami Serhan, Antonio Abu Nassar, Avraham Shinnar, Ziv Nevo, Martin Hirzel
2025 J jnl
ACE: Confidential Computing for Embedded RISC-V Systems.
CoRR
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Lennard Gäher, Avraham Shinnar, Elaine R. Palmer, Hani Jamjoom, Silvio Dragone
2025 J jnl
Execution-Feedback Driven Test Generation from SWE Issues.
CoRR
Toufique Ahmed, Jatin Ganhotra, Avraham Shinnar, Martin Hirzel
2025 — conf
Generating OpenAPI Specifications from Online API Documentation with Large Language Models.
ACL (6)
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 J jnl
Is the Cure Still Worse Than the Disease? Test Overfitting by LLMs in Automated Program Repair.
CoRR
Toufique Ahmed, Jatin Ganhotra, Avraham Shinnar, Martin Hirzel
2025 J jnl
OASBuilder: Generating OpenAPI Specifications from Online API Documentation with Large Language Models.
CoRR
Koren Lazar, Matan Vetzler, Kiran Kate, Jason Tsay, David Boaz, Himanshu Gupta, Avraham Shinnar, Rohith D. Vallam, David Amid, Esther Goldbraich, Guy Uziel, Jim Laredo, Ateret Anaby-Tavor
2025 A* conf
Otter: Generating Tests from Issues to Validate SWE Patches.
ICML
Toufique Ahmed, Jatin Ganhotra, Rangeet Pan, Avraham Shinnar, Saurabh Sinha, Martin Hirzel
2025 J jnl
Otter: Generating Tests from Issues to Validate SWE Patches.
CoRR
Toufique Ahmed, Jatin Ganhotra, Rangeet Pan, Avraham Shinnar, Saurabh Sinha, Martin Hirzel
2024 J jnl
TDD-Bench Verified: Can LLMs Generate Tests for Issues Before They Get Resolved?
CoRR
Toufique Ahmed, Martin Hirzel, Rangeet Pan, Avraham Shinnar, Saurabh Sinha
2024 — conf
Training and Cross-Validating Machine Learning Pipelines with Limited Memory.
AutoML
Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2023 — conf
Searching for Fairer Machine Learning Ensembles.
AutoML
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
2023 J jnl
Towards a Formally Verified Security Monitor for VM-based Confidential Computing.
CoRR
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar
2022 J jnl
An Empirical Study of Modular Bias Mitigators and Ensembles.
CoRR
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
2022 J jnl
Extracting enhanced artificial intelligence model metadata from software repositories.
Empir. Softw. Eng.
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
2022 B conf
Formalization of a Stochastic Approximation Theorem.
ITP
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
2022 J jnl
Formalization of a Stochastic Approximation Theorem.
CoRR
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
2022 — conf
General Probability in Coq.
DSN Workshops
Avraham Shinnar, Barry M. Trager
2022 A* conf
Gradual AutoML using Lale.
KDD
Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
2022 J jnl
Navigating Ensemble Configurations for Algorithmic Fairness.
CoRR
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
2022 J jnl
Translating Canonical SQL to Imperative Code in Coq.
CoRR
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2022 J jnl
Translating canonical SQL to imperative code in Coq.
Proc. ACM Program. Lang.
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2021 B conf
CertRL: formalizing convergence proofs for value and policy iteration in Coq.
CPP
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
2021 A* conf
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.
PLDI
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
2021 A conf
Finding data compatibility bugs with JSON subschema checking.
ISSTA
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
2021 A* conf
Pipeline Combinators for Gradual AutoML.
NeurIPS
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
2020 A conf
AIMMX: Artificial Intelligence Model Metadata Extractor.
MSR
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
2020 J jnl
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq.
CoRR
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
2020 J jnl
Lale: Consistent Automated Machine Learning.
CoRR
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar
2019 J jnl
Failure Recovery in Resilient X10.
ACM Trans. Program. Lang. Syst.
David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu
2019 — conf
Machine learning in Python with no strings attached.
MAPL@PLDI
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2019 J jnl
Type Safety with JSON Subschema.
CoRR
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
2019 J jnl
Type-Driven Automated Learning with Lale.
CoRR
Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram
2018 J jnl
Ariadne: Analysis for Machine Learning Program.
CoRR
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
2018 — conf
Ariadne: analysis for machine learning programs.
MAPL@PLDI
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
2018 J jnl
Extending Stan for Deep Probabilistic Programming.
CoRR
Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar
2018 — conf
Protecting chatbots from toxic content.
Onward!
Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar
2018 — conf
Reactive chatbot programming.
REBLS@SPLASH
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2018 J jnl
Yaps: Python Frontend to Stan.
CoRR
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
2017 — conf
Generating chat bots from web API specifications.
Onward!
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
2017 — conf
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler.
SIGMOD Conference
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2017 — conf
I Can Parse You: Grammars for Dialogs.
SNAPL
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
2017 J jnl
Prototyping a query compiler using Coq (experience report).
Proc. ACM Program. Lang.
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2017 — conf
Q*cert: A Platform for Implementing and Verifying Query Compilers.
SIGMOD Conference
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
2016 — conf
A Branding Strategy for Business Types.
A List of Successes That Can Change the World
Avraham Shinnar, Jérôme Siméon
2016 J jnl
META: Middleware for Events, Transactions, and Analytics.
IBM J. Res. Dev.
Matthew Arnold, David Grove, Benjamin Herta, Michael Hind, Martin Hirzel, Arun Iyengar, Louis Mandel, Vijay A. Saraswat, Avraham Shinnar, Jérôme Siméon, Mikio Takeuchi, Olivier Tardieu, Wei Zhang
2016 J jnl
X10 and APGAS at Petascale.
ACM Trans. Parallel Comput.
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
2015 J jnl
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).
Dagstuhl Artifacts Ser.
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
2015 A conf
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.
ECOOP
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
2014 A conf
Semantics of (Resilient) X10.
ECOOP
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
2014 B conf
X10 and APGAS at Petascale.
PPoPP
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
2013 J jnl
Semantics of (Resilient) X10.
CoRR
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
2012 J jnl
M3R: Increased performance for in-memory Hadoop jobs
CoRR
Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat
2012 J jnl
M3R: Increased performance for in-memory Hadoop jobs.
Proc. VLDB Endow.
Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat
2010 A* conf
Toward a verified relational database management system.
POPL
J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
2009 — conf
A language for information flow: dynamic tracking in multiple interdependent dimensions.
PLAS
Avraham Shinnar, Marco Pistoia, Anindya Banerjee
2009 A conf
Effective interactive proofs for higher-order imperative programs.
ICFP
Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
2008 — conf
Securing Provenance.
HotSec
Uri Braun, Avraham Shinnar, Margo I. Seltzer
2008 A conf
Ynot: dependent types for imperative programs.
ICFP
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal
2006 A* conf
Optimizing memory transactions.
PLDI
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi