#LLVM #Compiler #MLIR #Software-hardware Codesign

#Operating Systems #Computer Architecture

#Formal Verification #Rust #linux #+SoCC '24 #KVM

#Formal Verification #Rust #Syswonder #linux #hvc console

#Syswonder #Xilinx #Bootgen

#Syswonder #Petalinux #Xilinx #hvisor

#Operating Systems #ICS-PA #Computer Architecture #Vim Editor

#FPGA #+OSDI '22

#Rust #Memory #+SOSP '21

#+OSDI '24 #LLM Serving

#Kernel Design #+SOSP '23

#HPC #+ASPLOS '24 #Distributed Memory #Compiler #MLIR #DSL

#FPGA #Heterogenous Computing #+ICSE '20

#Heterogeneous Computing

#FPGA #GPU #Heterogeneous Computing #Dynamic Reconfiguration #JVM #+VEE '19

#LLVM #Heterogeneous Computing #Virtual Machine #+PPoPP '18

#Virtualization #Heterogeneous Computing

#FPGA #High Level Synthesis #Neural Networks #+ASPLOS '24

#Operating Systems #+ATC '24

#FPGA #HPC #MPI #+ICS '23

#+OSDI '24 #Scheduling #LLM

#Rust #Linux #Rust-for-Linux #+ATC '24

#+OSDI '24 #Rust #Distributed Systems #Distributed Shared Memory

#FPGA #Trusted Execution Environment #GPU #NPU #+ISCA '24

#+OSDI '24 #FPGA #Distributed System

#Virtualization #FPGA #Cloud Computing #+ASPLOS '20

#Machine Learning #Accelerators #+IEEE Design & Test '22

#+OSDI '24 #Memory Tiering

#Virtualization #Fuzzing Test #+NDSS '20

#Operating system #ubiquitous operating systems #+IEEE Transactions on Mobile Computing '20

#Operating system #software-defined everything #ubiquitous operating systems

#Internetware #Operating system #software-defined everything #ubiquitous operating systems

#Computer systems organization #Operating systems #+OSDI '20 #FPGA

#Operating systems #Unix #BSD #FreeBSD #Cross Compiling

#Operating systems #Message systems #Task analysis #Computer architecture #Scheduling

#Software Engineering #Virtualization #Security and Privacy #+VEE '20

#Machine Learning #Raspberry Pi 4B #UAV

#Raspberry Pi #PCB Desgin #Analog Circuits #Rust Programming Language #Lisp #Compiler Design

#Computer Vision

#MIT OS Labs #JOS #xv6

#Computer systems organization #Networks #Software and its engineering #Operating systems #Distributed systems organizing principles #+OSDI '20

#Analog Electronics #PCB Design #Microcontroller

#Operating Systems #Middlewares #+ICRA Workshop '09

#Operating Systems #Software-Defined Everything

#Computing methodologies #Neuro Network #LLVM #+MAPL '19

#Virtualization #Embeded Hypervisor #+DATE '22

#Operating Systems #Software Engineering #Microkernel #Formal Verification #+SOSP '09

#Operating Systems #+OSDI '24

#Processor Architecture #Operating Systems #+ISCA '11

#Human-centered computing #Ubiquitous and mobile computing systems and tools #Computing methodologies #+IMWUT '24