Saurabh Joshi

Saurabh Joshi

Director of R&D

About me

Problems are not confined to one area of research or technology. I strongly believe that one should learn any tool/technology/area that allows the problem at hand to be solved in the best possible manner. The diversity of my research publications, as well as technologies that I have worked with, is a testament to this belief. Please find my CV with full details here.

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

Recent Publications

Quickly discover relevant content by filtering publications.

LLOR: Automated Repair of OpenMP Programs

This paper presents a tool and a technique to fix data-race in certain subset of OpenMP programs by suggesting barrier insertions.
Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta
PDF Code DOI Paper

GPURepair: Automated Repair of GPU Kernels (Extended Version)

This paper presents a tool and a technique to fix data-race and barrier divergence errors in CUDA and OpenCL programs.
Saurabh Joshi, Gautam Muduganti
PDF Code Project Video DOI Paper

DORA: Distributed Agreement with Simple Majority

This paper provides a distributed Byzantine agreement with honest simple majority when State Machine Replication (SMR) is available as an ordering primitive.
Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang
PDF Video DOI ICDCS 2023 version

OpenMP aware MHP Analysis for Improved Static Data-Race Detection

This paper employs MHP analysis inside LLOV, to increase coverage of OpenMP pragmas for data-race checking for OpenMP Programs.
Utpal Bora, Shraiysh Vaishay, Saurabh Joshi, Ramakrishna Upadrasta
Code Project pre-print

Anomaly Detection in Data Plane Systems using Packet Execution Paths

This paper describes a statistical analysis based technique to detect certain kinds of attack on the programmable data planes.
Archit Sanghi, Praveen Tammana, Saurabh Joshi, Krishna P Kadiyala
PDF DOI
See all 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

  • 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.

Popular Topics

Automated Program Repair Blockchain Constraint Programming CS Theory Cybersecurity Distributed Systems Formal Verification Program Analysis Statistical Analysis