Avraham E (Avi) Shinnar  Avraham E (Avi) Shinnar photo       

contact information

Research Staff Member
Thomas J. Watson Research Center, Yorktown Heights, NY USA
  +1dash914dash945dash3476

links



2017

I Can Parse You: Grammars for Dialogs
Martin Hirzel, Louis Mandel, Avraham Shinnar, Jerome Simeon, Mandana Vaziri
2nd Summit on Advances in Programming Languages (SNAPL 2017), pp. 6:1--6:15, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

Q*cert: A Platform for Implementing and Verifying Query Compilers
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, and Jerome Simeon
Demonstration at the International Conference on Management of Data (SIGMOD-Demo), 2017

Prototyper un compilateur de requêtes avec Coq
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA'17), 2017

Handling Environments in a Nested Relational Algebra with Combinators and an Implementation in a Verified Query Compiler
Joshua Auerbach, Martin Hirzel, Louis Mandel, Avraham Shinnar, Jérôme Siméon
Proceedings of the International Conference on Management of Data (SIGMOD'17), 2017


2016

META: Middleware for events, transactions, and analytics
Arnold, M and Grove, D and Herta, B and Hind, M and Hirzel, M and Iyengar, A and Mandel, Louis and Saraswat, VA and Shinnar, A and Simeon, J and others
IBM Journal of Research and Development 60(2-3), 15--1, IBM, 2016
Abstract

A Branding Strategy for Business Types
Shinnar, Avraham and Sim{'e}on, J{'e}r{^o}me
A List of Successes That Can Change the World, pp. 367--387, Springer, 2016
Abstract

X10 and APGAS at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri, Wei Zhang
j-TOPC 2(4), 25:1--25:32, 2016
Abstract


2015

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)
Avraham Shinnar, J\'er\^ome Sim\'eon, Martin Hirzel
Dagstuhl Artifacts Series 1(1), 1--2, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2015
Abstract

A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization
Avraham Shinnar, J\'er\^ome Sim\'eon, Martin Hirzel
29th European Conference on Object-Oriented Programming (ECOOP 2015), pp. 542--567, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Abstract


2014

Semantics of (Resilient) X10
Silvia Crafa, David Cunningham, Vijay Saraswat, Avraham Shinnar, Olivier Tardieu
ECOOP 2014  Object-Oriented Programming, pp. 670-696, Springer Berlin Heidelberg
Abstract


2013

X10 at Petascale
Olivier Tardieu, Benjamin Herta, David Cunningham, David Grove, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
Technical Posters of SC13: International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 267--276, 2013


2012

Constrained Types-Future Directions
Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, Olivier Tardieu, others
CP-18th International Conference on Principles and Practice of Constraint Programming-2012

X10 for productivity and performance at scale
Olivier Tardieu, David Grove, Bard Bloom, David Cunningham, Benjamin Herta, Prabhanjan Kambadur, Vijay Saraswat, Avraham Shinnar, Mikio Takeuchi, Mandana Vaziri
A Submission to the 2012 HPC Class II Challenge
received the best performance award

M3R: increased performance for in-memory Hadoop jobs
Avraham Shinnar, David Cunningham, Vijay Saraswat, Benjamin Herta
Proceedings of the VLDB Endowment 5(12), 1736--1747, VLDB Endowment, 2012
Abstract


2011



2010

Toward a verified relational database management system
Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
POPL '10: Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 237--248, ACM, 2010
Abstract


2009

A Language for Information Flow: Dynamic Tracking in Multiple Interdependent Dimensions
Avraham Shinnar Marco Pistoia, Anindya Banerjee
PLAS '09: Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, pp. 125--131, ACM, 2009

Effective interactive proofs for higher-order imperative programs
Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky
ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, pp. 79--90, ACM, 2009
Abstract


2008

Ynot: Reasoning with the awkward squad
A Nanevski, G Morrisett, A Shinnar, P Govereau, L Birkedal
ACM SIGPLAN International Conference on Functional Programming, 2008

Ynot: dependent types for imperative programs
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal
SIGPLAN Not.43, 229--240, ACM, 2008
Abstract

Securing provenance
Uri Braun, Avraham Shinnar, Margo Seltzer
Proceedings of the 3rd conference on Hot topics in security, pp. 4:1--4:5, USENIX Association, 2008
Abstract


2006

A security model for provenance
Uri Braun, Avi Shinnar
Project thesis, Harvard University, 2006

Optimizing memory transactions
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
SIGPLAN Not.41, 14--25, ACM, 2006
Abstract


2004

Integrating support for undo with exception handling
A Shinnar, D Tarditi, M Plesko, B Steensgaard
Technical Report, 2004