Year |
Citation |
Score |
2014 |
Yi J, Disney T, Freund SN, Flanagan C. Cooperative types for controlling thread interference in Java Science of Computer Programming. DOI: 10.1016/J.Scico.2015.08.004 |
0.539 |
|
2010 |
Flanagan C, Freund SN. FastTrack: Efficient and precise dynamic race detection Communications of the Acm. 53: 93-101. DOI: 10.1145/1839676.1839699 |
0.408 |
|
2010 |
Flanagan C, Freund SN. The RoadRunner dynamic analysis framework for concurrent programs Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 1-8. DOI: 10.1145/1806672.1806674 |
0.431 |
|
2009 |
Sadowski C, Freund SN, Flanagan C. SingleTrack: A dynamic determinism checker for multithreaded programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5502: 394-409. DOI: 10.1007/978-3-642-00590-9_28 |
0.424 |
|
2008 |
Bruce K, Freund SN. Programming languages as part of core computer science Acm Sigplan Notices. 43: 50-54. DOI: 10.1145/1480828.1480838 |
0.531 |
|
2008 |
Bruce K, Freund SN. Programming languages in a liberal arts education Acm Sigplan Notices. 43: 45-49. DOI: 10.1145/1480828.1480837 |
0.492 |
|
2008 |
Allen E, Bodik R, Bruce K, Fisher K, Freund S, Harper R, Krintz C, Krishnamurthi S, Larus J, Lea D, Leavens G, Pollock L, Reges S, Rinard M, Sheldon M, et al. SIGPLAN programming language curriculum workshop Acm Sigplan Notices. 43: 6-29. DOI: 10.1145/1480828.1480831 |
0.523 |
|
2008 |
Flanagan C, Freund SN, Lifshin M, Qadeer S. Types for atomicity: Static checking and inference for Java Acm Transactions On Programming Languages and Systems. 30. DOI: 10.1145/1377492.1377495 |
0.499 |
|
2008 |
Flanagan C, Freund SN, Yi J. Velodrome: A sound and complete dynamic atomicity checker for multithreaded programs Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 293-303. DOI: 10.1145/1375581.1375618 |
0.435 |
|
2008 |
Flanagan C, Freund SN. Atomizer: A dynamic atomicity checker for multithreaded programs Science of Computer Programming. 71: 89-109. DOI: 10.1016/J.Scico.2007.12.001 |
0.436 |
|
2007 |
Flanagan C, Freund SN. Type inference against races Science of Computer Programming. 64: 140-165. DOI: 10.1016/J.Scico.2006.03.006 |
0.442 |
|
2006 |
Abadi M, Flanagan C, Freund SN. Types for safe locking: Static race detection for Java Acm Transactions On Programming Languages and Systems. 28: 207-255. DOI: 10.1145/1119479.1119480 |
0.55 |
|
2005 |
Flanagan C, Freund SN, Qadeer S. Exploiting purity for atomicity Ieee Transactions On Software Engineering. 31: 275-291. DOI: 10.1109/Tse.2005.47 |
0.438 |
|
2005 |
Flanagan C, Freund SN, Qadeer S, Seshia SA. Modular verification of multithreaded programs Theoretical Computer Science. 338: 153-183. DOI: 10.1016/J.Tcs.2004.12.006 |
0.541 |
|
2004 |
Freund SN, Qadeer S. Checking concise specifications for multithreaded software Journal of Object Technology. 3: 81-101. DOI: 10.5381/Jot.2004.3.6.A4 |
0.448 |
|
2003 |
Freund SN, Mitchell JC. A type system for the Java bytecode language and verifier Journal of Automated Reasoning. 30: 271-321. DOI: 10.1023/A:1025011624925 |
0.543 |
|
2003 |
Burrows M, Freund SN, Wiener JL. Run-time type checking for binary programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2622: 90-105. |
0.526 |
|
2002 |
Flanagan C, Freund SN, Qadeer S. Thread-modular verification for shared-memory programs Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 2305: 262-277. |
0.481 |
|
2001 |
Flanagan C, Freund SN. Detecting race conditions in large programs Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 90-96. |
0.497 |
|
2000 |
Flanagan C, Freund SN. Type-based race detection for Java Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 219-232. |
0.443 |
|
1999 |
Freund SN, Mitchell JC. A type system for object initialization in the Java bytecode language Acm Transactions On Programming Languages and Systems. 21: 1196-1250. DOI: 10.1145/330643.330646 |
0.526 |
|
1999 |
Freund SN, Mitchell JC. A formal framework for the Java bytecode language and verifier Sigplan Notices (Acm Special Interest Group On Programming Languages). 34: 147-166. |
0.466 |
|
1999 |
Freund SN, Mitchell JC. Formal framework for the Java bytecode language and verifier Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 34: 147-166. |
0.463 |
|
1998 |
Freund SN, Mitchell JC. A type system for object initialization in the Java bytecode language (summary) Electronic Notes in Theoretical Computer Science. 10: 242-245. DOI: 10.1016/S1571-0661(05)80703-0 |
0.491 |
|
1998 |
Freund SN, Mitchell JC. A Type System for Object Initialization in the Java™ Bytecode Language Sigplan Notices (Acm Special Interest Group On Programming Languages). 33: 310-327. |
0.501 |
|
1997 |
Agesen O, Freund SN, Mitchell JC. Adding Type Parameterization to the Java ™ Language Sigplan Notices (Acm Special Interest Group On Programming Languages). 32: 49-65. |
0.385 |
|
1997 |
Agesen O, Freund SN, Mitchell JC. Adding type parameterization to the JavaTM language Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 32: 49-65. |
0.383 |
|
Show low-probability matches. |