Keynote Speakers

Manuel Serrano, INRIA

Title: Of JavaScript Ahead-Of-Time Compilation Performance

Abstract:JavaScript is particularly difficult to implement efficiently because most of its expressions have all sorts of different meanings that involve all sorts of different executions that are not distinguished by any syntactic or type annotation. The common intuition is that only JIT compilers can handle it efficiently because they can rely on heuristic-based strategies that require having the program and the data on hand. But static (AOT) compilers can speculate and use heuristics too! To demonstrate that, we propose Hopc, an AOT compiler for JavaScript, based on the following assumption: The most likely data structure a program will use is the one for which the compiler is able to produce its best code. Thus, contrary to most AOT compilers, Hopc does not rely on complex static analyses to optimize programs. It simply tries to generate its best code that it protects with guards. In this presentation, I will present its main optimizations and an in-depth performance analysis.

Bio:Manuel Serrano is a researcher of INRIA, the french research institute in computer science. During all his career, he has been committed to implementing and releasing open source software applications. First, he has created the Bigloo compiler, an optimizing compiler for the Scheme programming language that is still widely in use. Since a decade, he has been focusing on creating new programming languages for the web. He first started with Hop, an extension of Scheme that enabled programmers to implement Web applications using that functionnal programming language. Hop, was one of the first project to consider JavaScript has a target of another high level programming language. Since, about two years, he allocates all his research resources to designing and developing Hop.js, a multitier extension of JavaScript. Manuel Serrano also contributes to open-source projects. In particular, he has created and maintained for the years, Flyspell.el, the Emacs on-the-fly spell checker.

Nan Guan, City University of Hong Kong

Title: Towards a Theoretical Foundation for Real-Time Robotic Operating System (ROS)

Abstract: ROS (Robot Operating System) is currently the most popular framework for robotic software development. In its 10-years history, ROS has been used by hundreds of thousands of developers to power a large number and different types of robotic systems. Robotic software is typically subject to timing constraints, to match the inherent dynamics of physical objects and the environment. In this talk, I will identify some theoretical and practical challenges in building real-time software on ROS, and introduce some of our recent work towards building the theoretical foundation for a real-time ROS.

Bio: Dr. Nan Guan is currently an associate professor at Department of Computer Science, City University of Hong Kong. He obtained his PhD in Uppsala University, Sweden. His research interests include real-time embedded systems, autonomous systems, cyber-physical systems, internet-of-things. He received the ACM SIGBED Early Career Researcher Award in 2020, EDAA Outstanding Dissertation Award in 2014, Best Paper Award of EMSOFT 2020, Outstanding Paper Award of RTSS 2019, Best Paper Award of RTSS 2009, Best Paper Award of DATE 2013, Best Paper Award of ACM e-Energy 2018, Best Paper Award of ISORC 2019. He is the General Chair of RTAS 2022, the Program (co-)Chair of ISORC 2022, RTAS 2021, SETTA 2019, ICESS 2017, EMSOFT 2015. He serves in Execution Committee of IEEE Technical Committee of Real-Time Systems (TCRTS).