PLPV: Programming Languages meets Program Verification

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2011 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
PLPV 2010 Programming Languages meets Program Verification
Jan 19, 2010 - Jan 19, 2010 Madrid, Spain Oct 8, 2009
 
 

Present CFP : 2010

Call For Papers

Programming Languages meets Program Verification (PLPV) 2010

http://slang.soe.ucsc.edu/plpv10/

Tuesday, January 19, 2010
Madrid, Spain
Affiliated with POPL 2010


Overview: The goal of PLPV is to foster and stimulate research at the
intersection of programming languages and program verification. Work
in this area typically attempts to reduce the burden of program
verification by taking advantage of particular semantic and/or
structural properties of the programming language. One example is
dependently typed programming languages, which leverage a language's
type system to specify and check richer than usual specifications,
possibly with programmer-provided proof terms. Another example is
extended static checking systems like Spec#, which extends C# with
pre- and postconditions along with a static verifier for these
contracts.

We invite submissions on all aspects, both theoretical and practical,
of the integration of programming language and program verification
technology. To encourage cross-pollination between different
communities, we seek a broad the scope for PLPV. In particular,
submissions may have diverse foundations for verification (type-based,
Hoare-logic-based, etc), target diverse kinds of programming languages
(functional, imperative, object-oriented, etc), and apply to diverse
kinds of program properties (data structure invariants, security
properties, temporal protocols, etc).

Submissions: Submissions should fall into one of the following three
categories:

1. Regular research papers that describe new work on the above or
related topics. Submissions in this category have an upper limit
of 12 pages, but shorter submissions are also encouraged.

2. Work-in-progress reports should describe new work that is
ongoing and may not be fully completed or evaluated. Submissions
in this category should be at most 6 pages in total length.

3. Proposals for challenge problems which the author believes is
are useful benchmarks or important domains for language-based
program verification techniques. Submissions in this category
should be at most 6 pages in total length.

Submissions should be prepared with SIGPLAN two-column conference
format. Submitted papers must adhere to the SIGPLAN republication
policy. Concurrent submissions to other workshops, conferences,
journals, or similar forums of publication are not allowed.
Papers should be submitted through Easychair,
at http://www.easychair.org/conferences/?conf=plpv2010

Publication: Accepted papers will be published by the ACM and appear
in the ACM digital library.

Student Attendees: Students with accepted papers or posters are
encouraged to apply for a SIGPLAN PAC grant that will help to cover
travel expenses to PLPV. Details on the PAC program and the
application can be found on the workshop web page. PAC also offers
support for companion travel.

Important Dates:

* Electronic submission: October 8, 2009, 11:59pm Samoa time (UTC-11)
* Notification: November 8, 2009
* Final version: November 17, 2009
* Workshop: January 19, 2010

Organizers:

* Cormac Flanagan (University of California, Santa Cruz)
* Jean-Christophe FilliĆ¢tre (CNRS)

Program Committee:

* Adam Chlipala (Harvard University)
* Ranjit Jhala (University of California, San Diego)
* Joseph Kiniry (University College Dublin)
* Rustan Leino (Microsoft Research)
* Xavier Leroy (INRIA Paris-Rocquencourt)
* Conor McBride (University of Strathclyde)
* Andrey Rybalchenko (Max Planck Institute for Software Systems)
* Tim Sheard (Portland State University)
* Stephanie Weirich (University of Pennsylvania)
 

Related Resources

SATRANH 2020   Special Issue of APPLIED SCIENCES on Static Analysis Techniques: Recent Advances and New Horizons
program-transformations 2019   NeurIPS 2019 Workshop on Program Transformations for Machine Learning
APLAS-posters 2019   The 17th Asian Symposium on Programming Languages and Systems - Posters
ASPLOS 2020   Architectural Support for Programming Languages and Operating Systems
PPoPP 2019   47th ACM SIGPLAN Symposium on Principles of Programming Languages
COMPUTATION TOOLS 2020   The Eleventh International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
CSEN 2019   6th International Conference on Computer Science and Engineering
IJBBR 2019   International Journal of BRIC Business Research
AI 2019   5th International Conference on Artificial Intelligence and Applications
CAIJ 2019   Computer Applications: An International Journal