Papers, patents, and theses

@inproceedings{themis2026,
  author = {Cao, Hongchen and He, Jingzhu and Dai, Ting and Jin, Guoliang},
  title = {Themis: Detecting Distributed Concurrency Bugs through {RPC-Driven} {Race-Directed} Test Generation and Fuzzing},
  booktitle = {23rd USENIX Symposium on Networked Systems Design and Implementation (NSDI 26)},
  year = {2026},
  isbn = {978-1-939133-54-0},
  address = {Renton, WA},
  pages = {1685--1706},
  url = {https://www.usenix.org/conference/nsdi26/presentation/cao},
  publisher = {USENIX Association},
  month = may
}

@article{artemis2025,
  author = {Ji, Yuchen and Dai, Ting and Zhou, Zhichao and Tang, Yutian and He, Jingzhu},
  title = {Artemis: Toward Accurate Detection of Server-Side Request Forgeries through LLM-Assisted Inter-procedural Path-Sensitive Taint Analysis},
  year = {2025},
  issue_date = {April 2025},
  publisher = {Association for Computing Machinery},
  volume = {9},
  number = {OOPSLA1},
  url = {https://doi.org/10.1145/3720488},
  doi = {10.1145/3720488},
  journal = {Proc. ACM Program. Lang.},
  month = apr,
  articleno = {128},
  numpages = {29},
}

@inproceedings{itbench2025,
  title={{ITB}ench: Evaluating {AI} Agents across Diverse Real-World {IT} Automation Tasks},
  author={Saurabh Jha and Rohan R. Arora and Yuji Watanabe and Takumi Yanagawa and Yinfang Chen and Jackson Clark and Bhavya Bhavya and Mudit Verma and Harshit Kumar and Hirokuni Kitahara and Noah Zheutlin and Saki Takano and Divya Pathak and Felix George and Xinbo Wu and Bekir O Turkkan and Gerard Vanloo and Michael Nidd and Ting Dai and Oishik Chatterjee and Pranjal Gupta and Suranjana Samanta and Pooja Aggarwal and Rong Lee and Jae-wook Ahn and Debanjana Kar and Amit Paradkar and Yu Deng and Pratibha Moogi and Prateeti Mohapatra and Naoki Abe and Chandrasekhar Narayanaswami and Tianyin Xu and Lav R. Varshney and Ruchi Mahindru and Anca Sailer and Laura Shwartz and Daby Sow and Nicholas C. M. Fuller and Ruchir Puri},
  booktitle={Forty-second International Conference on Machine Learning},
  year={2025},
  url={https://openreview.net/forum?id=jP59rz1bZk}
}

@article{scriptsmith2025,
  title={ScriptSmith: A Unified LLM Framework for Enhancing IT Operations via Automated Bash Script Generation, Assessment, and Refinement},
  author={Aggarwal, Pooja and Chatterjee, Oishik and Dai, Ting and Samanta, Suranjana and Mohapatra, Prateeti and Kar, Debanjana and Mahindru, Ruchi and Barbier, Steve and Postea, Eugen and Blancett, Brad and de Magalhaes, Arthur},
  volume={39},
  url={https://ojs.aaai.org/index.php/AAAI/article/view/35147},
  DOI={10.1609/aaai.v39i28.35147},
  number={28},
  journal={Proceedings of the AAAI Conference on Artificial Intelligence},
  year={2025},
  month={Apr.},
  pages={28829-28835}
}

@inproceedings{ssrf2024,
  author = {Ji, Yuchen and Dai, Ting and Tang, Yutian and He, Jingzhu},
  title = {Poster: Whether We Are Good Enough to Detect Server-Side Request Forgeries in PHP-native Applications?},
  year = {2024},
  isbn = {9798400706363},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  url = {https://doi.org/10.1145/3658644.3691419},
  doi = {10.1145/3658644.3691419},
  booktitle = {Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security},
  pages = {4928–4930},
  numpages = {3},
  keywords = {PHP, server-side request forgery, taint analysis},
  location = {Salt Lake City, UT, USA},
  series = {CCS '24}
}

@inproceedings{codesift2024,
  author={Aggarwal, Pooja and Chatterjee, Oishik and Dai, Ting and Mohapatra, Prateeti and Paulovicks, Brent and Blancett, Brad and De Magalhaes, Arthur},
  booktitle={2024 IEEE 17th International Conference on Cloud Computing (CLOUD)},
  title={CodeSift: An LLM-Based Reference-Less Framework for Automatic Code Validation},
  year={2024},
  volume={},
  number={},
  pages={404-410},
  keywords={Cloud computing;Computer languages;Codes;Subject matter experts;Large language models;Computational modeling;Testing;code generation;validation;large language models;generative AI},
  doi={10.1109/CLOUD62652.2024.00052}
}

@article{greenabr2024,
  author = {Turkkan, Bekir Oguzhan and Dai, Ting and Raman, Adithya and Kosar, Tevfik and Chen, Changyou and Bulut, Muhammed Fatih and Zola, Jaroslaw and Sow, Daby},
  title = {GreenABR+: Generalized Energy-Aware Adaptive Bitrate Streaming},
  year = {2024},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  issn = {1551-6857},
  url = {https://doi.org/10.1145/3649898},
  doi = {10.1145/3649898},
  journal = {ACM Trans. Multimedia Comput. Commun. Appl.},
  month = {mar},
  series = {TOMM'24}
}

@inproceedings{greenabr2022,
  title = {GreenABR: Energy-Aware Adaptive Bitrate Streaming with Deep Reinforcement Learning},
  author = {Turkkan, Bekir Oguzhan and Dai, Ting and Raman, Adithya and Kosar, Tevfik and Chen, Changyou and Bulut, Muhammed Fatih and Zola, Jaroslaw and Sow, Daby},
  year = {2022},
  address = {New York, NY, USA},
  doi = {10.1145/3524273.3528188},
  booktitle = {Proceedings of the 13th ACM Multimedia Systems Conference},
  series = {MMSys'22}
}

@misc{tfix2021,
  title={TFix+: Self-configuring Hybrid Timeout Bug Fixing for Cloud Systems},
  author={Jingzhu He and Ting Dai and Xiaohui Gu},
  year={2021},
  eprint={2110.04101},
  archivePrefix={arXiv},
  primaryClass={cs.SE}
}

@inproceedings{securecode2020,
  author = {Dai, Ting and Karve, Alexei and Koper, Grzegorz and Zeng, Sai},
  title = {Automatically Detecting Risky Scripts in Infrastructure Code},
  year = {2020},
  booktitle = {Proceedings of the 11th ACM Symposium on Cloud Computing},
  location = {Virtual Event, USA},
  series = {SoCC '20},
  url = {https://doi.org/10.1145/3419111.3421303},
  doi = {10.1145/3419111.3421303},
}

@inproceedings{hangfix2020,
  author = {He, Jingzhu and Dai, Ting and Gu, Xiaohui and Jin, Guoliang},
  title = {HangFix: Automatically Fixing Software Hang Bugs for Production Cloud Systems},
  year = {2020},
  booktitle = {Proceedings of the 11th ACM Symposium on Cloud Computing},
  location = {Virtual Event, USA},
  series = {SoCC '20},
  url = {https://doi.org/10.1145/3419111.3421288},
  doi = {10.1145/3419111.3421288},
}

@article{dh-miuTesla2020,
  author    = {Haiping Huang and Qinglong Huang and Fu Xiao and Wenming Wang and Qi Li and Ting Dai},
  title     = {An Improved Broadcast Authentication Protocol for Wireless Sensor Networks Based on the Self-Reinitializable Hash Chains},
  journal   = {Security and Communication Networks},
  volume    = {2020},
  year      = {2020},
  url       = {https://doi.org/10.1155/2020/8897282},
  doi       = {10.1155/2020/8897282},
}

@inproceedings{tfix2019,
  author    = {Jingzhu He and Ting Dai and Xiaohui Gu},
  title     = {TFix: Automatic Timeout Bug Fixing in Production Server Systems},
  booktitle = {39th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2019, Dallas, TX, USA, July 7-10, 2019},
  pages     = {612--623},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/ICDCS.2019.00067},
  doi       = {10.1109/ICDCS.2019.00067},
}

@inproceedings{fabzk2019,
  author    = {Hui Kang and Ting Dai and Nerla Jean{-}Louis and Shu Tao and Xiaohui Gu},
  title     = {FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger Fabric},
  booktitle = {49th Annual {IEEE/IFIP} International Conference on Dependable Systems and Networks, {DSN} 2019, Portland, OR, USA, June 24-27, 2019},
  pages     = {543--555},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/DSN.2019.00061},
  doi       = {10.1109/DSN.2019.00061},
}

@inproceedings{convulstudy2019,
  author    = {Olufogorehan Tunde{-}Onadele and Jingzhu He and Ting Dai and Xiaohui Gu},
  title     = {A Study on Container Vulnerability Exploit Detection},
  booktitle = {{IEEE} International Conference on Cloud Engineering, {IC2E} 2019, Prague, Czech Republic, June 24-27, 2019},
  pages     = {121--127},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.1109/IC2E.2019.00026},
  doi       = {10.1109/IC2E.2019.00026},
}

@article{hytrace2019,
  author    = {Ting Dai and Daniel Joseph Dean and Peipei Wang and Xiaohui Gu and Shan Lu},
  title     = {Hytrace: {A} Hybrid Approach to Performance Bug Diagnosis in Production Cloud Infrastructures},
  journal   = {{IEEE} Trans. Parallel Distrib. Syst.},
  volume    = {30},
  number    = {1},
  pages     = {107--118},
  year      = {2019},
  url       = {https://doi.org/10.1109/TPDS.2018.2858800},
  doi       = {10.1109/TPDS.2018.2858800},
}

@inproceedings{dscope2018,
  author    = {Ting Dai and Jingzhu He and Xiaohui Gu and Shan Lu and Peipei Wang},
  title     = {DScope: Detecting Real-World Data Corruption Hang Bugs in Cloud Server Systems},
  booktitle = {Proceedings of the {ACM} Symposium on Cloud Computing, SoCC 2018, Carlsbad, CA, USA, October 11-13, 2018},
  pages     = {313--325},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3267809.3267844},
  doi       = {10.1145/3267809.3267844},
}

@inproceedings{tscope2018,
  author    = {Jingzhu He and Ting Dai and Xiaohui Gu},
  title     = {TScope: Automatic Timeout Bug Identification for Server Systems},
  booktitle = {2018 {IEEE} International Conference on Autonomic Computing, {ICAC} 2018, Trento, Italy, September 3-7, 2018},
  pages     = {1--10},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.org/10.1109/ICAC.2018.00010},
  doi       = {10.1109/ICAC.2018.00010},
}

@inproceedings{timeoutstudy2018,
  author    = {Ting Dai and Jingzhu He and Xiaohui Gu and Shan Lu},
  title     = {Understanding Real-World Timeout Problems in Cloud Server Systems},
  booktitle = {2018 {IEEE} International Conference on Cloud Engineering, {IC2E} 2018, Orlando, FL, USA, April 17-20, 2018},
  pages     = {1--11},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {https://doi.org/10.1109/IC2E.2018.00022},
  doi       = {10.1109/IC2E.2018.00022},
}

@inproceedings{hytrace2017,
  author    = {Ting Dai and Daniel Dean and Peipei Wang and Xiaohui Gu and Shan Lu},
  title     = {Hytrace: a hybrid approach to performance bug diagnosis in production cloud infrastructures},
  booktitle = {Proceedings of the 2017 Symposium on Cloud Computing, SoCC 2017, Santa Clara, CA, USA, September 24-27, 2017},
  pages     = {641},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3127479.3132562},
  doi       = {10.1145/3127479.3132562},
}

@article{miuTESLA2016,
  author    = {Haiping Huang and Tianhe Gong and Tao Chen and Mingliang Xiong and Xinxing Pan and Ting Dai},
  title     = {An Improved \emph{{\(\mu\)}}TESLA Protocol Based on Queuing Theory and Benaloh-Leichter {SSS} in WSNs},
  journal   = {J. Sensors},
  volume    = {2016},
  pages     = {9021650:1--9021650:13},
  year      = {2016},
  url       = {https://doi.org/10.1155/2016/9021650},
  doi       = {10.1155/2016/9021650},
}

@article{migration2013,
  author    = {Ting Dai and Haiping Huang and Yang Lu and Ruchuan Wang and Xinxing Pan},
  title     = {Research on Migration Strategy of Mobile Agent in Wireless Sensor Networks},
  journal   = {{IJDSN}},
  volume    = {9},
  year      = {2013},
  url       = {https://doi.org/10.1155/2013/642986},
  doi       = {10.1155/2013/642986},
}

@article{hashchainJoC13,
  author = {Haiping Huang and Ting Dai and Ruchuan Wang and Xiaolin Qin and Jiutian Chen},
  title = {A Novel Self-Renewal Hash Chain Scheme based on (t, n)-Threshold and Division Tree},
  year = {2013},
  journal = {Journal of Communications},
  volume = {34},
  number = {4},
  doi = {10.3969/j.issn.1000-436x.2013.04.008}
}
@article{hashchainJoC13-zh,
  author = {黄海平 and 戴庭 and 王汝传 and 秦小麟 and 陈九天},
  title = {基于(t,n)门限和划分树的可再生散列链构造方案},
  year = {2013},
  journal = {通信学报},
  volume = {34},
  number = {4},
  doi = {10.3969/j.issn.1000-436x.2013.04.008}
}

@article{hashchainJCUPT12,
  title = {Novel self-renewal Hash chain based on Ito-Saito-Nishizeki secret sharing scheme},
  author = {Ting Dai and Haiping Huang and Ruchuan Wang and Xinxing Pan},
  journal = {The Journal of China Universities of Posts and Telecommunications},
  volume = {19},
  pages = {122-127},
  year = {2012},
  doi = {10.1016/S1005-8885(11)60433-0},
}

@article{keymanagementIR2011,
  author = {Chen, Hao and Wang, Ruchuan and Huang, Haiping and Sun, Lijuan and Dai, Ting},
  title = {Semi-dependent Base Station Key Management Scheme for Wireless Multimedia Sensor Networks},
  year = {2011},
  volume = {37},
  number = {5},
  pages = {1-5},
  journal = {Informatization Research},
}
@article{keymanagementIR2011-zh,
  author = {陈昊 and 王汝传 and 黄海平 and 孙力娟 and 戴庭},
  title = {WMSN的半依赖基站密钥管理方案},
  year = {2011},
  volume = {37},
  number = {5},
  pages = {1-5},
  journal = {信息化研究},
}

@article{jiniIoTIC2011,
  author = {Liu, Li and Dou, Yi and Dai, Ting and Huang, Haiping and Zhao, Shengwei},
  title = {Jini-based IoT Service Framework},
  year = {2011},
  volume = {5},
  pages = {26-28},
  journal = {Information & Communications},
}
@article{jiniIoTIC2011-zh,
  author = {刘莉 and 窦轶 and 戴庭 and 黄海平 and 赵生伟},
  title = {基于Jini的物联网服务框架},
  year = {2011},
  volume = {5},
  pages = {26-28},
  journal = {信息通信},
}

@article{parkingAMR11,
  author = {Liu, Li and Dai, Ting and Dou, Yi and Huang, Haiping and Huang, Junjie and Ye, Ning},
  title = {Simulation of the Parking Behaviors in a Shopping Mall of Dalian},
  year = {2011},
  month = {9},
  volume = {317},
  pages = {2133--2137},
  booktitle = {Equipment Manufacturing Technology and Automation},
  series = {Advanced Materials Research},
  publisher = {Trans Tech Publications Ltd},
  doi = {10.4028/www.scientific.net/AMR.317-319.2133},
}

@phdthesis{perfbugthesis2019,
  author    = {Ting Dai},
  title     = {A Hybrid Approach to Cloud System Performance Bug Detection, Diagnosis and Fix},
  school    = {North Carolina State University},
  year      = {2019},
  address   = {Raleigh, North Carolina},
  month     = {July},
}

@mastersthesis{wsnBaIdThesis2014,
  author    = {Ting Dai},
  title     = {Research on Broadcast Authentication Protocols and Intrusion Detection in Wireless Sensor Networks},
  school    = {Nanjing University of Posts and Telecommunications},
  year      = {2014},
  address   = {Nanjing, China},
  month     = {April},
}