Stephen N. Freund, Ph.D.

Affiliations: 
2000 Stanford University, Palo Alto, CA 
Google:
"Stephen Freund"

Parents

Sign in to add mentor
John Mitchell grad student 2000 Stanford
 (Type systems for object -oriented intermediate languages.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Wilcox JR, Finch P, Flanagan C, et al. (2016) Array shadow state compression for precise dynamic race detection Proceedings - 2015 30th Ieee/Acm International Conference On Automated Software Engineering, Ase 2015. 155-165
Yi J, Disney T, Freund SN, et al. (2014) Cooperative types for controlling thread interference in Java Science of Computer Programming
Flanagan C, Freund SN. (2013) 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
Yi J, Sadowski C, Freund SN, et al. (2012) 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
Flanagan C, Freund SN. (2010) FastTrack: Efficient and precise dynamic race detection Communications of the Acm. 53: 93-101
Flanagan C, Freund SN. (2010) The RoadRunner dynamic analysis framework for concurrent programs Acm Sigplan/Sigsoft Workshop On Program Analysis For Software Tools and Engineering. 1-8
Flanagan C, Freund SN. (2010) Adversarial memory for detecting destructive races Proceedings of the Acm Sigplan Conference On Programming Language Design and Implementation (Pldi). 244-254
Sadowski C, Freund SN, Flanagan C. (2009) 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
Flanagan C, Freund SN, Lifshin M, et al. (2008) Types for atomicity: Static checking and inference for Java Acm Transactions On Programming Languages and Systems. 30
Flanagan C, Freund SN, Yi J. (2008) 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
See more...