Frédéric Haziza

Frédéric Haziza NBIS expert

front-end development, cloud computing, system development

emailfrederic.haziza@nbis.se

Frédéric has a PhD in computer science in the field of Algorithmic Program Verification. Prior to joining NBIS, Fred worked for UPPMAX, where he was involved in setting up Smog, the UPPMAX cloud service, as well as bioimg.org, a catalogue of life science virtual machine images.

At NBIS, Frédéric started working with OpenStack deployments, µ-Mosler, as well as front-end developments and a new Python course. As part of the Tryggve Project, he successfully connected the finnish cloud infrastructure ePouta with a temporary cloud in Sweden, in order to extend resources across borders if necessary. Finally, he is currently working on creating and setting up a Local EGA solution for Sweden.

Selected publications

Abdulla, P. A., Haziza, F., and Holı́k Lukás (2016) Parameterized verification through view abstraction. STTT, 18, 495–516.

Haziza, F., Holı́k Lukás, Meyer, R., and Wolff, S. (2016) Pointer Race Freedom. In, Jobstmann,B. and Leino,K.R.M. (eds), Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, Lecture Notes in Computer Science. Springer, pp. 393–412.

Abdulla, P. A., Haziza, F., and Holı́k Lukás (2015) View Abstraction - A Tutorial (Invited Paper). In, André,Étienne and Frehse,G. (eds), 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom, OASICS. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 1–15.

Haziza, F., Holı́k Lukás, Meyer, R., and Wolff, S. (2015) Pointer Race Freedom. CoRR, abs/1511.00184.

Abdulla, P. A., Haziza, F., and Holı́k Lukás (2014) Block Me If You Can! - Context-Sensitive Parameterized Verification. In, Müller-Olm,M. and Seidl,H. (eds), Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, Lecture Notes in Computer Science. Springer, pp. 1–17.

Abdulla, P. A., Haziza, F., Holı́k Lukás, Jonsson, B., and Rezine, A. (2013) An Integrated Specification and Verification Technique for Highly Concurrent Data Structures. In, Piterman,N. and Smolka,S.A. (eds), Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings, Lecture Notes in Computer Science. Springer, pp. 324–338.

Abdulla, P. A., Haziza, F., and Holı́k Lukás (2013) All for the Price of Few. In, Giacobazzi,R., Berdine,J., and Mastroeni,I. (eds), Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Lecture Notes in Computer Science. Springer, pp. 476–495.

Abdulla, P. A., Chen, Y.-F., Delzanno, G., Haziza, F., Hong, C.-D., and Rezine, A. (2010) Constrained Monotonic Abstraction: A CEGAR for Parameterized Verification. In, Gastin,P. and Laroussinie,F. (eds), CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, Lecture Notes in Computer Science. Springer, pp. 86–101.

Abdulla, P. A., Haziza, F., and Kindahl, M. (2008) Model checking race-freeness. SIGARCH Computer Architecture News, 36, 72–79.

Abdulla, P. A., Bouajjani, A., Cederberg, J., Haziza, F., and Rezine, A. (2008) Monotonic Abstraction for Programs with Dynamic Memory Heaps. In, Gupta,A. and Malik,S. (eds), Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, Lecture Notes in Computer Science. Springer, pp. 341–354.

Abdulla, P. A., Henda, N. B., Delzanno, G., Haziza, F., and Rezine, A. (2008) Parameterized Tree Systems. In, Suzuki,K., Higashino,T., Yasumoto,K., and El-Fakih,K. (eds), Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings, Lecture Notes in Computer Science. Springer, pp. 69–83.

Abdulla, P. A., Bouajjani, A., Cederberg, J., Haziza, F., Ji, R., and Rezine, A. (2008) Shape Analysis via Monotonic Abstraction. In, Muscholl,A., Ramanujam,R., Rusinowitch,M., Schwentick,T., and Vianu,V. (eds), Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008, Dagstuhl Seminar Proceedings. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany.

Jobstmann, B. and Leino, K. R. M. eds. (2016) Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings Springer.

André, Étienne and Frehse, G. eds. (2015) 2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, April 11, 2015, London, United Kingdom Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

Müller-Olm, M. and Seidl, H. eds. (2014) Static Analysis - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings Springer.

Piterman, N. and Smolka, S. A. eds. (2013) Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings Springer.

Giacobazzi, R., Berdine, J., and Mastroeni, I. eds. (2013) Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings Springer.

Gastin, P. and Laroussinie, F. eds. (2010) CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings Springer.

Gupta, A. and Malik, S. eds. (2008) Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings Springer.

Suzuki, K., Higashino, T., Yasumoto, K., and El-Fakih, K. eds. (2008) Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings Springer.

Muscholl, A., Ramanujam, R., Rusinowitch, M., Schwentick, T., and Vianu, V. eds. (2008) Beyond the Finite: New Challenges in Verification and Semistructured Data, 20.04. - 25.04.2008 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany.