Department of Information Technology
Current Position

Employed by BILS as a system developer.

Past Position

System developer at Uppmax on the new SMOG cloud system.
I built it from the ground on top of Openstack.
We provided a few services (like Spark, Hadoop, Chipster and Virtual Machines for private projects)

Publications

Pointer Race Freedom. Frédéric Haziza, Lukás Holík, Roland Meyer, and Sebastian Wolff. In Verification, Model Checking, And Abstract Interpretation, VMCAI 2016, volume 9583 of Lecture Notes in Computer Science, pp 393-412, Springer, 2016. (DOI).
Parameterized verification through view abstraction. Parosh Aziz Abdulla, Frédéric Haziza, and Lukás Holík. In International Journal on Software Tools for Technology Transfer (STTT), volume 18, number 5, pp 495-516, 2016. (DOI).
Few is Just Enough!: Small Model Theorem for Parameterized Verification and Shape Analysis. Frédéric Haziza. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1302, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
BioImg.org: A catalog of virtual machine images for the life sciences. Martin Dahlö, Frédéric Haziza, Aleksi Kallio, Eija Korpelainen, Erik Bongcam-Rudloff, and Ola Spjuth. In Bioinformatics and Biology Insights, volume 9, pp 125-128, 2015. (DOI).
Block me if you can!: Context-sensitive parameterized verification. Parosh Aziz Abdulla, Frédéric Haziza, and Lukás Holík. In Static Analysis: SAS 2014, volume 8723 of Lecture Notes in Computer Science, pp 1-17, Springer, 2014. (DOI, fulltext).
An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. Parosh Aziz Abdulla, Frédéric Haziza, Lukas Holik, Bengt Jonsson, and Ahmed Rezine. In Tools and Algorithms for the Construction and Analysis of Systems, 2013. (fulltext).
All for the price of few: (Parameterized verification through view abstraction). Parosh Aziz Abdulla, Frédéric Haziza, and Lukáš Holík. In Verification, Model Checking, and Abstract Interpretation, volume 7737 of Lecture Notes in Computer Science, pp 476-495, Springer Berlin/Heidelberg, 2013. (DOI, fulltext).
Constrained monotonic abstraction: A CEGAR for parameterized verification. Parosh Aziz Abdulla, Yu-Fang Chen, Giorgio Delzanno, Frédéric Haziza, Chih-Duo Hong, and Ahmed Rezine. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI).
Model checking race-freeness. Parosh Aziz Abdulla, Frédéric Haziza, and Mats Kindahl. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI).
Model Checking Race-Freeness. Parosh Aziz Abdulla, Frédéric Haziza, and Mats Kindahl. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
Monotonic abstraction for programs with dynamic memory heaps. Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, and Ahmed Rezine. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI).
Parameterized tree systems. Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, and Ahmed Rezine. In Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI).

Teaching

Period Year Course
Spring 2014 Operating System and Multicore Programming Guest lecturer
Summer 2013 Website Construction Main lecturer
Spring 2013 Operating System and Multicore Programming Guest lecturer
Summer 2012 Website Construction Main lecturer
Summer 2011 Website Construction Main lecturer
Spring 2011 Process Oriented Programming Lecturer
Summer 2010 Operating Systems II (Concurrency) Main lecturer
Summer 2010 Website Construction Main lecturer
Summer 2009 Operating Systems II (Concurrency) Main lecturer
Summer 2009 Website Construction Main lecturer
Fall 2008 Computer Architecture 2 Teaching Assistant
Summer 2008 Operating Systems II (Concurrency) Main lecturer
Spring 2008 Datorsystem I - Projekt Lecturer
Spring 2008 Cryptology Teaching Assistant
Spring 2008 Operating Systems - Distans - cancelled Main lecturer
Spring 2008 Operating Systems and Compilers Main lecturer
Fall 2007 Concurrent Programming Main lecturer
Fall 2007 Computer Architecture 2 Teaching Assistant
Spring 2007 Datorsystem I - Projekt Lecturer
Spring 2007 Grundläggande Programmering Teaching Assistant
Spring 2007 Operating Systems and Compilers Main lecturer
Fall 2006 Computer Architecture 2 Teaching Assistant
Fall 2005 Computer Architecture 2 Teaching Assistant
Summer 2005 Introduction to computer games development Teaching Assistant and Lecturer
Fall 2004 Programmeringsteknik 1 (XY program) Teaching Assistant

Uppsala theme for Beamer

I created (read hacked) a theme for Uppsala University.
I find the latex beamer package very handy and good-looking to create my slides.
Very useful for teaching or conference speech.
See the longer description and refer to the thourough latex-beamer documentation for even longer:D.

Updated  2015-06-18 18:04:30 by Frédéric Haziza.