Debasmita Lohar

About Me

Hi! I am a Postdoctoral Researcher working with Bernhard Beckert in the Application-oriented Formal Verification group at KASTEL — Institute of Information Security and Dependability, Karlsruhe Institute of Technology.

I obtained my PhD from Saarland University in collaboration with the Max Planck Institute for Software Systems (MPI-SWS) Saarbrücken, where I was advised by Eva Darulova. Before that, I was a graduate student at the Indian Institute of Technology (IIT) Kharagpur, advised by Soumyajit Dey.

My primary research areas are: Program Analysis, Approximate Computing, Probabilistic Analysis, with applications in embedded systems, scientific computing, and machine learning.

Recent Publications

Cost of Soundness in Mixed-Precision Tuning

Anastasia Isychev and Debasmita Lohar — accepted at OOPSLA 2025.

Preliminary Version Code

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision

Samuel Teuber, Debasmita Lohar, and Bernhard Beckert — accepted at FMCAD 2025.

Extended Version

Towards Precision-Aware Safe Neural-Controlled Cyber-Physical Systems

Harikishan Thevendhriya, Sumana Ghosh, and Debasmita Lohar — ESWEEK-ESL 2024.

Preprint Presentation Tool: Nexus

Sound Mixed Fixed-Point Quantization of Neural Networks

Debasmita Lohar, Clothilde Jeangoudoux, Anastasia Volkova, and Eva Darulova — ESWEEK-TECS 2023.

Paper Presentation Tool: Aster

A Two-Phase Approach for Conditional Floating-Point Verification

Debasmita Lohar, Clothilde Jeangoudoux, Joshua Sobel, Eva Darulova, and Maria Christakis — TACAS 2021.

Paper Talk Tool: Blossom

Sound Probabilistic Numerical Error Analysis

Debasmita Lohar, Milos Prokop, and Eva Darulova — iFM 2019.

Paper Presentation Tool

Teaching

Karlsruhe Institute of Technology

Floating-Point Analysis as a part of Formal Systems II: Applications (KIT‑SS25) — Day 1 · Day 2
LLMs in Formal Verification (KIT‑SS25)
Neural Networks in Formal Verification (KIT‑WS24/25)

Saarland University

Advanced Program Analysis (UdS‑SS19)
Program Analysis (UdS‑WS18/19)

Indian Institute of Technology Kharagpur

Fault Tolerant Systems (Spring 2016, 2015, 2014)
Theory of Computation (Fall 2015)
Computer Organization and Architecture Lab (Fall 2014)