Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Stephen N. Freund" ( http://dblp.L3S.de/Authors/Stephen_N._Freund )

URL (Homepage):  http://www.cs.williams.edu/~freund/  Author page on DBLP  Author page in RDF  Community of Stephen N. Freund in ASPL-2

Publication years (Num. hits)
1996-2004 (16) 2005-2010 (17) 2011 (1)
Publication types (Num. hits)
article(14) inproceedings(20)
Venues (Conferences, Journals, ...)
PLDI(4) ACM Trans. Program. Lang. Syst...(3) OOPSLA(3) SIGPLAN Notices(3) ESOP(2) PASTE(2) Sci. Comput. Program.(2) CC(1) Commun. ACM(1) Electr. Notes Theor. Comput. S...(1) FATES/RV(1) IEEE Trans. Software Eng.(1) IPDPS(1) ISSTA(1) J. Autom. Reasoning(1) Journal of Object Technology(1) More (+10 of total 22)
Authors
Stephen N. Freund(34) Cormac Flanagan(22) John C. Mitchell(6) Shaz Qadeer(6) Kim B. Bruce(3) Caitlin Sadowski(2) Jaeheon Yi(2) Marina Lifshin(2) Chandra Krintz(1) Doug Lea(1) Eric Allen(1) Eric S. Roberts(1) Franklyn A. Turbak(1) Gary T. Leavens(1) James R. Larus(1) Janet L. Wiener(1) More (+10 of total 30)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 43 occurrences of 15 keywords
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Jaeheon Yi, Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan Cooperative Concurrency for a Multicore World - (Extended Abstract). Search on Bibsonomy RV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund FastTrack: efficient and precise dynamic race detection. Search on Bibsonomy Commun. ACM The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Adversarial memory for detecting destructive races. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions, relaxed memory models
1Cormac Flanagan, Stephen N. Freund The RoadRunner dynamic analysis framework for concurrent programs. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis
1Cormac Flanagan, Stephen N. Freund FastTrack: efficient and precise dynamic race detection. Search on Bibsonomy PLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions
1Caitlin Sadowski, Stephen N. Freund, Cormac Flanagan SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Atomizer: A dynamic atomicity checker for multithreaded programs. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eric Allen, Mark W. Bailey, Rastislav Bodík, Kim B. Bruce, Kathleen Fisher, Stephen N. Freund, Robert Harper, Chandra Krintz, Shriram Krishnamurthi, James R. Larus, Doug Lea, Gary T. Leavens, Lori L. Pollock, Stuart Reges, Martin C. Rinard, Mark A. Sheldon, Franklyn A. Turbak, Mitchell Wand SIGPLAN programming language curriculum workshop: Discussion Summaries and recommendations. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kim B. Bruce, Stephen N. Freund Programming languages as part of core computer science. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Kim B. Bruce, Stephen N. Freund Programming languages in a liberal arts education. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2008 DBLP  DOI  BibTeX  RDF programming languages curriculum
1Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer Types for atomicity: Static checking and inference for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF type systems, concurrent programs, type inference, Atomicity
1Cormac Flanagan, Stephen N. Freund, Jaeheon Yi Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
1Cormac Flanagan, Stephen N. Freund Type inference against races. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Martín Abadi, Cormac Flanagan, Stephen N. Freund Types for safe locking: Static race detection for Java. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF type system, Concurrent programs, type inference, race conditions
1Cormac Flanagan, Stephen N. Freund Dynamic Architecture Extraction. Search on Bibsonomy FATES/RV The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Exploiting Purity for Atomicity. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF purity, concurrent programs, reduction, Atomicity
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer, Sanjit A. Seshia Modular verification of multithreaded programs. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Marina Lifshin Type inference for atomicity. Search on Bibsonomy TLDI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF concurrency, reduction, type inference, atomicity
1Stephen N. Freund, Shaz Qadeer Checking Concise Specifications for Multithreaded Software. Search on Bibsonomy Journal of Object Technology The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Exploiting purity for atomicity. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF purity, concurrent programs, reduction, atomicity
1Cormac Flanagan, Stephen N. Freund Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary). Search on Bibsonomy IPDPS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Atomizer: a dynamic atomicity checker for multithreaded programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic analysis, reduction, atomicity
1Cormac Flanagan, Stephen N. Freund Type Inference Against Races. Search on Bibsonomy SAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Stephen N. Freund, John C. Mitchell A Type System for the Java Bytecode Language and Verifier. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2003 DBLP  DOI  BibTeX  RDF type systems, Java Virtual Machine, bytecode verification
1Michael Burrows, Stephen N. Freund, Janet L. Wiener Run-Time Type Checking for Binary Programs. Search on Bibsonomy CC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund, Shaz Qadeer Thread-Modular Verification for Shared-Memory Programs. Search on Bibsonomy ESOP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Cormac Flanagan, Stephen N. Freund Detecting race conditions in large programs. Search on Bibsonomy PASTE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Java
1Cormac Flanagan, Stephen N. Freund Type-based race detection for Java. Search on Bibsonomy PLDI The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Stephen N. Freund, John C. Mitchell The type system for object initializatiion in the Jave bytecode language. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF bytecode languages, object initialization, Java, type checking
1Stephen N. Freund, John C. Mitchell A Formal Framework for the Java Bytecode Language and Verifier. Search on Bibsonomy OOPSLA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Java
1Stephen N. Freund, John C. Mitchell A Type System for Object Initialization in the Java Bytecode Language. Search on Bibsonomy OOPSLA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Java
1Stephen N. Freund, John C. Mitchell A Type System For Object Initialization In the Java Bytecode Language. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Ole Agesen, Stephen N. Freund, John C. Mitchell Adding Type Parameterization to the Java Language. Search on Bibsonomy OOPSLA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Stephen N. Freund, Eric S. Roberts Thetis: an ANSI C programming environment designed for introductory use. Search on Bibsonomy SIGCSE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #34 of 34 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.