News and Events

Year 2024

Fall 2024: I'm now back in Sweden at KTH, and I'm honored to take on the new role as head of the division for the Division of Software and Computer Systems (SCS) within the Department of Computer Science and the School of Electrical Engineering and Computer Science (EECS) at KTH.
Please take a look at some of the exciting collaboration results and preprints from my year at Stanford: (i) Learning Formal Mathematics From Intrinsic Motivation, (ii) Automatic Tracing in Task-Based Runtime Systems, (iii) Optimizing Instructions and Demonstrations for Multi-Stage Language Model Programs, and (iv) Scorch: A Library for Sparse Deep Learning.
Paper accepted to the IEEE Transactions on Automatic Control. Paper title: Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive Control, 2024.
A new exciting Ph.D. position is available in my group. The topic is on the intersection of programming languages, compilers, natural language processing, and machine learning using large language models. Please check out the ad, as well as the project description. Application deadline is June 12, 2024.
Paper accepted to the 33rd European Symposium on Programming (ESOP 2024). Paper title: Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.
General Chair for the Forum on Specification & Design Languages (FDL), Stockholm, September, 2024.

Year 2023

The second Miking Workshop took place on November 23, 2023. Please see the workshop agenda.
I'm a Visiting Professor at Stanford University during a 1-year period (fall 2023 and spring 2024).
Paper accepted to the International Conference on Generative Programming: Concepts and Experiences (GPCE 2023). Paper title: Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers.
We received the best ETAPS paper on programming languages and systems (the EAPLS Award). The paper was published at the 32nd European Symposium on Programming (ESOP) with title: Automatic Alignment in Higher-Order Probabilistic Programming Languages
Article accepted to journal Systematic Biology. Paper title: Online tree expansion could help solve the problem of scalability in Bayesian phylogenetics.
My PhD student Daniel Lundén successfully defended his PhD thesis on March 29, 2023. Title: Correct and Efficient Monte Carlo Inference for Universal Probabilistic Programming Languages. Congratulations Daniel!
Paper accepteed to the 32nd European Symposium on Programming (ESOP 2023). Paper title: Automatic Alignment in Higher-Order Probabilistic Programming Languages.
PC chair for the Forum on Specification & Design Languages (FDL), Turin, Italy, September, 2023.
Paper accepted to the 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023). Paper title: Statically Resolvable Ambiguity.

Year 2022

We successfully organized the first Miking Workshop, which took place on December 14, 2022. Please see the workshop agenda and the news from Digital Futures.
Paper accepted to the 61st IEEE Conference on Decision and Control (CDC 2022). Paper title: Stochastic Approximation for Identification of Non-Linear Differential-Algebraic Equations with Process Disturbances.
New short course/tutorial on Fundamentals of Bayesian Inference using Probabilistic Programming.
We received a Distinguished Artifact Award at the 31st European Symposium on Programming (ESOP 2022) for the paper Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.
PC chair for the ACM SIGBED International Conference on Embedded Software (EMSOFT 2022).
Paper accepted to the 31st European Symposium on Programming (ESOP 2022). Paper title: Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference.

Year 2021

Paper accepted to the 32nd International Symposium on Software Reliability Engineering (ISSRE 2021). Paper title: The Behavioral Diversity of Java JSON Libraries.
Paper accepted to the 60th IEEE Conference on Decision and Control (CDC 2021). Paper title: Identification of Non-Linear Differential-Algebraic Equation Models with Process Disturbances.
My PhD student Saranya Natarajan successfully defended her PhD thesis on June 8, 2021. Title: Programming Language Primitives and Tools for Integrated Real-Time Systems Development. Congratulations Saranya!
PC member of the 49th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2022).
Article accepted to the Springer Nature journal communications biology. Title: Universal probabilistic programming offers a powerful approach to statistical phylogenetics.
Co-PC chair of for the ACM SIGBED International Conference on Embedded Software (EMSOFT 2021).
Paper accepted to the 30th European Symposium on Programming (ESOP 2021). Paper title: Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages.
Paper accepted to the 30th ACM SIGPLAN International Conference on Compiler Construction (CC 2021). Paper title: Resolvable Ambiguity: Principled Resolution of Syntactically Ambiguous Programs.
Expert reviewer for the International Conference on Machine Learning (ICML), 2021.

Year 2020

Article accepted to the journal ACM Transactions on Embedded Computing Systems (TECS). Title: Interactive Programmatic Modeling.
Selected as a top 10% high-scoring reviewer for the Conference on Neural Information Processing Systems (NeurIPS), 2020.
Paper accepted to the Forum on specification & Design Languages (FDL 2020). Paper title: Temporal Property-Based Testing of a Timed C Compiler using Time-Flow Graph Semantics.
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

Year 2019

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

Year 2018

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

Year 2017

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

Year 2016

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.
Paper accepted to the 24th International Conference on Real-Time Networks and Systems (RTNS 2016). Title: Time for Reactive System Modeling: Interactiave Timing Analysis with Hotspot Highlighting.
Paper accepted to the 14th ACM-IEEE International Conference on formal Methods and Models for System Design (MEMOCODE 2016). Title: Step Revision in Hybrid Co-simulation with FMI.
PC member of the 23st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Pittsburgh, PA, USA, April 18-21, 2017.
New open Ph.D. position:Programming Languages and Statistical Machine Learning. Application Deadline: September 30, 2016.
Paper accepted to the IEEE International Conference on Software Quality, Reliability & Security, Vienna, Austria, August 1-3, 2016. Title: Automatic Localization of Bugs to Faulty Components in Large Scale Software Systems using Bayesian Classification.
Our project proposal Automating System SpEcific Model-Based Learning - ASSEMBLE received 29 milj SEK from the Swedish foundation for strategic research (SSF). Link to the official SSF announcement. The objective of the project is to develop new probabilistic modeling language abstractions together with new machine learning inference algorithms to enable fast and complex development of smart systems. The project team consists of four researchers: From Uppsala University: Thomas Schön (main PI) and David Black-Schaffer. From KTH: David Broman and Joakim Jaldén.
Paper accepted to the EOOLT 2016, Milano, Italy. Title: MORAP: a Modular Robotic Arm Platform for Teaching and Experimenting with Equation-based Modeling Languages.
PC member of the ACM SIGBED International Conference on Embedded Software (EMSOFT), Pittsburgh, PA, USA, October 2-7, 2016.
PC Track Chair of the 22nd IEEE Real-Time Embedded Technology & Application Symposium (RTAS), Vienna, Austria, April 11-14, 2016.

Year 2015

I would like to welcome my new Ph.D. student Saranya Natarajan who will do research within the area of timed programming languages and systems.
Paper accepted to CAV 2015, San Francisco, California, USA. Title: Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems.
PC member of the 12th IEEE International Conference on Embedded Software Systems (ICESS), New York, USA, August 24-25, 2015.
PC member of the ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM), co-located with ICFP, Vancouver, Canada, September 5, 2015.
PC member of the 11th International Modelica Conference, Paris, France, September 21-25, 2015.
New report, NIST Technical Note 1867: Time-Aware Applications, Computers, and Communication Systems (TAACCS). Also featured in the news, in the Stack, nextBIG future, NIST Tech Beat, and in Slashdot.
PC member of the 10th IEEE International Symposium on Industrial Embedded Systems (SIES 2015), June 8-10, 2015, Siegen, Germany.
Paper accepted to HSCC 2015, CPSWeek, Seattle, WA, USA. Title: Requirements for Hybrid Cosimulation Standards.
Paper accepted to RTAS 2015, CPSWeek, Seattle, WA, USA. Title: A Predictable and Command-Level Priority-Based DRAM Controller for Mixed-Criticality Systems.

Year 2014

Slides from the course Principles of Equation-Based Object-Oriented Modeling and Languages held in Pisa, Italy, 2014, are now available online.
PC member of the 21st IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), April 13-17, 2015, Seattle, Washington.
Paper accepted to ISPCS 2014, Austin, Texas, USA. Title: Endlessly Circulating Messages in IEEE 1588-2008 Systems (preprint version).
PC member of the 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS), March 24-27, 2015, Porto, Portugal.
PC member of the 30th ACM/SIGAPP Symposiym on Applied Computing (SAC), Embeddded Systems Track , April 13-17, 2015, Salamanca, Spain.
New tech report: Towards Interactive Timing Analysis for Designing Reactive Systems.
PC member of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), December 8-10, 2014, Cancun, Mexico.
PC member of the Workshop on Embedded and Cyber-Physical Systems Education (WESE), October 16, 2014, Delhi, India.
Paper accepted to RTAS 2014, Berlin, Germany. Title: FlexPRET: A Processor Platform for Mixed-Criticality Systems.
Paper accepted to RTAS 2014, Berlin, Germany. Title: Relaxing the Synchronous Approach for Mixed-Criticality Systems.
Paper accepted to RTAS 2014, Berlin, Germany. Title: WCET-Aware Dynamic Code Management on Scrachpads for Software-Managed Multicores.
PC member of the IEEE Real-Time Systems Symposium (RTSS), December 3-4, 2014, Rome, Italy.
PC Chair of the 6th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT), October 10, 2014, Berlin, Germany.
Invited talk at RePP: Precision Timed Processors and WCET-Aware Code Management for Mixed-Criticality Systems
PC member of the Reconciling Performance with Predictability Workshop (RePP), April 6, 2014, Grenoble, France.
Paper accepted to SIGCSE 2014, Atlanta, CA, USA. Title: An Assessment Model for Large Project Courses.

Year 2013

PC member of the 10th International Modelica Conference , March 10-12, 2014, Lund, Sweden.
PC member of the Fourth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), co-located with CPSWEEK, April 14-17, 2014, Berlin, Germany.
PC member of the 27th Conference on Software Engineering Education and Training (CSEE&T), April 23-25, 2014, Austria.
Slides are now available from my lectures about acausal modeling languages (lecture 1) and algorithms for solving higher index DAEs (lecture 2).
Paper accepted to EMSOFT 2013, Montreal, Canada. Title: Determinate Composition of FMUs for Co-Simulation (Tech Report version).
Co-chair of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS 2013), December 3, Vancouver, Canada. Co-located with RTSS 2013.
Invited paper at ESLsyn 2013, Austin, Texas, USA. Title: Precision Timed Infrastructure: Design Challenges.
New article Temporal Issues in Cyber-Physical Systems.
PC member of ACM SIGAda's Annual International Conference High Integrity Language Technology (HILT 2013), Nov 12-14, Pittsburgh, Pennsylvania, USA.
Tutorial at the Internationl Conference on Software Engineering (ICSE 2013), May 25, 2013. Title: The Company Approach to Teaching Software Engineering Project Courses
Keynote speaker at the Fourth International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART 2013), June 13-14, Edinburgh, Scotland. Title: Execution time should be as short as possible, but not shorter.
PC member of the 26th Conference on Software Engineering Education and Training (CSEE&T), May 19-21, San Francisco, California, USA.
PC member of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2013), April 19, Nottingham, UK.
PC member of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2013), April 8, Philadelphia, USA.

Year 2012

Short paper accepted to the work-in-progress (WiP) session at RTSS 2012, San Juan, Puerto Rico. Title: High-Confidence Cyber-Physical Co-Design (preprint).
Invited talk at the National Workshop on the New Clockwork for Time-Critical Systems. Title: Precision Timed Infrastructure - Promoting Time to a First-Class Citizen in System Design.
Invited talks at TU Vienna and University of Salzburg. Title: Modeling, Simulating, and Compiling with Timing Semantics.
Paper accepted to MPM 2012, Innsbruck, Austria. Title: Viewpoints, Formalisms, Languages, and Tools for Cyber-Physical Systems (preprint).
PC member of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), Philadelphia, USA.
Paper accepted to ICCD 2012, Montreal, Canada. Title: A PRET Microarchitecture Implementation with Repeatable Timing and Competitive Performance.
New article (preprint): Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages.
PC member of the Third Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 2012.
Invited talk at the RAWFP workshop.
Invited talk at the IFIP WG 2.4 meeting.
PC member of the 9th International Modelica Conference , Munich, Germany, 2012.
Paper accepted to ICST 2012, Montreal, Canada. Title: Towards Automated Anomaly Report Assignment in Large Complex Systems using Stacked Generalization.
Article accepted to journal IEEE Transaction on Education. The Company Approach to Software Engineering Project Courses. See the open access accepted version and the IEEE early access version.
Paper accepted to PADL 2012, Philadelphia, Pennsylvania, USA. Title: Node-Based Connection Semantics for Equation-Based Object-Oriented Modeling Languages.
PC member of the Second Workshop on the Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'12), Halmstad, Sweden, 2012.
Paper accepted to SAC 2012, Riva del Garda, Trento, Italy. Tile: A Comparison of Two Metacompilation Approaches to Implementing a Complex Domain-specific Language. Technical report version is available here.
PC member of the 25th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), Nanjing, Jiangsu, China, 2012.

Year 2011

PC member of the 25th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), Nanjing, Jiangsu, China, 2012.
Received the Swedish Research Council's (Vetenskapsrådets) post-doctoral fellowship grant for a two years period. In December 2011 I will join Edward A. Lee's research group at UC Berkeley, California, USA.
New article (preprint) The Company Approach to Software Engineering Project Courses.
Co-chair and PC member of 4th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2011), September 5, 2011, ETH Zürich, Switzerland.
Invited guest talks at UC Berkeley (February) and TU Berlin (March) 2011.
Invited talk at MODPROD 2011, Linköping, Sweden.
PC member of the First IEEE Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11), Istanbul, Turkey, 2011.
PC member of the 24th IEEE-CS Conference on Software Engineering Education and Training (CSEE&T), Waikiki, Honolulu, Hawaii, 2011.

Year 2010

Defended my PhD thesis "Meta-Languages and Semantics for Equation- Based Modeling and Simulation", October, 2010.
May 2010 - Teaching parts of a PhD course in strict functional programming in OCaml. See the course page or the lecture notes on FP in OCaml.
Best paper presentation award at conference CSEE&T, Pittsburgh, USA, March 2010. The paper is available here.
Co-chair and PC member of 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2010), October 2010, Oslo, Norway.
Invited talk at MODPROD 2010, Linköping, Sweden. Slides available here.
Paper at CSEE&T 2010, CMU, Pittsburgh, USA: Should Software Engineering Projects be the Backbone or the Tail of Computing Curricula?".

Year 2009

Paper at Modelica conference 2009, Como, Italy: Extendable Physical Unit Checking with Understandable Error Reporting.
Paper at ASWEC 2009, Queensland, Australia: IEEE link
Paper "Higher-Order Acausal Models" published in journal Simulation News Europe 19(1):5-16, 2009.
Tutorial at MATHMOD 2009, Vienna, Austria: Modelica Tutorial - Modeling and Simulation with OpenModelicaand MathModelica
Poster at MODPROD 2009, Linköping, Sweden: Evaluation of Secure Distributed TLM-based Co-Simulation over Wide Area Networks
Invited paper at MATHMOD 2009, Vienna, Austria: Growing an Equation-Based Object-Oriented Modeling Language.

Year 2008

Fall 2008 - I am on parental leave for a half year and taking care of my lovely daugther Tove.
A master thesis by Kristoffer Norling that I supervised was awarded IDA's price for best thesis.
Paper at EOOLT 2008: Higher-Order Acausal Models.
Paper at Modelica conference 2008 in Bielefeld, Germany: Design Considerations for Dimensional Inference and Unit Consistency Checking in Modelica..
Travel report from my guest scholar visit at University of Colorodo at Boulder (Spring 2008).

Year 2007

Licentiate thesis Safety, Security, and Semantic Aspects of Equation-Based Object-Oriented Languages and Environments.
Technical report Flow Lambda Calculus for Declarative Physical Connection Semantics
Paper at EOOLT 2007 in Berlin: Abstract Syntax Can Make the Definition of Modelica Less Abstract.
Paper at SIMS 2007 in Göteborg (Särö), Sweden: Secure Distributed Co-Simulation over Wide Area Networks.
Thesis Proposal - Type Safety of Equation-Based Object-Oriented Languages

Year 2006

Paper at GPCE 2006 in Portland, Oregon, USA: Determining Over- and Under-Constrained Systems of Equations using Structural Constraint Delta.
Paper at Modelica conference 2006 in Vienna, Austria: Types in the Modelica Language
Poster at PLDI 2006 in Ottawa, Canada: Type Safety of Equation-Based Object-Oriented Modeling Languages.

This is a personal web page. More information.