Jonathan E. Aldrich, Ph.D. - Publications

Affiliations: 
2003 University of Washington, Seattle, Seattle, WA 
Area:
Computer Science

10 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2016 Omar C, Aldrich J. Programmable semantic fragments: the design and implementation of typy Sigplan Notices. 52: 81-92. DOI: 10.1145/2993236.2993245  0.383
2014 Fulton N, Omar C, Aldrich J. Statically typed string sanitation inside a python Psp 2014 - Proceedings of the 2014 Acm Sigplan International Workshop On Privacy and Security in Programming, Part of Splash 2014. 3-10. DOI: 10.1145/2687148.2687152  0.384
2014 Garcia R, Tanter É, Wolff R, Aldrich J. Foundations of typestate-oriented programming Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2629609  0.391
2014 Stork S, Naden K, Sunshine J, Mohr M, Fonseca A, Marques P, Aldrich J. Æminium: A permission-based concurrent-by-default programming language approach Acm Transactions On Programming Languages and Systems. 36. DOI: 10.1145/2543920  0.403
2014 Aldrich J, Lima RMF. Brazilian symposium on programming languages (SBLP 2010) Science of Computer Programming. 80: 51. DOI: 10.1016/J.Scico.2013.03.013  0.326
2014 Cataño N, Ahmed I, Siminiceanu RI, Aldrich J. A case study on the lightweight verification of a multi-threaded task server Science of Computer Programming. 80: 169-187. DOI: 10.1016/J.Scico.2013.01.004  0.422
2007 Abi-Antoun M, Aldrich J, Coelho W. A case study in re-engineering to enforce architectural control flow and data sharing Journal of Systems and Software. 80: 240-264. DOI: 10.1016/J.Jss.2006.10.036  0.395
2006 Schmerl B, Aldrich J, Garlan D, Kazman R, Yan H. Discovering Architectures from Running Systems Ieee Transactions On Software Engineering. 32: 454-466. DOI: 10.1109/Tse.2006.66  0.359
2006 Malayeri D, Aldrich J. Practical exception specifications Lecture Notes in Computer Science. 200-220. DOI: 10.1007/11818502_11  0.308
2003 Aldrich J, Sirer EG, Chambers C, Eggers SJ. Comprehensive synchronization elimination for Java Science of Computer Programming. 47: 91-120. DOI: 10.1016/S0167-6423(02)00129-6  0.474
Show low-probability matches.