• Sign in
  • Sign up
conf.researchr.org / Federico Cassano
  • ESEC/FSE 2023 profile
  • ICSE 2023 profile
  • ICSE 2024 profile
  • ICSE 2025 profile
  • POPL 2025 profile
  • SPLASH 2024 profile
Federico Cassano

Registered user since Fri 13 Jan 2023

Name:Federico Cassano
Affiliation:Northeastern University
Personal website: https://federico.codes/
GitHub: https://github.com/cassanof
Research interests:Supply Chain Security

Contributions

2025

Dafny

  • Author of DafnyBench: A Benchmark for Formal Software Verification within the Dafny 2025-track
  • Author of VerMCTS: Synthesizing Multi-Step Programs using a Verifier, a Large Language Model, and Tree Search within the Dafny 2025-track

2024

SPLASH

  • Author of Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs within the OOPSLA 2024-track

LLM4Code

  • Author of Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions within the LLM4Code 2024-track

2023

Mining Software Repositories

  • Author of A Large Scale Analysis of Semantic Versioning in NPM within the Technical Papers-track

ESEC/FSE

  • Author of npm-follower: A Complete Dataset Tracking the NPM Ecosystem within the Demonstrations-track
  • Author of MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation within the Journal First-track

ICSE

  • Author of Flexible and Optimal Dependency Management via Max-SMT within the Technical Track-track
  • Author of Artifact for Flexible and Optimal Dependency Management via Max-SMT within the Artifact Evaluation-track
Share
xThu 19 Jun 04:36
using conf.researchr.org (v1.69.0)
Support page
Sign Up