Debasmita Lohar

Debasmita Lohar

PhD Student

The true measure of success is how many times you can bounce back from failure.  - Stephen Richards
Contact Me

About Me

Hello! I am a PhD student under the supervision of Dr. Eva Darulovà at Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany.

My primary research areas are: Program Analiysis, Abstract Interpretation, Approximate Computing, Bounded Model Checking, Software Reliability Analysis.

Prior to this, I have completed Master of Science (MS) by Research under the supervision of Dr. Soumyajit Dey in the Department of Computer Science & Engineering of Indian Institute of Technology, Kharagpur, India.

I did my Bachelor's in Computer Science and Engineering from Heritage Institute of Technology , Kolkata. I completed high school from Jadavpur Vidyapith .

Research Activities


  • I am a program committee member of EMSOFT-WiP 2019.

  • We are offering a blockseminar on Advanced Program Analysis in March, 2019.

  • Our benchmarks are available for download now.

  • The probabilistic analysis presented at EMSOFT 2018 is now available in GitHub.

  • Research Tools

  • Daisy: a framework for verifying and optimizing numerical programs

  • ProPFA: Probabilistic Path-based Failure Analyzer

  • MS Thesis

    Formal Methods for Probabilistic Failure Analysis of Behavioral Specifications

    Download Thesis


    View on DBLP

    Selected Projects

    Memory Safety Verification of FreeRTOS protocols

    Automated Reasoning Group, Amazon Web Services (AWS), Boston, United States
    Supervisor: Mark Tuttle
    Duration: May 2019 - July 2019

    This project focuses on verifying memory safety of network protocols of Amazon's FreeRTOS using Bounded Model Checking. All proofs are available in Github .

    Automated Verification and Approximation

    Max Planck Institute for Software Systems (MPI-SWS), Saarbrücken, Germany
    Supervisor: Dr. Eva Darulovà
    Duration: July 2016 - September 2016

    The motivation of this project is to statically infer properties of a program in presence of Imprecise Probabilistic Inputs. The input variables of the program, their distributions and dependencies are considered here; otherwise the analysis may end up with huge over approximation. To propagate the uncertainties through the program, arithmetic operations on abstract structures are required to be defined separately.

    I have worked as a Research Intern on Static Analysis of Programs with Imprecise Probabilistic but Independent Inputs.

    RTOS Validation and Development Support

    Indian Institute of Technology (IIT), Kharagpur, India
    Supervisors: Prof. (Dr.) Pallab Dasgupta and Dr. Soumyajit Dey
    Sponsor: Hindustan Aeronautics Limited
    Duration: October 2015 - June 2016

    This project focuses on formal verification of a real time operating system controlling a safety critical avionic system. I have worked as a Research Consultant in this project.

    Architecture and Algorithmic Optimizations for Speech based Communication Interfaces on Mobile Devices

    Indian Institute of Technology (IIT), Kharagpur, India
    Supervisor: Dr. Soumyajit Dey
    Sponsor: Intel Semiconductor (US) Limited
    Duration: September 2013 - January 2016

    Automatic Speech Recognition (ASR) on embedded platforms has been gaining popularity. However a pure software or hardware approach limits the performance against the constraints of processing power and memory bandwidth of target platforms. The main objective of this project is to present a hardware-software co-processing speech recognizer where the hardware accelerator would accelerate computationally intensive parts of the algorithm.

    As a Research Consultant my resposibility was to develop a hardware-software co-design of a GMM/HMM based Speech Recognition System.

    web counter free