Daniel Varro

Professor, Enhetschef

Publikationer

2026

Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Daniel Varro (2026)

JunoBench: A Benchmark Dataset of Crashes in Python Machine Learning Jupyter Notebooks AIware '26: Proceedings of the 3rd ACM International Conference on AI-Powered Software, s. 406-413 (Konferensbidrag)

https://dx.doi.org/10.1145/3805760.3814934

Willem Meijer, Kristian Sandahl, Daniel Varro (2026)

Data-aware Static Analysis: Improving Semantic Fault Detection in Machine Learning Code Using Data Characteristics Proceedings of the IEEE/ACM 48th International Conference on Software Engineering, s. 31-35 (Konferensbidrag)

https://dx.doi.org/10.1145/3786582.3786805

Aren A. Babikian, Attila Ficsor, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2026)

Automated and logically exhaustive generation of traffic scenarios at road junctions using a multi-level danger definition Software and Systems Modeling (Artikel i tidskrift)

https://dx.doi.org/10.1007/s10270-026-01372-y

2025

Boqi Chen, Kua Chen, Jose Antonio Hernandez Lopez, Gunter Mussbacher, Daniel Varro, Amir Feizpour (2025)

SHERPA: A Model-Driven Framework for Large Language Model Execution 2025 ACM/IEEE 28TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS, s. 197-208 (Konferensbidrag)

https://dx.doi.org/10.1109/MODELS67397.2025.00024

Boqi Chen, Kristof Marussy, Oszkar Semerath, Gunter Mussbacher, Daniel Varro (2025)

Certifying robustness of graph convolutional networks for node perturbation with polyhedra abstract interpretation Data mining and knowledge discovery, Vol. 40, Artikel 11 (Artikel i tidskrift)

https://dx.doi.org/10.1007/s10618-025-01180-w

Nyheter

Miljoner till kvalitetssäkring av programvara

Vinnova tilldelar Kristian Sandahl med kollegor vid Inst för datavetenskap 5,6 miljoner kr till utveckling av metoder för kvalitetssäkring av programvara genererad av AI-modeller. Med bidrag från företag och LiU omsätter projektet 18 miljoner kr.

Forskning

Cybersäkerhet

Välkommen till cybersäkerhetsplattformen vid Linköpings universitet. Här hittar du information om forskning och utbildning inom cybersäkerhet, samt forskare och lärare som är aktiva inom fältet.

robothund Spot, drönare, liten helikopter, operatör

WASP vid Institutionen för datavetenskap

WASP, Wallenberg AI autonomous systems and software program, är den största enskilda forskningssatsningen i Sverige i modern tid. En av forskningsmiljöerna kopplade till WASP vid Linköpings universitet, finns vid Institutionen för datavetenskap.

Om avdelningen

En person sitter framför en datorskärm och hanterar en golvrobot

Programvara och system (SAS)

Programvara och system är en avdelning vid Institutionen för datavetenskap för forskning och utbildning inom programvaruteknik och datorsystem. Forskningen omfattar både grundforskning och projekt i samarbete med industrin.