Stephen Freund
机构: Computer Science, Williams College
每年引用次数
引用次数
引用: 5,147
H-指数: 33
I10-指数 : 43
出版物: 83
Automatic Synchronization Correction
Cormac Flanagan , Stephen Freund
12
2005
Long-Term Brightness Variation Study in Three Proto-Planetary Nebulae
Stephen Freund , Christopher Morrissey
2014
2015
Variability Studies in Two Hypergiants and a Post-AGB Object
Wenxian Lu , Stephen Freund , Bruce J. Hrivnak
American Astronomical Society Meeting Abstracts #227 227
2016
Light Curve Study of the Eclipsing Contact Binary V2477 Cyg
Stephen Freund
2016
Period Study of Post-Red Giant Stars
Stephen Freund
2014
2015
Checking Concise Specifications for Multithreaded Software.
Stephen Freund , Shaz Qadeer
The Journal of Object Technology 3 ( 6) 81 -101
53
2004
Cooperative Concurrency for a Multicore World
Cormac Flanagan , Tim Disney , Caitlin Sadowski , Jaeheon Yi
SIGPLAN programming language curriculum workshop: Discussion summaries and recommendations
Eric Allen , Ras Bodik , Kim Bruce , Kathleen Fisher
ACM SIGPLAN Notices 43 ( 11) 6 -29
9
2008
Selected 1999 SRC Summer Intern Reports
Stephen Freund , George Mihaila , Todd Millstein , Silvija Seres
1999
System and method for dynamic data-type checking
Michael Burrows , Stephen Freund
90
2003
Adding parameterized types to Java
Ole Agesen , Stephen Freund , John C Mitchell
Conference on Object-Oriented Programming, Systems, Languages and Applications 215 -230
31
1997
Atomizer: a dynamic atomicity checker for multithreaded programs
C. Flanagan , S.N. Freund
international parallel and distributed processing symposium 269 -271
509
2004
Exploiting purity for atomicity
C. Flanagan , S.N. Freund , S. Qadeer
IEEE Transactions on Software Engineering 31 ( 4) 0 -291
2005
Online Appendix to: Types for Atomicity: Static Checking and Inference for Java
CORMAC FLANAGAN , STEPHEN N FREUND , MARINA LIFSHIN , SHAZ QADEER
Type systems for object-oriented intermediate languages
Stephen Neil Freund
Stanford University
16
2000
Modular Verification of Multithreaded Programs Williams College Technical Note 04-08
Cormac Flanagan , Stephen N Freund , Shaz Qadeer , Sanjit A Seshia
Cooperative concurrency for a multicore world
Jaeheon Yi , Caitlin Sadowski , Stephen N Freund , Cormac Flanagan
Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers 2 342 -344
3
2012
Specification and Verification of Java Bytecode Subroutines and Exceptions (summary)
Stephen N Freund , John C Mitchell
Smpte Journal
1999