• Sign in
  • Sign up
conf.researchr.org / Emanuele De Angelis
  • ETAPS 2019 profile
  • ICSE 2022 profile
  • POPL 2016 profile
  • POPL 2023 profile
  • ‹Programming› 2019 profile
Emanuele De Angelis

Registered user since Fri 20 Nov 2015

Name:Emanuele De Angelis
Country:Italy
Affiliation:CNR-IASI
Personal website:http://www.iasi.cnr.it/~edeangelis/
Research interests:Automatic Verification & Validation, Program Transformation

Contributions

PADL 2023 Author of Multiple Query Satisfiability of Constrained Horn Clauses within the PADL 2023-track
AST 2022 Web Chair in Organizing Committee within the AST 2022-track
HCVS 2019 Co-chair in Organizing Committee within the HCVS-track
Co-chair in Program Committee within the HCVS-track
Author of Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification within the HCVS-track
VPT 2019 Author of Lemma Generation for Horn Clause Satisfiability: A Preliminary Study within the VPT 2019 -track
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track

Share
xSat 25 Mar 15:15
using conf.researchr.org (v1.59.1)
Support page
Sign Up