GitHub - stephenfreund/RoadRunner
github.com
Contribute to RoadRunner development by creating an account on GitHub.
Calvin
people.eecs.berkeley.edu
The Calvin project was started by Shaz Qadeer, Stephen Freund, and Cormac Flanagan while they were at Compaq Systems Research Center. Since then, they have pursued other
Cormac Flanagan
se.inf.ethz.ch
Cooperative types for controlling thread interference in Java. Jaeheon Yi, Tim Disney, Stephen N. Freund, Cormac Flanagan, In ISSTA, [pdf] ...
books.google.com › booksHardware and Software, Verification and Testing: First ...
books.google.de
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 219–232. ACM Press, Cormac Flanagan and Stephen ...
Tools and Algorithms for the Construction and Analysis of Systems:...
books.google.de
Cormac Flanagan and Stephen Freund. Detecting race conditions in large programs. In Workshop on Program Analysis for Software Tools and Engineering ...
arxiv.org › csPrecise, Dynamic Information Flow for Database-Backed ...
arxiv.org
Authors:Jean Yang, Travis Hance, Thomas H. Austin, Armando Solar-Lezama, Cormac Flanagan, Stephen Chong. (Submitted on 13 Jul (v1), last revised ...
Types for Atomicity Authors: Cormac Flanagan, UC Santa Cruz Stephen...
vdocuments.mx
Marina Lifshin, Williams College Shaz Qadeer, Microsoft ...
dblp: Stephen N. Freund
dblp.uni-trier.de
List of computer science publications by Stephen N. Freund
All web results to the name "Cormac Flanagan"
Types for Atomicity Authors: Cormac Flanagan, UC Santa Cruz Stephen...
slideplayer.com
What problems are we addressing? Multi-threaded Java programs are hard to verify manually, because they can misbehave when non atomic operations with write...
Awards and Honors-Cormac Flanagan
currents.ucsc.edu
Awards and Honors. Computer scientist Cormac Flanagan wins Sloan Research Fellowship. By Tim Stephens. The Alfred P. Sloan Foundation has awarded a Sloan ...
Cormac Flanagan UC Santa Cruz Velodrome: A Sound and Complete Dynamic...
slideplayer.com
Cormac Flanagan UC Santa Cruz Velodrome: A Sound and Complete Dynamic Atomicity Checker for Multithreaded Programs Jaeheon Yi UC Santa Cruz Stephen Freund.
Cormac Flanagan - Williams College
dept.cs.williams.edu
The RoadRunner Dynamic Analysis Framework. Cormac Flanagan and Stephen N. Freund RoadRunner is a framework for writing dynamic analyses for concurrent Java …
Stephen N. Freund
dept.cs.williams.edu
In Journals: FastTrack: Efficient and Precise Dynamic Race Detection Cormac Flanagan and Stephen N. Freund Communications of the ACM, Types for Atomicity ...
www.nsf.gov › awardsearch › showAwardNSF Award Search: Award# Checking Atomicity for ...
www.nsf.gov
Cormac Flanagan and Stephen N. Freund. "Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs," Proceedings of the ACM Symposium on ...
NSF Award Search: Award# CAREER: Hybrid Atomicity Checking
www.nsf.gov
Cormac Flanagan, Stephen N. Freund, Marina Lifshin, and Shaz Qadeer. "Types for Atomicity: Static Checking and Inference for Java," ACM Transactions on ...
Papers related to dynamic program analysis for reliable concurrency
mdbond.github.io
Cormac Flanagan, Stephen N. Freund PLDI DRFx: A Simple and Efficient Memory Model for Concurrent Programming Languages Daniel Marino ...
Stephen N. Freund - Williams College Computer Science
dept.cs.williams.edu
Caitlin Sadowski, Cormac Flanagan, and Stephen N. Freund European Symposium on Programming, Types for Atomicity: Static Checking and Inference ...
ISSTA Minneapolis, MN
crisys.cs.umn.edu
Jaeheon Yi, Tim Disney, Stephen Freund, and Cormac Flanagan (UC Santa Cruz , USA; Williams College, USA). Combining Model-Based and Combinatorial ...
PPT – By Cormac Flanagan, Stephen N. Freund PowerPoint presentation |...
www.powershow.com
Atomizer: A Dynamic Atomicity Checker For Multithreaded Programs ... other threads may change sb.length() e.g. other thread invokes sb.delete ... – A free ...
Sage: A Programming Language with Hybrid Type-Checking
sage.soe.ucsc.edu
Kenneth Knowles, Cormac Flanagan. Tech Report ... Dave Herman, Aaron Tomb, Cormac Flanagan Cormac Flanagan, Stephen N. Freund, and Aaron Tomb.
Aaron Tomb
alumni.soe.ucsc.edu
Cormac Flanagan, Stephen N. Freund, and Aaron Tomb Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan.
Related search requests for Cormac Flanagan
Kenneth Knowles Matthias Felleisen Stephen Freund | Mark Lillibridge Rajeev Joshi |
Person "Flanagan" (4) Forename "Cormac" (0) Name "Flanagan" (0) |
sorted by relevance / date