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