Mike SperberContactPapersSoftware

Papers and Publications


Papers

  • Sperber, Michael and Peter Thiemann: The Essence of LR Parsing. In Scherlis, William (Editor): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation PEPM '95, pages 146-155, LaJolla, CA, June 1995. ACM Press. ps.gz pdf
  • Sperber, Michael, Robert Glück and Peter Thiemann: Bootstrapping Higher-Order Program Transformers from Interpreters.In Proc. 11th Annual ACM Symposium on Applied Computing, SAC (SAC '96), pages 408-413, Philadelphia, PA, February1996. ACM. ps.gz pdf
  • Sperber, Michael and Peter Thiemann: Realistic Compilation by Partial Evaluation.In Proc. of the ACM SIGPLAN '96 Conference on Programming Language Design and Implementation, pages 206-214,Philadelphia, PA, USA, May 1996. ACM Press. ps.gz pdf
  • Sperber, Michael and Peter Thiemann: Two for the Price of One: Composing Partial Evaluation and Compilation. In Proc. of the ACM SIGPLAN '97 Conference on Programming Language Design and Implementation, pages 215-225,Las Vegas, NV, USA, June 1997. ACM Press. ps.gz pdf
  • Sperber, Michael, Peter Thiemann, and Herbert Klaeren: Distributed Partial Evaluation. In Proc. of the Second International Symposium on Parallel Symbolic Computation, PASCO'97,pages 80-87, Maui, Hawaii, July 1997. ps.gz pdf
  • Michael Sperber and Peter Thiemann: ML and the Address Operator. In The 1998 ACM SIGPLAN Workshop on ML,Baltimore, Maryland, USA, September 1998. ps.gz
  • Michael Sperber, Peter Thiemann: Generation of LR Parsers by Partial Evaluation, ACM Transactions on Programming Languages and Systems, 22(2):224-264, March 2000.
  • Michael Sperber: Computer-Assisted Lighting Design and Control. PhD thesis, University of Tübingen, 2001. PDF available here.
  • Matthias Neubauer, Peter Thiemann, Martin Gasbichler,Michael Sperber: A Functional Notation for Functional Dependencies, In The 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001. proceedings (pdf)
  • Matthias Neubauer, Michael Sperber: Down with Emacs Lisp: Dynamic Scope Analysis, In The 2001 ACM SIGPLAN Conference on Functional Programming (ICFP '01), Florence, Italy, September 2001, pages 38-49. ps.gz pdf
  • Michael Sperber: Developing a Stage Lighting System from Scratch, In The 2001 ACM SIGPLAN Conference on Functional Programming (ICFP '01), Florence, Italy, September 2001, pages 122-133. ps.gz pdf
  • Matthias Neubauer, Peter Thiemann, Martin Gasbichler,Michael Sperber: Functional Logic Overloading, In The 2002 ACM Symposium on Principles of Programming Languages, , Portland, Oregon, January 2002, 233-244. ps.gz pdf
  • Martin Gasbichler, Michael Sperber: Processes vs. User-Level Threads in Scsh, In The 2002 Scheme Workshop, Pittsburgh, Pa., October 2002. ps.gz pdf
  • Martin Gasbichler, Michael Sperber: Final Shift for Call/cc: Direct Implementation of Shift and Reset, In The 2002 ACM SIGPLAN Conference on Functional Programming (ICFP '02), Pittsburgh, Pa., October 2002, pages 271-282. ps.gz pdf
  • Martin Gasbichler, Eric Knauel, Michael Sperber Richard A. Kelsey: How to Add Threads to a Sequential Language Without Getting Tangled Up, In The 2003 Scheme Workshop, Boston, Ma., October 2003. ps.gz pdf
  • Sebastian Egner, Richard Kelsey, Michael Sperber: Cleaning up the Tower: Numbers in Scheme, In The 2004 Scheme Workshop, Snowbird, Utah, October 2004. ps.gz pdf
  • Martin Gasbichler, Michael Sperber: Integrating User-Level Threads with Processes in Scsh, Higher-Order and Symbolic Computation, Volume 18, Numbers 3-4, pages 327-354, December 2005. article
  • Annette Bieniusa, Marcus Crestani, Markus Degen, Martin Gasbichler, Phillip Heidegger, Herbert Klaeren, Eric Knauel, Michael Sperber, Peter Thiemann, Stefan Wehr: HtDP and DMdA in the Battlefield - A Case Study in First-year Programming Instruction, 2008 Workshop Functional and Declarative Programming in Education, Victoria, Canada, September 2008. pdf
  • Annette Bieniusa, Markus Degen, Phillip Heidegger, Peter Thiemann, Stefan Wehr, Martin Gasbichler, Marcus Crestani, Herbert Klaeren, Eric Knauel, Michael Sperber: Auf dem Weg zu einer robusten Programmierausbildung, 3. GI-Fachtagung Hochschuldidaktik Informatik, Potsdam, Germany, December 2008. pdf
  • Michael Sperber, R. Kent Dybvig, Matthew Flatt, Anton Van Straaten, Robby Findler,Jacob Matthews: Revised6 Report on the Algorithmic Language Scheme, Journal of Functional Programming, volume 19, issue S1, pp. 1-301. JFP page (see also the R6RS site)
  • Jürgen Börstler, Michael Sperber: Systematisches Programmieren in der Anfängerausbildung, informatica didactica, Ausgabe Nr. 8 - 2008-2010.
  • Marcus Crestani, Michael Sperber: Experience Report: Growing Programming Languages for Beginning Students, In The 2010 ACM SIGPLAN Conference on Functional Programming (ICFP 2010), Baltimore, Maryland, September 2010. pdf, talk video

Scheme Requests for Implementation

Books

The ACM requires this disclaimer:

The documents contained in these pages are included to ensure timely dissemination of scholarly and technical work on a non-commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Here's the full text of the ACM copyright notice.