VMCAI 2026
Mon 12 - Tue 13 January 2026 Rennes, France
co-located with POPL 2026
Mon 12 Jan 2026 10:00 - 10:30 at Horizons - Analysis 1 Chair(s): Thomas P. Jensen

Static analyzers are complex pieces of software with large dependencies. They can be difficult to install, which hinders overall adoption and adds barriers to students when teaching static analysis. This work introduces Try-Mopsa: a scaled-down version of the Mopsa static analysis platform, compiled into JavaScript to run purely as a client-side application in web browsers. Try-Mopsa features a responsive interface supported by computers and smartphones alike. Try-Mopsa features all core components of Mopsa, and in particular it supports relational numerical domains. We present the interface, changes and adaptations required to have a pure JavaScript version of Mopsa. We envision Try-Mopsa to be a convenient platform for onboarding or teaching purposes.

Try it at: https://try-mopsa.rmonat.fr/

Research Scientist at Inria since Sep. 2022.

Mon 12 Jan

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30
Analysis 1VMCAI 2026 at Horizons
Chair(s): Thomas P. Jensen INRIA Rennes
09:00
60m
Keynote
Current State of the Industrial-Strength Infer Static Analysis Platform
VMCAI 2026
10:00
30m
Talk
Try-Mopsa: Relational Static Analysis in Your Pocket
VMCAI 2026
Raphaël Monat Inria and University of Lille
Pre-print