NSV 2012: Fifth International Workshop on Numerical Software Verification

Scope

We live in an era where numerical computing is becoming more and more important. For one, computing is increasingly integrated with sensor-driven perceptions of the physical world. Secondly, intensive numerical simulations are key to coping with some of biggest scientific challenges of the day (for example climate change). As a third example, numerics-heavy multimedia applications such as games and image manipulation systems are perhaps the popular forms of consumer software at this point. Given the increasing complexity of numerical software, it is imperative to develop logical and mathematical techniques that would allow greater programmability and software reliability in this space. The NSV workshop is dedicated to the current development and future prospects of such techniques.

The scope of the workshop includes, but is not restricted to, the following topics:

• Models and abstraction techniques for numerical programs
• Formal specification, verification, and synthesis of numerical programs
• Quality of finite precision implementations
• Propagation of uncertainties, deterministic and probabilistic models
• Tradeoffs between quality of service and resource (for example energy) consumption in programs
• Hybrid systems verification and synthesis
• Application domains such as embedded software, scientific computing, and multimedia, graphics, and gaming.

The two-day workshop will include several invited talks, presentations of contributed papers, and discussion periods. The contributed papers will be distributed before-hand on the CAV memory stick.

Program

The workshop program is available here.

Call for inpromptu talks

As part of NSV 2012, we would like to organize a session of short and fun impromptu talks by the participants. The talks can be on any idea that is relevant (or totally irrelevant!) to the workshop topic.

Talks can be as long as 10 minutes.

The session is being planned for post-lunch on Sunday July 8th at 1:30. Please send us a brief abstract and title for your talk. Please email the organizers with your information (srirams@colorado.edu and swarat@rice.edu).

The session may be cancelled if we do not have enough interest.

Important information

Invited speakers

• Eric Goubault (CEA/Saclay) and Sylvia Putot (CEA-LIST).
  Static analysis of finite precision computations A Fluctuat tutorial  (abstract)
• Rupak Majumdar (MPI-SWS).
  Control Theory + Numerical Software Verification = Reliable Embedded Systems   (abstract)
  
• Rahul Mangharam (University of Pennsylvania).
  Closing the loop with Medical Device Software Testing and Verification   (abstract)
• Jonathan Shewchuk (University of California, Berkeley).
  Robustness in Computational Geometry   (abstract)

Colocated conferences

NSV 2012 is colocated with CAV 2012.

Program committee