David Broman

News and Events

• Article published in journal ACM Transactions on Internet of Things (TIOT 2020). Title: Resilient Authentication and Authorization for the Internet of Things (IoT) Using Edge Computing

• Paper accepted to the 40th IEEE Real-Time Systems Symposium (RTSS 2019). Title: From Code to Weakly Hard Constraints: A Pragmatic End-to-End Toolchain for Timed C.

• Paper acceped to ACM SIGPLAN International Conference on Software Language Engineering (SLE 2019) Title: A Vision of Miking: Interactive Programmatic Modeling, Sound Language Composition, and Self-Learning Compilation.

• Paper accepted to the International Symposium on Practical Aspects of Declarative Languages (PADL 2019). Paper title: Creating Domain-Specific Languages by Composing Syntactical Constructs

• 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