Embedded Systems Courses
ACM SIGPLAN via YouTube PinIt: Influencing OS Scheduling via Compiler-Induced Affinities in Embedded Media - LCTES 2023
ACM SIGPLAN via YouTube Deductive Verification of Parameterized Embedded Systems Modeled in SystemC
ACM SIGPLAN via YouTube Formal Runtime Error Detection in Automotive Software Development
ACM SIGPLAN via YouTube Does Rust SPARK Joy? Safe Bindings from Rust to SPARK, Applied to the BBQueue Library
ACM SIGPLAN via YouTube Periodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems
ACM SIGPLAN via YouTube Profile Guided Offline Optimization of Hidden Class Graphs for JavaScript VMs in Embedded Systems
ACM SIGPLAN via YouTube The Unexpected Efficiency of Bin Packing Algorithms for Dynamic Storage Allocation - ISMM 2023
ACM SIGPLAN via YouTube reUpNix: Reconfigurable and Updateable Embedded Systems for Embedded Linux Stacks
ACM SIGPLAN via YouTube Towards Secure MicroPython on Morello - Work in Progress
ACM SIGPLAN via YouTube