Saurabh Joshi

Saurabh Joshi

Assistant Professor, CSE

IIT Hyderabad

Biography

I am an Assistant Professor with the Department of CSE at IIT Hyderabad.

Interests

  • Constraint Programming
  • Formal Verification
  • Program Analysis

Education

  • PhD in Computer Science and Engineering, 2012

    IIT Kanpur

  • MTech in Computer Science and Engineering, 2006

    IIT Bombay

  • BE in Information Technology, 2003

    Sardar Patel University, Vallabhvidyanagar

Experience

 
 
 
 
 

Assistant Professor

IIT Hyderabad

2016 – Present Hyderabad, India
 
 
 
 
 

Assistant Professor

IIT Guwahati

2015 – 2016 Guwahati, India
 
 
 
 
 

PostDoc Research Assistant

University of Oxford

2012 – 2015 Oxford, UK
 
 
 
 
 

Project Trainee

IBM India Research Lab

2006 – 2007 New Delhi, India

News

Projects

LLOV

A static data-race checker for OpenMP programs.

Open-WBO-Inc

An open-source solver for incomplete MaxSAT

GPURepair

A tool for automated repair of CUDA and OpenCL kernels

OpenWBO

An open-source MaxSAT and Pseudo-Boolean solver

Pinaka

A symbolic execution engine

Recent Publications

Quickly discover relevant content by filtering publications.

Teaching

Courses

Undergraduate

  • Software Development Fundamentals (CS1023): Mar 2021-Jun 2021
  • Introduction to Programming (ID 1063) : Nov 2020-Feb 2021
  • Principles of Programming Languages I (CS 2400) : Oct-Dec 2016, Oct-Dec 2017, Oct-Dec 2018, Oct-Dec 2019, May-Jul 2020
  • Principles of Programming Languages II (CS 2433) : Jan-Apr 2017, Jan-Apr 2018, Jan-Apr 2019, Feb-Mar 2020
  • Software Engineering (CS 4010) : Jan-Apr 2016 (at IIT Guwahati as CS 242 and CS 243), Jan-Apr 2017

Postgraduate

  • Constraint Solving/Constraint Programming (CS 6400, CS6403, CS6483) : Aug-Sep 2016, Aug-Oct 2017, Jan-Apr 2019, Jan-Apr 2020
  • Software Verification (CS 6410) : Jan-Apr 2017, Jan-Apr 2018, Aug-Nov 2019

Students


PhD


Masters

  • Archit Sanghi - MTech - (July 2020–Present)
  • Akash Banerjee - MTech RA - (July 2018–Present)
  • Eti Chaudhary - Verification of Programs - MTech RA - (July 2017–July 2020) - now at Goldman Sachs, Bengaluru.
  • Aditya Kumar - MTech (co-advised with Dr. Ramakrishna Upadrasta) (May 2019–July 2020) - now at OPPO R&D
  • Sunil Sarode - MTech (co-advised with Dr. Ramakrishna Upadrasta) (May 2019–July 2020)
  • Uttaran Sinha - MTech - Defending Neural Networks against Structural Perturbations - (July 2017–July 2019) - now at Amazon, Bengaluru
  • Arpit Aggarwal - MTech (IIT Delhi, co-advised with Dr. Subodh Sharma) - GoProver: a bounded model-checker for GO - (July 2017–July 2018) - now at Oracle, Bengaluru
  • Rasika Sapate - MTech - LLVM2GOTO: A translator from LLVM IR to CPROVER IR - (July 2016–July 2018) - now at Mentor Graphics, Hyderabad

Undergraduates

  • Gitanjali Mannepalli - BTech - Mini Project - Proving program correctness using Coq (July 2018–Nov 2018)
  • Sukrut Rao - BTech - Research Internship - Improving MaxSAT Solving - now PhD candidate at Max Planck Institute, Germany
  • Prateek Kumar - BTech - Improving MaxSAT Solving - (Dec 2017–May 2019) - now at AQR Capital Management, Bengaluru
  • Nidhi Dhamnani - BTech - Research Internship - Optimizing SAT Solver for push/pop queries - (July 2017–Nov 2017) - now at Goldman Sachs, Bangalore
  • B Shreya - BTech - Research Internship - Optimizing SAT Solver for push/pop queries -(July 2017–Nov2017) - now as Software Development Engineer at Swiggy, Bangalore

Contact

  • sbjoshi [at] cse [dot] iith [dot] ac [dot] in
  • (+91) 40 2301 6364
  • B514, Department of CSE, IIT Hyderabad, Kandi, Telangana 502285
  • Enter Academic Block B and take the elevator to 5th floor. Turn right in the corridor.