1. mruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices;Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes;2024-09-13
2. Enoki: High Velocity Linux Kernel Scheduler Development;Proceedings of the Nineteenth European Conference on Computer Systems;2024-04-22
3. BrickOS: specialized kernels for heterogeneous hardware resources;SCIENTIA SINICA Informationis;2024-03-01
4. UNIFICO: Thread Migration in Heterogeneous-ISA CPUs without State Transformation;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17
5. Aggregate VM: Why Reduce or Evict VM's Resources When You Can Borrow Them From Other Nodes?;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08