| 2009 |
|---|
| 37 | EE | Baris Aktemur,
Sam Kamin:
A comparative study of techniques to write customizable libraries.
SAC 2009: 522-529 |
| 2008 |
|---|
| 36 | EE | Sam Kamin,
Michael Hines,
Chad Peiper,
Boris Capitanu:
A system for developing tablet pc applications for education.
SIGCSE 2008: 422-426 |
| 2007 |
|---|
| 35 | EE | Michael Woodley,
Samuel N. Kamin:
Programming studio: a course for improving programming skills in undergraduates.
SIGCSE 2007: 531-535 |
| 2006 |
|---|
| 34 | EE | Sam Kamin,
Baris Aktemur,
Michael Katelman:
Staging static analyses for program generation.
GPCE 2006: 1-10 |
| 33 | EE | Jerry O. Talton,
Daniel L. Peterson,
Sam Kamin,
Deborah Israel,
Jalal Al-Muhtadi:
Scavenger hunt: computer science retention through orientation.
SIGCSE 2006: 443-447 |
| 32 | EE | Baris Aktemur,
Samuel N. Kamin:
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language.
Electr. Notes Theor. Comput. Sci. 147(1): 31-55 (2006) |
| 2005 |
|---|
| 31 | EE | Baris Aktemur,
Joel Jones,
Samuel N. Kamin,
Lars Clausen:
Optimizing Marshalling by Run-Time Program Generation.
GPCE 2005: 221-236 |
| 30 | EE | Samuel N. Kamin,
Baris Aktemur,
Philip Morton:
Source-Level Optimization of Run-Time Program Generators.
GPCE 2005: 293-308 |
| 29 | EE | Chad Peiper,
David Warden,
Ellick Chan,
Boris Capitanu,
Samuel N. Kamin:
eFuzion: development of a pervasive educational system.
ITiCSE 2005: 237-240 |
| 28 | EE | Chad Peiper,
David Warden,
Ellick Chan,
Roy H. Campbell,
Sam Kamin,
Tim L. Wentling:
Applying Active Space Principles to Active Classrooms.
PerCom Workshops 2005: 97-102 |
| 2004 |
|---|
| 27 | EE | Sam Kamin:
Invited application paper: program generation considered easy.
PEPM 2004: 68-79 |
| 2003 |
|---|
| 26 | EE | Sam Kamin,
Lars Clausen,
Ava Jarvis:
Jumbo: Run-Time Code Generation for Java and Its Applications.
CGO 2003: 48-58 |
| 25 | EE | Samuel N. Kamin:
Routine run-time code generation.
OOPSLA Companion 2003: 208-220 |
| 2000 |
|---|
| 24 | | William L. Harrison,
Samuel N. Kamin:
Metacomputation-Based Compiler Architecture.
MPC 2000: 213-229 |
| 23 | EE | Samuel N. Kamin,
Miranda Callahan,
Lars Clausen:
Lightweight and Generative Components 2: Binary-Level Components.
SAIG 2000: 28-50 |
| 22 | | Joel Jones,
Samuel N. Kamin:
Annotating Java class files with virtual registers for performance.
Concurrency - Practice and Experience 12(6): 389-406 (2000) |
| 1999 |
|---|
| 21 | EE | Samuel N. Kamin,
Miranda Callahan,
Lars Clausen:
Lightweight and Generative Components I: Source-Level Components.
GCSE 1999: 49-64 |
| 1998 |
|---|
| 20 | EE | William L. Harrison,
Samuel N. Kamin:
Modular Compilers Based on Monad Transformers.
ICCL 1998: 122-131 |
| 19 | EE | M. Beckman,
Samuel N. Kamin:
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies.
ICCL 1998: 143-152 |
| 18 | EE | Samuel N. Kamin:
Research on Domain-specific Embedded Languages and Program Generators.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 17 | EE | Samuel N. Kamin,
David Hyatt:
A Special-Purpose Language for Picture-Drawing.
DSL 1997: 297-312 |
| 1996 |
|---|
| 16 | | Samuel N. Kamin:
The Challenge of Language Technology Transfer.
ACM Comput. Surv. 28(4es): 197 (1996) |
| 15 | | Jonathan Springer,
Samuel N. Kamin:
Strictness Analysis in the Imperative Lambda Calculus.
Lisp and Symbolic Computation 9(1): 109-143 (1996) |
| 1995 |
|---|
| 14 | | Samuel N. Kamin:
Report of a Workshop on Future Directions in Programming Languages and Compilers.
SIGPLAN Notices 30(7): 9-28 (1995) |
| 1993 |
|---|
| 13 | | Uday S. Reddy,
Samuel N. Kamin:
On the Power of Abstract Interpretation.
Comput. Lang. 19(2): 79-89 (1993) |
| 1992 |
|---|
| 12 | EE | Uday S. Reddy,
Samuel N. Kamin:
On the power of abstract interpretation.
ICCL 1992: 24-33 |
| 11 | | Samuel N. Kamin:
Head-Strictness is Not a Monotonic Abstract Property.
Inf. Process. Lett. 41(4): 195-198 (1992) |
| 1988 |
|---|
| 10 | | Samuel N. Kamin:
Inheritance in Smalltalk-80: A Denotational Definition.
POPL 1988: 80-87 |
| 1987 |
|---|
| 9 | | Samuel N. Kamin:
The Expressive Theory of Stacks.
Acta Inf. 24(6): 695-709 (1987) |
| 1986 |
|---|
| 8 | | Simon M. Kaplan,
Ralph E. Johnson,
Roy H. Campbell,
Samuel N. Kamin,
James M. Purtilo,
Mehdi T. Harandi,
Jane W.-S. Liu:
An Architecture for Tool Integration.
Advanced Programming Environments 1986: 112-125 |
| 7 | | Stan Jefferson,
Samuel N. Kamin:
Executable Specifications with Quantifiers in the FASE System.
POPL 1986: 318-326 |
| 1985 |
|---|
| 6 | | Samuel N. Kamin:
A FASE Specification of FP.
Logic of Programs 1985: 143-152 |
| 1984 |
|---|
| 5 | | Samuel N. Kamin,
Myla Archer:
Partial Implementations of Abstract Data Types: A Dissenting view on Errors.
Semantics of Data Types 1984: 317-336 |
| 1983 |
|---|
| 4 | EE | Samuel N. Kamin:
Final Data Types and Their Specification.
ACM Trans. Program. Lang. Syst. 5(1): 97-123 (1983) |
| 1980 |
|---|
| 3 | | Samuel N. Kamin:
Final Data Tye Specifications: A New Data Type Specification Method.
POPL 1980: 131-138 |
| 1979 |
|---|
| 2 | EE | John C. Cherniavsky,
Samuel N. Kamin:
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language.
J. ACM 26(1): 119-128 (1979) |
| 1977 |
|---|
| 1 | | John C. Cherniavsky,
Samuel N. Kamin:
A Complete and Consistent Hoare Semantics for a Simple Programming Language.
POPL 1977: 1-9 |
