Daniel Varro

Professor, Enhetschef

Publikationer

2025

Dominik Frey, Ulf Kargén, Dániel Varró (2025) Assessing Scene Generation Techniques for Testing COLREGS-Compliance of Autonomous Surface Vehicles Proceedings of the ACM on Software Engineering, Vol. 2, s. 985-1008 (Artikel i tidskrift)

Vidare till DOI

Mootez Saad, José Antonio Hernández López, Boqi Chen, Dániel Varró, Tushar Sharma (2025) An Adaptive Language-Agnostic Pruning Method for Greener Language Models for Code Proceedings of the ACM on Software Engineering, Vol. 2, s. 1183-1204 (Artikel i tidskrift)

Vidare till DOI

Boqi Chen, Aren Babikian, Shuzhao Feng, Daniel Varro, Gunter Mussbacher (2025) LLM-based Satisfiability Checking of String Requirements by Consistent Data and Checker Generation

Boqi Chen, José Antonio Hernández López, Gunter Mussbacher, Daniel Varro (2025) The Power of Types: Exploring the Impact of Type Checking on Neural Bug Detection in Dynamically Typed Languages 2025 IEEE/ACM 47TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, s. 489-501 (Konferensbidrag)

Vidare till DOI

Yiran Wang, Willem Meijer, Jose Antonio Hernandez Lopez, Ulf Nilsson, Daniel Varro (2025) Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks IEEE Transactions on Software Engineering, Vol. 51, s. 2181-2196 (Artikel i tidskrift)

Vidare till DOI

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 Institutionen för datavetenskap 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 (IDA)

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.