Julien Simonnet

According to our database, Julien Simonnet authored at least 4 papers between 2002 and 2025.

Collaborative distances:

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

2025

Precise and Efficient Memory Analysis of Low-level Languages. (Analyse mémoire précise et efficace pour les languages de bas niveau).

Julien Simonnet

PhD thesis, 2025

2024

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code.

Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu

Proc. ACM Program. Lang., 2024

2004

SWARP: a retargetable preprocessor for multimedia instructions.

Gilles Pokam, Stéphane Bihan, Julien Simonnet, François Bodin

Concurr. Comput. Pract. Exp., 2004

2002

Application of Information Technology: Arden/J: An Architecture for MLM Execution on the Java Platform.

Harry C. Karadimas, Christophe Chailloleau, François Hemery, Julien Simonnet, Eric Lepage

J. Am. Medical Informatics Assoc., 2002