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
See more...
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. |
| 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. (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 |
| 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 |
| Bruce K, Freund SN. (2008) Programming languages as part of core computer science Acm Sigplan Notices. 43: 50-54 |
| Bruce K, Freund SN. (2008) Programming languages in a liberal arts education Acm Sigplan Notices. 43: 45-49 |
| Allen E, Bodik R, Bruce K, et al. (2008) SIGPLAN programming language curriculum workshop Acm Sigplan Notices. 43: 6-29 |
| 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 |
| Flanagan C, Freund SN. (2008) Atomizer: A dynamic atomicity checker for multithreaded programs Science of Computer Programming. 71: 89-109 |