Bart Jacobs
Dear visitor,
Welcome to my homepage.
I am a post-doctoral researcher at the Department of Computer Science of the Katholieke Universiteit Leuven, Belgium. I am a member of the Security: Programming Languages task force of the DistriNet research group. I obtained my PhD at the department on February 15, 2007.
My research efforts are mainly in trying to find practical approaches for software development teams to verify security properties and other important properties of programs.
Some verification tool prototypes:
Some events:
- FTfJP 2010 (PC co-chair)
Information for students of Capita Selecta Software Engineering
Best regards,-
Bart Jacobs
Key publications:
- Mads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens, Provably correct inline monitoring for multithreaded Java-like programs, Journal of Computer Security, volume 18, issue 1, pages 37-59, January 2010
- Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte, Automatic verification of Java programs with dynamic frames, Formal Aspects of Computing, issue accepted, 2010
- Bart Jacobs, Jan Smans, Frank Piessens, Verification of unloadable C modules - Soundness proof, Technical Report (CW Reports), volume CW570, Department of Computer Science, K.U.Leuven, November 2009
- Bart Jacobs, Jan Smans, Frank Piessens, Verification of unloadable C modules - status report, Technical Report (CW Reports), volume CW567, Department of Computer Science, K.U.Leuven, October 2009
- Bart Jacobs, Frank Piessens, Failboxes: Provably safe exception handling, ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genova, Italy, July 6-10, 2009, Proceedings, volume 5653, pages 470-494, Genova, 6-10 July 2009
