| 
 Date 
 | 
 Speaker(s) 
 | 
 Title 
 | 
|---|
| 
 03-Mar-2014 
 | 
 1. Dr. Barrett R. Bryant, University of North Texas 
 | 
 Grammar Inference Technology Applications in Software Engineering 
 | 
| 
 2. Dr. Kaliraj, DELL R&D 
 | 
 Agile Business Benefits – DELL’s case study 
 | 
| 
 04-Mar-2014 
 | 
 1. Dr. Barrett R. Bryant, University of North Texas 
 | 
 Challenges and Directions in Formalizing the Semantics of Modeling Languages 
 | 
| 
 2. Dr. Murlikrishna R, IISc Bangalore 
 | 
 Trace driven dynamic deadlock detection and reproduction. 
 | 
| 
 3. Dr. K.V.Raghavan, IISc Bangalore 
 | 
 Null deference verification using weakest pre-conditions analysis. 
 | 
| 
 4. Dr. K.V.Raghavan, IISc Bangalore 
 | 
 Precise slicing using term rewriting and abstract interpretation 
 | 
| 
 05-Mar-2014 
 | 
 1. Mr. Ganesh Samarthyam G, Latitide Edutech 
 | 
 Adopting SWEBOK (Software Engineering Body of Knowledge) 
 | 
| 
 2. Dr. Raghu Babu Reddy, IIIT Hyderabad 
 | 
 Usability Engineering 
 | 
| 
 3. Mr. Rathnakumar G, SAP Labs 
 | 
 Agile Software EngG with case studies 
 | 
| 
 4. Mr. Rathnakumar G, SAP Labs 
 | 
 Design Thinking with case studies 
 | 
| 
 5. Mr. Ben Walters, Microsoft 
 | 
 Data Driven Software Development 
 | 
| 
 06-Mar-2014 
 | 
 1. Dr. Raghu Babu Reddy, IIIT Hyderabad 
 | 
 Refactoring in Software Engineering 
 | 
| 
 2. Mr. Ganesh Samarthyam G, Latitude Edutech 
 | 
 Refactoring for Design Smells 
 | 
| 
 3. Dr. Diptikalyan Saha, IBM Research 
 | 
 Tracing, Fault Localization, and Repair of Data-Centric Programs 
 | 
| 
 07-Mar-2014 
 | 
 1. Prof. Umesh Bellur, IIT Bombay 
 | 
 Software Engineering issues in Cloud computing 
 | 
| 
 2. Prof. Umesh Bellur, IIT Bombay 
 | 
 Adaptive Service Orientation 
 | 
| 
 3. Dr. Srinivas Padmanabhuni, Infosys LABS 
 | 
 Future of Software Engineering Reuse via APIs 
 | 
| 
 4. Dr. Srinivas Padmanabhuni, Infosys LABS 
 | 
 Analytics meets Software Engineering – Myriad Uses of Mining Software Repositories 
 | 
| 
 5. Dr. Suman Roy, Infosys LABS 
 | 
 Design patterns for specification of formulas. 
 | 
| 
 6. Dr. Suman Roy, Infosys LABS 
 | 
 A user guided approach to generate formal (logical) specifications of properties 
 | 
| 
 08-Mar-2014 
 | 
 1. Dr. Neil Davidson, Australia 
 | 
 Software Engineering Process Quality: A Perspective-Based Model 
 |