Saurabh Joshi

Saurabh Joshi

Principal Researcher

Biography

I am a Researcher working with a private company. All the information/views expressed here are my own and do not represent views of any of my past or current employer.

Interests

  • Blockchain
  • Distributed Systems
  • Constraint Programming
  • Formal Verification
  • Program Analysis
  • Programming Languages

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

News

Projects

DORA

Scaleable, transparent and efficient Distributed Oracle Agreement

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

Experience

 
 
 
 
 

Director of R&D

Supra

2024 – Present
 
 
 
 
 

Principal Researcher

SupraOracles

2022 – 2024
 
 
 
 
 

Staff Engineer

Qualcomm, India

2021 – 2022 Hyderabad, India
 
 
 
 
 

Assistant Professor

IIT Hyderabad

2016 – 2021 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

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

  • Gautam Muduganti - PhD Candidate - (Jan 2017–Present)
  • Utpal Bora - PhD - Techniques for Static Detection of Data-races in OpenMP Programs - (Jan 2019–Oct 2022) - now a PostDoc at Cambridge University, UK.

Masters

  • Archit Sanghi - MTech - (co-advised with Dr. Praveen Tammana)(July 2020–July 2021) - now at Oracle, India.
  • Akash Banerjee - MTech RA - (July 2018–June 2021) - now at AMD, UK.
  • 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 Oracle, India.
  • 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 Candor Health as Founding Engineer
  • Rasika Sapate - MTech - LLVM2GOTO: A translator from LLVM IR to CPROVER IR - (July 2016–July 2018) - now at Microsoft, Hyderabad

Undergraduates

  • Gitanjali Mannepalli - BTech - Mini Project - Proving program correctness using Coq (July 2018–Nov 2018) - now at Microsoft, US.
  • 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 Apple, India.
  • Nidhi Dhamnani - BTech - Research Internship - Optimizing SAT Solver for push/pop queries - (July 2017–Nov 2017) - now at Momento, US as a Software Engineer
  • B Shreya - BTech - Research Internship - Optimizing SAT Solver for push/pop queries -(July 2017–Nov2017) - now at Amazon Web Services, US.