SAP uses Gecode!

Gecode is a highly-efficient constraint solver, which is being developed under the lead of Prof. Christian Schulte. This engine was first made available in SAP in summer 2017 for advanced variant configuration. At the core of the configuration engine, SAP has chosen...

Musard Balliu and Elena Troubitsyna Gave Talks at Ericsson Research

Musard Balliu and Elena Troubitsyna from the CASTOR Research Centre gave talks on June the 19th at Ericsson Research. Talk by Musard Balliu Title: Application Security for the Web and IoT Domain Abstract: Society increasingly relies on applications that handle...

CASTOR Talk at the ACP Summer School 2018

Christian Schulte gave a talk at the ACP Summer School 2018 in Jackson, Wyoming, USA. Abstract: The Solver Side of Constraint Programming The goal of this tutorial is simple: you will learn that the solver side of CP (Constraint Programming) is in fact not the dark...

CASTOR Software on GitHub!

We initiated a list of CASTOR related softwares on the GitHub platform. Link:    

Outstanding Paper Award to Castor Researcher

Castor faculty David Broman and his PhD student Saranya Natarajan received an outstanding paper award at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018). Paper title: Timed C: An Extension to the C Programming Language for Real-Time...

BISS’18 PhD Spring School Course on Provable Security

Mads Dam gave a PhD course on provable security for low level execution platforms at the Bertinoro International Spring School 2018 (in March 2018). Abstract: Much attention has been paid in the recent years to the problem of verification for various types of low...

New article on the Ericsson’s Research Blog about Unison

A new article titled "Outperforming state-of-the-art compilers in Unison" has been published on the Ericsson's Research blog. Do you want to improve the quality of your code? Unison is a new compiler with a radically new approach. It’s available open source and we’d...

CASTOR Newsletter

Upcoming Events

Oct 14

CASTOR Software Days – DevOps (Day 1)

October 14 @ 08:30 - 17:00
Oct 14

KTH Continuous Integration Art Hackathon

October 14 @ 17:00 - 23:45

News Categories