Jason Dagit

Affiliations:

Galois Inc., USA

According to our database¹, Jason Dagit authored at least 4 papers between 2006 and 2019.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2019

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

[BibT_eX]

[DOI]

David W. Archer

José Manuel Calderón Trilla

IACR Cryptol. ePrint Arch., 2019

2015

Static Analysis Techniques for Semiautomatic Synthesis of Message Passing Software Skeletons.

[BibT_eX]

[DOI]

ACM Trans. Model. Comput. Simul., 2015

2013

Identifying Change Patterns in Software History.

[BibT_eX]

[DOI]

Jason Dagit

Matthew J. Sottile

Proceedings of the International workshop on Document Changes: Modeling, 2013

2006

Using cognitive dimensions: Advice from the trenches.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2006

Jason Dagit

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...