VSL 2014: VIENNA SUMMER OF LOGIC 2014

D
Desai, Ankush	A new reduction for event-driven distributed programs
F
Farzan, Azadeh	Concolic Testing of Concurrent Programs
G
Garg, Pranav	A new reduction for event-driven distributed programs
H
Hargreaves, Felix	Group Communication Patterns for High Performance Computing in Scala
Holzer, Andreas	Concolic Testing of Concurrent Programs
J
Jagannathan, Suresh	Atomicity Refinement for Verified Compilation
M
Madhusudan, P.	A new reduction for event-driven distributed programs
Merkle, Daniel	Group Communication Patterns for High Performance Computing in Scala
P
Petrank, Erez	Wait-Freedom Made Practical
R
Razavi, Niloofar	Concolic Testing of Concurrent Programs
S
Schneider-Kamp, Peter	Group Communication Patterns for High Performance Computing in Scala
T
Tasiran, Serdar	Verifiable Concurrent Systems Programming: A Garbage Collector Case Study
V
Vaswani, Kapil	Does Wait-Freedom Matter?
Veith, Helmut	Concolic Testing of Concurrent Programs
Y
Yahav, Eran	Abstractions for Relaxed Memory Models

Disclaimer | Powered by EasyChair Smart Program