Samuel Hym

According to our database, Samuel Hym authored at least 16 papers between 2005 and 2022.

Collaborative distances:

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

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

Formal proof of dynamic memory isolation based on MMU.

Narjes Jomaa, David Nowak, Gilles Grimaud, Samuel Hym

Sci. Comput. Program., 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

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

2009

Mobility control via passports.

Samuel Hym

Inf. Comput., 2009

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

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