Federico Cassano

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 14

Top Topics

Lambda Calculus

Denotational Semantics

Programming Language

Knowledge Transfer

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

Publications

Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, Federico Cassano, Chuyue Sun, Ying Sheng, Anish Mudide, Md Rakib Hossain Misu, Nada Amin, Max Tegmark
DafnyBench: A Benchmark for Formal Software Verification. CoRR (2024)
Anton Lozhkov, Raymond Li, Loubna Ben Allal, Federico Cassano, Joel Lamy-Poirier, Nouamane Tazi, Ao Tang, Dmytro Pykhtar, Jiawei Liu, Yuxiang Wei, Tianyang Liu, Max Tian, Denis Kocetkov, Arthur Zucker, Younes Belkada, Zijian Wang, Qian Liu, Dmitry Abulkhanov, Indraneil Paul, Zhuang Li, Wen-Ding Li, Megan Risdal, Jia Li, Jian Zhu, Terry Yue Zhuo, Evgenii Zheltonozhskii, Nii Osae Osae Dade, Wenhao Yu, Lucas Krauß, Naman Jain, Yixuan Su, Xuanli He, Manan Dey, Edoardo Abati, Yekun Chai, Niklas Muennighoff, Xiangru Tang, Muhtasham Oblokulov, Christopher Akiki, Marc Marone, Chenghao Mou, Mayank Mishra, Alex Gu, Binyuan Hui, Tri Dao, Armel Zebaze, Olivier Dehaene, Nicolas Patry, Canwen Xu, Julian J. McAuley, Han Hu, Torsten Scholak, Sébastien Paquet, Jennifer Robinson, Carolyn Jane Anderson, Nicolas Chapados, et al.
StarCoder 2 and The Stack v2: The Next Generation. CoRR (2024)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. ESEC/SIGSOFT FSE (2023)
Federico Cassano, Ming-Ho Yee, Noah Shinn, Arjun Guha, Steven Holtzen
Type Prediction With Program Decomposition and Fill-in-the-Type Training. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell, Massimiliano Culpo, Todd Gamblin
Flexible and Optimal Dependency Management via Max-SMT. ICSE (2023)
Federico Cassano, Luisa Li, Akul Sethi, Noah Shinn, Abby Brennan-Jones, Anton Lozhkov, Carolyn Jane Anderson, Arjun Guha
Can It Edit? Evaluating the Ability of Large Language Models to Follow Code Editing Instructions. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
A Large Scale Analysis of Semantic Versioning in NPM. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
npm-follower: A Complete Dataset Tracking the NPM Ecosystem. CoRR (2023)
Donald Pinckney, Federico Cassano, Arjun Guha, Jonathan Bell
A Large Scale Analysis of Semantic Versioning in NPM. MSR (2023)
Federico Cassano, Charles Bershatsky, Jacob Ginesin
SafeLLVM: LLVM Without The ROP Gadgets! CoRR (2023)
Noah Shinn, Federico Cassano, Ashwin Gopinath, Karthik Narasimhan, Shunyu Yao
Reflexion: language agents with verbal reinforcement learning. NeurIPS (2023)
Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming-Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation. IEEE Trans. Software Eng. 49 (7) (2023)
Federico Cassano, John Gouwar, Francesca Lucchetti, Claire Schlesinger, Carolyn Jane Anderson, Michael Greenberg, Abhinav Jangda, Arjun Guha
Knowledge Transfer from High-Resource to Low-Resource Programming Languages for Code LLMs. CoRR (2023)
Federico Cassano, John Gouwar, Daniel Nguyen, Sydney Nguyen, Luna Phipps-Costin, Donald Pinckney, Ming Ho Yee, Yangtian Zi, Carolyn Jane Anderson, Molly Q. Feldman, Arjun Guha, Michael Greenberg, Abhinav Jangda
A Scalable and Extensible Approach to Benchmarking NL2Code for 18 Programming Languages. CoRR (2022)