Research output per year
Research output per year
Personal profile
Research
My primary research areas are: Program Analysis, Approximate Computing, Probabilistic Analysis, with applications in embedded systems, scientific computing, and machine learning.
For more details, please visit my personal website: https://dlohar.github.io/.
Keywords
- Approximate Computing
- Program Analysis
- Software Verification
Fingerprint
Dive into the research topics where Debasmita Lohar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Precision Switching Schedule for Efficient Control Implementations
Banerjee, D., Lohar, D. & Ghosh, S., 28 Feb 2026.Research output: Working paper › Preprint
Open AccessFile -
Cost of Soundness in Mixed-Precision Tuning
Isychev, A. & Lohar, D., 9 Oct 2025, In: Proceedings of the ACM on Programming Languages. 9, p. 1-28 28 p., 359.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access -
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision
Teuber, S., Lohar, D. & Beckert, B., 2025, Formal Methods in Computer-Aided Design (FMCAD). TU Wien Academic PressResearch output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
-
Toward Precision-Aware Safe Neural-Controlled Cyber–Physical Systems
Thevendhriya, H., Ghosh, S. & Lohar, D., Dec 2024, In: IEEE Embedded Systems Letters. 16, 4, p. 397 - 400 3 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
-
Sound Mixed Fixed-Point Quantization of Neural Networks
Lohar, D., Jeangoudoux, C., Volkova, A. & Darulova, E., 31 Oct 2023, In: ACM Transactions on Embedded Computing Systems.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
Open Access