Courses
E0 202: Automated software engineering with machine learning (Jan - Apr 2018, Jan - Apr 2021)
E0 302: Topics in software engineering - jointly with Shirish Shevade (Aug - Dec 2017, Aug - Dec 2020, Aug - Dec 2021)
E0 302: Machine learning for software engineering - jointly with Shirish Shevade (Aug - Dec 2016)
Probabilistic modeling and analysis of software repositories, Research topics
E0 239: Software reliability techniques (Jan-Apr semester during 2015 - 2017)
Smartphone and web programming, Concurrency and security, Static and dynamic analysis, Model checking
E0 223: Automated verification (Jan-Apr semester during 2010 - 2014)
Decision procedures, Temporal logic model checking
E0 323: Topics in verification
Field study of software systems and tools (Aug - Dec 2014)
Advanced program analysis and model checking techniques (Aug - Dec 2013)
Program synthesis, Specification mining, Algorithm selection - jointly with Satish Chandra (Aug - Dec 2011)
Program synthesis, Machine learning, Interprocedural analysis (Aug - Dec 2010)