Konstantin Läufer

According to our database, Konstantin Läufer authored at least 50 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions.

Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal

Computer, December, 2024

Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions.

Huiyun Peng, Arjun Gupte, Nicholas John Eliopoulos, Chien Chou Ho, Rishi Mantri, Leo Deng, Wenxin Jiang, Yung-Hsiang Lu, Konstantin Läufer, George K. Thiruvathukal, James C. Davis

CoRR, 2024

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+.

Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal

CoRR, 2024

2022

Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics.

Nicholas M. Synovic, Matt Hyatt, Rohan Sethi, Sohini Thota, Shilpika, Allan J. Miller, Wenxin Jiang, Emmanuel S. Amobi, Austin Pinderski, Konstantin Läufer, Nicholas J. Hayward, Neil Klingensmith, James C. Davis, George K. Thiruvathukal

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

UnoAPI: Balancing Performance, Portability, and Productivity (P3) in HPC Education.

Konstantin Läufer, George K. Thiruvathukal

Proceedings of the IEEE/ACM International Workshop on Education for High Performance Computing, 2022

2019

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

Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo

CoRR, 2019

Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait.

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

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

2018

Auto-generated Spies Increase Test Maintainability.

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

CoRR, 2018

Metrics Dashboard: A Hosted Platform for Software Quality Metrics.

George K. Thiruvathukal, Shilpika, Nicholas J. Hayward, Konstantin Läufer

CoRR, 2018

Managing Concurrency in Mobile User Interfaces with Examples in Android.

Konstantin Läufer, George K. Thiruvathukal

Proceedings of the Topics in Parallel and Distributed Computing, 2018

2017

Teaching Concurrent Software Design: A Case Study Using Android.

Konstantin Läufer, George K. Thiruvathukal

CoRR, 2017

2015

A framework architecture for student learning in distributed embedded systems.

William L. Honig, Konstantin Läufer, George K. Thiruvathukal

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014

Scala for introductory CS and parallelism(abstract only).

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

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2013

Using Scala strategically across the undergraduate curriculum (abstract only).

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

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

2012

Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework.

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

Proceedings of the 2012 IEEE International Conference on Electro/Information Technology, 2012

2011

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

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

Comput. Sci. Eng., 2011

RestFS: resources and services are filesystems, too.

Joe Kaylor, Konstantin Läufer, George K. Thiruvathukal

Proceedings of the Second International Workshop on RESTful Design, 2011

REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers.

Joe Kaylor, Konstantin Läufer, George K. Thiruvathukal

Proceedings of the ICSOFT 2011, 2011

Initial Experience in Moving Key Academic Department Functions to Social Networking Sites.

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

Proceedings of the ICSOFT 2011, 2011

2010

Virtualization for Computational Scientists.

George K. Thiruvathukal, Konrad Hinsen, Konstantin Läufer, Joe Kaylor

Comput. Sci. Eng., 2010

2009

Putting a Slug to Work.

Konstantin Läufer, George K. Thiruvathukal, Ryohei Nishimura, Carlos Ramirez Martinez-Eiroa

Comput. Sci. Eng., 2009

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

Konstantin Läufer, George K. Thiruvathukal

Comput. Sci. Eng., 2009

Essential Tools: Version Control Systems.

Konrad Hinsen, Konstantin Läufer, George K. Thiruvathukal

Comput. Sci. Eng., 2009

GroupSpeak: High-level Language Extension for Workflow Capability.

Moshe Gutman, Sridhar Radhakrishnan, Changwook Kim, Chandra N. Sekharan, Konstantin Läufer

Proceedings of the IEEE International Conference on Web Services, 2009

2008

What I Did on My Summer Vacation.

George K. Thiruvathukal, Konstantin Läufer

Comput. Sci. Eng., 2008

A Stroll through Domain-Driven Development with Naked Objects.

Konstantin Läufer

Comput. Sci. Eng., 2008

Combining SOA and BPM Technologies for Cross-System Process Automation.

S. Herr, Konstantin Läufer, J. Shafaee, George K. Thiruvathukal, Guido Wirtz

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Taming XML: Objects first, then markup.

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

Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

2007

A Hike through a Post-EJB J2EE Web Application Architecture, Part III.

Konstantin Läufer, George K. Thiruvathukal, Benjamin Gonzalez

Comput. Sci. Eng., 2007

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

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

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

Unit Testing Considered Useful.

George K. Thiruvathukal, Konstantin Läufer, Benjamin Gonzalez

Comput. Sci. Eng., 2006

A Hike through Post-EJB J2EE Web Application Architecture, Part II.

Konstantin Läufer

Comput. Sci. Eng., 2006

2005

A hike through post-EJB J2EE Web application architecture.

Konstantin Läufer

Comput. Sci. Eng., 2005

2004

Plone and content management.

George K. Thiruvathukal, Konstantin Läufer

Comput. Sci. Eng., 2004

Natural XML for data binding, processing, and persistence.

George K. Thiruvathukal, Konstantin Läufer

Comput. Sci. Eng., 2004

2003

Mockup Supporting Web Requirements Engineering.

Jia Zhang, Konstantin Läufer, Zhiguo Gong

Proceedings of the International Conference on Internet Computing, 2003

2000

The Triveni project.

Radha Jagadeesan, Konstantin Läufer, Vineet Gupta

ACM SIGSOFT Softw. Eng. Notes, 2000

Sisl: Several Interfaces, Single Logic.

Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor

Int. J. Speech Technol., 2000

Safe Structural Conformance for Java.

Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo

Comput. J., 2000

Automated systematic testing for constraint-based interactive services.

Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.

Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer

Proceedings of the Principles and Practice of Constraint Programming, 2000

1998

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.

Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

1997

The Semantics of Triveni: A Process-Algebraic API for Threads + Events.

Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol

Proceedings of the US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997

1996

Type Classes with Existential Types.

Konstantin Läufer

J. Funct. Program., 1996

Putting Type Annotations to Work.

Martin Odersky, Konstantin Läufer

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

A Framework for Higher-Order Functions in C++.

Konstantin Läufer

Proceedings of the USENIX Conference on Object-Oriented Technologies, 1995

1994

Polymorphic Type Inference and Abstract Data Types.

Konstantin Läufer, Martin Odersky

ACM Trans. Program. Lang. Syst., 1994

1992

Polymorphic Type Inference and Abstract Data Types.

Konstantin Läufer

PhD thesis, 1992

1991

Type Classes are Signatures of Abstract Types.

Konstantin Läufer, Martin Odersky

Proceedings of the Declarative Programming, 1991