EC2 2014 SHORT PAPERS: KEYWORD INDEX

Shortcuts: A C D F H I M P R S

A
asynchronous systems	A new reduction for event-driven distributed programs (PDF, talk)
C
Concolic Testing	Concolic Testing of Concurrent Programs (PDF, talk)
concurrency	A new reduction for event-driven distributed programs (PDF, talk)
Concurrency Testing	Concolic Testing of Concurrent Programs (PDF, talk)
correctness	Group Communication Patterns for High Performance Computing in Scala (PDF, talk)
D
Directed Testing	Concolic Testing of Concurrent Programs (PDF, talk)
F
functional programming	Group Communication Patterns for High Performance Computing in Scala (PDF, talk)
H
high-performance computing	Group Communication Patterns for High Performance Computing in Scala (PDF, talk)
I
Interference Scenarios	Concolic Testing of Concurrent Programs (PDF, talk)
M
message passing systems	A new reduction for event-driven distributed programs (PDF, talk)
model checking	A new reduction for event-driven distributed programs (PDF, talk)
P
partial order reduction	A new reduction for event-driven distributed programs (PDF, talk)
programming framework	Group Communication Patterns for High Performance Computing in Scala (PDF, talk)
R
runtime analysis	Group Communication Patterns for High Performance Computing in Scala (PDF, talk)
S
Systematic Testing	Concolic Testing of Concurrent Programs (PDF, talk)