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. |