Zachary Palmer

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 6

Top Topics

Lambda Calculus

Markov Random Field

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro
A Set-Based Context Model for Program Analysis. APLAS (2020)
Zachary Palmer, Theodore Park, Scott F. Smith, Shiwei Weng
Higher-order demand-driven symbolic evaluation. Proc. ACM Program. Lang. 4 (ICFP) (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)
Zachary Palmer, Scott F. Smith
Higher-Order Demand-Driven Program Analysis. ECOOP (2016)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Higher-Order Demand-Driven Program Analysis (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith
Types for Flexible Objects. APLAS (2014)
Zachary Palmer, Scott F. Smith
Backstage Java: making a difference in metaprogramming. OOPSLA (2011)