Zachary Palmer

According to our database, Zachary Palmer authored at least 8 papers between 2011 and 2020.

Collaborative distances:

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

2020

Higher-order demand-driven symbolic evaluation.

Zachary Palmer, Theodore Park, Scott F. Smith, Shiwei Weng

Proc. ACM Program. Lang., 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

Higher-Order Demand-Driven Program Analysis.

Zachary Palmer, Scott F. Smith

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014

Types for Flexible Objects.

Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2011

Backstage Java: making a difference in metaprogramming.

Zachary Palmer, Scott F. Smith

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011