VPT 2014 EASYCHAIR PROCEEDINGS

Editors: Alexei Lisitsa and Andrei Nemytykh

Authors	Title	Paper	Talk
Michael Leuschel	Towards Constraint-Solving over Higher-Order Unbounded Datatypes using Formal Methods Tools
Klaus von Gleissenthall, Andrey Rybalchenko and Santiago Zanella-Béguelin	Towards Automated Proving of Relational Properties of Probabilistic Programs (Invited Talk)		Jul 18 08:45
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti	Program Verification using Constraint Handling Rules and Array Constraint Generalizations		Jul 17 11:30
Daniil Frumin and Irina Lomazova	Branching Processes of Conservative Nested Petri Nets		Jul 18 11:30
Geoff Hamilton and Morten Heine Sørensen	Local Driving in Higher-Order Positive Supercompilation via the Omega-theorem		Jul 18 12:15
Alexei Lisitsa and Andrei Nemytykh	A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?		Jul 17 12:15
Andrei Nemytykh	On Unfolding for Programs Using Strings as a Data Type		Jul 18 10:45
Antonina Nepeivoda	Verification of Multi-Party Ping-Pong Protocols via Program Transformation		Jul 17 10:45
Thomas Sewell	Formal Replay of Translation Validation for Highly Optimised C		Jul 18 17:30