Samuel N. Kamin

Sam Kamin

	2009
37		Baris Aktemur, Sam Kamin: A comparative study of techniques to write customizable libraries. SAC 2009: 522-529
	2008
36		Sam Kamin, Michael Hines, Chad Peiper, Boris Capitanu: A system for developing tablet pc applications for education. SIGCSE 2008: 422-426
	2007
35		Michael Woodley, Samuel N. Kamin: Programming studio: a course for improving programming skills in undergraduates. SIGCSE 2007: 531-535
	2006
34		Sam Kamin, Baris Aktemur, Michael Katelman: Staging static analyses for program generation. GPCE 2006: 1-10
33		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		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		Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen: Optimizing Marshalling by Run-Time Program Generation. GPCE 2005: 221-236
30		Samuel N. Kamin, Baris Aktemur, Philip Morton: Source-Level Optimization of Run-Time Program Generators. GPCE 2005: 293-308
29		Chad Peiper, David Warden, Ellick Chan, Boris Capitanu, Samuel N. Kamin: eFuzion: development of a pervasive educational system. ITiCSE 2005: 237-240
28		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		Sam Kamin: Invited application paper: program generation considered easy. PEPM 2004: 68-79
	2003
26		Sam Kamin, Lars Clausen, Ava Jarvis: Jumbo: Run-Time Code Generation for Java and Its Applications. CGO 2003: 48-58
25		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		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		Samuel N. Kamin, Miranda Callahan, Lars Clausen: Lightweight and Generative Components I: Source-Level Components. GCSE 1999: 49-64
	1998
20		William L. Harrison, Samuel N. Kamin: Modular Compilers Based on Monad Transformers. ICCL 1998: 122-131
19		M. Beckman, Samuel N. Kamin: Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. ICCL 1998: 143-152
18		Samuel N. Kamin: Research on Domain-specific Embedded Languages and Program Generators. Electr. Notes Theor. Comput. Sci. 14: (1998)
	1997
17		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		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		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		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

Coauthor Index

1	Baris Aktemur	[30] [31] [32] [34] [37]
2	Jalal Al-Muhtadi	[33]
3	Myla Archer	[5]
4	M. Beckman	[19]
5	Miranda Callahan	[21] [23]
6	Roy H. Campbell	[8] [28]
7	Boris Capitanu	[29] [36]
8	Ellick Chan	[28] [29]
9	John C. Cherniavsky	[1] [2]
10	Lars Ræder Clausen (Lars Clausen)	[21] [23] [26] [31]
11	Mehdi T. Harandi	[8]
12	William L. Harrison	[20] [24]
13	Michael Hines	[36]
14	David Hyatt	[17]
15	Deborah Israel	[33]
16	Ava Jarvis	[26]
17	Stan Jefferson	[7]
18	Ralph E. Johnson	[8]
19	Joel Jones	[22] [31]
20	Simon M. Kaplan	[8]
21	Michael Katelman	[34]
22	Jane W.-S. Liu	[8]
23	Philip Morton	[30]
24	Chad Peiper	[28] [29] [36]
25	Daniel L. Peterson	[33]
26	James M. Purtilo	[8]
27	Uday S. Reddy	[12] [13]
28	Jonathan Springer	[15]
29	Jerry O. Talton	[33]
30	David Warden	[28] [29]
31	Tim L. Wentling	[28]
32	Michael Woodley	[35]

Colors in the list of coauthors