by Frederic | Sep 24, 2018 | Uncategorized
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...
by Frederic | Sep 11, 2018 | News
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...
by Frederic | Jul 5, 2018 | Uncategorized
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)....
by Frederic | Jun 16, 2018 | News
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...
by Frederic | Jun 4, 2018 | Uncategorized
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...
by Frederic | May 6, 2018 | News
We initiated a list of CASTOR related softwares on the GitHub platform. Link: https://github.com/castor-software
by Frederic | Apr 13, 2018 | Results
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...
by Frederic | Mar 16, 2018 | News
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...
by Frederic | Dec 5, 2017 | News
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...
