Leandro Facchinetti

According to our database, Leandro Facchinetti authored at least 4 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

A Set-Based Context Model for Program Analysis.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Higher-order Demand-driven Program Analysis.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith

ACM Trans. Program. Lang. Syst., 2019

2017

Relative Store Fragments for Singleton Abstraction.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith

Proceedings of the Static Analysis - 24th International Symposium, 2017

2016

Higher-Order Demand-Driven Program Analysis (Artifact).

Leandro Facchinetti, Zachary Palmer, Scott F. Smith

Dagstuhl Artifacts Ser., 2016