Saurabh Joshi

Saurabh Joshi

Director of R&D

Solution Architect, Problem Solver, Applied Researcher, and Educator

Research Interests

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

About

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 see my full professional CV and academic CV for details.

Education

  • PhD in Computer Science and Engineering IIT Kanpur, 2012
  • MTech in Computer Science and Engineering IIT Bombay, 2006
  • BE in Information Technology Sardar Patel University, Vallabhvidyanagar, 2003

News

Experience

Projects

Supra AutoFi

Automated DeFi powered by Supra Native Automation

Blockchain Distributed Systems
Docs

Supra Native Automation

On-chain automation with Zero Block Delay guarantee

Blockchain Distributed Systems
Video Docs

DORA

Scaleable, transparent and efficient Distributed Oracle Agreement

Blockchain Distributed Systems
Blog Docs PDF

GPURepair

A tool for automated repair of CUDA and OpenCL kernels

Formal Verification Automated Program Repair
GitHub

LLOV

A static data-race checker for OpenMP programs.

Program Analysis
GitHub

OpenWBO

An open-source MaxSAT and Pseudo-Boolean solver

Constraint Programming
GitHub

Open-WBO-Inc

An open-source solver for incomplete MaxSAT

Constraint Programming
GitHub

Pinaka

A symbolic execution engine

Formal Verification
GitHub

Patents

Recent Posts

See all posts →

Recent Publications

LLOR: Automated Repair of OpenMP Programs

Utpal Bora, Saurabh Joshi, Gautam Muduganti, Ramakrishna Upadrasta

26th International Conference on Verification, Model Checking and Abstract Interpretation (2025)

DOI: 10.1007/978-3-031-82703-7_6

GPURepair: Automated Repair of GPU Kernels (Extended Version)

Saurabh Joshi, Gautam Muduganti

Sadhana - A Journal of Indian Academy of Sciences, Vol. 49 (2024)

DOI: 10.1007/s12046-023-02291-0

DORA: Distributed Agreement with Simple Majority

Prasanth Chakka, Saurabh Joshi, Aniket Kate, Joshua Tobkin, David Yang

International Conference on Distributed Computing Systems 2023 (2023)

DOI: 10.1109/ICDCS57875.2023.00025

See full publication list →

Teaching

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

  • Introduction to Blockchain Programming (CS 5533) (Mar-Apr 2026)
  • 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 (Jan 2017--Present)
  • Utpal Bora (Jan 2019--Oct 2022) Thesis: Techniques for Static Detection of Data-races in OpenMP Programs
    now a PostDoc at Cambridge University, UK.

Masters

  • Archit Sanghi (July 2020--July 2021)
    co-advised with Dr. Praveen Tammana, now at Salesforce, Bengaluru.
  • Akash Banerjee (July 2018--June 2021)
    now at AMD, UK.
  • Eti Chaudhary (July 2017--July 2020) Thesis: Verification of Programs
    now at Goldman Sachs, Bengaluru.
  • Aditya Kumar (May 2019--July 2020)
    co-advised with Dr. Ramakrishna Upadrasta, now at Oracle, India.
  • Sunil Sarode (May 2019--July 2020)
    co-advised with Dr. Ramakrishna Upadrasta, now at JP Morgan Chase, Mumbai
  • Uttaran Sinha (July 2017--July 2019) Thesis: Defending Neural Networks against Structural Perturbations
    now at AIQ, Abu Dhabi
  • Arpit Aggarwal (July 2017--July 2018) Thesis: GoProver: a bounded model-checker for GO
    co-advised with Dr. Subodh Sharma, now at Candor Health as Founding Engineer
  • Rasika Sapate (July 2016--July 2018) Thesis: LLVM2GOTO: A translator from LLVM IR to CPROVER IR
    now at Microsoft, Hyderabad

Undergraduates

  • Gitanjali Mannepalli (July 2018--Nov 2018)
    Mini Project - Proving program correctness using Coq, now at Microsoft, US.
  • Sukrut Rao (Research Internship)
    Improving MaxSAT Solving, now PhD candidate at Max Planck Institute, Germany
  • Prateek Kumar (Dec 2017--May 2019)
    Improving MaxSAT Solving, now at Astra Tech, Abu Dhabi
  • Nidhi Dhamnani (July 2017--Nov 2017)
    Research Internship - Optimizing SAT Solver for push/pop queries, now at Momento, US as a Software Engineer
  • B Shreya (July 2017--Nov 2017)
    Research Internship - Optimizing SAT Solver for push/pop queries, now at Amazon Web Services, US.