A Complete and Consistent Hoare Semantics for a Simple Programming Language. - John C. Cherniavsky; Samuel N. Kamin (POPL, 1977)

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. - John C. Cherniavsky; Samuel N. Kamin (J. ACM, 1979)

Some definitions for algebraic data type specifications. - Sam Kamin (ACM SIGPLAN Notices, 1979)

Final Data Tye Specifications: A New Data Type Specification Method. - Samuel N. Kamin (POPL, 1980)

Final Data Types and Their Specification. - Samuel N. Kamin (ACM Trans. Program. Lang. Syst., 1983)

Partial Implementations of Abstract Data Types: A Dissenting view on Errors. - Samuel N. Kamin; Myla Archer (Semantics of Data Types, 1984)

A FASE Specification of FP. - Samuel N. Kamin (Logic of Programs, 1985)

An Architecture for Tool Integration. - Simon M. Kaplan; Ralph E. Johnson; Roy H. Campbell; Samuel N. Kamin; James M. Purtilo; Mehdi T. Harandi; Jane W.-S. Liu (Advanced Programming Environments, 1986)

Executable Specifications with Quantifiers in the FASE System. - Stan Jefferson; Samuel N. Kamin (POPL, 1986)

The Expressive Theory of Stacks. - Samuel N. Kamin (Acta Informatica, 1987)

Inheritance in Smalltalk-80: A Denotational Definition. - Samuel N. Kamin (POPL, 1988)

Programming languages - an interpreter-based approach. - Samuel N. Kamin (Addison-Wesley, 1990)

Head-Strictness is Not a Monotonic Abstract Property. - Samuel N. Kamin (Inf. Process. Lett., 1992)

Introduction to programming with Mathematica. - Richard J. Gaylord; Samuel N. Kamin; Paul R. Wellin (Springer, 1993)

On the Power of Abstract Interpretation. - Uday S. Reddy; Samuel N. Kamin (Comput. Lang., 1993)

Report of a Workshop on Future Directions in Programming Languages and Compilers. - Samuel N. Kamin (ACM SIGPLAN Notices, 1995)

An introduction to programming with Mathematica (2. ed.). - Richard J. Gaylord; Samuel N. Kamin; Paul R. Wellin (Springer, 1996)

The Challenge of Language Technology Transfer. - Samuel N. Kamin (ACM Comput. Surv., 1996)

Strictness Analysis in the Imperative Lambda Calculus. - Jonathan Springer; Samuel N. Kamin (LISP Symb. Comput., 1996)

A Special-Purpose Language for Picture-Drawing. - Samuel N. Kamin; David Hyatt (DSL, 1997)

Research on Domain-specific Embedded Languages and Program Generators. - Samuel N. Kamin (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)

Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. - M. Beckman; Samuel N. Kamin (ICCL, 1998)

Modular Compilers Based on Monad Transformers. - William L. Harrison; Samuel N. Kamin (ICCL, 1998)

Lightweight and Generative Components I: Source-Level Components. - Samuel N. Kamin; Miranda Callahan; Lars Clausen (GCSE, 1999)

Metacomputation-Based Compiler Architecture. - William L. Harrison; Samuel N. Kamin (MPC, 2000)

Lightweight and Generative Components 2: Binary-Level Components. - Samuel N. Kamin; Miranda Callahan; Lars Clausen (SAIG, 2000)

Annotating Java class files with virtual registers for performance. - Joel Jones; Samuel N. Kamin (Concurr. Pract. Exp., 2000)

Jumbo: Run-Time Code Generation for Java and Its Applications. - Sam Kamin; Lars Clausen; Ava Jarvis (CGO, 2003)

Routine run-time code generation. - Samuel N. Kamin (OOPSLA Companion, 2003)

Invited application paper: program generation considered easy. - Sam Kamin (PEPM, 2004)

Optimizing Marshalling by Run-Time Program Generation. - Baris Aktemur; Joel Jones; Samuel N. Kamin; Lars Clausen (GPCE, 2005)

Source-Level Optimization of Run-Time Program Generators. - Samuel N. Kamin; Baris Aktemur; Philip Morton (GPCE, 2005)

eFuzion: development of a pervasive educational system. - Chad Peiper; David Warden; Ellick Chan; Boris Capitanu; Samuel N. Kamin (ITiCSE, 2005)

Applying Active Space Principles to Active Classrooms. - Chad Peiper; David Warden; Ellick Chan; Roy H. Campbell; Sam Kamin; Tim L. Wentling (PerCom Workshops, 2005)

Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. - Baris Aktemur; Samuel N. Kamin (RULE@RDP, 2005)

Staging static analyses for program generation. - Sam Kamin; Baris Aktemur; Michael Katelman (GPCE, 2006)

Scavenger hunt: computer science retention through orientation. - Jerry O. Talton; Daniel L. Peterson; Sam Kamin; Deborah Israel; Jalal Al-Muhtadi (SIGCSE, 2006)

Programming studio: a course for improving programming skills in undergraduates. - Michael Woodley; Samuel N. Kamin (SIGCSE, 2007)

A system for developing tablet pc applications for education. - Sam Kamin; Michael Hines; Chad Peiper; Boris Capitanu (SIGCSE, 2008)

A comparative study of techniques to write customizable libraries. - Baris Aktemur; Sam Kamin (SAC, 2009)

CoDeSe: fast deserialization via code generation. - Milos Gligoric 001; Darko Marinov; Sam Kamin (ISSTA, 2011)

Runtime program generation and empirical optimization for sparse matrix-vector multiplication. - Baris Aktemur; Asim Yildiz; Sam Kamin (SIU, 2012)

Measuring increased engagement using tablet PCs in a code review class. - Wade A. Fagen; Samuel N. Kamin (SIGCSE, 2013)

Optimization by runtime specialization for sparse matrix-vector multiplication. - Sam Kamin; María Jesús Garzarán; Baris Aktemur; Danqing Xu; Buse Yilmaz; Zhongbo Chen (GPCE, 2014)

Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication. - Buse Yilmaz; Baris Aktemur; María Jesús Garzarán; Samuel N. Kamin; Furkan Kiraç (ACM Trans. Archit. Code Optim., 2016)