19 citations
- Institut de recherche mathématique de RennesFR5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Institut Camille JordanFR2 papers
- Institut de Recherche en Informatique de ToulouseFR2 papers
- International Center for Transitional JusticeUS2 papers
- Laboratoire d'Analyse et d'Architecture des SystèmesFR2 papers
- Laboratoire de Mathématiques d'OrsayFR2 papers
- Laboratoire des systèmes et applications des technologies de l'information et de l'énergieFR2 papers
- National Research University Higher School of EconomicsRU2 papers
- Université Toulouse III - Paul SabatierFR2 papers
- Bloomberg (United States)US1 paper
- Centre de Recherche en Économie et StatistiqueFR1 paper
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2021
Verified Functional Programming of an Abstract Interpreter
Lucas Franceschino, David Pichardie, Jean-Pierre Talpin
Abstract interpreters are complex pieces of software: even if the abstract interpretation theory and companion algorithms are well understood, their implementations are subject to…
cs.PL2020★ 19 cited
Repairing and Mechanising the JavaScript Relaxed Memory Model
Conrad Watt, Christopher Pulte, Anton Podkopaev +5
Modern JavaScript includes the SharedArrayBuffer feature, which provides access to true shared memory concurrency. SharedArrayBuffers are simple linear buffers of bytes, and the Ja…
cs.PL2020★ 3 cited
Sthread: In-Vivo Model Checking of Multithreaded Programs
Gene Cooperman, Martin Quinson
This work strives to make formal verification of POSIX multithreaded programs easily accessible to general programmers. Sthread operates directly on multithreaded C/C++ programs, w…