Sotabase

Career

· Google

Publications (0)

Hyperkernel: Push-Button Verification of an OS Kernel
Symposium on Operating Systems Principles · 2017
117
cited
An Empirical Study on the Correctness of Formally Verified Distributed Systems
European Conference on Computer Systems · 2017
83
cited
Slim: OS Kernel Support for a Low-Overhead Container Overlay Network
Symposium on Networked Systems Design and Implementation · 2019
80
cited
Gallium: Automated Software Middlebox Offloading to Programmable Switches
Conference on Applications, Technologies, Architectures, and Protocols for Computer Communication · 2020
63
cited
Enhancing and Impeding Heterogeneous Ice Nucleation through Nanogrooves
Journal of Physical Chemistry C · 2018
42
cited
Flow dependence of interfacial thermal resistance in nanochannels.
Journal of Chemical Physics · 2010
30
cited
Efficient Modulation of Photonic Bandgap and Defect Modes in All‐Dielectric Photonic Crystals by Energetic Ion Beams
Advanced Optical Materials · 2020
27
cited
High Velocity Kernel File Systems with Bento
USENIX Conference on File and Storage Technologies · 2020
25
cited
Automated Verification of Customizable Middlebox Properties with Gravel
Symposium on Networked Systems Design and Implementation · 2020
24
cited
Effects of simulated swirl purge flow and mid-passage gap leakage on turbine blade platform cooling and suction surface phantom cooling performance
International Journal of Heat and Mass Transfer · 2019
20
cited
Offloading load balancers onto SmartNICs
Asia Pacific Workshop on Systems · 2021
19
cited
Investigation on high-dimensional uncertainty quantification and reliability analysis of aero-engine
Aerospace Science and Technology · 2023
15
cited
Non-axisymmetric endwall contour optimization and performance assessment as affected by simulated swirl purge flow and backward hole injection
International journal of thermal sciences · 2022
15
cited
A nanopump using carbon nanotube hetero-junction driven by symmetric temperature gradients
The Physics of Fluids · 2021
12
cited
Customizing Progressive JPEG for Efficient Image Storage
USENIX Workshop on Hot Topics in Storage and File Systems · 2017
12
cited
Effect of gas turbine endwall misalignment with slashface leakage on the blade endwall aerothermal performance
International Journal of Heat and Mass Transfer · 2019
11
cited
Turbine endwall cooling and heat transfer characteristics under slashface leakage interacted with nearby discrete-hole injections
2021
11
cited
Gas turbine endwall film cooling and heat transfer characteristics with a multi-cavity slashface gap design
Aerospace Science and Technology · 2022
10
cited
Numerical Investigations on Film Cooling Effectiveness and Heat Transfer Performance of Inclined Film Hole on the Turbine Blade Squealer Tip with Plasma Actuation
Aerospace Science and Technology · 2024
10
cited
Practical Safe Linux Kernel Extensibility
USENIX Workshop on Hot Topics in Operating Systems · 2019
9
cited
Sotabase