Types for safe locking : Static race detection for java von ABADI, Martin, FLANAGAN, Cormac, FREUND, Stephen N

Volltext

Types for Atomicity : Static Checking and Inference for Java von FLANAGAN, Cormac, FREUND, Stephen N, LIFSHIN, Marina, QADEER, Shaz

Volltext

Exploiting purity for atomicity von Flanagan, C., Freund, S.N., Qadeer, S.

Volltext

Modular verification of multithreaded programs von Flanagan, Cormac, Freund, Stephen N., Qadeer, Shaz, Seshia, Sanjit A.

Volltext

The anchor verifier for blocking and non-blocking concurrent software von Flanagan, Cormac, Freund, Stephen N.

Volltext

Thread-Modular Verification for Shared-Memory Programs von Flanagan, Cormac, Freund, Stephen N., Qadeer, Shaz

Volltext

A Type System for the Java Bytecode Language and Verifier von Freund, Stephen N, Mitchell, John C

Volltext

Type Inference Against Races von Flanagan, Cormac, Freund, Stephen N.

Volltext

A type system for object initialization in the Java bytecode language von FREUND, STEPHEN N, MITCHELL, JOHN C

Volltext

Atomizer: A dynamic atomicity checker for multithreaded programs von Flanagan, Cormac, Freund, Stephen N.

Volltext

Cooperative types for controlling thread interference in Java von Yi, Jaeheon, Disney, Tim, Freund, Stephen N., Flanagan, Cormac

Volltext

Adversarial memory for detecting destructive races von Flanagan, Cormac, Freund, Stephen N.

Volltext

Dynamic Architecture Extraction von Flanagan, Cormac, Freund, Stephen N.

Volltext

Atomizer: a dynamic atomicity checker for multithreaded programs von Flanagan, Cormac, Freund, Stephen N

Volltext

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version) von Flanagan, Cormac, Freund, Stephen N

Volltext bestellen

RedCard: Redundant Check Elimination for Dynamic Race Detectors von Flanagan, Cormac, Freund, Stephen N.

Volltext

Type inference against races von Flanagan, Cormac, Freund, Stephen N.

Volltext

Programming languages as part of core computer science von Bruce, Kim, Freund, Stephen N.

Volltext

Programming languages in a liberal arts education von Bruce, Kim, Freund, Stephen N.

Volltext

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version) von Flanagan, Cormac, Freund, Stephen N

Volltext