Samuel N. Kamin
According to our database1, Samuel N. Kamin
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
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