27 citations · 34 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.CY2024
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…
cs.SE2024
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…