| Higher-order demand-driven program analysis Z Palmer, SF Smith 30th European Conference on Object-Oriented Programming (ECOOP 2016), 2016 | 12 | 2016 |
| Backstage Java: making a difference in metaprogramming Z Palmer, SF Smith ACM SIGPLAN Notices 46 (10), 939-958, 2011 | 12 | 2011 |
| Higher-order demand-driven symbolic evaluation Z Palmer, T Park, S Smith, S Weng Proceedings of the ACM on Programming Languages 4 (ICFP), 1-28, 2020 | 7 | 2020 |
| Relative store fragments for singleton abstraction L Facchinetti, Z Palmer, SF Smith International Static Analysis Symposium, 106-127, 2017 | 7 | 2017 |
| Types for flexible objects PH Menon, Z Palmer, A Rozenshteyn, S Smith Technical report, The Johns Hopkins University, 2013 | 6 | 2013 |
| Higher-order demand-driven program analysis L Facchinetti, Z Palmer, S Smith ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (3), 1-53, 2019 | 5 | 2019 |
| Types for flexible objects Z Palmer, PH Menon, A Rozenshteyn, S Smith Asian Symposium on Programming Languages and Systems, 99-119, 2014 | 5 | 2014 |
| K3: Language design for building multi-platform, domain-specific runtimes PC Shyamshankar, Z Palmer, Y Ahmad First International Workshop on Cross-model Language Design and …, 2012 | 4 | 2012 |
| A Set-Based Context Model for Program Analysis L Fachinetti, Z Palmer, SF Smith, K Wu, A Yorihiro Asian Symposium on Programming Languages and Systems, 3-24, 2020 | 3 | 2020 |
| Principles of Programming Languages M Grant, Z Palmer, S Smith Self-publishing, 2020 | 2* | 2020 |
| Building a Typed Scripting Language Z Palmer PhD thesis, Johns Hopkins University, Baltimore, MD, USA, 2015 | 2 | 2015 |
| A Schematic Pushdown Reachability Language Z Palmer, C Raty | 1* | |
| Higher-Order Demand-Driven Program Analysis (Artifact) L Facchinetti, Z Palmer, SF Smith DARTS-Dagstuhl Artifacts Series 2, 2016 | | 2016 |
| A Practical, Typed Variant Object Model PH Menon, Z Palmer, A Rozenshteyn, S Smith FOOL 2012: 19th International Workshop on Foundations of Object-Oriented …, 2012 | | 2012 |
| What is Your Function? Static Pattern Matching on Function Behavior L Facchinetti, PH Menon, Z Palmer, A Rozenshteyn, SF Smith | | |
