.Laurent Hubert's.Home.Page

I am a PhD student working under the supervision of Thomas Jensen at IRISA, in Rennes. My researches are about static analysis of Java byte-code.

.Main.Activities

My work is focused on the verification and analysis of Java byte-code programs. I have worked at the UPM with German Puebla on the decompilation from Java byte-code to PROLOG to be able to use the already developed analyses of PROLOG on those decompiled programs. At Rennes, with Thomas Genet, we have developed a software to compile Java byte-code programs to Term Rewriting Systems (TRS). With David Pichardie, we have worked on a null pointer analysis for Java byte-code.

.Research.Topic.of.Interest

• Abstract Interpretation
• Java byte-code Verification
• Logic and Functional Programming

.Tools

• NIT: Nullability Inference Tool
• JavaLib

.Publications

[1]	Laurent Hubert and David Pichardie. Soundly handling static fields: Issues, semantics and analysis. In Proceedings of ByteCode'09, March 2009. (To Appear). [ bib | slides | .pdf ]
[2]	Laurent Hubert. A Non-Null annotation inferencer for Java bytecode. In Proceedings of the Workshop on Program Analysis for Software Tools and Engineering (PASTE'08). ACM, November 2008. (To Appear). [ bib | slides | .pdf ]
[3]	Laurent Hubert, Thomas Jensen, and David Pichardie. Semantic foundations and inference of non-null annotations. In Formal Methods for Open Object-Based Distributed Systems, volume 5051 of LNCS, pages 132-149. Springer Berlin, June 2008. [ bib | slides | http | .pdf ]
[4]	Laurent Hubert, Thomas Jensen, and David Pichardie. Semantic foundations and inference of non-null annotations. Research Report 6482, INRIA, March 2008. [ bib | http ]
[5]	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, and Germán Puebla. Verification of Java bytecode using analysis and transformation of logic programs. In Practical Aspects of Declarative Languages, LNCS, pages 124-139. Springer, 2007. [ bib | http | .pdf ]
[6]	Elvira Albert, Miguel Gómez-Zamalloa, Laurent Hubert, and Germán Puebla. Towards verification of java bytecode using logic programming tools. In Proceedings of the International Workshop on Software Verification and Validation, Seatle, August 2006. Computing Research Repository (CoRR). Co-located with FLoC'06. [ bib | .pdf ]
[7]	Laurent Hubert. Java bytecode verification using analysis and transformation of logic programs. Master's thesis, INSA de Rennes, June 2006. [ bib | .pdf ]
[8]	Laurent Hubert. Memory and time consumption of java bytecode programs. Technical report, INSA de Rennes, February 2006. [ bib | .pdf ]

.Contact

laurentanti-spam@trebuh.net