I love it. Coming from C, I feel that it fills exactly what is needed for doing systems programming in OCaml.
13.06.2025 16:32 — 👍 0 🔁 0 💬 0 📌 0
If you are assisting #pldi25, looking for a postdoc, research, or engineering position in analysis/compilers, or just want to chat -- feel free to reach out!
13.06.2025 16:09 — 👍 0 🔁 0 💬 0 📌 0
PLDI’25
A library to write abstract interpreters in OCaml.
These domains work particularly well with programs in SSA form (or when combined with our SSA-based abstract domains). A short, hopefully accessible, summary available here codex.top/papers/2025-....
13.06.2025 16:09 — 👍 0 🔁 0 💬 1 📌 0
PLDI’25
A library to write abstract interpreters in OCaml.
We are excited to present our new paper at #pldi25! The paper describes a family of ultra-cheap relational abstract domains, that can capture relations between variables such as y = 3 x + b or y = (x rot 3) xor 0xFF, among many others.
13.06.2025 16:09 — 👍 4 🔁 0 💬 1 📌 0
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
Prof @Polytechnique
Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID
Web: https://joaoff.com
Professor at Carnegie Mellon University, working on programming languages and software engineering. Coauthor, Programming Language Pragmatics (videos: https://tinyurl.com/PLP5vids). CTO of noteful.net ACM Publications Board member. He/him.
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
I work on http://github.com/ciao-lang/ciao, a modern Prolog system.
You can also find me on http://mastodon.social/@jfmc
IMDEA Software Institute & UPM
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
CS professor at UT Austin, does research in programming languages & formal methods.
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Occasional OCaml programmer. Host of Signals and Threads http://signalsandthreads.com
Get used to disappointment.
Professor at Aarhus University
https://cs.au.dk/~amoeller
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
