Samuel N. Kamin

35 papers A* 4A 2B 4Journal 10Unranked 12
YearRankTypeTitle / Venue / Authors
2016 J jnl
Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication.
ACM Trans. Archit. Code Optim.
Buse Yilmaz, Baris Aktemur, María Jesús Garzarán, Samuel N. Kamin, Furkan Kiraç
2013 A conf
Measuring increased engagement using tablet PCs in a code review class.
SIGCSE
Wade A. Fagen, Samuel N. Kamin
2007 A conf
Programming studio: a course for improving programming skills in undergraduates.
SIGCSE
Michael Woodley, Samuel N. Kamin
2005 — conf
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language.
RULE@RDP
Baris Aktemur, Samuel N. Kamin
2005 B conf
Optimizing Marshalling by Run-Time Program Generation.
GPCE
Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen
2005 B conf
Source-Level Optimization of Run-Time Program Generators.
GPCE
Samuel N. Kamin, Baris Aktemur, Philip Morton
2005 B conf
eFuzion: development of a pervasive educational system.
ITiCSE
Chad Peiper, David Warden, Ellick Chan, Boris Capitanu, Samuel N. Kamin
2003 — conf
Routine run-time code generation.
OOPSLA Companion
Samuel N. Kamin
2000 J jnl
Annotating Java class files with virtual registers for performance.
Concurr. Pract. Exp.
Joel Jones, Samuel N. Kamin
2000 — conf
Lightweight and Generative Components 2: Binary-Level Components.
SAIG
Samuel N. Kamin, Miranda Callahan, Lars Clausen
2000 B conf
Metacomputation-Based Compiler Architecture.
MPC
William L. Harrison, Samuel N. Kamin
1999 — conf
Lightweight and Generative Components I: Source-Level Components.
GCSE
Samuel N. Kamin, Miranda Callahan, Lars Clausen
1998 — conf
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies.
ICCL
M. Beckman, Samuel N. Kamin
1998 — conf
Modular Compilers Based on Monad Transformers.
ICCL
William L. Harrison, Samuel N. Kamin
1997 — conf
A Special-Purpose Language for Picture-Drawing.
DSL
Samuel N. Kamin, David Hyatt
1997 — conf
Research on Domain-specific Embedded Languages and Program Generators.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Samuel N. Kamin
1996 — book
An introduction to programming with Mathematica (2. ed.).
Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin
1996 J jnl
Strictness Analysis in the Imperative Lambda Calculus.
LISP Symb. Comput.
Jonathan Springer, Samuel N. Kamin
1996 J jnl
The Challenge of Language Technology Transfer.
ACM Comput. Surv.
Samuel N. Kamin
1995 J jnl
Report of a Workshop on Future Directions in Programming Languages and Compilers.
ACM SIGPLAN Notices
Samuel N. Kamin
1993 — book
Introduction to programming with Mathematica.
Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin
1993 J jnl
On the Power of Abstract Interpretation.
Comput. Lang.
Uday S. Reddy, Samuel N. Kamin
1992 J jnl
Head-Strictness is Not a Monotonic Abstract Property.
Inf. Process. Lett.
Samuel N. Kamin
1992 — conf
On the power of abstract interpretation.
ICCL
Uday S. Reddy, Samuel N. Kamin
1990 — book
Programming languages - an interpreter-based approach.
Samuel N. Kamin
1988 A* conf
Inheritance in Smalltalk-80: A Denotational Definition.
POPL
Samuel N. Kamin
1987 J jnl
The Expressive Theory of Stacks.
Acta Informatica
Samuel N. Kamin
1986 — conf
An Architecture for Tool Integration.
Advanced Programming Environments
Simon M. Kaplan, Ralph E. Johnson, Roy H. Campbell, Samuel N. Kamin, James M. Purtilo, Mehdi T. Harandi, Jane W.-S. Liu
1986 A* conf
Executable Specifications with Quantifiers in the FASE System.
POPL
Stan Jefferson, Samuel N. Kamin
1985 — conf
A FASE Specification of FP.
Logic of Programs
Samuel N. Kamin
1984 — conf
Partial Implementations of Abstract Data Types: A Dissenting view on Errors.
Semantics of Data Types
Samuel N. Kamin, Myla Archer
1983 J jnl
Final Data Types and Their Specification.
ACM Trans. Program. Lang. Syst.
Samuel N. Kamin
1980 A* conf
Final Data Tye Specifications: A New Data Type Specification Method.
POPL
Samuel N. Kamin
1979 J jnl
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.
J. ACM
John C. Cherniavsky, Samuel N. Kamin
1977 A* conf
A Complete and Consistent Hoare Semantics for a Simple Programming Language.
POPL
John C. Cherniavsky, Samuel N. Kamin