Debasmita Lohar
15 posts
@DebasmitaLohar
Assistant Professor at IT University of Copenhagen. Interested in Program Verification and Testing techniques for safe Approximate Computing.
SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com). More info: pldi26.sigplan.org/home/SOAP-2026 #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder
SOAP 2026 is now accepting paper submissions! Submit your experiments, tools, and ideas on program analysis by March 4, 2026 (soap26.hotcrp.com). More info: pldi26.sigplan.org/home/SOAP-2026 #SOAP2026 #CallForPapers #ProgramAnalysis Co-located with #PLDI2026 in #Boulder
Proud advisor moment: my PhD student @DebasmitaLohar has just defended her thesis with flying colors! 🎉
Made my way back to Saarbrücken to attend @DebasmitaLohar’s PhD defense (which was a surprise for her hehe), and deliver her well-deserved graduation hat. Congratulations, Dr.Lohar! 🥳
I love it when things work out: (coincidentally) timed my nostalgic visit to Saarbrücken just right to congratulate @DebasmitaLohar on her thesis submission! 🥳
Anastasia Isychev is concluding the session with Scaling up Roundoff Analysis of Functional Data Structure Programs
