Publikationer pr. år
Publikationer pr. år
Personlig profil
Forskningsinteresser
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/.
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Debasmita Lohar er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
Cost of Soundness in Mixed-Precision Tuning
Isychev, A. & Lohar, D., 9 okt. 2025, I: Proceedings of the ACM on Programming Languages. s. 1-28 359.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
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 PressPublikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
-
Toward Precision-Aware Safe Neural-Controlled Cyber–Physical Systems
Thevendhriya, H., Ghosh, S. & Lohar, D., dec. 2024, I: IEEE Embedded Systems Letters. 16, 4, s. 397 - 400 3 s.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
-
Sound Mixed Fixed-Point Quantization of Neural Networks
Lohar, D., Jeangoudoux, C., Volkova, A. & Darulova, E., 31 okt. 2023, I: ACM Transactions on Embedded Computing Systems.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgang -
A Two-Phase Approach for Conditional Floating-Point Verification
Lohar, D., Jeangoudoux, C., Sobel, J., Darulova, E. & Christakis, M., 2021, International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Bidrag til bog/antologi › Forskning › peer review
Åben adgang