CSP - Support for VPT 2017 Workshop on Verification and Program Transformation
Abstract
In this proposal we request funds to support organization of 5th Veri cationand Program Transformation Workshop, VPT 2017, to be he""ld 04.29.2017 inUppsala, Sweden. VPT 2017 is a liated with ETAPS 2017 (European JointConferences on Theory and Practice of Softwar"e).The aim of the workshop is to bring together researchers working in the eldsof Program Veri cation and Program Transformation." Generally, the area ofprogram veri cation is dealing with the methods to assure the correctness ofsoftware, while program transfo"rmation methods traditionally aim to optimizeor specialize the programs to reduce the size/cost and improve the e ciency.There is" a great potential for bene cial interactions between these two eldsbecause:On one hand, methods and tools developed in the eld"" of Program Transfor-mation such as partial evaluation, fold/unfold transformations, and supercom-pilation, have all been applied"" with success for the veri cation of programs andin nite state/parameterized systems. On the other hand, methods and toolsfrom the"" eld of Veri cation, such as model checking, abstract interpretation,SAT and SMT solving and automated theorem proving have been u""sed to en-hance program transformation techniques. Moreover, the formal certi cationof program transformation tools, such as autom""ated refactoring tools and com-pilers, has recently attracted considerable interest and posed major challenges.The workshop will p""rovide a forum where researchers from these elds mayinteract and foster new developments.The workshop solicits research, position"", application, and system descriptionpapers with a special emphasis on case studies, demonstrating viability of theinteractions be"tween the research elds of program transformation and programveri cation in a broad sense.VPT 2017 has a direct relevance to the" ACM CCS 2016 FEAST (Forming anEcosystem Around Software Transformation) Workshop, which was funded byONR program o cers. Focus of"" VPT on Program Transformation will, indeed,contribute to the development of the ecosystem around software transformation.1
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Sep 29, 2017
- Source ID
- N629091712119
Entities
People
- Alexei Lisitsa
Organizations
- Office of Naval Research
- United States Navy
- University of Liverpool