| Year |
Citation |
Score |
| 2016 |
Wilcox JR, Finch P, Flanagan C, Freund SN. Array shadow state compression for precise dynamic race detection Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 155-165. DOI: 10.1109/ASE.2015.19 |
1 |
|
| 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 |
1 |
|
| 2013 |
Flanagan C, Freund SN. Redcard: Redundant check elimination for dynamic race detectors Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7920: 255-280. DOI: 10.1007/978-3-642-39038-8-11 |
1 |
|
| 2012 |
Yi J, Sadowski C, Freund SN, Flanagan C. Cooperative concurrency for a multicore world Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7186: 342-344. DOI: 10.1007/978-3-642-29860-8_25 |
1 |
|
| 2010 |
Flanagan C, Freund SN. FastTrack: Efficient and precise dynamic race detection Communications of the Acm. 53: 93-101. DOI: 10.1145/1839676.1839699 |
1 |
|
| 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 |
1 |
|
| 2010 |
Flanagan C, Freund SN. Adversarial memory for detecting destructive races Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 244-254. DOI: 10.1145/1806596.1806625 |
1 |
|
| 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 |
1 |
|
| 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 |
1 |
|
| 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 |
1 |
|
| 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 |
1 |
|
| 2008 |
Bruce K, Freund SN. Programming languages in a liberal arts education Acm Sigplan Notices. 43: 45-49. |
1 |
|
| 2008 |
Bruce K, Freund SN. Programming languages as part of core computer science Acm Sigplan Notices. 43: 50-54. |
1 |
|
| 2007 |
Flanagan C, Freund SN. Type inference against races Science of Computer Programming. 64: 140-165. DOI: 10.1016/j.scico.2006.03.006 |
1 |
|
| 2006 |
Flanagan C, Freund SN. Dynamic architecture extraction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4262: 209-224. DOI: 10.1007/11940197-14 |
1 |
|
| 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. |
1 |
|
| 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 |
1 |
|
| 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 |
1 |
|
| 2005 |
Flanagan C, Freund SN, Lifshin M. Type inference for atomicity Proceedings of the Tldi'05: 2005 Acm Sigplan International Workshop On Types in Languages Design and Implementation. 47-58. |
1 |
|
| 2004 |
Freund SN, Qadeer S. Checking concise specifications for multithreaded software Journal of Object Technology. 3: 81-101. |
1 |
|
| 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 |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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 |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 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. |
1 |
|
| 1996 |
Freund SN, Roberts ES. Thetis: An ANSI C programming environment designed for introductory use Sigcse Bulletin (Association For Computing Machinery, Special Interest Group On Computer Science Education). 28: 300-304. |
1 |
|
| Show low-probability matches. |