Bio

I am an associate professor in the Department of Computer Science at Stony Brook University. I received the Ph.D. (2013) and M.S. (2009) in Computer Science and Engineering at the University of Michigan, Ann Arbor under the guidance of Prof. Satish Narayanasamy; and B.S. (2004) in Electrical and Computer Engineering at Seoul National University in South Korea. Before joining Stony Brook University, I worked as an assistant professor at Virginia Tech (2014-2019) and as an academic visitor in the next generation middleware platforms department at IBM T. J. Watson Research Center (Fall 2013). I also interned in the operating systems group at Microsoft Research - Redmond (Summer 2012); and in the systems analysis and verification department at NEC Laboratories America (Summer 2011).

My co-authored papers won two ACM distinguished paper awards at ASE 2019 and ESEC/FSE 2018, the best student paper finalist at SC 2016, and the ACM best paper award at ASPLOS 2011. I also received ICTAS Junior Faculty Award 2017, Google Research Award 2015, ProQuest Distinguished Dissertation Award 2013, and VMWare Graduate Fellowship 2012.

Research Areas: Systems and Security

I have a passion for designing systems and tools aimed at assisting programmers in building reliable, secure and efficeint systems. I love working on solutions that cut across the entire software-hardware computing stack, including compilers, operating systems, computer architecture, and security.

News

• I am actively looking for motivated PhD, MS, undergraduate students to work on systems and security research projects. Please refer to my Research page for sample projects.
• Mar. 2023: A paper on heap buffer overflow is accepted by OSDI 2023.
• Mar. 2023: I will serve as the publication co-chair for ASPLOS 2024.
• Mar. 2023: A paper on device driver fuzzing is accepted by S&P (Oakland) 2023.
• Mar. 2023: A paper on energy harvesting systems is accepted by ISCA 2023.
• Jan. 2023: A paper on homomorphic encryption is accepted by USENIX Security 2023.
• Nov. 2022: A paper on regular exression denial of service is accepted by S&P (Oakland) 2023.
• Oct. 2022: I will serve as the TPC chair for LCTES 2023 (co-located with PLDI’23, part of FCRC’23).
• Aug. 2022: A collabrative NSF CSR/CNS Large proposal on sustainable data center was funded.
• June 2022: A collabrative NSF SaTC Small proposal on regular expressions was funded.
• May 2022: A collabrative NSF CCF/SHF Small proposal on energy harvesting systems was funded.
• March 2022: A paper accepted by OSDI 2022. Congratulations to Xinwei!

Last updated on Dec 11, 2023.