~/conference

EMSOFT 2022

Name: EMSOFT 2022
Start: 2022-10-07
End: 2022-10-14

date:2022-10-07..2022-10-14

location:-- online --

website:https://esweek.org/emsoft/

series:EMSOFT · one edition

tags:[embedded-and-hardware, machine-learning, compilers-and-language-design]

who it's for

embedded systems engineers, embedded firmware developers, real-time systems researchers, verification engineers, systems security researchers, energy-harvesting researchers, compiler and code-generation engineers

topics

DQN image offloading; time-triggered TSN reroute/reschedule; KeYmaera X verified control; NVRAM file system (iNVMFS); Simulink actor reordering (Mercury); PACGA pointer authentication for spills; Signal Temporal Logic learning; MILP for quantized DNNs; Rust coverage-guided fuzzing (Tardis); C++17 functor kernels for Cortex-M3; stochastic energy-harvesting models; capacitor-aware checkpoint rollback recovery

title	author	length
Machine Learning, Networks, and IoT	Jiaming Qiu, Ruiqi Wang, Ayan Chakrabarti, Roch Guerin, Chenyang Lu, Bingyao Wang, Margo Seltzer, Manish Goyal, Miheer Dewaskar, Parasara Sridhar Duggirala	01h 01m
Three short papers: one frames image offloading as a DQN decision problem that learns correlations, enforces per-camera token buckets and shows gains on… Talk on
Safety and Security	Aditi Kabra, Stefan Mitsch, André Platzer, Clara Hobbs, Bineet Ghosh, Shengjie Xu, Parasara Sridhar Duggirala, Samarjit Chakraborty, Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra, Weidong Zhu, Kevin R. B. Butler	56m
A verified train controller models the full FRA kinematics in KeYmaera X, uses Taylor approximations, ghost differential equations and iterative bootstrapping… Talk on
Memory and Compilers	Ying-Jan Wu, Ching-Yu Kuo, Li-Pin Chang, Zehong Yu, Zhuo Su, Yixiao Yang, Jie Liang, Yu Jiang, Aiguo Cui, Wanli Chang, Rui Wang, Niccolò Borgioli, Matteo Zini, Daniel Casini, Giorgiomaria Cicero, Alessandro Biondi, Giorgio Buttazzo, Andrea Fanti, Carlos Chinea Perez, Remi Denis-Courmont, Gianluca Roascio, Jan-Erik Ekberg	01h 02m
Three concrete systems and their numbers: iNVMFS is a lightweight NVRAM file system that checkpoints both program and storage state, uses… Talk on
Theory and Security	Zhenya Zhang, Paolo Arcaini, Xuan Xie, Feilong Zuo, Zhengxiong Luo, Junze Yu, Ting Chen, Zichen Xu, Aiguo Cui, Yu Jiang, Paolo Pazzaglia, Martina Maggio, Yiwen Xu, Zijing Yin, Yiwei Hou, Jianzhong Liu	01h 05m
Four short papers: Online Reset adds an external reset strategy to STL monitors, implements it in Breach, and shows it recovers distinct violation episodes… Talk on
Theory and Control	Nicole Fronda, Houssam Abbas, Liren Yang, Hang Zhang, Jean-Baptiste Jeannin, Necmiye Ozay, Shuangshuang Chang, Ran Bi, Jinghao Sun, Weichen Liu, Qi Yu, Qingxu Deng, Zonghua Gu, Gaoyang Dai, Morteza Mohaqeqi, Petros Voudouris, Wang Yi	01h 02m
Four papers: a neural method that learns Signal Temporal Logic formulas by training a recurrent net whose weights and one‑hot choice blocks encode both… Talk on
Verification and Machine Learning	Samvid Mistry, Indranil Saha, Swarnendu Biswas, Banghu Yin, Liqian Chen, Jiangchao Liu, Ji Wang, Yuheng Shen, Yiru Xu, Hao Sun, Jianzhong Liu, Zichen Xu, Aiguo Cui, Heyuan Shi, Yu Jiang, Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen	59m
An MILP encoding for quantized DNNs is implemented in Python with a commercial MILP backend and beats SMT baselines on standard benchmarks (315 instances… Talk on
Energy and Efficiency	Jiwon Kim, Sungwoo Baek, Seunghyeok Jeon, Hojung Cha, Rehan Ahmed, Stefan Draskovic, Lothar Thiele, Chenchen Fu, Xinhang Lu, Xiaoxing Qiu, Sujunjie Sun, Xueyong Xu, Weiwei Wu, Chun Jason Xue, Juneseo Chang, Sejong Oh, Daejin Park, Niraj Kumar, Arijit Mondal, Yining Wu, Gaole Sai, Shengyu Duan	01h 19m
Session shows concrete systems and numbers: a hybrid Li‑ion design uses LFP and LTO cells with a reconfigurable transfer circuit, a prototype and simulator… Talk on
Power, Energy and Analysis	Jongouk Choi, Hyunwoo Joe, Changhee Jung, Rose Bohrer, Bashima Islam, Wen Zhang, Mimi Xie, Caleb Scott, Chen Pan, Arthur Grisel-Davy, Amrita Milan Bhogayata, Srijan Pabbi, Apurva Narayan, Sebastian Fischmeister, Jean-Baptiste Jeannin, Jiawei Chen, Konstantinos Mamouras	01h 12m
CapOS detects gradual capacitor degradation, switches from just-in-time checkpointing to a timer-based rollback recovery and reports about 60% higher… Talk on
nothing matches

-- 8 of 8 talks indexed --

EMSOFT 2022

" who it's for

" topics

who it's for

topics