Avraham Shinnar

Publication Activity (10 Years)

Years Active: 2006-2023
Publications (10 Years): 36

Top Topics

Nested Relational

Universal Quantification

Top Venues

SIGMOD Conference

Publications

Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
Searching for Fairer Machine Learning Ensembles. AutoML (2023)
Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar
Towards a Formally Verified Security Monitor for VM-based Confidential Computing. CoRR (2023)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. ITP (2022)
Avraham Shinnar, Barry M. Trager
General Probability in Coq. DSN Workshops (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating canonical SQL to imperative code in Coq. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
An Empirical Study of Modular Bias Mitigators and Ensembles. CoRR (2022)
Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar
Navigating Ensemble Configurations for Algorithmic Fairness. CoRR (2022)
Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
Gradual AutoML using Lale. KDD (2022)
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
Extracting enhanced artificial intelligence model metadata from software repositories. Empir. Softw. Eng. 27 (7) (2022)
Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Translating Canonical SQL to Imperative Code in Coq. CoRR (2022)
Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun
Formalization of a Stochastic Approximation Theorem. CoRR (2022)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay
Pipeline Combinators for Gradual AutoML. NeurIPS (2021)
Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton
CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP (2021)
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Finding data compatibility bugs with JSON subschema checking. ISSTA (2021)
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI (2021)
Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert
AIMMX: Artificial Intelligence Model Metadata Extractor. MSR (2020)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar
Lale: Consistent Automated Machine Learning. CoRR (2020)
Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR (2020)
Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram
Type-Driven Automated Learning with Lale. CoRR (2019)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Machine learning in Python with no strings attached. MAPL@PLDI (2019)
Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel
Type Safety with JSON Subschema. CoRR (2019)
David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu
Failure Recovery in Resilient X10. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
Ariadne: analysis for machine learning programs. MAPL@PLDI (2018)
Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar
Protecting chatbots from toxic content. Onward! (2018)
Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Reactive chatbot programming. REBLS@SPLASH (2018)
Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen
Ariadne: Analysis for Machine Learning Program. CoRR (2018)
Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar
Extending Stan for Deep Probabilistic Programming. CoRR (2018)
Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar
Yaps: Python Frontend to Stan. CoRR (2018)
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri
I Can Parse You: Grammars for Dialogs. SNAPL (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Q*cert: A Platform for Implementing and Verifying Query Compilers. SIGMOD Conference (2017)
Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Prototyping a query compiler using Coq (experience report). Proc. ACM Program. Lang. 1 (ICFP) (2017)
Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel
Generating chat bots from web API specifications. Onward! (2017)
Avraham Shinnar, Jérôme Siméon
A Branding Strategy for Business Types. A List of Successes That Can Change the World (2016)
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
X10 and APGAS at Petascale. ACM Trans. Parallel Comput. 2 (4) (2016)
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
META: Middleware for Events, Transactions, and Analytics. IBM J. Res. Dev. 60 (2-3) (2016)
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact). Dagstuhl Artifacts Ser. 1 (1) (2015)
Avraham Shinnar, Jérôme Siméon, Martin Hirzel
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP (2015)
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
Semantics of (Resilient) X10. ECOOP (2014)
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
X10 and APGAS at Petascale. PPOPP (2014)
Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu
Semantics of (Resilient) X10. CoRR (2013)
Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat
M3R: Increased performance for in-memory Hadoop jobs. Proc. VLDB Endow. 5 (12) (2012)
Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat
M3R: Increased performance for in-memory Hadoop jobs CoRR (2012)
J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Toward a verified relational database management system. POPL (2010)
Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
Effective interactive proofs for higher-order imperative programs. ICFP (2009)
Avraham Shinnar, Marco Pistoia, Anindya Banerjee
A language for information flow: dynamic tracking in multiple interdependent dimensions. PLAS (2009)
Uri Braun, Avraham Shinnar, Margo I. Seltzer
Securing Provenance. HotSec (2008)
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal
Ynot: dependent types for imperative programs. ICFP (2008)
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
Optimizing memory transactions. PLDI (2006)