JiscMail Logo
Email discussion lists for the UK Education and Research communities

Help for CPHC-CONF Archives


CPHC-CONF Archives

CPHC-CONF Archives


cphc-conf@JISCMAIL.AC.UK


View:

Message:

[

First

|

Previous

|

Next

|

Last

]

By Topic:

[

First

|

Previous

|

Next

|

Last

]

By Author:

[

First

|

Previous

|

Next

|

Last

]

Font:

Proportional Font

LISTSERV Archives

LISTSERV Archives

CPHC-CONF Home

CPHC-CONF Home

CPHC-CONF  January 2009

CPHC-CONF January 2009

Options

Subscribe or Unsubscribe

Subscribe or Unsubscribe

Log In

Log In

Get Password

Get Password

Subject:

[rv2009-pub ] RV2009: Second Call For Papers

From:

[log in to unmask]

Reply-To:

[log in to unmask]

Date:

Mon, 12 Jan 2009 18:08:33 +0100

Content-Type:

text/plain

Parts/Attachments:

Parts/Attachments

text/plain (132 lines)

[Apologies if you receive multiple copies of this email]

Second Call for Papers
9th workshop on
Runtime Verification
RV 2009
Grenoble, France
http://www-rv2009.imag.fr

Aims and Scope

The objective of RV'09 is to bring scientists from both academia and industry
together to debate on how to monitor and analyze the execution of programs,
for example by checking conformance with a formal specification. The purpose
might be testing a piece of software before deployment, detecting errors
after deployment in the field and potentially triggering subsequent fault
protection actions, or the purpose can be to augment the software with new
capabilities in an aspect oriented style. The longer term goal is to
investigate whether the use of lightweight formal methods applied during the
execution of programs is a viable complement to the current heavyweight
methods proving programs correct always before their execution, such as model
checking and theorem proving. This year RV 2009 is affiliated to CAV 2009
and is lasting 3 days with one day for tutorials.
Topics of Interests

The subject covers several technical fields as outlined below:
* Specification Languages and Logics. Formal methods scientists have
investigated logics and developed technologies that are suitable for model
checking and theorem proving, but monitoring can reveal new observation-based
foundational logics and problems.
* Aspect-oriented Languages with Trace Predicates. New results in extending
aspect languages, such as for example AspectJ, with trace predicates
replacing the standard pointcuts. Aspect oriented programming provides
specific solutions to program instrumentation and program guidance.
* Program Instrumentation in General. Any techniques for instrumenting
programs, at the source code or object code/byte code level, to emit relevant
events to an observer.
* Program Guidance in General. Techniques for guiding the behavior of a
program once its specification is violated. This includes topics such as
fault-protection, self-healing, and diagnosis.
* Combining Static and Dynamic Analysis. Monitoring a program with respect to
a specification can have an impact on the monitored program, with respect to
execution time as well as memory consumption. Static analysis can be used to
minimize the impact by optimizing the program instrumentation. Runtime
monitors can be seen as proof obligations left over from proofs - what is
left that could not be proved.
* Dynamic Program Analysis. Techniques that gather information during program
execution and use it to conclude properties about the program. Algorithms for
detecting multi-threading errors, such as deadlocks and data races.
Algorithms for generating specifications from runs -- dynamic reverse
engineering, this can include program visualization.

Paper Submission

There are two categories of submissions:
1. Regular Papers: Submissions, not exceeding fifteen (15) pages using
Springer's LNCS format, should contain original research, and sufficient
detail to assess the merits and relevance of the contribution. For papers
reporting experimental results, authors are strongly encouraged to make their
data available with their submission. Submissions reporting on case studies
in an industrial context are strongly invited, and should describe details,
weaknesses and strength in sufficient depth. Simultaneous submission to other
conferences with proceedings or submission of material that has already been
published elsewhere is not allowed.
2. Tool Presentations: Submissions, not exceeding six (6) pages using
Springer's LNCS format, should describe the implemented tool and its novel
features. A demonstration is expected at the workshop to accompany a tool
presentation. Papers describing tools that have already been presented (in
any conference) will be accepted only if significant and clear enhancements
to the tool are reported and implemented.
Papers exceeding the stated maximum length run the risk of rejection without
review. The review process will include a feedback/rebuttal period where
authors will have the option to respond to reviewer comments. Papers should
be submitted in PDF format. Submission is done with EasyChair. Informations
about the submission procedure are available at:
http://www-rv2009.imag.fr

Important Dates

Abstract submission: March 1, 2009
Paper submission (firm): March 8, 2009
Author feedback/rebuttal period: April 19, 2009
Notification of acceptance/rejection: April 26, 2009
Final version due: May 10, 2009

Invited speakers

Amir Pnueli (New York University)
Sriram Rajamani (Microsoft Research India)

Program Chairs

Saddek Bensalem (Verimag/Université Joseph Fourier, France)
Doron Peled (Bar Ilan University, Israel)

Program Committee

Cyrille Valentin Artho (AIST, Japan)
Howard Barringer (University of Manchester, UK)
Saddek Bensalem (Verimag,/Université Joseph Fourier, France)
Nikolaj Bjorner (Microsoft Research US)
Eric Bodden (McGill University, Canada)
Mads Dam (KTH, Stockholm, Sweden)
Ylies Falcone (Verimag/Université Joseph Fourier, France)
Bernd Finkbeiner (Saarland University, Germany)
Cormac Flanagan (University of California Santa Cruz, US)
Pascal Fradet (INRIA Rhône-Alpes, France)
Radu Grosu (University of Stony Brook, New York, US)
Klaus Havelund (JPL/NASA, US)
Moonzoo Kim (KAIST, Korea)
Insup Lee (University of Pennsylvia, US)
Martin Leucker (TUM, Germany)
Doron Peled (Bar Ilan University, Israel)
Mauro Pezzè (University of Milano Bicocca, Italy)
Shaz Qadeer (Microsoft Research, US)
Grigore Rosu (University of Illinois Urbana-Champaign, US)
Henny Sipma (Kestrel Technology. US)
Scott Smolka (University of Stony Brook, New York, US)
Oleg Sokolsky (University of Pennsylvania, US)
Maria Soria (EADS, Germany)
Scott Stoller (University of Stony Brook, New York, US)


Call for Papers 9th workshop on Runtime Verification
RV 2009 Satellite workshop of CAV 2009June 26 - 28, 2009 Grenoble, France
http://www-rv2009.imag.fr


Call for Papers 9th workshop on Runtime Verification
RV 2009 Satellite workshop of CAV’2009 June 26 - 28, 2009 Grenoble, France
http://www-rv2009.imag.fr

Top of Message | Previous Page | Permalink

JiscMail Tools


RSS Feeds and Sharing


Advanced Options


Archives

November 2019
October 2019
September 2019
August 2019
July 2019
June 2019
May 2019
April 2019
March 2019
February 2019
January 2019
December 2018
November 2018
October 2018
September 2018
August 2018
July 2018
June 2018
May 2018
April 2018
March 2018
February 2018
January 2018
December 2017
November 2017
October 2017
September 2017
August 2017
July 2017
June 2017
May 2017
April 2017
March 2017
February 2017
January 2017
December 2016
November 2016
October 2016
September 2016
August 2016
July 2016
June 2016
May 2016
April 2016
March 2016
February 2016
January 2016
December 2015
November 2015
October 2015
September 2015
August 2015
July 2015
June 2015
May 2015
April 2015
March 2015
February 2015
January 2015
December 2014
November 2014
October 2014
September 2014
August 2014
July 2014
June 2014
May 2014
April 2014
March 2014
February 2014
January 2014
December 2013
November 2013
October 2013
September 2013
August 2013
July 2013
June 2013
May 2013
April 2013
March 2013
February 2013
January 2013
December 2012
November 2012
October 2012
September 2012
August 2012
July 2012
June 2012
May 2012
April 2012
March 2012
February 2012
January 2012
December 2011
November 2011
October 2011
September 2011
August 2011
July 2011
June 2011
May 2011
April 2011
March 2011
February 2011
January 2011
December 2010
November 2010
October 2010
September 2010
August 2010
July 2010
June 2010
May 2010
April 2010
March 2010
February 2010
January 2010
December 2009
November 2009
October 2009
September 2009
August 2009
July 2009
June 2009
May 2009
April 2009
March 2009
February 2009
January 2009
December 2008
November 2008
October 2008
September 2008
August 2008
July 2008
June 2008
May 2008
April 2008
March 2008
February 2008
January 2008
December 2007
November 2007
October 2007
September 2007
August 2007
July 2007
June 2007
May 2007
April 2007
March 2007
February 2007
January 2007
2006
2005
2004
2003
2002
2001
2000
1999
1998


JiscMail is a Jisc service.

View our service policies at https://www.jiscmail.ac.uk/policyandsecurity/ and Jisc's privacy policy at https://www.jisc.ac.uk/website/privacy-notice

Secured by F-Secure Anti-Virus CataList Email List Search Powered by the LISTSERV Email List Manager