Selected Publications

Contents

• Human-Computer Interaction
• Concurrent and Distributed Systems
• Software Design Patterns
• Type Systems
• Computer Science Education
• Complete BibTeX Bibliography

On this page, selecting the document icon displays the full paper in Adobe PDF (get Adobe Acrobat Reader here). Selecting the abstract icon displays the abstract of the paper in plain text. Selecting the BibTeX icon displays a BibTeX entry for the paper. Selecting the code icon provides access to example code for the paper.

Please contact me if you need custom versions (A4, double-sided, and such) or hardcopies of any of these files.

Human-Computer Interaction ^

T. Bai, C. K. Chung, K. Läufer, D. Rockwell, and G. K. Thiruvathukal. A multi-platform application suite for enhancing South Asian language pedagogy. Technical Report, Loyola University Chicago, September 2003. Extended version of the Tool Demo presented at the Midwest Software Engineering Conference (MSEC), Chicago, Illinois, USA, June 2003.

T. Ball, C. Colby, P. Danielsen, L. Jategaonkar Jagadeesan, R. Jagadeesan, K. Läufer, P. Mataga, and K. Rehor. Sisl: several interfaces, single logic. Intl. J. Speech Technology, 3(2):91-106, June 2000. Copyright © 2000 Kluwer Academic Publishers.

Concurrent and Distributed Systems ^

S. Herr, J. Shafaee, K. Läufer, G. K. Thiruvathukal, and G. Wirtz. Combining SOA and BPM technologies for cross-system process automation. In Proc. 20th Intl. Conf. on Software Engineering and Knowledge Engineering (SEKE), July 2008.

N. Mehta, Y. Kanitkar, K. Läufer, and G. K. Thiruvathukal. A model-driven approach to job/task composition in cluster computing. In Proc. 9th International Workshop on Java and Components for Parallelism, Distribution and Concurrency (IWJPDC), Long Beach, CA, March 2007.

J. Zhang, K. Läufer, and Z. Gong. Mockup-Supported Web Requirements Engineering. In Proc. International Conference on Internet Computing (IC), Las Vegas, USA, June 23-26, 2003.

P. Godefroid, L. J. Jagadeesan, R. Jagadeesan, and K. Läufer. Automated systematic testing for constraint-based interactive services. In Proc. Foundations of Software Engineering (FSE), San Diego, CA, November 2000.

V. Gupta, L. J. Jagadeesan, R. Jagadeesan, X. Jiang, and K. Läufer. A constraint-based framework for prototyping distributed virtual applications. In Proc. Principles and Practice of Constraint Programming (PPCP), Singapore, September 2000.

C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol. The semantics of Triveni: a process-algebraic API for threads + events. Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 14, 2000.

C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol. Objects and concurrency in Triveni: a telecommunication case study in Java. In Proc. USENIX Conf. on Object-Oriented Technologies and Systems (COOTS), Santa Fé, Nuevo México, April 1998.

C. Colby, L. J. Jagadeesan, R. Jagadeesan, K. Läufer, and C. Puchol. Design and implementation of Triveni: a process-algebraic API for threads + events. In Proc. Intl. Conf. on Computer Languages (ICCL), Chicago, May 1998.

K. Läufer. An open environment for common gateway interface programming. Midwest Computer Conf. (MCC), Chicago, Illinois, March 1996.

K. Läufer. Interactive web applications based on finite state machines. Invited paper, in Proc. Symp. Information Systems Analysis and Synthesis (ISAS), Baden-Baden, Germany, August 1995.

Software Design Patterns ^

M. Bone, P. Nabicht, K. Läufer, and G. K. Thiruvathukal. Taming XML: objects first, then markup. In Proc. IEEE Intl. Conf. on Electro/Information Technology (EIT), May 2008.

K. Läufer. What functional programmers can learn from the visitor pattern. Technical Report, Loyola University Chicago, March 2003.

G. Baumgartner, K. Läufer, and V. F. Russo. On the interaction of object-oriented design patterns and programming languages. Technical Report CSD-TR-96-020, Purdue University, February 1996.

K. Läufer. A framework for higher-order functions in C++. In Proc. Conf. Object-Oriented Technologies (COOTS), Monterey, CA, June 1995.

F. Henglein and K. Läufer. Programming with structures, functions, and objects. In Proc. Latin American Informatics Conf. (PANEL), Caracas, July 1991.

K. Läufer. A Comparison of Three Approaches to Transformational Programming. Technical Report 555, Department of Computer Science, New York University, April 1991.

Type Systems ^

K. Läufer, G. Baumgartner, and V. F. Russo. Safe structural conformance for Java. Technical Report OSU-CISRC-6/98-TR20, Ohio State University, June 1998. A journal version of this report appeared in Computer Journal, 43(6), 2000.

K. Läufer. Type classes with existential types. J. Functional Programming (JFP), May 1996.

M. Odersky and K. Läufer. Putting type annotations to work. In Proc. 23rd ACM Symp. on Principles of Programming Languages (POPL), St. Petersburg, Florida, January 1996.

K. Läufer and M. Odersky. Polymorphic type inference and abstract data types. ACM Transactions of Programming Languages and Systems (TOPLAS), September 1994.

K. Läufer and M. Odersky. Self-interpretation and reflection in a statically typed language. In Proc. OOPSLA Workshop on Reflection and Metalevel Architecture, Washington, DC, September 1993.

K. Läufer. Polymorphic type inference and abstract data types. Ph.D. thesis, Department of Computer Science, New York University, July 1992.

K. Läufer and M. Odersky. An extension of ML with first-class abstract types. In Proc. Workshop on ML and its Applications, San Francisco, June 1992.

K. Läufer and M. Odersky. Type classes are signatures of abstract types. In Proc. Phoenix Workshop on Declarative Programming, Sasbachwalden, November 1991

Computer Science Education ^

K. Läufer, G. K. Thiruvathukal, T. Elrad, and A. Bader. Enhancing the CS curriculum with with aspect-oriented software development (AOSD) and early experience. Working paper, September 2003.

K. Läufer and G. K. Thiruvathukal. The extreme software development series: An open curricular framework for applied capstone courses. Working paper, September 2003.

C. Colby, R. Jagadeesan, K. Läufer, and C. Sekharan. Interaction, concurrency, and OOP in the curriculum: a sophomore course. OOPSLA 1998 Educators' Symposium, Vancouver, Canada, October 1998.

K. Läufer. Using Java in the undergraduate computer science curriculum. Midwest Computer Conf. (MCC), Springfield, Illinois, March 1997.

Disclaimer ^

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Some of this material is based upon work supported by the National Science Foundation (NSF). Any opinions, findings and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.