CASTOR Software Research Centre

A CASTOR Contribution to the Swedish Tech Press

About the use of the Python language, by Benoit Baudry, on the Swedish tech magazine Ingenjören.    

New Audiovisual Exhibition Launched

A new audiovisual exhibition, online, that lets visitors experience the fast evolution of software. Watch the trailer below, and visit the online exhibition on    

Best Student Paper Award at the 27th IEEE RTAS International Symposium

CASTOR member Matthias Becker and his collaborators received the best student paper award at the 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). RTAS is a top-tier conference with a focus on systems research related to embedded systems...

PhD student at KTH reveals a critical bug in the CDN infrastructure of Fastly

Javier Cabrera Arteaga, PhD student at KTH working on automatic randomization for Webassembly, reveals a critical bug in the CDN infrastructure of Fastly. More information:...

CASTOR contributes to software verification benchmark infrastructure

As part of the "WASP software arena" project, CASTOR contributed an extension to the "benchexec" infrastructure that has been used over the last ten years to evaluate various software verification tools for C and Java programs. CASTOR's contribution provides the setup...

Google summer of code to consolidate CASTOR’s open source software technology

Rohitesh Kumar Jain and Abhay Singh are accepted in the Google summer of code to consolidate CASTOR's open source software technology! They will work on Spoon and Depclean. More information:

CASTOR Researchers Talk About Technique That Detects Weaknesses In Software Testing

Benoit Baudry and Martin Monperrus, both professors in software technology within CASTOR, talk about software testing, in particular about  pseudo-tested methods which can be a reliability risk. They explain how they developed a methodology and tool to uncover them in...

CASTOR as a Mentor Organization for the Upcoming Google Summer of Code (GSoC) 2021

Google Summer of Code (GSoC) is a global program focused on bringing more student developers into open source software development. Students work with an open source organization on a 10 week programming project during their break from school. CASTOR has been accepted...