SelectedWorks - Konstantin Läufer

Contact

Konstantin Läufer

Professor of Computer Science, Loyola University Chicago

Konstantin Läufer is a Professor of Computer Science at Loyola University Chicago.

Works
About

About Konstantin Läufer

Konstantin Läufer is a Professor of Computer Science at Loyola University Chicago.

2005 - Present	Professor, Loyola University Chicago ‐ Department of Computer Science
Institution Organization Position Type Position Title Time Period to Options Current Position Affiliate my profile with this Institution

OS and Networks, Programming Languages and Compilers, Software Engineering, and Systems Architecture

Konstantin's current research focuses on functional and reactive languages and patterns, mobile/pervasive computing including the Internet of Things (IoT), software testing, structural and in-process software quality metrics, and digital music.

Personal web page

http://orcid.org/0000-0002-7548-0876

Article

Tests as Maintainable Assets Via Auto-generated Spies: A case study ...

Scala 2019 Tenth ACM SIGPLAN Scala Symposium (2019)

Konstantin Läufer, John O'Sullivan and George K. Thiruvathukal

In testing stateful abstractions, it is often necessary to record interactions, such as method invocations, and express assertions over these ...

Download

Article

Teaching Concurrent Software Design: A Case Study Using Android

Computer Science: Faculty Publications and Other Works (2017)

Konstantin Läufer and George K. Thiruvathukal

In this article, we explore various parallel and distributed computing topics from a user-centric software engineering perspective. Specifically, in the ...

Link

Presentation

Experiences with Scala Across the College-Level Curriculum

Emerging Technologies Laboratory (2017)

Konstantin Läufer, George K. Thiruvathukal and Mark C Lewis

Various hybrid-functional languages, designed to balance compile-time error detection, conciseness, and performance, have emerged. Scala, e.g., is interoperable with Java ...

Download

Presentation

Using Scala Strategically Across the Undergraduate Curriculum

Proceedings of the 44th ACM Technical Symposium on Computer Science Education (2013)

Mark Lewis, Konstantin Läufer and George K. Thiruvathukal

Various hybrid-paradigm languages, designed to balance compile-time error detection, conciseness, and performance, have emerged. Scala, e.g., is interoperable with Java ...

Link

Article

Simplifying Domain Modeling and Memory Management in User-Mode Filesystems with ...

Proc. 2010 IEEE Intl. Conf. on Electro/Information Technology (2012)

Joseph P. Kaylor, Konstantin Läufer and George K. Thiruvathukal

Transparent access to remote data sets and data arising from web services is a non-trivial challenge to application developers. This ...

Download

Article

Scientific Programming: The Promises of Typed, Pure, and Lazy Functional ...

Computing in Science & Engineering (2009)

Konstantin Läufer and George K. Thiruvathukal

This second installment picks up where Konrad Hinsen's article "The Promises of Functional Programming" from the July/August 2009 issue left ...

Download

Article

Taming XML: Objects first, then markup

IEEE Electro/Information Technology (2008)

Matt Bone, Peter Nabicht, Konstantin Läufer and George K. Thiruvathukal

Processing markup in object-oriented languages often requires the programmer to focus on the objects generating the markup rather than the ...

Download

Article

A Model-Driven Approach to Job/Task Composition in Cluster Computing

IEEE International Parallel and Distributed Processing Symposium (2007)

Yogesh Kanitkar, Konstantin Läufer, Neeraj Mehta and George K. Thiruvathukal

In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a ...

Download

Article

Natural XML for Data Binding, Processing, and Persistence

Computing in Science & Engineering (2004)

George K. Thiruvathukal and Konstantin Läufer

The article explains what you need to do to incorporate XML directly into your computational science application. The exploration involves ...

Download

Article

Automated Systematic Testing for Constraint-Based Interactive Services

Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications (2000)

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan and Konstantin Laufer

Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications ...

Download

Article

Sisl: Several Interfaces, Single Logic

International Journal of Speech Technology (2000)

Thomas Ball, Christopher P Colby, Peter Danielsen, Lalita Jategaonkar Jagadeesan, et al.

Modern interactive services such as information and e-commerce services are becoming increasingly more flexible in the types of user interfaces ...

Download

Article

Design and Implementation of Triveni: a Process-Algebraic API for Threads ...

Proc. Intl. Conf. on Computer Languages (1998)

Christopher P Colby, Lalita Jategaonkar Jagaeesan, Radhakrishnan Jagadeesan, Konstantin Laufer, et al.

We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an ...

Download

Article

Safe Structural Conformance for Java

Department of Computer Science Technical Reports (1996)

Konstantin Laufer, Gerald Baumgartner and Vincent F. Russo

Download

Article

On the Interaction of Object-Oriented Design Patterns and Programming Languages

Department of Computer Science Technical Reports (1996)

Gerald Baumgartner, Konstantin Laufer and Vernon J. Rego

Download

Article

Putting Type Annotations to Work

Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ser. POPL (1996)

Martin Odersky and Konstantin Laufer

We study an extension of the Hindley/Milner system with explicit type scheme annotations and type declarations. The system can express ...

Download

Article

Teaching Concurrent Software Design: A Case Study Using Android

Computer Science: Faculty Publications and Other Works (2017)

Konstantin Läufer and George K. Thiruvathukal

In this article, we explore various parallel and distributed computing topics from a user-centric software engineering perspective. Specifically, in the ...

Link

Presentation

Spring11: PDC in CS1/2 and a mobile/cloud ...

Proc. 3rd NSF/IEEE-CS TCPP Workshop on Parallel and Distributed Computing Education (2013)

Joseph P. Kaylor, Konstantin Läufer, Chandra N Sekharan and George K. Thiruvathukal

Recent changes in the environment of Loyola University Chicago’s Department of Computer Science include a better differentiation of our four ...

Download

Presentation

Network Technologies Used to Aggregate Environmental Data

2nd Greater Chicago Area System Research Workshop (2013)

Paul Stasiuk, Konstantin Läufer and George K. Thiruvathukal

The goal of the Loyola Weather Service (lws) project is to design and build a system of functioning environmental monitoring ...

Download

Presentation

Filesystems: Addressing the Last-mile “problem” in Services-Oriented/Cloud Computing

Scientific Software Days (2012)

George K. Thiruvathukal, Joseph P. Kaylor and Konstantin Läufer

We have designed and implemented RestFS, a software framework that provides a uniform, configurable connector layer for mapping remote web-based ...

Download

Article

Simplifying Domain Modeling and Memory Management in User-Mode Filesystems with ...

Proc. 2010 IEEE Intl. Conf. on Electro/Information Technology (2012)

Joseph P. Kaylor, Konstantin Läufer and George K. Thiruvathukal

Transparent access to remote data sets and data arising from web services is a non-trivial challenge to application developers. This ...

Download

Presentation

An Object-Oriented Framework for Userland Filesystem Development

NOFS (2012)

George K. Thiruvathukal, Joseph P. Kaylor and Konstantin Läufer

Userland filesystems (also known as virtual/installable filesystems) represent a promising direction for interfacing the traditional filesystem concept to specific domain ...

Download

Article

Moving Academic Department Functions to Social Networks and Clouds: Initial ...

Computing in Science & Engineering (2011)

George K. Thiruvathukal, Konstantin Läufer and David Dennis

The ability to move locally hosted services to cloud-based technologies is a key element in the scientific programming toolbox.

Download

Article

REST on Routers? Preliminary Lessons for Language Designers, Framework Architects ...

Proc. 6th International Conference on Software and Data Technologies (2011)

Joseph P. Kaylor, Konstantin Läufer and George K. Thiruvathukal

In this position paper, we provide a preliminary assessment of hardware and software solution stack choices available to developers of ...

Download

Article

RestFS: Resources and Services are Filesystems, Too

Computer Science: Faculty Publications and Other Works (2011)

Joseph P. Kaylor, Konstantin Läufer and George K. Thiruvathukal

We have designed and implemented RestFS, a software frame-work that provides a uniform, configurable connector layerfor mapping remote web-based resources ...

Download

Article

RestFS: The Filesystem as a Connector Abstraction for Flexible Resource ...

Cloud Computing: Methodology, System, and Applications (2011)

Joseph P. Kaylor, Konstantin Läufer and George K. Thiruvathukal

The broader context for this chapter comprises business scenarios requiring resource and/or service composition, such as (intra-company) enterprise application integration ...

Download

About Konstantin Läufer

Positions

Disciplines

Research Interests

Links

ORCID

Featured Works (1)

Programming Languages (14)

Parallel and Distributed Systems (15)