IMPECS Workshop on Program Analysis
September 17-20, 2012
Department of Computer Science and Automation
Indian Institute of Science, Bangalore


Home Apply Speakers Program Local Information Contact Us Sponsors

Schedule

Please click on a date to get the schedule for the day:

To see the abstract for a particular talk, click on the talk title. To jump to the abstracts page, please click here.

Venues:


September 17, 2012
8:15 AM- 8: 45 AM Registration
8:45 AM- 8: 55 AM Inauguration
Session 1 Software Testing and Verification 1
Chair: Deepak D'Souza,
Indian Institute of Science

9:00 AM - 9:40 AM
(40 minutes)
Fault Localization in Enterprise Applications
Satish Chandra,
IBM Research
9.45 AM - 10.25 AM
(40 minutes)
Interpolants as classifiers
Aditya Nori,
Microsoft Research India
10.25 AM - 11.05 AM Coffee Break
Session 2 Concurrency
Chair: Uday Khedkar,
IIT, Bombay

11.05 AM - 11.45 AM
(40 minutes)
Inductive Data Flow Graphs
Andreas Podelski
University of Freiburg
11.50 AM - 12.30 PM
(40 minutes)
Side-effecting Constraint Systems: a Swiss Army Knife for Interprocedural Analysis of Concurrent Programs
Helmut Seidl
Technical University of Munich (TUM)
12.30 PM - 2.00 PM Lunch Break
Session 3 Software Testing and Verification 2
Chair: Satish Chandra,
IBM Research

2.00 PM - 2.40 PM
(40 minutes)
Quantifier Elimination for Linear Modular Equalities, Disequalities and Inequalities
Supratik Chakraborty,
IIT Bombay
2.45 PM - 3.25 PM
(40 minutes)
Analyzing Industry Code for Bugs
R. Venkatesh,
TRDDC
3.25 PM - 4.00 PM Coffee Break
Session 4 Timing Analysis
Chair: Andreas Podelski,
University of Freiburg

4.00 PM - 4.40 PM
(40 minutes)
Timing Analysis and Timing Predictability
Jan Reineke
University of Saarland
4.45 PM - 5.25 PM
(40 minutes)
A Comprehensive Cache Analysis for Multi-level Data caches
Kartik Nagar
Indian Institute of Science


Back to Top


September 18, 2012
Session 5 Software Synthesis
Chair: Supratik Chakraborty,
IIT Bombay

9.00 AM - 9.40 AM
(40 minutes)
Lazy Synthesis
Bernd Finkbeiner
University of Saarland
9.45 AM - 10.25 AM
(40 minutes)
Software Synthesis using Automated Reasoning
Ruzica Piskac
Max Planck Institute for Software Systems
10.25 AM - 11.05 AM Coffee Break
Session 6 Software Testing and Verification 3
Chair: Rupak Mazumdar,
Max Planck Institute for Software Systems

11.05 AM - 11.45 AM
(40 minutes)
Finding Bugs Without Looking All Over
Nishant Sinha
IBM Research India
11.50 AM - 12.30 PM
(40 minutes)
Testing and Analysis of Data Format Compatibility of Programs
Aditya Kanade
Indian Institute of Science
12.30 PM - 2.00 PM Lunch Break
Session 7 Dataflow Analysis
Chair: Helmut Seidl,
Technical University of Munich (TUM)

2.00 PM - 2.40 PM
(40 minutes)
Liveness-Based Pointer Analysis
Uday Khedkar
IIT Bombay
2.45 PM - 3.25 PM
(40 minutes)
Improving the precision of a scalable, demand-driven null-dereference analysis
Amogh Margoor
Indian Institute of Science
3.25 PM - 4.00 PM Coffee Break
Session 8 Program Transformations
Chair: Jan Reineke,
University of Saarland

4.00 PM - 4.40 PM
(40 minutes)
A Transformation Framework for Optimizing Task-Parallel Programs
Krishna Nandivada
IIT Madras
4.45 PM - 5.15 PM
(30 minutes)
Tiling Stencil Computations to Maximize Parallelism
Vinayaka Bandishti
Indian Institute of Science


Back to Top


September 19, 2012
Session 9 Model Checking 1
Chair: Ruzica Piskac,
Max Planck Institute for Software Systems

9.00 AM - 9.40 AM
(40 minutes)
Verifying Temporal Properties of Multi-pushdown Systems
Narayan Kumar
Chennai Mathematical Institute
9.45 AM - 10.25 AM
(40 minutes)
A perfect model for bounded verification
Rupak Mazumdar
Max Planck Institute for Software Systems
10.25 AM - 11.05 AM Coffee Break
Session 10 Model Checking 2
Chair: Bernd Finkbeiner,
University of Saarland

11.05 AM - 11.45 AM
(40 minutes)
Scalable and Precise Refinement of Cache Timing Analysis via Model Checking
Sudipta Chattopadhyay
National University of Singapore/i>
11.50 AM - 12.30 PM
(40 minutes)
Model Checking in Presburger Counter Systems using Accelerations
Aravind Acharya
Indian Institute of Science
12.30 PM - 2.00 PM Lunch Break
2.00 PM - 5.20 PM Informal Discussions


Back to Top


September 20, 2012
Session 11
Chair: Subhajit Roy,
IIT Kanpur

9.00 AM - 9.30 AM
(30 minutes)
Speculative Resource Acquisition
PVR Murthy
Siemens Corporate Research and Technologies
9.35 AM - 10.05 AM
(30 minutes)
Stepwise Value Flow Inference
Himanshu Kumar Singh
Siemens Corporate Research and Technologies
10.10 AM - 10.40 AM
(30 minutes)
Multipushdown systems and parity games
Prakash Saivasan
Chennai Mathematical Institute
10.40 PM - 11.25 PM Coffee Break
Session 12
Chair:Vineeth Kumar Paleri,
NIT Calicut

11.25 PM - 11.55 PM
(30 minutes)
Math API Discovery by Mining Unit Tests
Anirudh Santhiar
Indian Institute of Science
12.00 PM - 12.30 PM
(30 minutes)
Learning Assertions for Program Repair
Shalini Kaleeswaran
Indian Institute of Science
12.30 PM - 2.00 PM Lunch Break
Session 13
Chair: Krishna Nandivada,
IIT Madras

2.00 PM - 2.30 PM
(30 minutes)
Probabilistic Dataflow Analysis using Path Profiles on Structure Graphs
Subhajit Roy
IIT Kanpur
2.35 PM - 3.05 PM
(30 minutes)
Automatic Generation of Near-Optimal Data Movement Code for Distributed Heterogeneous Architectures
Chandan G
Indian Institute of Science
3.05 PM - 3.45 PM Coffee Break


Back to Top


End of IMPECS-CSA Workshop on Program Analysis