1 citations · 1 across the 1 of their papers we have counts for
3 papers
Can Large-Language Models Help us Better Understand and Teach the Development of Energy-Efficient Software?
Ryan Hasler, Konstantin Läufer, George K. Thiruvathukal +5
Computing systems are consuming an increasing and unsustainable fraction of society's energy footprint, notably in data centers. Meanwhile, energy-efficient software engineering te…
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
Konstantin Läufer, Gunda Mertin, George K. Thiruvathukal
Background: In this paper, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), in…
Snapshot Metrics Are Not Enough: Analyzing Software Repositories with Longitudinal Metrics
Nicholas Synovic, Matt Hyatt, Rohan Sethi +11
Software metrics capture information about software development processes and products. These metrics support decision-making, e.g., in team management or dependency selection. How…