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

Registered user since Fri 20 Nov 2015

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

Contributions

2024

AST

  • Web Chair in Organizing Committee within the AST 2024-track

VMCAI

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

PEPM

  • Author of A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) within the PEPM 2024-track

2023

Symposium on Practical Aspects of Declarative Languages

  • Author of Multiple Query Satisfiability of Constrained Horn Clauses within the PADL 2023-track

LOPSTR

  • Author of Constrained Horn Clauses Satisfiability via Catamorphic Abstractions within the LOPSTR 2023-track

2022

AST

  • Web Chair in Organizing Committee within the AST 2022-track

2019

HCVS

  • 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

  • Author of Lemma Generation for Horn Clause Satisfiability: A Preliminary Study within the VPT 2019 -track

2016

POPL

  • Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Share
xWed 14 May 00:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up