| | |
Sam Kamin
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 42 |      | Milos Gligoric, Darko Marinov, Sam Kamin: CoDeSe: fast deserialization via code generation. ISSTA 2011: 298-308 |
| 2009 | ||
| 41 | | Baris Aktemur, Sam Kamin: A comparative study of techniques to write customizable libraries. SAC 2009: 522-529 |
| 2008 | ||
| 40 | | Sam Kamin, Michael Hines, Chad Peiper, Boris Capitanu: A system for developing tablet pc applications for education. SIGCSE 2008: 422-426 |
| 2007 | ||
| 39 | | Michael Woodley, Samuel N. Kamin: Programming studio: a course for improving programming skills in undergraduates. SIGCSE 2007: 531-535 |
| 2006 | ||
| 38 | | Sam Kamin, Baris Aktemur, Michael Katelman: Staging static analyses for program generation. GPCE 2006: 1-10 |
| 37 | | Jerry O. Talton, Daniel L. Peterson, Sam Kamin, Deborah Israel, Jalal Al-Muhtadi: Scavenger hunt: computer science retention through orientation. SIGCSE 2006: 443-447 |
| 36 | | 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 | ||
| 35 | | Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen: Optimizing Marshalling by Run-Time Program Generation. GPCE 2005: 221-236 |
| 34 | | Samuel N. Kamin, Baris Aktemur, Philip Morton: Source-Level Optimization of Run-Time Program Generators. GPCE 2005: 293-308 |
| 33 | | Chad Peiper, David Warden, Ellick Chan, Boris Capitanu, Samuel N. Kamin: eFuzion: development of a pervasive educational system. ITiCSE 2005: 237-240 |
| 32 | | 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 | ||
| 31 | | Sam Kamin: Invited application paper: program generation considered easy. PEPM 2004: 68-79 |
| 2003 | ||
| 30 | | Sam Kamin, Lars Clausen, Ava Jarvis: Jumbo: Run-Time Code Generation for Java and Its Applications. CGO 2003: 48-58 |
| 29 | | Samuel N. Kamin: Routine run-time code generation. OOPSLA Companion 2003: 208-220 |
| 2000 | ||
| 28 | | William L. Harrison, Samuel N. Kamin: Metacomputation-Based Compiler Architecture. MPC 2000: 213-229 |
| 27 | | Samuel N. Kamin, Miranda Callahan, Lars Clausen: Lightweight and Generative Components 2: Binary-Level Components. SAIG 2000: 28-50 |
| 26 | | Joel Jones, Samuel N. Kamin: Annotating Java class files with virtual registers for performance. Concurrency - Practice and Experience 12(6): 389-406 (2000) |
| 1999 | ||
| 25 | | Samuel N. Kamin, Miranda Callahan, Lars Clausen: Lightweight and Generative Components I: Source-Level Components. GCSE 1999: 49-64 |
| 1998 | ||
| 24 | | William L. Harrison, Samuel N. Kamin: Modular Compilers Based on Monad Transformers. ICCL 1998: 122-131 |
| 23 | | M. Beckman, Samuel N. Kamin: Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. ICCL 1998: 143-152 |
| 22 | | Samuel N. Kamin: Research on Domain-specific Embedded Languages and Program Generators. Electr. Notes Theor. Comput. Sci. 14: 149-168 (1998) |
| 1997 | ||
| 21 | | Samuel N. Kamin, David Hyatt: A Special-Purpose Language for Picture-Drawing. DSL 1997: 297-312 |
| 1996 | ||
| 20 |  | Raphael A. Finkel, Samuel N. Kamin: Advanced programming language design. Addison-Wesley-Longman 1996 |
| 19 | | Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin: An introduction to programming with Mathematica (2. ed.). Springer 1996: I-XXIII, 1-452 |
| 18 | | Samuel N. Kamin: The Challenge of Language Technology Transfer. ACM Comput. Surv. 28(4es): 197 (1996) |
| 17 | | Jonathan Springer, Samuel N. Kamin: Strictness Analysis in the Imperative Lambda Calculus. Lisp and Symbolic Computation 9(1): 109-143 (1996) |
| 1995 | ||
| 16 | | Samuel N. Kamin: Report of a Workshop on Future Directions in Programming Languages and Compilers. SIGPLAN Notices 30(7): 9-28 (1995) |
| 1993 | ||
| 15 | | Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin: Introduction to programming with Mathematica. Springer 1993: I-XIX, 1-302 |
| 14 | | Uday S. Reddy, Samuel N. Kamin: On the Power of Abstract Interpretation. Comput. Lang. 19(2): 79-89 (1993) |
| 1992 | ||
| 13 | | Uday S. Reddy, Samuel N. Kamin: On the power of abstract interpretation. ICCL 1992: 24-33 |
| 12 | | Samuel N. Kamin: Head-Strictness is Not a Monotonic Abstract Property. Inf. Process. Lett. 41(4): 195-198 (1992) |
| 1990 | ||
| 11 | | Samuel N. Kamin: Programming languages - an interpreter-based approach. Addison-Wesley 1990: I-XII, 1-640 |
| 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 |
| 1 | Baris Aktemur | [34] [35] [36] [38] [41] |
| 2 | Jalal Al-Muhtadi | [37] |
| 3 | Myla Archer | [5] |
| 4 | M. Beckman | [23] |
| 5 | Miranda Callahan | [25] [27] |
| 6 | Roy H. Campbell | [8] [32] |
| 7 | Boris Capitanu | [33] [40] |
| 8 | Ellick Chan | [32] [33] |
| 9 | John C. Cherniavsky | [1] [2] |
| 10 | Lars Ræder Clausen (Lars Clausen) | [25] [27] [30] [35] |
| 11 | Raphael A. Finkel | [20] |
| 12 | Richard J. Gaylord | [15] [19] |
| 13 | Milos Gligoric | [42] |
| 14 | Mehdi T. Harandi | [8] |
| 15 | William L. Harrison | [24] [28] |
| 16 | Michael Hines | [40] |
| 17 | David Hyatt | [21] |
| 18 | Deborah Israel | [37] |
| 19 | Ava Jarvis | [30] |
| 20 | Stan Jefferson | [7] |
| 21 | Ralph E. Johnson | [8] |
| 22 | Joel Jones | [26] [35] |
| 23 | Simon M. Kaplan | [8] |
| 24 | Michael Katelman | [38] |
| 25 | Jane W.-S. Liu | [8] |
| 26 | Darko Marinov | [42] |
| 27 | Philip Morton | [34] |
| 28 | Chad Peiper | [32] [33] [40] |
| 29 | Daniel L. Peterson | [37] |
| 30 | James M. Purtilo | [8] |
| 31 | Uday S. Reddy | [13] [14] |
| 32 | Jonathan Springer | [17] |
| 33 | Jerry O. Talton | [37] |
| 34 | David Warden | [32] [33] |
| 35 | Paul R. Wellin | [15] [19] |
| 36 | Tim L. Wentling | [32] |
| 37 | Michael Woodley | [39] |
Colors in the list of coauthors
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page