Divyesh Unadkat
About
Divyesh Unadkat is a Senior Staff R & D Engineer at Synopsys Inc.,
Hyderabad. Previously, he was affiliated as a Scientist and Senior Software Engineer with the
Foundations of Computing Group,
TCS Research, Tata Research Development & Design Centre
(TRDDC), Pune.
Divyesh is passionate about research and development challenges in the area of Artificial Intelligence, specifically
in the sub-areas of SW/HW Verification, SAT & SMT Solving, Automated Theorem Proving, Data/Control-flow Analysis,
Compilers, and Applied Machine Learning.
Divyesh has completed his Ph.D. studies in Software Verification under the supervision of
Prof. Supratik Chakraborty and
Prof. Ashutosh Gupta.
He was affiliated with the Centre for Formal Design and
Verification of Software (CFDVS) at the
Indian Institute of Technology Bombay (IITB).
Divyesh has received his Bachelor of Engineering degree in Computer Engineering from
Dharmsinh Desai University (DDU).
During his leisure time, Divyesh loves throwing a ball (table tennis, volleyball, football, cricket), stretching
his physical limits (exercise, yoga, pranayam, brisk walks), playing with fire & ice; sugar & spice; flour & rice
(resulting in nice meals and exotic delicacies), indulging in art forms (suspense & thriller novels, rock & pop music,
Hollywood action & romcom movies), exploring the locale (trekking, nature's trail, site seeing, roaming in malls),
adding creativity even to day-to-day mundane things and calling up friends and family.
A brief cv.
Experience
-
Senior Staff R&D Engineer -
Synopsys Inc.,
Hyderabad (August 2023 - Present).
-
Scientist/Senior Software Engineer -
Foundations of Computing Group,
TCS Research, Tata Research Development and Design Centre
(TRDDC),
Pune (June 2021 - July 2023).
-
Researcher/Software Engineer -
Foundations of Computing Group,
TCS Research, Tata Research Development and Design Centre
(TRDDC),
Pune (June 2010 - May 2021).
-
Software Engineering Intern -
Foundations of Computing Group,
TCS Research, Tata Research Development and Design Centre
(TRDDC),
Pune (December 2009 - April 2010).
Education
-
Degree: Doctor of Philosophy (Ph.D.)
Thesis Title: Techniques for Precise and Scalable Verification of Array Programs
Area: Formal Verification of Software Programss
Lab: Centre for Formal Design and Verification of Software (CFDVS)
Department: Computer Science and Engineering (CSE)
Institute: Indian Institute of Technology Bombay (IITB), Mumbai, Maharashtra
Year: 2015-2022
Courses Taken
Formal Specification and Verification of Programs (CS 615)
Special Topics in Automata and Logics (CS 713)
Formal Models for Concurrent and Asynchronous Systems (CS 735)
R&D Project - Abstract Interpretation (CS 691)
Program Analysis (CS 618)
Introduction to Computational Complexity (CS 721)
Applied Algorithms (CS 602)
Research Seminar (CSS 801)
Communication Skills (HS 791, CS 792)
-
Degree: Bachelor of Engineering (B.E.)
Department: Computer Engineering (CE)
Institute: Dharmsinh Desai University (DDU), Nadiad, Gujarat
Year: 2006-2010
Courses Taken
Software Engineering
Design of Data Structures and Algorithms
Computer Programming in C
Object Oriented Programming and Design - C++
Core and Advanced Java Technologies
Discrete Mathematics
Theory of Automata & Formal Languages
Language Processors
Artificial Intelligence
Database Systems
Operating Systems
Linux Operating System & Programming
Embedded Systems
Microprocessor Fundamentals and Programming
Computer Organization
Advanced Computer Architecture
Computer Networks
Advanced Computer Networks
-
Degree: Higher Secondary Education (H.S.E.)
Department: Science
Institute: Shree P. V. Modi School, Rajkot, Gujarat
Year: 2004-2006
-
Degree: Secondary Education (S.S.E.)
Institute: Saint Mary's School, Gondal, Gujarat
Year: 1992-2004
Awards & Achievements
-
Won the Spot Award in September 2024 at Synopsys Inc. It is a large monetory reward, awarded to high
potential employees hitting above their weight and delivering quality output at pace.
-
DIFFY is integrated with
VeriAbs
that participates in the ReachSafety category at the Software Verification Competition
(SV-COMP) since 2022.
-
Tools VAJRA and TILER are a part of
VeriAbs
that won a Gold medal in the
ReachSafety category at the Software Verification Competition
(SV-COMP) 2020.
-
Won the Honorable Mention award in Sprint Thesis Talks Competition at Research and Innovation
Symposium in Computing (RISC) 2017.
-
Won the Best Talk award in Sprint Thesis Talks Competition at Research and Innovation Symposium
in Computing (RISC) 2016.
-
Invited for attending Verification Mentoring Workshop (VMW) 2016
and Computer Aided Verification (CAV) 2016.
-
Awarded the "Eklavya Gold Medal" for securing the highest
aggregate at the end of four semesters among all B.E students in Computer Engineering discipline
of 2010 batch, Dharmsinh Desai University, Nadiad.
Service
Participation in Conferences and Events
-
SAT 2024,
ISSTA 2021,
ECOOP 2021,
VSOW 2021,
ETAPS 2021,
SERI 2020,
PLDI 2020,
SAS 2017,
TCQV 2016,
HVC 2013
-
Computer Aided Verification
CAV 2021,
CAV 2020,
CAV 2016
-
Indian SAT + SMT School
2024,
2023,
2022,
2021,
2020,
2019,
2018,
2017,
2016
-
Research Highlights in Programming Languages(RHPL)
2024,
2023
-
Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
2024,
2023,
2016,
2015
-
Formal Methods India Update Meeting (FMI)
2022,
2021
Research Interests
-
Formal Methods & Software Verification
-
Static & Dynamic Program Analysis
-
Applications of Machine Learning to/in Verification
-
AI/ML Compilers
Recent Publications
-
Techniques for Precise and Scalable Verification of Array Programs.
Divyesh Unadkat. PhD Thesis, IIT Bombay, 2022.
[slides]
-
Full-Program Induction: Verifying Array Programs sans Loop Invariants.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat.
In International Journal on Software Tool for Technology Transfer
(STTT) 2022.
[arXiv]
-
Diffy: Inductive Reasoning of Array Programs using Difference Invariants.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat.
In Proceedings of the 33th International Conference on Computer-Aided Verification
(CAV) 2021, Los Angeles, USA.
[arXiv]
[slides]
[talk]
[short talk]
-
Verifying Array Manipulating Programs with Full-Program Induction.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat.
In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and
Analysis of Systems (TACAS) 2020, Dublin, Ireland.
[arXiv]
[slides]
[talk]
-
VeriAbs: Verification by Abstraction and Test Generation (Competition Contribution).
Mohammad Afzal et. al.
In Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and
Analysis of Systems (TACAS) 2020, Dublin, Ireland.
-
Verifying Array Manipulating Programs by Tiling.
Supratik Chakraborty, Ashutosh Gupta, Divyesh Unadkat.
In Proceedings of the 24th International Static Analysis Symposium
(SAS) 2017, New York, USA.
[arXiv]
[slides]
Full list of publications.
Presentations
-
Full-Program Induction: A Paradigm Shift in Array Program Verification.
Presentation at the Workshop on Research Highlights in Programming Languages, December 2023, IIIT Hyderabad, India.
[talk]
-
Inductive Reasoning for Precise and Scalable Verification of Array Programs.
PhD defence presentation, January 2023, IIT Bombay, India.
[slides]
-
Frontiers of Inductive Reasoning for Arrays.
Presentation at the 7th Indian SAT+SMT School, December 2022, IIT Madras, India.
[slides]
[talk]
-
Dance of the Dragons: Induction, Difference Computation, and SMT Solving.
Presentation at the Formal Methods Update Meeting FMI,
July 2022, IIT Delhi, India.
[slides]
-
Difference Invariants for Inductive Verification.
Presentation at the 6th Indian SAT+SMT School, December 2021, Online Event, India.
[talk]
-
Exploiting Induction and Difference Computation to Verify Array Programs.
Presentation at the Formal Methods Update Meeting FMI,
July 2021, Online Event, India.
[slides]
[talk]
-
Diffy: Inductive Reasoning of Array Programs using Difference Invariants.
Conference presentation (Online) at the 33th International Conference on Computer-Aided Verification
(CAV) July 2021, Los Angeles, USA.
[slides]
[arXiv]
[talk]
[short talk]
-
Verifying Array Manipulating Programs with Full-Program Induction.
Conference presentation (Online) at the 26th International Conference on Tools and Algorithms for the
Construction and Analysis of Systems (TACAS), March 2021, Luxembourg.
[slides]
[arXiv]
[talk]
-
The Full-Program Induction Technique.
Presentation at the 5th Indian SAT+SMT School,
December 2020, (Online Event) Indian Institute of Technology, Hyderabad, India.
[talk]
-
Invited Talk: Verifying Array Manipulating Programs with Full-Program Induction.
Invited presentation at the 2nd Software Engineering Research in India
(SERI), July 2020,
(Online Event) International Institute of Information Technology, Hyderabad, India.
[talk]
-
Technical Poster: Verifying Array Programs with Full-Program Induction.
Poster presentation at the 4th Indian SAT+SMT School, December 2019,
Indian Institute of Technology Bombay, Mumbai, India.
-
Executive Poster: Tiling to Verify Array Programs.
Poster presentation at the TCS Anvetion Workshop, 2018,
IITM Research Park, Indian Institute of Technology Madras, Chennai, India.
-
Short Talk: Verifying Array Manipulating Programs by Tiling.
Short presentation at the 2nd Indian
SAT+SMT School, December 2017,
Infosys Leadership Institute, Mysore, Karnataka, India.
-
Verifying Array Manipulating Programs by Tiling.
Conference presentation at the 24th International Static Analysis Symposium
(SAS), August 2017,
New York University, New York, NYC, USA.
[slides]
-
Competition Talk: Verifying Array Manipulating Programs by Tiling.
Research and Innovation Symposium in Computing
(RISC), April 2017,
Indian Institute of Technology Bombay, Mumbai, India.
-
Competition Talk: Towards Precise Software Verification.
Research and Innovation Symposium in Computing
(RISC), April 2016,
Indian Institute of Technology Bombay, Mumbai, India.
-
Assertion Checking using Dynamic Inference.
Conference presentation at the 9th Haifa Verification Conference
(HVC), November 2013,
IBM Research, Haifa, Israel.
|