3 papers
cs.PL2026
Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
Andrea Gilot, Tobias Wrigstad, Eva Darulova
Reasoning about floating-point arithmetic is notoriously hard. While static and dynamic analysis techniques or program repair have made significant progress, more work is still nee…
cs.PL2025
Monk: Opportunistic Scheduling to Delay Horizontal Scaling
Marina Shimchenko, Erik Ãsterlund, Tobias Wrigstad
In modern server computing, efficient CPU resource usage is often traded for latency. Garbage collection is a key aspect of memory management in programming languages like Java, bu…
cs.PL2024
Scheduling Garbage Collection for Energy Efficiency on Asymmetric Multicore Processors
Marina Shimchenko, Erik Ãsterlund, Tobias Wrigstad
The growing concern for energy efficiency in the Information and Communication Technology (ICT) sector has prompted the exploration of resource management techniques. While hardwar…