Stephen N. Freund, Ph.D. - Publications

Affiliations: 
2000 Stanford University, Palo Alto, CA 

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