Samuel N. Kamin

According to our database, Samuel N. Kamin authored at least 45 papers between 1977 and 2016.

Collaborative distances:

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

2016

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

2014

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

Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013

Measuring increased engagement using tablet PCs in a code review class.

Wade A. Fagen, Samuel N. Kamin

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012

Runtime program generation and empirical optimization for sparse matrix-vector multiplication.

Baris Aktemur, Asim Yildiz, Sam Kamin

Proceedings of the 20th Signal Processing and Communications Applications Conference, 2012

2011

CoDeSe: fast deserialization via code generation.

Milos Gligoric, Darko Marinov, Sam Kamin

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2009

A comparative study of techniques to write customizable libraries.

Baris Aktemur, Sam Kamin

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008

A system for developing tablet pc applications for education.

Sam Kamin, Michael Hines, Chad Peiper, Boris Capitanu

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

2007

Programming studio: a course for improving programming skills in undergraduates.

Michael Woodley, Samuel N. Kamin

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006

Scavenger hunt: computer science retention through orientation.

Jerry O. Talton, Daniel L. Peterson, Sam Kamin, Deborah Israel, Jalal Al-Muhtadi

Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, 2006

Staging static analyses for program generation.

Sam Kamin, Baris Aktemur, Michael Katelman

Proceedings of the Generative Programming and Component Engineering, 2006

2005

Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language.

Baris Aktemur, Samuel N. Kamin

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Applying Active Space Principles to Active Classrooms.

Chad Peiper, David Warden, Ellick Chan, Roy H. Campbell, Sam Kamin, Tim L. Wentling

Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

eFuzion: development of a pervasive educational system.

Chad Peiper, David Warden, Ellick Chan, Boris Capitanu, Samuel N. Kamin

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Source-Level Optimization of Run-Time Program Generators.

Samuel N. Kamin, Baris Aktemur, Philip Morton

Proceedings of the Generative Programming and Component Engineering, 2005

Optimizing Marshalling by Run-Time Program Generation.

Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen

Proceedings of the Generative Programming and Component Engineering, 2005

2004

Invited application paper: program generation considered easy.

Sam Kamin

Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003

Routine run-time code generation.

Samuel N. Kamin

Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

Jumbo: Run-Time Code Generation for Java and Its Applications.

Sam Kamin, Lars Clausen, Ava Jarvis

Proceedings of the 1st IEEE / ACM International Symposium on Code Generation and Optimization (CGO 2003), 2003

2000

Annotating Java class files with virtual registers for performance.

Joel Jones, Samuel N. Kamin

Concurr. Pract. Exp., 2000

Lightweight and Generative Components 2: Binary-Level Components.

Samuel N. Kamin, Miranda Callahan, Lars Clausen

Proceedings of the Semantics, 2000

Metacomputation-Based Compiler Architecture.

William L. Harrison, Samuel N. Kamin

Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1999

Lightweight and Generative Components I: Source-Level Components.

Samuel N. Kamin, Miranda Callahan, Lars Clausen

Proceedings of the Generative and Component-Based Software Engineering, 1999

1998

Modular Compilers Based on Monad Transformers.

William L. Harrison, Samuel N. Kamin

Proceedings of the 1998 International Conference on Computer Languages, 1998

Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies.

M. Beckman, Samuel N. Kamin

Proceedings of the 1998 International Conference on Computer Languages, 1998

1997

Research on Domain-specific Embedded Languages and Program Generators.

Samuel N. Kamin

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

A Special-Purpose Language for Picture-Drawing.

Samuel N. Kamin, David Hyatt

Proceedings of the Conference on Domain-Specific Languages, 1997

1996

Strictness Analysis in the Imperative Lambda Calculus.

Jonathan Springer, Samuel N. Kamin

LISP Symb. Comput., 1996

The Challenge of Language Technology Transfer.

Samuel N. Kamin

ACM Comput. Surv., 1996

An introduction to programming with Mathematica (2. ed.).

Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin

Springer, ISBN: 978-0-387-94434-0, 1996

1995

Report of a Workshop on Future Directions in Programming Languages and Compilers.

Samuel N. Kamin

ACM SIGPLAN Notices, 1995

1993

On the Power of Abstract Interpretation.

Uday S. Reddy, Samuel N. Kamin

Comput. Lang., 1993

Introduction to programming with Mathematica.

Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin

Springer, ISBN: 978-0-387-94048-9, 1993

1992

Head-Strictness is Not a Monotonic Abstract Property.

Samuel N. Kamin

Inf. Process. Lett., 1992

1990

Programming languages - an interpreter-based approach.

Samuel N. Kamin

Addison-Wesley, ISBN: 978-0-201-06824-5, 1990

1988

Inheritance in Smalltalk-80: A Denotational Definition.

Samuel N. Kamin

Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1987

The Expressive Theory of Stacks.

Samuel N. Kamin

Acta Informatica, 1987

1986

Executable Specifications with Quantifiers in the FASE System.

Stan Jefferson, Samuel N. Kamin

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

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

Proceedings of the Advanced Programming Environments, 1986

1985

A FASE Specification of FP.

Samuel N. Kamin

Proceedings of the Logics of Programs, 1985

1984

Partial Implementations of Abstract Data Types: A Dissenting view on Errors.

Samuel N. Kamin, Myla Archer

Proceedings of the Semantics of Data Types, International Symposium, 1984

1983

Final Data Types and Their Specification.

Samuel N. Kamin

ACM Trans. Program. Lang. Syst., 1983

1980

Final Data Tye Specifications: A New Data Type Specification Method.

Samuel N. Kamin

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979

Some definitions for algebraic data type specifications.

Sam Kamin

ACM SIGPLAN Notices, 1979

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.

John C. Cherniavsky, Samuel N. Kamin

J. ACM, 1979

1977

A Complete and Consistent Hoare Semantics for a Simple Programming Language.

John C. Cherniavsky, Samuel N. Kamin

Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977