LOOME |
||
Conference and Journal Publications
Dissertations Reports
The DSL '97 Conference.- Sam Kamin, Baris Aktemur, Maria Garzaran, Edgar Black,
Asim Yildix.
"Optimization of Sparse Matrix-Vector Multiplication by Specialization"
submitted for publication, January, 2013.
[PDF] - Milos Gligoric, Darko Marinov, and Sam Kamin,
"CoDeSe: Fast Deserialization via Code Generation"
Intl. Symp. on Software Testing and Analysis, (ISSTA 2011), Toronto, July 2011.
[PDF] - Baris Aktemur
"Type Checking Program Generators Using the Record Calculus"
Unpublished draft.
[PDF] - Baris Aktemur and Samuel Kamin
"Writing Customizable Libraries - A comparative study"
The 24th Annual ACM Symposium on Applied Computing (SAC), 2009, Honolulu, Hawaii, USA
[PDF] - Samuel Kamin, Baris Aktemur and Michael Katelman.
"Staging Static Analyses for Program Generation"
Generative Programming and Component Engineering (GPCE'06) 2006, Portland, OR, USA
[PDF] - Samuel Kamin, Baris Aktemur and Philip Morton.
"Source Level Optimization of Run-time Program Generators"
Generative Programming and Component Engineering (GPCE'05) 2005, Tallinn, Estonia
[PDF] (© Springer) - Baris Aktemur, Joel Jones, Samuel Kamin and Lars Clausen.
"Optimizing Marshalling by Run-time Program Generation"
Generative Programming and Component Engineering (GPCE'05) 2005, Tallinn, Estonia
[PDF] (© Springer) - Baris Aktemur and Samuel Kamin.
"Mumbo: A Rule Based Implementation of a Run-time Program Generation Language"
6th International Workshop on Rule-Based Programming (RULE'05) 2005, Nara, Japan
[PDF] - Sam Kamin
"Program Generation Considered Easy (Invited Talk)"
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, Verona, Italy, pp 68-79, August, 2004
[PDF] - Sam Kamin
"Routine Run-Time Code Generation"
Onward! Workshop, 18th OOPSLA, Anaheim, CA, Oct 2003
[PDF] - Sam Kamin, Lars Clausen, Ava Jarvis
"Jumbo: Run-time Code Generation for Java and Its Applications"
ACM/IEEE Symp. On Code Generation and Optimization (CGO 2003), San Francisco, March 2003
[PDF] - William Harrison, Sam Kamin
"Metacomputation-based Compiler Architecture"
5th Intl. Conf. On Mathemeatics of Program Construcion (MPC), Lisbon, Portugal, July, 2000, Springer-Verlag Lecture Notes in Computer Science 1837
[PDF] - Sam Kamin, Miranda Callahan, Lars Clausen
"Lightweight and Generative Components II: Binary-level Components"
Workshop on Semantics, Applications, and Implementation of Program Generation (SAIG), Montreal, Canada, September, 2000, Springer-Verlag Lecture Notes in Computer Science 1924
[PDF][PS] - Joel Jones, Sam Kamin
"Annotating Java Class Files with Virtual Registers for Performance"
Concurrency: Practice and Experience 12 (6), May, 2000
[PDF] - Sam Kamin, Miranda Callahan, Lars Clausen
"Lightweight and Generative Components I: Source-level Components"
First International Symposium on Generative and Component-Based Software Engineering (GCSE'99), Messe Erfurt, Germany, September 28-30, 1999
[PDF] - Bill Harrison, Sam Kamin
"Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract)"
[PDF][PS]
This paper looks at the same problem as was discussed in Modular Compilers Based on Monad Transformers below : using monads to structure modular compilers. It improves over that paper in several ways, but most significantly in that it introduces staging explicitly by the use of monads. The previous work used monad transformers to allow for composition of computational effects. We still use those, but we now structure the compiler blocks into two transformers, one for static and one for dynamic computations. These are composed separately, yielding a semantics that is staged and so is more amenable to compilation. (Actually, we think this use of meta-computation may well have more applications than modular compilers, but that's for another time.) - Sam Kamin
"Research on Domain-specific Embedded Languages and Program Generators"
Electronic Notes in Theoretical Computer Science 12, Elsevier Press, 1998
[PDF][PS] - Bill Harrison, Sam Kamin
"Modular Compilers Based on Monad Transformers"
IEEE Computer Society International Conference on Computer Languages 1998, Loyola University, Chicago, May 1998, 122-131
[PDF][PS] - Matt Beckman, Sam Kamin
"Controlled self-applicable on-line partial evaluation, using strategies"
IEEE Computer Society International Conference on Computer Languages 1998, Loyola University, Chicago, May 1998, 143-152
[PDF][PS] - David Hyatt, Sam Kamin
"A Special-purpose Language for Picture-Drawing"
USENIX Conf on Domain-specific Languages (DSL '97), Santa Barbara, Oct. 1997, 297-310
[PDF][PS] (code from paper) - Sam Kamin
"The Challenge of Language Technology Transfer: Position Statement for Workshop on Software Engineering and Programming Languages"
Cambridge, Mass., 1996, ACM Computing Surveys 28A(4), December 1996
[Citation Page] - Sam Kamin
"Report of a Workshop on Future Directions in Programming Languages and Compilers"
SIGPLAN Notices 30(7), July 1995
[PDF][PS] - Uday Reddy, Sam Kamin
"Arrays in Imperative Lambda Calculus"
ATABLE-92 (Second Intl. Workshop on Array Structures), Montreal, June 1992, 92--104
[PDF][PS] - Sam Kamin
"Head-strictness is not a monotonic abstract property"
Information Processing Letters 41, 1992
[PDF][PS]
Dissertations
- T. Baris Aktemur
"Improving Efficiency and Safety of Program Generation"
PhD Thesis, University of Illinois at Urbana-Champaign, 2006, Urbana, USA
[PDF] - Michael Katelman
"Staged Static Analyses and Run Time Program Generation"
Master's Thesis, University of Illinois at Urbana-Champaign, 2006, Urbana, USA
[PDF] - Philip Morton
"Source Level Rewriting of the Jumbo Runtime Code Generation Framework"
Master's Thesis, University of Illinois at Urbana-Champaign, 2005, Urbana, USA
[PDF] - Baris Aktemur
"A Rule-Based Model of a Runtime Program Generation System"
Master's Thesis, University of Illinois at Urbana-Champaign, 2005, Urbana, USA
[PDF] - Mattox Beckman
Controlling Partial Evaluators Using Functional Parameters
PhD Thesis. University of Illinois. 2003
[PDF] - Lars Clausen
"Optimizations in Distributed Run-time Compilation"
PhD Thesis. University of Illinois. 2003
[PDF] - Joel Jones
Annotating Mobile Code For Performance
PhD Thesis. University of Illinois. 2002
[PDF] - William Harrison
Modular Compilers and Their Correctness Proofs
PhD Thesis. University of Illinois. 2001
[PDF]
Reports
- Baris Aktemur, Samuel Kamin and Michael Katelman
"Staging Static Analyses for Program Generation (Extended Version)"
Technical Report, University of Illinois at Urbana-Champaign
Department of Computer Science (UIUCDCS-R-2008-3018)
[PDF]
- Samuel Kamin, Baris Aktemur and Michael Katelman.
"Staging Static Analyses for Program Generation"
Technical Report, University of Illinois at Urbana-Champaign
Department of Computer Science (UIUCDCS-R-2006-2771)
[PDF] - Sam Kamin
"An implementation-oriented semantics of Wadler's pretty-printing combinators"
[PDF][PS] - Sam Kamin
"Building program generators the easy way (extended abstract)"
[PDF][PS] - Sam Kamin
"Standard ML as a Meta-Programming Language"
[PDF][PS] - Richard Gaylord, Sam Kamin
"A random walk through functional programming"
[PDF][PS]