Jason Dagit

RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications

Alex J. Malozemoff, David W. Archer, Kurt Rohloff, 2019, IACR Cryptol. ePrint Arch..

Type-correct changes — a safe approach to version control implementation

Jason Dagit, Jason Dagit, 2009 .

Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons

Matthew J. Sottile, Gilbert Hendry, Deli Zhang, 2015, TOMC.

Using cognitive dimensions: Advice from the trenches

Margaret M. Burnett, Christoph Neumann, Joseph Lawrance, 2006, J. Vis. Lang. Comput..

Identifying Change Patterns in Software History pdf

Matthew J. Sottile, Jason Dagit, 2013, DChanges.