David Broman

News and Events

• I am happy to announce that our paper Hybrid co-simulation: it's about time was selected as a best paper in 2018 in the journal Software & Systems Modeling (SoSym).

• I am happy to announce that we received an outstanding paper award at RTAS 2018. Paper title: Timed C: An Extension to the C Programming Language for Real-Time Systems

• I am very honered to have received the award as the teacher of the year at KTH.

• Paper accepted to the The 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018). Title: Delayed Sampling and Automatic Rao-Blackwellization of Probabilistic Programs.

• Article published in the Journal of Computational and Graphical Statistics. Title: Sparse Partially Collapsed MCMC for Parallel Inference in Topic Models. [ArXiv version]

• Paper accepted to the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018). Title: Gradually Typed Symbolic Expressions

• Paper accepted to the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018). Title: Timed C: An Extension to the C Programming Language for Real-Time Systems

• Article accepted in the Journal Software & Systems Modeling. Title: Hybrid co-simulation: it's about time

• Technical report: A Brief Overview of the KTA WCET Tool.

• Paper accepted to the Edward A Lee's festschrift symposium. Title: Hybrid Simulation Safety: Limbos and Zero Crossings. To appear in LNCS, Springer.

• We received the best paper award at the 2nd IEEE International Conference on Internet-of-Thing Design and Implementation (IoTDI 2017), CPSWeek, Pittsburgh, USA, 2017. Title: A Toolkit for Construction of Authorization Service Infrastructure for the Internet of Things.

• Paper accepted to the 1st ACM Workshop on the Internet of Safe Things (SafeThings 2017). Title: An Architectural Mechanism for Resilient IoT Services

• Article accepted to the journal ACM Transactions on Embedded Computing Systems. Title: WCET-Aware Function-level Dynamic Code Management on Scratchpad Memory.

• Two new open Ph.D. position: Modeling Languages, Compilers, and Machine Learning (Application deadline: April 30, 2017)

• PC member of the The ACM SIGBED International Conference on Embedded Software (EMSOFT), Seoul, South Korea, October 15-20, 2017.

• I received the Individual Grant for Future Research Leader from the Swedish Foundation for Strategic Research (SSF). Project title: Heterogeneous Model Compilers for Uncertain Environments.