Avraham Shinnar

According to our database, Avraham Shinnar authored at least 45 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Towards a Formally Verified Security Monitor for VM-based Confidential Computing.

Wojciech Ozga, Guerney D. H. Hunt, Michael V. Le, Elaine R. Palmer, Avraham Shinnar

CoRR, 2023

Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code.

Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager

CoRR, 2023

Searching for Fairer Machine Learning Ensembles.

Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar

Proceedings of the International Conference on Automated Machine Learning, 2023

2022

Translating canonical SQL to imperative code in Coq.

Véronique Benzaken, Evelyne Contejean, Mohammed Houssem Hachmaoui, Chantal Keller, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2022

Extracting enhanced artificial intelligence model metadata from software repositories.

Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert

Empir. Softw. Eng., 2022

Navigating Ensemble Configurations for Algorithmic Fairness.

Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar

CoRR, 2022

An Empirical Study of Modular Bias Mitigators and Ensembles.

Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar

CoRR, 2022

Gradual AutoML using Lale.

Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay

Proceedings of the KDD '22: The 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Washington, DC, USA, August 14, 2022

Formalization of a Stochastic Approximation Theorem.

Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun

Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

General Probability in Coq.

Avraham Shinnar, Barry M. Trager

Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

2021

Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming.

Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Pipeline Combinators for Gradual AutoML.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Finding data compatibility bugs with JSON subschema checking.

Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

CertRL: formalizing convergence proofs for value and policy iteration in Coq.

Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton

Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020

Lale: Consistent Automated Machine Learning.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar

CoRR, 2020

AIMMX: Artificial Intelligence Model Metadata Extractor.

Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

2019

Failure Recovery in Resilient X10.

David Grove, Sara S. Hamouda, Benjamin Herta, Arun Iyengar, Kiyokuni Kawachiya, Josh Milthorpe, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Olivier Tardieu

ACM Trans. Program. Lang. Syst., 2019

Type Safety with JSON Subschema.

Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel

CoRR, 2019

Type-Driven Automated Learning with Lale.

Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram

CoRR, 2019

Machine learning in Python with no strings attached.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

2018

Yaps: Python Frontend to Stan.

Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar

CoRR, 2018

Extending Stan for Deep Probabilistic Programming.

Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar

CoRR, 2018

Ariadne: Analysis for Machine Learning Program.

Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen

CoRR, 2018

Ariadne: analysis for machine learning programs.

Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen

Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

Reactive chatbot programming.

Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems, 2018

Protecting chatbots from toxic content.

Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar

Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017

Prototyping a query compiler using Coq (experience report).

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proc. ACM Program. Lang., 2017

I Can Parse You: Grammars for Dialogs.

Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri

Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers.

Joshua S. Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

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, Jérôme Siméon

Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Generating chat bots from web API specifications.

Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016

X10 and APGAS at Petascale.

Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang

ACM Trans. Parallel Comput., 2016

META: Middleware for Events, Transactions, and Analytics.

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

IBM J. Res. Dev., 2016

A Branding Strategy for Business Types.

Avraham Shinnar, Jérôme Siméon

Proceedings of the A List of Successes That Can Change the World, 2016

2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact).

Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Dagstuhl Artifacts Ser., 2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.

Avraham Shinnar, Jérôme Siméon, Martin Hirzel

Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014

X10 and APGAS at Petascale.

Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay A. Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Semantics of (Resilient) X10.

Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

2012

M3R: Increased performance for in-memory Hadoop jobs.

Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat

Proc. VLDB Endow., 2012

2010

Toward a verified relational database management system.

J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

A language for information flow: dynamic tracking in multiple interdependent dimensions.

Avraham Shinnar, Marco Pistoia, Anindya Banerjee

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Effective interactive proofs for higher-order imperative programs.

Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008

Securing Provenance.

Uri Braun, Avraham Shinnar, Margo I. Seltzer

Proceedings of the 3rd USENIX Workshop on Hot Topics in Security, 2008

Ynot: dependent types for imperative programs.

Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006

Optimizing memory transactions.

Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006