VSL 2014: VIENNA SUMMER OF LOGIC 2014

G
Grellois, Charles	The modal nature of colors in higher-order model-checking
H
Hague, Matthew	Saturation of Concurrent Collapsible Pushdown Systems (Extended Abstract)
L
Labich, Nicholas	Analyzing JavaScript: The Bad Parts
Lyde, Steven	Environment Unrolling Strong Function Call
M
Melliès, Paul-André	The modal nature of colors in higher-order model-checking
Might, Matthew	Environment Unrolling Strong Function Call
Møller, Anders	Program Analysis for JavaScript Web Applications
R
Rosu, Grigore	TBA

Disclaimer | Powered by EasyChair Smart Program