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 an SM (March 2008) in Computer Science from Harvard University.

I have a BA (May 2005) in Computer Science and Mathematics from Columbia University.

Safe and Effective Contracts
Avraham Shinnar
Ph.D. Thesis

Towards a Verified Relational Database Management System
Gregory Malecha, Greg Morrisett, Avraham Shinnar, and Ryan Wisnesky.
In POPL '10: The 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

Effective Interactive Proofs for Higher-Order Imperative Programs
Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, and Ryan Wisnesky.
In ICFP '09: The 14th ACM SIGPLAN International Conference on Functional Programming.

A Language For Information Flow: Dynamic Tracking in Multiple Interdependent Dimensions
Avraham Shinnar, Marco Pistoia, and Anindya Banerjee.
In PLAS '09: ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security

Ynot: dependent types for imperative programs
Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, and Lars Birkedal.
In ICFP '08: The 13th ACM SIGPLAN International Conference on Functional Programming.

Securing Provenance
Uri Braun, Avi Shinnar, and Margo Seltzer.
In 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 152: Principles of Programming Languages, Teaching Fellow, Spring 2009.

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.

• National Science Foundation Graduate Research Fellowship (Summer 2006 --- Spring 2009)
• Department Fellowship for first years (Spring 2005 --- Fall 2006)

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.