Avraham Shinnar

Orcid: 0000-0001-6259-0016

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

Searching for Fairer Machine Learning Ensembles.
Proceedings of the International Conference on Automated Machine Learning, 2023

2022
Translating canonical SQL to imperative code in Coq.
Proc. ACM Program. Lang., 2022

Extracting enhanced artificial intelligence model metadata from software repositories.
Empir. Softw. Eng., 2022

Navigating Ensemble Configurations for Algorithmic Fairness.
CoRR, 2022

An Empirical Study of Modular Bias Mitigators and Ensembles.
CoRR, 2022

Gradual AutoML using Lale.
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.
Proceedings of the 13th International Conference on Interactive Theorem Proving, 2022

General Probability in Coq.
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.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Pipeline Combinators for Gradual AutoML.
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.
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.
Proceedings of the CPP '21: 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2021

2020
Lale: Consistent Automated Machine Learning.
CoRR, 2020

AIMMX: Artificial Intelligence Model Metadata Extractor.
Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

2019
Failure Recovery in Resilient X10.
ACM Trans. Program. Lang. Syst., 2019

Type Safety with JSON Subschema.
CoRR, 2019

Type-Driven Automated Learning with Lale.
CoRR, 2019

Machine learning in Python with no strings attached.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

2018
Yaps: Python Frontend to Stan.
CoRR, 2018

Extending Stan for Deep Probabilistic Programming.
CoRR, 2018

Ariadne: Analysis for Machine Learning Program.
CoRR, 2018

Ariadne: analysis for machine learning programs.
Proceedings of the 2nd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2018

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

Protecting chatbots from toxic content.
Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, 2018

2017
Prototyping a query compiler using Coq (experience report).
Proc. ACM Program. Lang., 2017

I Can Parse You: Grammars for Dialogs.
Proceedings of the 2nd Summit on Advances in Programming Languages, 2017

Q*cert: A Platform for Implementing and Verifying Query Compilers.
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.
Proceedings of the 2017 ACM International Conference on Management of Data, 2017

Generating chat bots from web API specifications.
Proceedings of the 2017 ACM SIGPLAN International Symposium on New Ideas, 2017

2016
X10 and APGAS at Petascale.
ACM Trans. Parallel Comput., 2016

META: Middleware for Events, Transactions, and Analytics.
IBM J. Res. Dev., 2016

A Branding Strategy for Business Types.
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).
Dagstuhl Artifacts Ser., 2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.
Proceedings of the 29th European Conference on Object-Oriented Programming, 2015

2014
X10 and APGAS at Petascale.
Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2014

Semantics of (Resilient) X10.
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.
Proc. VLDB Endow., 2012

2010
Toward a verified relational database management system.
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.
Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Effective interactive proofs for higher-order imperative programs.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

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

Ynot: dependent types for imperative programs.
Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006
Optimizing memory transactions.
Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006


  Loading...