Formal techniques for debugging
software regressions, Invited talk by
Abhik Roychoudhury at International Seminar on Program Debugging, Automated
Verification and Symbolic Computation (PAS) 2012, Organized by Chinese Academy
of Sciences and Beihang University, October 2012.
Symbolic Techniques for Software Debugging Abhik Roychoudhury and Satish
Chandra Technical Briefing at ACM/IEEE
International Conference on Software Engineering (ICSE) 2012.
Debugging as a Science, that too, for Evolving Programs, Keynote given at 3rd International Workshop on Harnessing Theories for Tool Support in Software (TTSS) 2009, a workshop held along with the International Colloqium on Theoretical Aspects of Computing (ICTAC) 2009.
Performance Debugging of Complex Embedded Systems, Tutorial given in IEEE International Conference on VLSI Design, January 2007, Bangalore (India). Jointly with Samarjit Chakraborty.
Synthesis and Traceability of Scenario-based Executable Models, 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) 2006, Track on Highly Reliable Software, Paphos (Cyprus).
Interacting Process Classes, Talk given during a recent visit to UNU-IIST in May 2006. Different versions of this talk has been given at ICSE 2006 (May 06), IIT Kharagpur (Jan 06), the Workshop on Formal Methods for Design and Analysis of Software organized by Microsoft Research India (Oct. 05), the second Workshop on Predictable Software Component Assembly at University of Manchester (Sept. 05) and various other places.
Software Timing Analysis, Tutorial presentation at International Conference on Formal Engineering Methods (ICFEM) November 2005, Manchester (UK).
Scenario based methods for System design Invited Tutorial presentation at International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN '05), Miami (USA), June 2005. Jointly with P.S. Thiagarajan.
Program Transformations for Automated Verification