Samuel Hym

20 papers A 1B 3Misc 1Journal 7Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.
TACAS (3)
Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard
2022 — conf
End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.
CAV (2)
Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli
2018 J jnl
Formal proof of dynamic memory isolation based on MMU.
Sci. Comput. Program.
Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym
2018 B conf
Formal proof of polynomial-time complexity with quasi-interpretations.
CPP
Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak
2018 J jnl
Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym
2016 Misc conf
Formal Proof of Dynamic Memory Isolation Based on MMU.
TASE
Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym
2015 A conf
Complexity and Expressiveness of ShEx for RDF.
ICDT
Slawek Staworko, Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig
2015 — conf
Towards an RDF Validation Language Based on Regular Expression Derivatives.
EDBT/ICDT Workshops
José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Slawek Staworko, Harold R. Solbrig, Samuel Hym
2014 J jnl
Summary-based inference of quantitative bounds of live heap objects.
Sci. Comput. Program.
Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine
2014 J jnl
Validating RDF with Shape Expressions.
CoRR
Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko
2011 — conf
On-Device Control Flow Verification for Java Programs.
ESSoS
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
2011 — conf
Verifiable Control Flow Policies for Java Bytecode.
Formal Aspects in Security and Trust
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
2009 J jnl
Encapsulation and Dynamic Modularity in the Pi-Calculus
CoRR
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
2009 J jnl
Mobility control via passports.
Inf. Comput.
Samuel Hym
2008 — conf
Encapsulation and Dynamic Modularity in the pi-calculus.
PLACES@DisCoTec
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
2007 J jnl
Adding recursion to Dpi.
Theor. Comput. Sci.
Samuel Hym, Matthew Hennessy
2007 B conf
Mobility Control Via Passports.
CONCUR
Samuel Hym
2006 B conf
A stackless runtime environment for a Pi-calculus.
VEE
Frédéric Peschanski, Samuel Hym
2006 — —
Typage et contrôle de la mobilité. (Typing and control of mobility).
Samuel Hym
2005 — conf
Adding Recursion to Dpi: (Extended Abstract).
SOS@ICALP
Samuel Hym, Matthew Hennessy