• Sign in
  • Sign up
conf.researchr.org / Daniele Gorla
  • ECOOP 2016 profile
  • ECOOP 2026 profile
  • ESEC/FSE 2021 profile
  • ICST 2025 profile
  • ISSTA/ECOOP 2024 profile

Registered user since Sat 1 Feb 2025

Name:Daniele Gorla
Affiliation:Department of Computer Science, Sapienza University of Rome
Personal website: http://wwwusers.di.uniroma1.it/~gorla/

Contributions

2026

ECOOP

  • Author of Typing Fallback Functions: A Semantic Approach to Type Safe Smart Contracts within the Technical Papers-track

PLF

  • Author of Type Safe Smart Contracts in TinySol within the PLF+PLAID 2026-track

2025

ICST

  • Author of CUBETESTERAI: Automated JUnit Test Generation using the LLaMA Model within the Industry-track

2024

ECOOP

  • Author of A Sound Type System for Secure Currency Flow within the Technical Papers-track

2021

ESEC/FSE

  • Author of Output Sampling for Output Diversity in Automatic Unit Test Generation within the Journal First-track
Share
xThu 16 Jul 10:19
using conf.researchr.org (v1.75.0)
Support page
Sign Up