Samuel Hym

According to our database, Samuel Hym authored at least 17 papers between 2005 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Dynamic Verification of OCaml Software with Gospel and Ortac/QCheck-STM.

Nikolaus Huber, Naomi Spargo, Nicolas Osborne, Samuel Hym, Jan Midtgaard

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

2022

End-to-End Mechanized Proof of an eBPF Virtual Machine for Micro-controllers.

Shenghao Yuan, Frédéric Besson, Jean-Pierre Talpin, Samuel Hym, Koen Zandberg, Emmanuel Baccelli

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2018

Proof-Oriented Design of a Separation Kernel with Minimal Trusted Computing Base.

Narjes Jomaa, Paolo Torrini, David Nowak, Gilles Grimaud, Samuel Hym

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2018

Formal proof of polynomial-time complexity with quasi-interpretations.

Hugo Férée, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016

Formal Proof of Dynamic Memory Isolation Based on MMU.

Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

2015

Complexity and Expressiveness of ShEx for RDF.

Slawek Staworko, Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig

Proceedings of the 18th International Conference on Database Theory, 2015

Towards an RDF Validation Language Based on Regular Expression Derivatives.

José Emilio Labra Gayo, Eric Prud'hommeaux, Iovka Boneva, Slawek Staworko, Harold R. Solbrig, Samuel Hym

Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), 2015

2014

Summary-based inference of quantitative bounds of live heap objects.

Víctor A. Braberman, Diego Garbervetsky, Samuel Hym, Sergio Yovine

Sci. Comput. Program., 2014

Validating RDF with Shape Expressions.

Iovka Boneva, José Emilio Labra Gayo, Samuel Hym, Eric G. Prud'hommeaux, Harold R. Solbrig, Slawek Staworko

CoRR, 2014

2011

Verifiable Control Flow Policies for Java Bytecode.

Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

On-Device Control Flow Verification for Java Programs.

Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2008

Encapsulation and Dynamic Modularity in the pi-calculus.

Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

2007

Adding recursion to Dpi.

Samuel Hym, Matthew Hennessy

Theor. Comput. Sci., 2007

Mobility Control Via Passports.

Samuel Hym

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

2006

Typage et contrôle de la mobilité. (Typing and control of mobility).

Samuel Hym

PhD thesis, 2006

A stackless runtime environment for a Pi-calculus.

Frédéric Peschanski, Samuel Hym

Proceedings of the 2nd International Conference on Virtual Execution Environments, 2006

2005

Adding Recursion to Dpi: (Extended Abstract).

Samuel Hym, Matthew Hennessy

Proceedings of the Second Workshop on Structural Operational Semantics, 2005