Avi Shinnar (Avraham Shinnar)

I am currently a PhD candidate in Computer Science at Harvard University. My advisor is Greg Morrisett. I am a member of The Triforce Group, and involved with The Ynot Project.

I have a BA in Computer Science and Mathematics from Columbia University.

Ynot: Reasoning with the Awkward Squad
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, and Lars Birkedal.
Accepted by ICFP '08: The 13th ACM SIGPLAN International Conference on Functional Programming.

Securing Provenance
Uri Braun, Avi Shinnar, and Margo Seltzer.
Accepted by HotSec '08: The 3rd USENIX Workshop on Hot Topics in Security.

A Language For Information Flow
Avraham Shinnar, Marco Pistoia, and Anindya Banerjee.
IBM Research Technical Report RC24541, April 2008.

Optimizing memory transactions
Tim Harris, Mark Plesko, Avraham Shinnar, and David Tarditi.
In PLDI '06: Proceedings of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation.

A Security Model for Provenance
Uri Braun and Avi Shinnar.
Harvard University Computer Science Technical Report TR-04-06, January 2006.

Integrating support for undo with exception handling
Avraham Shinnar, David Tarditi, Mark Plesko, and Bjarne Steensgaard.
Microsoft Research Technical Report MSR-TR-2004-140. December, 2004.

CS 51: Abstraction and Design in Computer Programming, Teaching Fellow, Spring 2008.

CS 153: Principles of Programming Language Compilation, Teaching Fellow, Fall 2006.

Programming Languages and Translators, Teaching Assistant, Fall 2003.

Operating Systems 1, Teaching Assistant, Spring 2003.

IBM Research, Programming Languages & Software Engineering: Summer 2007 -- Spring 2008.

Microsoft Research, Advanced Compiler Technology: Summer 2004, Summer 2005. I also collaborated with the Singularity group.

Bell Laboratories, Secure Networking Research: Summer 2003.

Programming language support for integrating undo and exception handling
Avraham Shinnar, David Tarditi, and Bjarne Steensgaard.

Removal of unnecessary read-to-update upgrades in software transactional memory
Avraham Shinnar, Tim Harris, David Tarditi, and Mark Plesko.

Compiler support for optimizing decomposed software transactional memory operations
David Tarditi, Tim Harris, Mark Plesko, and Avraham Shinnar.

A method for information tracking in multiple interdependent dimensions
Avraham Shinnar, Marco Pistoia, and Anindya Banerjee.