Organisation profile
Organisation profile
Researchers in the DSSS group analyze, design, implement, test and deploy open distributed computer systems with a focus on sustainability.
Our research spans computer architecture, compilers, program analysis, program transformation, program generation, generative AI, operating systems, distributed computing, local and distributed networking.
We work on
- sustainability with software, which refers to using software to achieve broader sustainability goals, like reducing carbon emissions, improving resource efficiency, and promoting social good.
- sustainability of software where we focus on making the software itself more environmentally friendly, energy-efficient, and maintainable.
In our research we build software tools and applications based on theoretical foundations through model based, static and agentic analysis, as well as constructive, experimental and imperative approaches based on testing and performance analysis.
Keywords: computer systems, distributed systems, networking, IOT, sustainable systems, energy efficiency, compilers, generative AI, agentic systems
Fingerprint
Collaborations from the last five years
Profiles
-
Michele Albano
- The Technical Faculty of IT and Design
- Department of Computer Science
- Section for Distributed, Embedded and Intelligent Systems
- Automated System Verification and Validation
- Distributed Sustainable Software and Systems
- Formal Methods for Security and Privacy
- Aalborg Robotics Challenge
Person: VIP
Projects
- 4 Active
-
-
GREENSQL: Green digitalization starts in the database
Lu, H. (PI) & Wu, S. (Project Participant)
01/12/2025 → 30/11/2027
Project: Research
-
Teaching AI green coding
Thomsen, B. (PI), Ionescu, D. (Project Participant), Kapenekakis, A. (Project Participant) & Hansen, J. (Project Participant)
01/02/2025 → 31/01/2027
Project: Research
Research output
-
Compressing High-Frequency Time Series Through Multiple Models and Stealing from Residuals
Abduvakhobov, A., Jensen, S. K., Thomsen, C. & Pedersen, T. B., 2026, (Accepted/In press) 42nd IEEE International Conference on Data Engineering (ICDE).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
EnergyBench: Holistic Benchmark for Correct and Energy-Efficient LLM-Generated Code
Ionescu, D., Jensen, S. K. & Thomsen, B., 20 Jan 2026, 3rd International Conference on Federated Learning Technologies and Applications (FLTA). New York, NY, USA: IEEE (Institute of Electrical and Electronics Engineers), p. 571-579 9 p. 96Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
FlexSatIoE: Flexible Routing and Buffering for Satellite Networks Enabled Internet of Everything Applications
Wang, P., Sourav, S., Chen, B. & Li, H., 2026, In: IEEE Internet of Things Journal. 13, 1, p. 196-211 16 p.Research output: Contribution to journal › Journal article › Research › peer-review