at mit dot edu.
at mit dot edu
I'm currently a sixth year Computer Science Ph.D. candidate in the PDOS group at MIT, supported by an MIT Lemelson Presidential Fellowship and an NSF Graduate Research Fellowship. I like to hack on Distributed Systems and Operating Systems. Generally, I am interested in making cloud computing more efficient, and making cloud applications easier to program.
Previously, I was an undergraduate student in the Turing Scholars Honors Program at the University of Texas at Austin. During my time there, I was fortunate to do some work on GPU timing side-channels and accelerator virtualization for OS kernels under the superb guidance of Emmett Witchel and Christopher J Rossbach.
Outside of research I'm an avid soccer player, a jazz pianist, and a proud Mexican immigrant. If you want to kick a ball around, jam, or make some guacamole, send me an email!
Unifying serverless and microservice tasks with SigmaOS
[pdf]
Ariel Szekely, Adam Belay,
Robert Morris,
M. Frans Kaashoek.
SOSP 2024
Towards a Machine Learning-Assisted Kernel with LAKE
[pdf]
Henrique Fingler, Isha Tarte,
Hangchen Yu, Ariel Szekely, Bodun Hu,
Aditya Akella,
Christopher J. Rossbach.
ASPLOS 2023
Telekine: Secure Computing with Cloud GPUs
[pdf]
Tyler Hunt,
Zhipeng Jia,
Vance Miller,
Ariel Szekely, Yige Hu,
Christopher J. Rossbach,
Emmett Witchel.
NSDI 2020
I have been extremely fortunate to advise some very talented students during my time at MIT:
| Year | Student | Degree | Thesis Title |
|---|---|---|---|
| 2026 | Nicolas Camenisch | M.Eng. | Fork Around and Find Out: Accelerating Dynamic Language Runtimes in SigmaOS via Lightweight Container Forking |
| 2026 | Nathan Mustafa | M.Eng. | Efficient RDMA for SigmaOS |
| 2025 | Ivy Wu | M.Eng. | Interposing the syscall boundary: Transparent Python execution in SigmaOS |
| 2025 | Ryan Chang | M.Eng. | Optimizing SigmaOS for efficient orchestration of fault-tolerant, burst-parallel workloads |
| 2025 | Freddie Tang | M.Eng. | Accelerating Burst Parallelism of SigmaOS processes with CRIU |
| 2025 | Katie Liu | M.Eng. | Enabling efficient ML inference in SigmaOS with model-aware scheduling |
| 2023 | Yizheng He | M.Sc. | Evaluating SigmaOS with Kubernetes for orchestrating microservice and serverless applications |
| Institution | Semester | Course Title | Course Number |
|---|---|---|---|
| MIT | Spring 2023 | Computer Systems Security | 6.5660 |
| MIT | Fall 2022 | Operating Systems Engineering | 6.1810 |
| UT Austin | Spring 2020 | Introduction to CS Research (Honors) | cs178h |
| UT Austin | Spring 2020 | Concurrency (Honors) | cs378h |
| UT Austin | Spring 2019 | Introduction to CS Research (Honors) | cs178h |