I am an Associate Professor of Computer Science at Stony Brook University. I direct the Computer Architecture Stony Brook (COMPAS) Lab. Prior to joining Stony Brook, I completed my Ph.D. at Carnegie Mellon University (CMU) under the supervision of Babak Falsafi. While completing my dissertation, I spent several years working remotely from Ecole Polytechnique Fédérale de Lausanne (EPFL).
My research interests are in the area of computer architecture, with emphasis on the design of server systems. I work on the entire computing stack, from server software and operating systems, to networks and processor microarchitecture. My current research projects include FPGA accelerator integration into server environments (e.g., Intel HARP, Microsoft Catapult, and Amazon F1), FPGA programmability (e.g., virtual memory and high-level synthesis), accelerators for machine learning (e.g., transformers and convolutional neural networks), efficient network processing and software-defined networking, speculative performance and energy-enhancing techniques for high-performance processors, and programming models and mechanisms for emerging memory technologies (e.g., HBM and 3D XPoint).
If you are a PhD student at Stony Brook and want to work with me, please send me email to arrange an appointment.
|||Waverunner: An Elegant Approach to Hardware Acceleration of State Machine Replication |
, In 20th USENIX Symposium on Networked Systems Design and Implementation (NSDI), USENIX Association, 2023. [bib] [pdf]
|||Practical Model Checking on FPGAs |
, In ACM Transactions on Reconfigurable Technology and Systems (TRETS), Association for Computing Machinery, volume 14, 2021. [bib] [pdf]
|||Leveraging FPGA Layout to Minimize Jitter in Statistical Time-to-Digital Converters |
, In 29th IEEE International Symposium on Field-Programmable Custom Computing Machines (FCCM, withdrawn due to IP dispute), 2021. [bib]
|||Swarm Model Checking on the GPU |
, In International Journal on Software Tools for Technology Transfer (Thomas Given-Wilson, Axel Legay, eds.), 2020. [bib] [pdf]
|||Flick: Fast and Lightweight ISA-Crossing Call for Heterogeneous-ISA Environments |
, In 47th International Symposium on Computer Architecture (ISCA), 2020. [bib] [pdf]
|||Swarm Model Checking on the GPU |
, In 26th International SPIN Symposium on Model Checking of Software, Springer International Publishing, 2019. [bib] [pdf]
|||Runtime-Programmable Pipelines for Model Checkers on FPGAs |
, In 29th International Conference on Field Programmable Logic and Applications (FPL), 2019. (nominated for the Best Paper award) [bib] [pdf]
|||Taming the Killer Microsecond |
, In 51st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO), 2018. [bib] [pdf]
|||FPGASwarm: High Throughput Model Checking Using FPGAs |
, In 28th International Conference on Field Programmable Logic and Applications (FPL), 2018. [bib] [pdf]
|||A Full-System VM-HDL Co-Simulation Framework for Servers with PCIe-Connected FPGAs |
, In 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA), 2018. [bib] [pdf]
|||A VM-HDL Co-Simulation Framework for Systems with PCIe-Connected FPGAs |
, Technical report #839, Stony Brook CEAS, 2017. [bib] [pdf]
Computer architecture, with particular emphasis on the design of efficient server systems. Most recently, my main focus has been on Machine Learning Accelerators, developing hardware techniques to enable fast and efficient implementations of deep learning, and making FPGA-based accelerators more practical and easier to program. More broadly, my work seeks to understand the fundamental properties and interactions of application software, operating systems, networks, processor microarchitecture, and datacenter dynamics, to enable software and hardware co-design of high-performance, power-efficient, and compact servers.
These days, it seems like everyone's favorite hobby is to travel. Below is a map that shows the countries I visited.
If you need to speak with me, please feel free to drop by my office at any time. However, to ensure that I will be there and not busy, it's always best to send an email ahead of your visit.
If you prefer to explicitly schedule an appointment, please send me email. You can check my general availability by consulting my calendar.
March 28, 2023: Scale-out Processors was selected for inclusion in the ISCA 1996-2020 retrospective!
March 28, 2023: Clearing the Clouds receives the ACM SIGARCH / SIGPLAN / SIGOPS ASPLOS 2023 Influential Paper (test-of-time) Award!
March 23, 2023: Our paper TailCheck: A Lightweight Heap Overflow Detection Mechanism with Page Protection and Tagged Pointers will appear at OSDI'23.