Avraham E (Avi) Shinnar 
contact information
Research Staff MemberThomas J. Watson Research Center, Yorktown Heights, NY USA +1
9149453476
9149453476 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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Optimizing memory transactions
Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi
SIGPLAN Not.41, 14--25, ACM, 2006
Abstract
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
A Shinnar, D Tarditi, M Plesko, B Steensgaard
Technical Report, 2004