Konstantin Läufer

55 papers A* 2A 5C 2Journal 29Unranked 15
YearRankTypeTitle / Venue / Authors
2025 J jnl
AgentHub: A Research Agenda for Agent Sharing Infrastructure.
CoRR
Erik Pautsch, Tanmay Singla, Wenxin Jiang, Huiyun Peng, Behnaz Hassanshahi, Konstantin Läufer, George K. Thiruvathukal, James C. Davis
2025 J jnl
SysLLMatic: Large Language Models are Software System Optimizers.
CoRR
Huiyun Peng, Arjun Gupte, Ryan Hasler, Nicholas John Eliopoulos, Chien Chou Ho, Rishi Mantri, Leo Deng, Konstantin Läufer, George K. Thiruvathukal, James C. Davis
2024 J jnl
Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?
CoRR
Ryan Hasler, Konstantin Läufer, George K. Thiruvathukal, Huiyun Peng, Kyle Robinson, Kirsten Davis, Yung-Hsiang Lu, James C. Davis
2024 J jnl
Engaging More Students in Formal Methods Education: A Practical Approach Using Temporal Logic of Actions.
Computer
Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal
2024 J jnl
Large Language Models for Energy-Efficient Code: Emerging Results and Future Directions.
CoRR
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
2024 C conf
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+.
FIE
Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal
2024 J jnl
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+.
CoRR
Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal
2022 A* conf
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics.
ASE
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
2022 J jnl
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics.
CoRR
Nicholas 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
2022 — conf
UnoAPI: Balancing Performance, Portability, and Productivity (P3) in HPC Education.
EduHPC@SC
Konstantin Läufer, George K. Thiruvathukal
2019 J jnl
On the Interaction of Object-Oriented Design Patterns and Programming Languages.
CoRR
Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo
2019 — conf
Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait.
SCALA@ECOOP
Konstantin Läufer, John O'Sullivan, George K. Thiruvathukal
2018 J jnl
Auto-generated Spies Increase Test Maintainability.
CoRR
Konstantin Läufer, John O'Sullivan, George K. Thiruvathukal
2018 — ch.
Managing Concurrency in Mobile User Interfaces with Examples in Android.
Topics in Parallel and Distributed Computing
Konstantin Läufer, George K. Thiruvathukal
2018 J jnl
Metrics Dashboard: A Hosted Platform for Software Quality Metrics.
CoRR
George K. Thiruvathukal, Shilpika, Nicholas J. Hayward, Konstantin Läufer
2017 J jnl
Teaching Concurrent Software Design: A Case Study Using Android.
CoRR
Konstantin Läufer, George K. Thiruvathukal
2015 — conf
A framework architecture for student learning in distributed embedded systems.
SIES
William L. Honig, Konstantin Läufer, George K. Thiruvathukal
2014 A conf
Scala for introductory CS and parallelism(abstract only).
SIGCSE
Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal
2013 A conf
Using Scala strategically across the undergraduate curriculum (abstract only).
SIGCSE
Mark C. Lewis, Konstantin Läufer, George K. Thiruvathukal
2012 — conf
Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework.
EIT
Joseph P. Kaylor, Konstantin Läufer, George K. Thiruvathukal
2011 — conf
Initial Experience in Moving Key Academic Department Functions to Social Networking Sites.
ICSOFT (1)
David B. Dennis, Konstantin Läufer, George K. Thiruvathukal
2011 J jnl
Moving Academic Department Functions to Social Networks and Clouds: Initial Experiences.
Comput. Sci. Eng.
Konstantin Läufer, George K. Thiruvathukal, David B. Dennis
2011 — conf
REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers.
ICSOFT (1)
Joe Kaylor, Konstantin Läufer, George K. Thiruvathukal
2011 — conf
RestFS: resources and services are filesystems, too.
WS-REST
Joe Kaylor, Konstantin Läufer, George K. Thiruvathukal
2010 J jnl
Virtualization for Computational Scientists.
Comput. Sci. Eng.
George K. Thiruvathukal, Konrad Hinsen, Konstantin Läufer, Joe Kaylor
2009 J jnl
Essential Tools: Version Control Systems.
Comput. Sci. Eng.
Konrad Hinsen, Konstantin Läufer, George K. Thiruvathukal
2009 A conf
GroupSpeak: High-level Language Extension for Workflow Capability.
ICWS
Moshe Gutman, Sridhar Radhakrishnan, Changwook Kim, Chandra N. Sekharan, Konstantin Läufer
2009 J jnl
Putting a Slug to Work.
Comput. Sci. Eng.
Konstantin Läufer, George K. Thiruvathukal, Ryohei Nishimura, Carlos Ramirez Martinez-Eiroa
2009 J jnl
The Promises of Typed, Pure, and Lazy Functional Programming: Part II.
Comput. Sci. Eng.
Konstantin Läufer, George K. Thiruvathukal
2008 J jnl
A Stroll through Domain-Driven Development with Naked Objects.
Comput. Sci. Eng.
Konstantin Läufer
2008 C conf
Combining SOA and BPM Technologies for Cross-System Process Automation.
SEKE
S. Herr, Konstantin Läufer, J. Shafaee, George K. Thiruvathukal, Guido Wirtz
2008 — conf
Taming XML: Objects first, then markup.
EIT
Matt Bone, Peter F. Nabicht, Konstantin Läufer, George K. Thiruvathukal
2008 J jnl
What I Did on My Summer Vacation.
Comput. Sci. Eng.
George K. Thiruvathukal, Konstantin Läufer
2007 J jnl
A Hike through a Post-EJB J2EE Web Application Architecture, Part III.
Comput. Sci. Eng.
Konstantin Läufer, George K. Thiruvathukal, Benjamin Gonzalez
2007 A conf
A Model-Driven Approach to Job/Task Composition in Cluster Computing.
IPDPS
Neeraj Mehta, Yogesh Kanitkar, Konstantin Läufer, George K. Thiruvathukal
2006 J jnl
A Hike through Post-EJB J2EE Web Application Architecture, Part II.
Comput. Sci. Eng.
Konstantin Läufer
2006 J jnl
Unit Testing Considered Useful.
Comput. Sci. Eng.
George K. Thiruvathukal, Konstantin Läufer, Benjamin Gonzalez
2005 J jnl
A hike through post-EJB J2EE Web application architecture.
Comput. Sci. Eng.
Konstantin Läufer
2004 J jnl
Natural XML for data binding, processing, and persistence.
Comput. Sci. Eng.
George K. Thiruvathukal, Konstantin Läufer
2004 J jnl
Plone and content management.
Comput. Sci. Eng.
George K. Thiruvathukal, Konstantin Läufer
2003 — conf
Mockup Supporting Web Requirements Engineering.
International Conference on Internet Computing
Jia Zhang, Konstantin Läufer, Zhiguo Gong
2000 A conf
A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
CP
Vineet Gupta, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Xiaowei Jiang, Konstantin Läufer
2000 — conf
Automated systematic testing for constraint-based interactive services.
SIGSOFT FSE
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer
2000 J jnl
Safe Structural Conformance for Java.
Comput. J.
Konstantin Läufer, Gerald Baumgartner, Vincent F. Russo
2000 J jnl
Sisl: Several Interfaces, Single Logic.
Int. J. Speech Technol.
Thomas Ball, Christopher Colby, Peter J. Danielsen, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Peter Mataga, Kenneth Rehor
2000 J jnl
The Triveni project.
ACM SIGSOFT Softw. Eng. Notes
Radha Jagadeesan, Konstantin Läufer, Vineet Gupta
1998 — conf
Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
ICCL
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1998 — conf
Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
COOTS
Christopher Colby, Lalita Jategaonkar Jagadeesan, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1997 — conf
The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
US-Brazil Joint Workshops on the Formal Foundations of Software Systems
Christopher Colby, Lalita Jategaonkar, Radha Jagadeesan, Konstantin Läufer, Carlos Puchol
1996 A* conf
Putting Type Annotations to Work.
POPL
Martin Odersky, Konstantin Läufer
1996 J jnl
Type Classes with Existential Types.
J. Funct. Program.
Konstantin Läufer
1995 — conf
A Framework for Higher-Order Functions in C++.
COOTS
Konstantin Läufer
1994 J jnl
Polymorphic Type Inference and Abstract Data Types.
ACM Trans. Program. Lang. Syst.
Konstantin Läufer, Martin Odersky
1992 — —
Polymorphic Type Inference and Abstract Data Types.
Konstantin Läufer
1991 — conf
Type Classes are Signatures of Abstract Types.
Declarative Programming
Konstantin Läufer, Martin Odersky