CASTOR 

 

Software Research Centre in Stockholm

Managing director Benoit Baudry wants to see an increased exchange between researchers and companies.

He hopes that open source software-based research can spread to industrial production environments.

Benoit Baudry’s Interview after CASTOR’s Inauguration

Published on the KTH's newsletter, managing director of CASTOR Benoit Baudry wants to see an increased exchange between researchers and companies. Read the interview.  ...

CASTOR’s member in the Executive Committee of the Association of Constraint Programming

Christian Schulte has been elected to the Executive Committee of the Association of Constraint Programming (ACP) for the period 2019-2022. Christian is the only member who has been elected twice (also 2006-2009). The Association for Constraint Programming aims at...

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...

Two Major Publications in ISSRE’18 and EMSE’18 by CASTOR Researchers

In the 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018), titled "Fully Automated HTML and Javascript Rewriting for Constructing a Self-healing Web Proxy", led by Martin Monperrus (see https://arxiv.org/pdf/1803.08725.pdf).   In...

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: https://github.com/castor-software    

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...