default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAvraham Shinnar
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c27]Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Searching for Fairer Machine Learning Ensembles. AutoML 2023: 17/1-19- [i15]Brando Miranda, Avi Shinnar, Vasily Pestun, Barry M. Trager:
Transformer Models for Type Inference in the Simply Typed Lambda Calculus: A Case Study in Deep Learning for Code. CoRR abs/2304.10500 (2023) - [i14]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 abs/2308.10249 (2023) - 2022
- [j8]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): 176 (2022) - [j7]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(OOPSLA1): 1-27 (2022) - [c26]Avraham Shinnar, Barry M. Trager:
General Probability in Coq. DSN Workshops 2022: 70-71 - [c25]Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun:
Formalization of a Stochastic Approximation Theorem. ITP 2022: 31:1-31:18 - [c24]Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay:
Gradual AutoML using Lale. KDD 2022: 4794-4795 - [i13]Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar:
An Empirical Study of Modular Bias Mitigators and Ensembles. CoRR abs/2202.00751 (2022) - [i12]Koundinya Vajjha, Barry M. Trager, Avraham Shinnar, Vasily Pestun:
Formalization of a Stochastic Approximation Theorem. CoRR abs/2202.05959 (2022) - [i11]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 abs/2203.08941 (2022) - [i10]Michael Feffer, Martin Hirzel, Samuel C. Hoffman, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Navigating Ensemble Configurations for Algorithmic Fairness. CoRR abs/2210.05594 (2022) - 2021
- [c23]Koundinya Vajjha, Avraham Shinnar, Barry M. Trager, Vasily Pestun, Nathan Fulton:
CertRL: formalizing convergence proofs for value and policy iteration in Coq. CPP 2021: 18-31 - [c22]Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel:
Finding data compatibility bugs with JSON subschema checking. ISSTA 2021: 620-632 - [c21]Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar, Jason Tsay:
Pipeline Combinators for Gradual AutoML. NeurIPS 2021: 19705-19718 - [c20]Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, Avraham Shinnar:
Compiling Stan to generative probabilistic languages and extension to deep probabilistic programming. PLDI 2021: 497-510 - 2020
- [c19]Jason Tsay, Alan Braz, Martin Hirzel, Avraham Shinnar, Todd W. Mummert:
AIMMX: Artificial Intelligence Model Metadata Extractor. MSR 2020: 81-92 - [i9]Guillaume Baudart, Martin Hirzel, Kiran Kate, Parikshit Ram, Avraham Shinnar:
Lale: Consistent Automated Machine Learning. CoRR abs/2007.01977 (2020) - [i8]Koundinya Vajjha, Avraham Shinnar, Vasily Pestun, Barry M. Trager, Nathan Fulton:
CertRL: Formalizing Convergence Proofs for Value and Policy Iteration in Coq. CoRR abs/2009.11403 (2020)
2010 – 2019
- 2019
- [j6]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): 15:1-15:30 (2019) - [c18]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Machine learning in Python with no strings attached. MAPL@PLDI 2019: 1-9 - [i7]Martin Hirzel, Kiran Kate, Avraham Shinnar, Subhrajit Roy, Parikshit Ram:
Type-Driven Automated Learning with Lale. CoRR abs/1906.03957 (2019) - [i6]Andrew Habib, Avraham Shinnar, Martin Hirzel, Michael Pradel:
Type Safety with JSON Subschema. CoRR abs/1911.12651 (2019) - 2018
- [c17]Guillaume Baudart, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon:
Reactive chatbot programming. REBLS@SPLASH 2018: 21-30 - [c16]Guillaume Baudart, Julian Dolby, Evelyn Duesterwald, Martin Hirzel, Avraham Shinnar:
Protecting chatbots from toxic content. Onward! 2018: 99-110 - [c15]Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen:
Ariadne: analysis for machine learning programs. MAPL@PLDI 2018: 1-10 - [i5]Julian Dolby, Avraham Shinnar, Allison Allain, Jenna M. Reinen:
Ariadne: Analysis for Machine Learning Program. CoRR abs/1805.04058 (2018) - [i4]Javier Burroni, Guillaume Baudart, Louis Mandel, Martin Hirzel, Avraham Shinnar:
Extending Stan for Deep Probabilistic Programming. CoRR abs/1810.00873 (2018) - [i3]Guillaume Baudart, Martin Hirzel, Kiran Kate, Louis Mandel, Avraham Shinnar:
Yaps: Python Frontend to Stan. CoRR abs/1812.04125 (2018) - 2017
- [j5]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): 9:1-9:15 (2017) - [c14]Mandana Vaziri, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
Generating chat bots from web API specifications. Onward! 2017: 44-57 - [c13]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: 1555-1569 - [c12]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: 1703-1706 - [c11]Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon, Mandana Vaziri:
I Can Parse You: Grammars for Dialogs. SNAPL 2017: 6:1-6:15 - 2016
- [j4]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) - [j3]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): 25:1-25:32 (2016) - [c10]Avraham Shinnar, Jérôme Siméon:
A Branding Strategy for Business Types. A List of Successes That Can Change the World 2016: 367-387 - 2015
- [j2]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): 08:1-08:2 (2015) - [c9]Avraham Shinnar, Jérôme Siméon, Martin Hirzel:
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization. ECOOP 2015: 542-567 - 2014
- [c8]Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. ECOOP 2014: 670-696 - [c7]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: 53-66 - 2013
- [i2]Silvia Crafa, David Cunningham, Vijay A. Saraswat, Avraham Shinnar, Olivier Tardieu:
Semantics of (Resilient) X10. CoRR abs/1312.3739 (2013) - 2012
- [j1]Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat:
M3R: Increased performance for in-memory Hadoop jobs. Proc. VLDB Endow. 5(12): 1736-1747 (2012) - [i1]Avraham Shinnar, David Cunningham, Benjamin Herta, Vijay A. Saraswat:
M3R: Increased performance for in-memory Hadoop jobs. CoRR abs/1208.4168 (2012) - 2010
- [c6]J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky:
Toward a verified relational database management system. POPL 2010: 237-248
2000 – 2009
- 2009
- [c5]Adam Chlipala, J. Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky:
Effective interactive proofs for higher-order imperative programs. ICFP 2009: 79-90 - [c4]Avraham Shinnar, Marco Pistoia, Anindya Banerjee:
A language for information flow: dynamic tracking in multiple interdependent dimensions. PLAS 2009: 125-131 - 2008
- [c3]Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal:
Ynot: dependent types for imperative programs. ICFP 2008: 229-240 - [c2]Uri Braun, Avraham Shinnar, Margo I. Seltzer:
Securing Provenance. HotSec 2008 - 2006
- [c1]Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi:
Optimizing memory transactions. PLDI 2006: 14-25
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
