Konstantin Läufer

According to our database1, Konstantin Läufer authored at least 44 papers between 1991 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


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

Tests as maintainable assets via auto-generated spies: a case study involving the scala collections library's iterator trait.
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Auto-generated Spies Increase Test Maintainability.
CoRR, 2018

Metrics Dashboard: A Hosted Platform for Software Quality Metrics.
CoRR, 2018

Managing Concurrency in Mobile User Interfaces with Examples in Android.
Proceedings of the Topics in Parallel and Distributed Computing, 2018

Teaching Concurrent Software Design: A Case Study Using Android.
CoRR, 2017

A framework architecture for student learning in distributed embedded systems.
Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

Scala for introductory CS and parallelism(abstract only).
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Using Scala strategically across the undergraduate curriculum (abstract only).
Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Simplifying domain modeling and memory management in user-mode filesystems with the NOFS framework.
Proceedings of the 2012 IEEE International Conference on Electro/Information Technology, 2012

Moving Academic Department Functions to Social Networks and Clouds: Initial Experiences.
Comput. Sci. Eng., 2011

RestFS: resources and services are filesystems, too.
Proceedings of the Second International Workshop on RESTful Design, 2011

REST on Routers? - Preliminary Lessons for Language Designers, Framework Architects and App Developers.
Proceedings of the ICSOFT 2011, 2011

Initial Experience in Moving Key Academic Department Functions to Social Networking Sites.
Proceedings of the ICSOFT 2011, 2011

Virtualization for Computational Scientists.
Comput. Sci. Eng., 2010

Putting a Slug to Work.
Comput. Sci. Eng., 2009

The Promises of Typed, Pure, and Lazy Functional Programming: Part II.
Comput. Sci. Eng., 2009

Essential Tools: Version Control Systems.
Comput. Sci. Eng., 2009

GroupSpeak: High-level Language Extension for Workflow Capability.
Proceedings of the IEEE International Conference on Web Services, 2009

What I Did on My Summer Vacation.
Comput. Sci. Eng., 2008

A Stroll through Domain-Driven Development with Naked Objects.
Comput. Sci. Eng., 2008

Combining SOA and BPM Technologies for Cross-System Process Automation.
Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

Taming XML: Objects first, then markup.
Proceedings of the 2008 IEEE International Conference on Electro/Information Technology, 2008

A Hike through a Post-EJB J2EE Web Application Architecture, Part III.
Comput. Sci. Eng., 2007

A Model-Driven Approach to Job/Task Composition in Cluster Computing.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Unit Testing Considered Useful.
Comput. Sci. Eng., 2006

A Hike through Post-EJB J2EE Web Application Architecture, Part II.
Comput. Sci. Eng., 2006

A hike through post-EJB J2EE Web application architecture.
Comput. Sci. Eng., 2005

Natural XML for data binding, processing, and persistence.
Comput. Sci. Eng., 2004

Mockup Supporting Web Requirements Engineering.
Proceedings of the International Conference on Internet Computing, 2003

The Triveni project.
ACM SIGSOFT Softw. Eng. Notes, 2000

Sisl: Several Interfaces, Single Logic.
Int. J. Speech Technol., 2000

Safe Structural Conformance for Java.
Comput. J., 2000

Automated systematic testing for constraint-based interactive services.
Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

A Constraint-Based Framework for Prototyping Distributed Virtual Applications.
Proceedings of the Principles and Practice of Constraint Programming, 2000

The Semantics of Triveni: A Process-Algebraic API for Threads + Events.
Electron. Notes Theor. Comput. Sci., 1998

Design and Implementation of Triveni: A Process-Algebraic API for Threads + Events.
Proceedings of the 1998 International Conference on Computer Languages, 1998

Objects and Concurrency in Triveni: A Telecommunication Case Study in Java.
Proceedings of the 4th USENIX Conference on Object-Oriented Technologies and Systems (COOTS), 1998

Type Classes with Existential Types.
J. Funct. Program., 1996

Putting Type Annotations to Work.
Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

A Framework for Higher-Order Functions in C++.
Proceedings of the USENIX Conference on Object-Oriented Technologies, 1995

Polymorphic Type Inference and Abstract Data Types.
ACM Trans. Program. Lang. Syst., 1994

Polymorphic Type Inference and Abstract Data Types.
PhD thesis, 1992

Type Classes are Signatures of Abstract Types.
Proceedings of the Declarative Programming, 1991