Samuel N. Kamin

According to our database1, Samuel N. Kamin
  • authored at least 45 papers between 1977 and 2016.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication.
TACO, 2016

2014
Optimization by runtime specialization for sparse matrix-vector multiplication.
Proceedings of the Generative Programming: Concepts and Experiences, 2014

2013
Measuring increased engagement using tablet PCs in a code review class.
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

2012
Runtime program generation and empirical optimization for sparse matrix-vector multiplication.
Proceedings of the 20th Signal Processing and Communications Applications Conference, 2012

2011
CoDeSe: fast deserialization via code generation.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

2009
A comparative study of techniques to write customizable libraries.
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

2008
A system for developing tablet pc applications for education.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

2007
Programming studio: a course for improving programming skills in undergraduates.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

2006
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language.
Electr. Notes Theor. Comput. Sci., 2006

Scavenger hunt: computer science retention through orientation.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2006

Staging static analyses for program generation.
Proceedings of the Generative Programming and Component Engineering, 2006

2005
Applying Active Space Principles to Active Classrooms.
Proceedings of the 3rd IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2005 Workshops), 2005

eFuzion: development of a pervasive educational system.
Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2005

Source-Level Optimization of Run-Time Program Generators.
Proceedings of the Generative Programming and Component Engineering, 2005

Optimizing Marshalling by Run-Time Program Generation.
Proceedings of the Generative Programming and Component Engineering, 2005

2004
Invited application paper: program generation considered easy.
Proceedings of the 2004 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2004

2003
Routine run-time code generation.
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.
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.
Concurrency - Practice and Experience, 2000

Lightweight and Generative Components 2: Binary-Level Components.
Proceedings of the Semantics, 2000

Metacomputation-Based Compiler Architecture.
Proceedings of the Mathematics of Program Construction, 5th International Conference, 2000

1999
Lightweight and Generative Components I: Source-Level Components.
Proceedings of the Generative and Component-Based Software Engineering, 1999

1998
Research on Domain-specific Embedded Languages and Program Generators.
Electr. Notes Theor. Comput. Sci., 1998

Modular Compilers Based on Monad Transformers.
Proceedings of the 1998 International Conference on Computer Languages, 1998

Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies.
Proceedings of the 1998 International Conference on Computer Languages, 1998

1997
A Special-Purpose Language for Picture-Drawing.
Proceedings of the Conference on Domain-Specific Languages, 1997

1996
Strictness Analysis in the Imperative Lambda Calculus.
Lisp and Symbolic Computation, 1996

The Challenge of Language Technology Transfer.
ACM Comput. Surv., 1996

An introduction to programming with Mathematica (2. ed.).
Springer, ISBN: 978-0-387-94434-0, 1996

1995
Report of a Workshop on Future Directions in Programming Languages and Compilers.
SIGPLAN Notices, 1995

1993
On the Power of Abstract Interpretation.
Comput. Lang., 1993

Introduction to programming with Mathematica.
Springer, ISBN: 978-0-387-94048-9, 1993

1992
Head-Strictness is Not a Monotonic Abstract Property.
Inf. Process. Lett., 1992

On the power of abstract interpretation.
Proceedings of the ICCL'92, 1992

1990
Programming languages - an interpreter-based approach.
Addison-Wesley, ISBN: 978-0-201-06824-5, 1990

1988
Inheritance in Smalltalk-80: A Denotational Definition.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988

1987
The Expressive Theory of Stacks.
Acta Inf., 1987

1986
Executable Specifications with Quantifiers in the FASE System.
Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

An Architecture for Tool Integration.
Proceedings of the Advanced Programming Environments, 1986

1985
A FASE Specification of FP.
Proceedings of the Logics of Programs, 1985

1984
Partial Implementations of Abstract Data Types: A Dissenting view on Errors.
Proceedings of the Semantics of Data Types, International Symposium, 1984

1983
Final Data Types and Their Specification.
ACM Trans. Program. Lang. Syst., 1983

1980
Final Data Tye Specifications: A New Data Type Specification Method.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1979
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.
J. ACM, 1979

1977
A Complete and Consistent Hoare Semantics for a Simple Programming Language.
Proceedings of the Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, 1977


  Loading...