Conference Papers

2026

1. ATC

   Dynamic Analysis of Unsafe Rust: Behaviors and Benchmarks

   Jiaye Fang, Arsalan Bin Najeeb, Dylan O’Neill, Prince Noah Johnson, Zhixiao Zhang, and Jie Zhou

   PDF Code Bib

   @inproceedings{DynRust:ATC26,
     author = {Fang, Jiaye and Najeeb, Arsalan Bin and O'Neill, Dylan and Johnson, Prince Noah and Zhang, Zhixiao and Zhou, Jie},
     title = {Dynamic Analysis of Unsafe {Rust}: Behaviors and Benchmarks},
     booktitle = {The 2026 ACM SIGOPS Annual Technical Conference},
     year = {2026},
     isbn = {979-8-4007-2818-1},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3828523.3857071},
     doi = {10.1145/3828523.3857071},
     numpages = {16},
     location = {Hong Kong, China},
   }

2024

1. SecDev

   DeTRAP: RISC-V Return Address Protection With Debug Triggers

   Isaac Richter, Jie Zhou, and John Criswell

   PDF Bib

   @inproceedings{DeTRAP:SecDev24,
     author = {Richter, Isaac and Zhou, Jie and Criswell, John},
     booktitle = {2024 IEEE Secure Development Conference (SecDev)},
     title = {DeTRAP: RISC-V Return Address Protection With Debug Triggers},
     year = {2024},
     pages = {166-177},
     keywords = {Runtime;Program processors;Microcontrollers;Source coding;Prevention and mitigation;Memory management;Hardware;Software;Security;Protection;Computer Security},
     location = {Pittsburg, PA},
     doi = {10.1109/SecDev61143.2024.00021},
   }

2023

1. OOPSLA

   Fat Pointers for Temporal Memory Safety of C

   Jie Zhou, John Criswell, and Michael Hicks

   PDF Video Code Bib

   @inproceedings{CheckedCTemporal:OOPSLA23,
     author = {Zhou, Jie and Criswell, John and Hicks, Michael},
     title = {{Fat Pointers for Temporal Memory Safety of C}},
     year = {2023},
     issue_date = {April 2023},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {7},
     number = {OOPSLA1},
     url = {https://doi.org/10.1145/3586038},
     doi = {10.1145/3586038},
     booktitle = {Proceedings of the ACM on Programming Languages, Volume 7, Issue OOPSLA1},
     conf = {ACM International Conference on Object-Oriented Programming Systems, Languages, and Applications},
     articleno = {86},
     numpages = {32},
     keywords = {Fat Pointers, Checked C, Temporal Memory Safety},
     location = {Cascais, Portugal},
   }

2022

1. Security

   Holistic Control-Flow Protection on Real-Time Embedded Systems with Kage

   Yufei Du, Zhuojia Shen, Komail Dharsee, Jie Zhou, Robert J. Walls, and John Criswell

   PDF Video Code Bib

   @inproceedings{Kage:Sec22,
     author = {Du, Yufei and Shen, Zhuojia and Dharsee, Komail and Zhou, Jie and Walls, Robert J. and Criswell, John},
     title = {Holistic {Control-Flow} Protection on {Real-Time} Embedded Systems with Kage},
     booktitle = {The 31st USENIX Security Symposium},
     year = {2022},
     isbn = {978-1-939133-31-1},
     address = {Boston, MA, USA},
     pages = {2281--2298},
     url = {https://www.usenix.org/conference/usenixsecurity22/presentation/du},
     publisher = {USENIX Association},
     location = {Boston, MA, USA},
   }

2020

1. Security

   Silhouette: Efficient Protected Shadow Stacks for Embedded Systems

   Jie Zhou, Yufei Du, Zhuojia Shen, Lele Ma, John Criswell, and Robert J. Walls

   PDF Video Code Bib

   @inproceedings{Silhouette:Sec20,
     author = {Zhou, Jie and Du, Yufei and Shen, Zhuojia and Ma, Lele and Criswell, John and Walls, Robert J.},
     title = {Silhouette: Efficient Protected Shadow Stacks for Embedded Systems},
     booktitle = {The 29th {USENIX} Security Symposium},
     year = {2020},
     isbn = {978-1-939133-17-5},
     pages = {1219--1236},
     url = {https://www.usenix.org/conference/usenixsecurity20/presentation/zhou-jie},
     publisher = {{USENIX} Association},
     location = {Virtual},
   }

2. SecDev

   Refactoring the FreeBSD Kernel with Checked C

   Junhan Duan, Yudi Yang, Jie Zhou, and John Criswell

   PDF Bib

   @inproceedings{FreeBSDCheckedC:SecDev20,
     author = {Duan, Junhan and Yang, Yudi and Zhou, Jie and Criswell, John},
     booktitle = {IEEE Secure Development Conference},
     title = {Refactoring the FreeBSD Kernel with Checked C},
     year = {2020},
     pages = {15-22},
     doi = {10.1109/SecDev45635.2020.00018},
     location = {Virtual},
   }

2019

1. DSN

   PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use

   John Criswell, Jie Zhou, Spyridoula Gravani, and Xiaoyu Hu

   PDF Code Bib

   @inproceedings{PrivAnalyzer:DSN19,
     author = {Criswell, John and Zhou, Jie and Gravani, Spyridoula and Hu, Xiaoyu},
     booktitle = {The 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks},
     title = {PrivAnalyzer: Measuring the Efficacy of Linux Privilege Use},
     year = {2019},
     pages = {593-604},
     doi = {10.1109/DSN.2019.00065},
     location = {Portland, OR, USA},
   }

2. ASPLOS

   Beating OPT with Statistical Clairvoyance and Variable Size Caching

   Pengcheng Li, Colin Pronovost, William Wilson, Benjamin Tait, Jie Zhou, Chen Ding, and John Criswell

   PDF Bib

   @inproceedings{LeaseCache:ASPLOS19,
     author = {Li, Pengcheng and Pronovost, Colin and Wilson, William and Tait, Benjamin and Zhou, Jie and Ding, Chen and Criswell, John},
     title = {Beating OPT with Statistical Clairvoyance and Variable Size Caching},
     year = {2019},
     isbn = {9781450362405},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3297858.3304067},
     doi = {10.1145/3297858.3304067},
     booktitle = {The 24th International Conference on Architectural Support for Programming Languages and Operating Systems},
     pages = {243–256},
     numpages = {14},
     keywords = {LRU, OPT, VMIN, lease cache, locality metrics},
     location = {Providence, RI, USA},
     series = {ASPLOS '19},
   }

2018

1. SecDev

   Transforming Code to Drop Dead Privileges

   Xiaoyu Hu, Jie Zhou, Spyridoula Gravani, and John Criswell

   PDF Code Bib

   @inproceedings{AutoPriv:SecDev18,
     author = {Hu, Xiaoyu and Zhou, Jie and Gravani, Spyridoula and Criswell, John},
     booktitle = {IEEE Cybersecurity Development Conference},
     title = {Transforming Code to Drop Dead Privileges},
     year = {2018},
     pages = {45-52},
     doi = {10.1109/SecDev.2018.00014},
     location = {Boston, MA, USA},
   }

Preprint

2025

1. arXiv

   LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation

   Tianrou Xia, Kaiming Huang, Dongyeon Yu, Yuseok Jeon, Jie Zhou, Dinghao Wu, and Taegyu Kim

   PDF Bib

   @article{LiteRSan:arxiv25,
     title = {LiteRSan: Lightweight Memory Safety Via Rust-specific Program Analysis and Selective Instrumentation},
     author = {Xia, Tianrou and Huang, Kaiming and Yu, Dongyeon and Jeon, Yuseok and Zhou, Jie and Wu, Dinghao and Kim, Taegyu},
     journal = {arXiv:2509.16389},
     year = {2025},
   }

2023

1. arXiv

   Fast Summary-based Whole-program Analysis to Identify Unsafe Memory Accesses in Rust

   Jie Zhou, Mingshen Sun, and John Criswell

   PDF Bib

   @article{WPARust:arxiv23,
     title = {Fast Summary-based Whole-program Analysis to Identify Unsafe
     Memory Accesses in Rust},
     author = {Zhou, Jie and Sun, Mingshen and Criswell, John},
     journal = {arXiv:2310.10298v2},
     year = {2023},
   }

2019

1. arXiv

   Restricting control flow during speculative execution with venkman

   Zhuojia Shen, Jie Zhou, Divya Ojha, and John Criswell

   PDF Bib

   @article{Venkman:arxiv19,
     title = {Restricting control flow during speculative execution with venkman},
     author = {Shen, Zhuojia and Zhou, Jie and Ojha, Divya and Criswell, John},
     journal = {arXiv:1903.10651},
     year = {2019},
   }