Leandro Facchinetti

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 4

Top Topics

Lambda Calculus

Conditional Random Fields

Top Venues

Dagstuhl Artifacts Ser.

ACM Trans. Program. Lang. Syst.

Publications

Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro
A Set-Based Context Model for Program Analysis. APLAS (2020)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Higher-order Demand-driven Program Analysis. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Relative Store Fragments for Singleton Abstraction. SAS (2017)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Higher-Order Demand-Driven Program Analysis (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)