Jason Dagit

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 2

Top Topics

Message Passing

Static Analysis

Top Venues

IACR Cryptol. ePrint Arch.

ACM Trans. Model. Comput. Simul.

Publications

David W. Archer, José Manuel Calderón Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt Rohloff, Gerard W. Ryan
RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications. WAHC@CCS (2019)
David W. Archer, José Manuel Calderón Trilla, Jason Dagit, Alex J. Malozemoff, Yuriy Polyakov, Kurt Rohloff, Gerard W. Ryan
RAMPARTS: A Programmer-Friendly System for Building Homomorphic Encryption Applications. IACR Cryptol. ePrint Arch. 2019 (2019)
Matthew J. Sottile, Jason Dagit, Deli Zhang, Gilbert Hendry, Damian Dechev
Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons. ACM Trans. Model. Comput. Simul. 26 (1) (2015)
Jason Dagit, Matthew J. Sottile
Identifying change patterns in software history. CoRR (2013)
Jason Dagit, Matthew J. Sottile
Identifying Change Patterns in Software History. DChanges (2013)
Jason Dagit, Joseph Lawrance, Christoph Neumann, Margaret M. Burnett, Ronald A. Metoyer, Sam Adams
Using cognitive dimensions: Advice from the trenches. J. Vis. Lang. Comput. 17 (4) (2006)