default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSamuel N. Kamin
Person information
- affiliation: University of Illinois, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[j11]Buse Yilmaz
, Baris Aktemur, María Jesús Garzarán, Samuel N. Kamin, Furkan Kiraç:
Autotuning Runtime Specialization for Sparse Matrix-Vector Multiplication. ACM Trans. Archit. Code Optim. 13(1): 5:1-5:26 (2016)- 2014
- [c32]Sam Kamin, María Jesús Garzarán, Baris Aktemur, Danqing Xu, Buse Yilmaz, Zhongbo Chen:
Optimization by runtime specialization for sparse matrix-vector multiplication. GPCE 2014: 93-102 - 2013
- [c31]Wade A. Fagen, Samuel N. Kamin:
Measuring increased engagement using tablet PCs in a code review class. SIGCSE 2013: 465-470 - 2012
- [c30]Baris Aktemur, Asim Yildiz, Sam Kamin:
Runtime program generation and empirical optimization for sparse matrix-vector multiplication. SIU 2012: 1-4 - 2011
- [c29]Milos Gligoric, Darko Marinov, Sam Kamin:
CoDeSe: fast deserialization via code generation. ISSTA 2011: 298-308
2000 – 2009
- 2009
- [c28]Baris Aktemur, Sam Kamin:
A comparative study of techniques to write customizable libraries. SAC 2009: 522-529 - 2008
- [c27]Sam Kamin, Michael Hines, Chad Peiper, Boris Capitanu:
A system for developing tablet pc applications for education. SIGCSE 2008: 422-426 - 2007
- [c26]Michael Woodley, Samuel N. Kamin:
Programming studio: a course for improving programming skills in undergraduates. SIGCSE 2007: 531-535 - 2006
- [c25]Sam Kamin, Baris Aktemur, Michael Katelman:
Staging static analyses for program generation. GPCE 2006: 1-10 - [c24]Jerry O. Talton, Daniel L. Peterson, Sam Kamin, Deborah Israel, Jalal Al-Muhtadi:
Scavenger hunt: computer science retention through orientation. SIGCSE 2006: 443-447 - 2005
- [c23]Baris Aktemur, Joel Jones, Samuel N. Kamin, Lars Clausen:
Optimizing Marshalling by Run-Time Program Generation. GPCE 2005: 221-236 - [c22]Samuel N. Kamin, Baris Aktemur, Philip Morton:
Source-Level Optimization of Run-Time Program Generators. GPCE 2005: 293-308 - [c21]Chad Peiper, David Warden, Ellick Chan, Boris Capitanu, Samuel N. Kamin:
eFuzion: development of a pervasive educational system. ITiCSE 2005: 237-240 - [c20]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 - [c19]Baris Aktemur, Samuel N. Kamin:
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language. RULE@RDP 2005: 31-55 - 2004
- [c18]Sam Kamin:
Invited application paper: program generation considered easy. PEPM 2004: 68-79 - 2003
- [c17]Sam Kamin, Lars Clausen, Ava Jarvis:
Jumbo: Run-Time Code Generation for Java and Its Applications. CGO 2003: 48-58 - [c16]Samuel N. Kamin:
Routine run-time code generation. OOPSLA Companion 2003: 208-220 - 2000
- [j10]Joel Jones, Samuel N. Kamin:
Annotating Java class files with virtual registers for performance. Concurr. Pract. Exp. 12(6): 389-406 (2000) - [c15]William L. Harrison, Samuel N. Kamin:
Metacomputation-Based Compiler Architecture. MPC 2000: 213-229 - [c14]Samuel N. Kamin, Miranda Callahan, Lars Clausen:
Lightweight and Generative Components 2: Binary-Level Components. SAIG 2000: 28-50
1990 – 1999
- 1999
- [c13]Samuel N. Kamin, Miranda Callahan, Lars Clausen:
Lightweight and Generative Components I: Source-Level Components. GCSE 1999: 49-64 - 1998
- [c12]William L. Harrison, Samuel N. Kamin:
Modular Compilers Based on Monad Transformers. ICCL 1998: 122-131 - [c11]M. Beckman, Samuel N. Kamin:
Controlled Self-Applicable On-Line Partial Evaluation, Using Strategies. ICCL 1998: 143-152 - 1997
- [c10]Samuel N. Kamin, David Hyatt:
A Special-Purpose Language for Picture-Drawing. DSL 1997: 297-312 - [c9]Samuel N. Kamin:
Research on Domain-specific Embedded Languages and Program Generators. US-Brazil Joint Workshops on the Formal Foundations of Software Systems 1997: 149-168 - 1996
- [b3]Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin:
An introduction to programming with Mathematica (2. ed.). Springer 1996, ISBN 978-0-387-94434-0, pp. I-XXIII, 1-452 - [j9]Samuel N. Kamin:
The Challenge of Language Technology Transfer. ACM Comput. Surv. 28(4es): 197 (1996) - [j8]Jonathan Springer, Samuel N. Kamin:
Strictness Analysis in the Imperative Lambda Calculus. LISP Symb. Comput. 9(1): 109-143 (1996) - 1995
- [j7]Samuel N. Kamin:
Report of a Workshop on Future Directions in Programming Languages and Compilers. ACM SIGPLAN Notices 30(7): 9-28 (1995) - 1993
- [b2]Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin:
Introduction to programming with Mathematica. Springer 1993, ISBN 978-0-387-94048-9, pp. I-XIX, 1-302 - [j6]Uday S. Reddy, Samuel N. Kamin:
On the Power of Abstract Interpretation. Comput. Lang. 19(2): 79-89 (1993) - 1992
- [j5]Samuel N. Kamin:
Head-Strictness is Not a Monotonic Abstract Property. Inf. Process. Lett. 41(4): 195-198 (1992) - [c8]Uday S. Reddy, Samuel N. Kamin:
On the power of abstract interpretation. ICCL 1992: 24-33 - 1990
- [b1]Samuel N. Kamin:
Programming languages - an interpreter-based approach. Addison-Wesley 1990, ISBN 978-0-201-06824-5, pp. I-XII, 1-640
1980 – 1989
- 1988
- [c7]Samuel N. Kamin:
Inheritance in Smalltalk-80: A Denotational Definition. POPL 1988: 80-87 - 1987
- [j4]Samuel N. Kamin:
The Expressive Theory of Stacks. Acta Informatica 24(6): 695-709 (1987) - 1986
- [c6]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 - [c5]Stan Jefferson, Samuel N. Kamin:
Executable Specifications with Quantifiers in the FASE System. POPL 1986: 318-326 - 1985
- [c4]Samuel N. Kamin:
A FASE Specification of FP. Logic of Programs 1985: 143-152 - 1984
- [c3]Samuel N. Kamin, Myla Archer:
Partial Implementations of Abstract Data Types: A Dissenting view on Errors. Semantics of Data Types 1984: 317-336 - 1983
- [j3]Samuel N. Kamin:
Final Data Types and Their Specification. ACM Trans. Program. Lang. Syst. 5(1): 97-123 (1983) - 1980
- [c2]Samuel N. Kamin:
Final Data Tye Specifications: A New Data Type Specification Method. POPL 1980: 131-138
1970 – 1979
- 1979
- [j2]John C. Cherniavsky, Samuel N. Kamin:
A Complete and Consistent Hoare Axiomatics for a Simple Programming Language. J. ACM 26(1): 119-128 (1979) - [j1]Sam Kamin:
Some definitions for algebraic data type specifications. ACM SIGPLAN Notices 14(3): 28-37 (1979) - 1977
- [c1]John C. Cherniavsky, Samuel N. Kamin:
A Complete and Consistent Hoare Semantics for a Simple Programming Language. POPL 1977: 1-9
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
