Konstantin Läufer

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 9

Top Topics

Quality Metrics

Object Relational

Software Quality

Top Venues

Publications

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