Julien Le Guen

I’m looking for a job!

I am a software engineer, currently finishing a Ph.D. in the domains of compilation, static analysis and formal methods. I am looking for a position in Static Analysis, Compilation, Robotics and related fields.

Jlg [_at_] jleguen.info    CV / Resume [pdf]

Current Position

I’m a Ph.D. student in computer sciences at STMicroelectronics and VERIMAG, working at the boundary between compilation, static analysis and formal methods. My thesis title so far is “Static analysis of programs in static single assignment form using abstract interpretation”.

Projects

Most of my projects revolve around static analysis and robotics. You can find some of my ongoing and past projects on this page.

On my leisure time, I am one half of ParanoidStudio, a geek lab formed with my friend Xevel.

Publications

• Stratified Static Analysis based on Variable Dependencies. [pdf]
  David Monniaux and Julien Le Guen.
  In Proceedings of the The 3rd International Workshop on Numerical and Symbolic Abstract Domains (NSAD), September 2011.
• MinIR, a Minimalistic Intermediate Representation. [pdf]
  Julien Le Guen, Christophe Guillon, and Fabrice Rastello.
  In Proceedings of the Workshop on Intermediate Representations (WIR), pages 5–12, April 2011.

Education

I’m slowly working towards the end of my Ph.D. in Computer Science (I’m due January 2012), and before that I graduated from a french engineering school in Embedded Software Engineering. More information on my curriculum in the Personal Information page.