• Sign in
  • Sign up
conf.researchr.org / Gennaro Parlato
  • ASE 2019 profile
  • ASE 2022 profile
  • POPL 2023 profile
Gennaro Parlato

Registered user since Wed 17 Aug 2022

Name:Gennaro Parlato
Affiliation:University of Molise

Contributions

2023

VMCAI

  • Committee Member in Program Committee within the VMCAI 2023-track

2022

ASE

  • Author of CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory within the Tool Demonstrations-track

2019

ASE

  • Author of VeriSmart 2.0: Swarm-Based Bug-Finding for Multi-Threaded Programs with Lazy-CSeq within the Demonstrations-track
Share
xSun 20 Jul 01:31
using conf.researchr.org (v1.69.1)
Support page
Sign Up