Umang Mathur

New Lean use case: Veil, a multi-modal verification framework for distributed protocols from George Pîrlea, Vladimir Gladshtein, Elad Kinsbruner, Qiyuan Zhao, and Ilya Sergey at NUS. No single verification technique is sufficient for distributed protocols. Veil's approach: write a model once, then apply concrete and symbolic model checking, SMT-based proofs, and interactive theorem proving from a single executable specification in Lean. "As Lean's meta-programming, proof automation, and IDE infrastructure continue to mature, the case for embedding verifiers inside Lean only grows stronger." 🔗See the use case page for more: lean-lang.org/use-cases/veil #LeanLang #LeanProver #FormalVerification #SoftwareVerification

@kc_srk I will absolutely take up this offer!

@mathur_umang Thanks Umang. Please stop by FP Launchpad when you are on these shores next. Would love to host you here.

Schedule for the FP Launchpad kickoff is up. Eight talks covering functional hardware design, trusted computing, verified governance, JIT compilers, earth observation, diagramming languages, and mechanised metatheory with Claude Code. Not a bad day. fplaunchpad.org/2026/03/30/fp-…

The Fuzzing and Software Security Summer School is an annual programme at NUS that brings together students, researchers and industry practitioners to learn about cutting-edge techniques for discovering software vulnerabilities. More info: fuzzingsummerschool.github.io/index.html

@jvanegue I loved it too

One of my favorite newer, and lesser known paper from Tony Hoare: Concurrent Kleene Algebra — opus.bibliothek.uni-augsburg.de/opus4/frontdoo… — this paper inspired me to study the algebraic approach to program and network verification. (KATs, NetKATs, algebras of incorrectness, etc.)

@Chasen86341870 @NUSComputing Welcome to NUS!

Excited to share that I will join NUS (@NUSComputing) as an Assistant Professor this Aug! 🎉 I’m recruiting Ph.D./RAs/interns interested in Program Analysis, Code LLMs, and Agents. 🔥 Self-motivated students with strong backgrounds are especially welcome.

@kc_srk @iitmadras Congratulations

Excited to announce the launch of the Functional Programming (FP) Launchpad at @iitmadras, a new centre to build research and educational capacity for crafting efficient, reliable, and trustworthy software with mathematical guardrails. fplaunchpad.org

We are excited to share AnvilHDL (accepted at #ASPLOS26), a hardware description language with a type system that prevents a common class of bugs (which we call timing hazards) without sacrificing expressiveness for low-level control. Try it online: anvil.kisp-lab.org

One week till ICFP/SPLASH’25! conf.researchr.org/home/icfp-spla…

Welcome to NUS @93mSchwarz !

@Mh_khoshechin Congratulations! Say Hi to my student Zihan Zhou

🚀 Heading to Aarhus next week (Mon-Sat) for CONCUR'25! Excited to present "ConDpor" on Tuesday at CONCUR. 📄 Check it out: doi.org/10.4230/LIPIcs… If you'll be in the area and want to grab a coffee, meal, or drink and chat about concurrency & model checking, let me know! :)

@kc_srk @ilyasergey @NUSComputing @RiggerManuel It was a pleasure having you visit @nus_plse

Visited the NUS School of Computing earlier this week. @ilyasergey was an excellent host. Went above and beyond to make me feel welcome. Thanks Ilya! Met some great folks at @NUSComputing (👋@mathur_umang @RiggerManuel and many others who are not on this platform).

Applications are still open for the PL mentoring workship at @PLDI 2025. Apply!

Attention PL students 📢 PLMW 25 applications are out! PLMW offers a limited number of scholarships to cover costs for student participation so don't miss it ✨ See you in Seoul! Deadline: April 10 #Applications-and-Scholarships" target="_blank" rel="nofollow noopener">pldi25.sigplan.org/home/PLMW-pldi…

PLMW@PLDI'25 is now accepting applications: pldi25.sigplan.org/home/PLMW-pldi… Deadline: April 10, 2025 PLMW an excellent place to learn about exciting PL research, from the ground up, and to find your PL friends! Please apply!

The Summer School on Approximation Algorithms 2025 will be held at CSA 104, IISc, from 21st to 25th May 2025. This event is targeted towards postgraduate and senior undergraduate students. We are accepting applications till 25th March 2025.

@lorisdanto Yep, unreali(z)tic indeed. Hoping to soon have an Antidote to data races once and for all

@mathur_umang Won the race

Thrilled and honored for the recognition 🙏🏼

@RanjitJhala Thanks @RanjitJhala

@mathur_umang congrats!!!