Workshop program: NSV 2012

Saturday, July 7, 2012

Workshop: 9:00-10:00
[Chair: Swarat Chaudhuri]

  • Invited Talk: Eric Goubault (CEA/Saclay) and Sylvia Putot (CEA). Static analysis of finite precision computations: A Fluctuat tutorial

Coffee: 10:00-10:30

Workshop: 10:30-12:00
[Chair: Alwyn Goodloe]

  • Contributed paper: Miriam Leeser, Jaideep Ramachandran, Thomas Wahl and Devon Yablonski. OpenCL Floating Point Software on Heterogeneous Architectures - Portable or Not?

  • Contributed paper: Hiroyoshi Sekine, Kohei Suenaga and Ichiro Hasuo. Simulink Blocks as Stream Processing --- An Approach from Nonstandard Analysis (Preliminary Report)

  • Contributed paper: Thao Dang and Romain Testylier. Reachability analysis using the Bernstein expansion over polyhedra.

Sack lunch: 12:00-1:30

Workshop: 1:30-3:00
[Chair: Sriram Sankaranarayanan]

  • Invited Talk: Jonathan Shewchuk (UC Berkeley). Robustness in Computational Geometry

  • Contributed paper: Swarat Chaudhuri and Azadeh Farzan. Robustness analysis of decision-making programs: With applications to robust geometric computation.

Coffee: 3:00-3:30

Workshop: 3:30-5:00
[Chair: Eric Goubault]

  • Invited talk: Rupak Majumdar (MPI-SWS). Control Theory + Numerical Software Verification = Reliable Embedded Systems.

  • Contributed Paper: Xin Chen, Erika Abraham and Sriram Sankaranarayanan. Taylor Model Over-approximations for Flowpipe/Guard Intersections.

Sunday, July 8, 2012

Workshop: 9:00-10:00
[Chair: Sriram Sankaranarayanan]

  • Invited talk: Rahul Mangharam. Closing the loop with Medical Device Software Testing and Verification

Coffee: 10:00-10:30

Workshop: 10:30-12:00 [Chair: Sylvie Putot]

  • Contributed paper: Ashish Tiwari. Compositionally Analyzing a Proportional-Integral Controller

  • Contributed paper: Olivier Bouissou and Yassamine Seladji. Numerical Abstract Domain using Support Function

  • Contributed paper: Martin Clochard, Swarat Chaudhuri, and Armando Solar-Lezama. Quantitative program synthesis using smoothed numerical search.

Sack lunch: 12:00-1:30