Photo credit: Rob Solomon

Lindsey Kuper

Lindley Hall 230A · (847) 636-0186 · lkuper@cs.indiana.edu

"We are using here a powerful strategy of synthesis: wishful thinking."
— Structure and Interpretation of Computer Programs, section 2.1.1

I'm a Ph.D. student in the Computer Science Program within the School of Informatics and Computing at Indiana University Bloomington. My research interests include programming languages and compilers.

Publications

• Efficient representations for triangular substitutions: A comparison in miniKanren. David C. Bender, Lindsey Kuper, William E. Byrd, and Daniel P. Friedman. Submitted for publication in FLOPS 2010.
• A pattern matcher for miniKanren, or, how to get into trouble with CPS macros. Andrew W. Keep, Michael D. Adams, Lindsey Kuper, William E. Byrd, and Daniel P. Friedman. 2009 Workshop on Scheme and Functional Programming, Boston, Massachusetts, August 2009.

Teaching

Fall 2009

• Associate Instructor, CSCI B521 Programming Language Principles (Daniel P. Friedman)
• Associate Instructor, CSCI C311 Programming Languages (Daniel P. Friedman)

Spring 2009

• Associate Instructor, CSCI C311 Programming Languages (Daniel P. Friedman)

Résumé

• PDF
• text

Courses

Fall 2009

• CSCI B522 Programming Language Foundations (Amal Ahmed)
• CSCI B551 Elements of Artificial Intelligence (Kris Hauser)
• CSCI P545 Embedded and Real-Time Systems (Steven D. Johnson)
• MUS X070 Contemporary Vocal Ensemble (Carmen Helena Téllez)

Spring 2009

• CSCI B502 Computational Complexity (Daniel Leivant)
• CSCI B621 Advanced Concepts in Programming Languages (Daniel P. Friedman)
• CSCI P523 Programming Language Implementation (R. Kent Dybvig)
• MUS X070 University Chorale (William Jon Gray)

Fall 2008

• CSCI B501 Theory of Computation (Daniel Leivant)
• CSCI B521 Programming Language Principles (Daniel P. Friedman)
• CSCI B561 Advanced Database Concepts (Dirk Van Gucht)
• MUS X070 University Chorale (William Jon Gray)

Wishful thinking

• My blog
• Shoebox Full of Tapes