NewsPeter Mueller (ETH Zurich), Philipp Ruemmer (Uppsala University), Anton Wijs (Eindhoven University of Technology), Florian Zuleger (TU Wien), Temesghen Kahsai (CMU / NASA Ames), Kedar Namjoshi (Bell Labs) agreed to give an invited talk. See more details in our program.ConceptThis year the VSSE workshop consists solely of invited talks from experts in the areas related to incremental formal verification and program synthesis.OverviewThis workshop focuses on verification of software changes and upgrades, as well as on synthesizing new program versions and automated bug fixing. Software continuously evolves to meet rapidly changing human needs. Each evolved transformation of a program is expected to preserve important correctness and security properties. Thus there is a clear need for the techniques to formally verify program correctness after a change and either provide a proof of correctness or further employ results of performed analysis to fix detected bugs. This workshop will bring together researchers in formal verification and program synthesis to ultimately make the process of software evolution safe. Call for Participation
OrganizationProgram chairs:Grigory Fedyukovich (University of Washington, USA)Antti Hyvärinen (University of Lugano, Switzerland) Arie Gurfinkel (SEI/CMU, USA) |