Gennaro Parlato








Short Bio

Gennaro Parlato is Full Professor of Computer Science at the
University of Molise (UNIMOL), heading the
Program Analysis in the Clouds Lab (PAC Lab)
within the Department of Biosciences and Territory (DiBT).

Prior to UNIMOL, Gennaro had a prolific international research career,
including a postdoc role at UIUC (Urbana, USA, May 2006-March 2010),
and work at LIAFA/IRIF Laboratory (Paris, France, April 2010-April 2011).
From 2011 and 2018, Gennaro was an academic at
the University of Southampton (SOTON), progressing from Lecturer
to Associate Professor in the
Department of Electronics and Computer Science (ECS),
While at the University of Southampton, he also contributed to the
GCHQ/EPSRC Academic Centre of Excellence for
Cybersecurity Research. Gennaro received his
Computer Science doctorate from the University of Salerno, Italy,
in April 2006.

His CV is available here.

Research Interests

   - Software analysis and verification
   - Model checking: algorithms and tools
   - Verification of Concurrent Software
   - Security, Access Control
   - Logics, automata theory, and graph theory

Current Research Projects

   - Sequentialization of concurrent programs (CSeq)
   - Model checking of concurrent programs using fixed-point (GetAFix)
   - Reasoning with dynamic data structures (STRAND)
   - Verification of access control models (VAC)
   - Symbolic Infinite State Tree Automata (SISTA)
   - Programs Analysis in the Clouds (PAC) supported by Amazon Science

Software/Tools

   - CSeq: Sequentialization framework for concurrent C programs
   - GetAFix: A Boolean program checker
   - STRAND: Decidable logics/SMT solver for reasoning with heaps
   - VAC: Verifier for Role Based Access Control Systems
   - VERISMART

PhD Students

    - Enrico Steffinlongo      
      [ Visinting PhD student,  Ca' Foscari University of Venice, Italy,  Oct 2016-Jun 2018 ]
            Reseach topic: Verification of Access Control Models

   - Mikhail Ramalho
      [Feb 2015-Dec 2018, co-advised with Denis A Nicole)  

   - Truc Lam Nguyen         [ Oct 2013 - May 2017 ]
      Thesis: A pragmatic verification approach for concurrent programs 

   - Ermenegildo Tomasco  [May 2012-May 2017]
      Thesis: Separating Computation from Communication: A Design Approach for Concurrent

    - Omar Inverso               [ Oct 2011 - Oct 2015 ]
       Thesis: Bounded Model Checking of Multi-threaded Programs via Sequentialization
         

Postdocs

   - Omar Inverso (2015)
   - Truc Lam Nguyen (2016)
   - Mikhail Ramalho (2016)
   - Giulio Garbi (2022-24)


Service

   - PC Member: CAV 2023, Paris, France
     35^th Int'l conference on Computer Aided Verification

   - PC Member: VSTTE 2023, Ames, IA, USA
     15^th Working Conference on Verified Software  

   - PC Member: VMCAI 2023, Boston, MA, USA
     24^th Int'l Conference on Verification, Model Checking, and Abstract Interpretation 

   - PC Member: VSTTE 2022, Oxford, UK
     14^th Working Conference on Verified Software  

   - PC Member: OVERLAY 2021, Padova, Italy
     3^rd Workshop on Artificial Ontelligence and fOrmal VERification, Logic,
     Automata, and sYnthesis 

   - PC Member: LATA 2020 & 2021, Milan, Italy
     14^th-15^th Int'l Conference on Language and Automata Theory and Applications  

   - PC Member: GandALF 2020, Brussels, Belgium
     11^th Int'l Symposium on Games, Automata, Logics and Formal Verification

   - PC Member: GandALF 2019, Bordeaux, France
     10^th Int'l Symposium on Games, Automata, Logics and Formal Verification

   - PC Member: VSTTE 2018, Oxford, UK
     10^th Working Conference on Verified Software  

   - PC Member: LATA 2018, Bar-Ilan, Israel
     12^th Int'l Conference on Language and Automata Theory and Applications  

   - PC Member: GandALF 2018, Saarbrucken, Germany
     9^th Int'l Symposium on Games, Automata, Logics and Formal Verification

   - PC and Jury Member: SV-COMP 2017, Uppsala, Sweden
     6^th Competition on Software Verification

   - ERC Member: CAV 2016, Toronto, Ontario, Canada
     28^th Int'l Conference on Computer Aided Verification

   - PC Member: ICSE 2016, Austin, USA
     38^th Int'l Conference on Software Engineering

  - PC and Jury Member: SV-COMP 2016, Eindhoven, Netherlands
     5^th Competition on Software Verification

   - PC Member: TGC 2015, Madrid, Spain
     10^th Int'l Symposium on Trustworthy Global Computing

   - PC Member: SPIN 2015, Stellenbosch, South Africa
     22^nd Int'l SPIN Workshop on Model Checking of Software

   - PC Member: FCT 2015, Gdansk, Poland
     20^th Int'l Symposium on Fundamentals of Computation Theory

   - PC and Jury Member: SV-COMP 2015, London, UK
     4^th Competition on Software Verification

   - PC Member: GandALF 2015, Genoa, Italy
     5^th Int'l Symposium on Games, Automata, Logics and Formal Verification

   - PC and Jury Member: SV-COMP 2014, Grenoble, France
     3^rd Competition on Software Verification

   - PC Member: CAV 2012, Berkeley, USA
     24^th Int'l Conference on Computer Aided Verification

   - PC Member: MFCS 2012, Bratislava, Slovakia.
     37^th Int'l Symposium on Mathematical Foundations of Computer Science.

   - PC Member: GandALF 2010, Minori, Italy
     1^st Int'l Symposium on Games, Automata, Logics and
     Formal Verification

Contact Information