Kaiyuan Wang - RankMe

71 papers A* 8A 10B 1C 4Misc 1Journal 30Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Automated Modernization of Machine Learning Engineering Notebooks for Reproducibility. CoRR Bihui Jin, Kaiyuan Wang, Pengyu Nie
2026	J	`jnl`	Expansion Into Logistics: Manufacturer's Supply Chain Integration Strategy. IEEE Trans. Engineering Management Jun Pei, Kaiyuan Wang, Wenjuan Fan
2025	—	`conf`	A Real-Time Haptic Teleoperation Platform for UAVs Based on Unity-ROS Integration. ROBIO Kaiyuan Wang, Wenbin Liu, Mikhail M. Svinin, Kaiyuan Lu, Igor Goncharenko
2025	—	`conf`	Automating ML Model Development at Scale. SEIP@ICSE Kaiyuan Wang, Yang Li, Junyang Shen, Kaikai Sheng, Yiwei You, Jiaqi Zhang, Srikar Ayyalasomayajula, Julian Grady, Martin Wicke
2025	J	`jnl`	C2PSA-Enhanced YOLOv11 Architecture: A Novel Approach for Small Target Detection in Cotton Disease Diagnosis. CoRR Kaiyuan Wang, Jixing Liu, Xiaobo Cai
2025	J	`jnl`	FinLLMs: A Framework for Financial Reasoning Dataset Generation With Large Language Models. IEEE Trans. Big Data Ziqiang Yuan, Kaiyuan Wang, Shoutai Zhu, Ye Yuan, Jingya Zhou, Yanlin Zhu, Wenqi Wei
2025	—	`conf`	Latent Representations for Control Design with Provable Stability and Safety Guarantees. CDC Paul Lutkus, Kaiyuan Wang, Lars Lindemann, Stephen Tu
2025	J	`jnl`	Latent Representations for Control Design with Provable Stability and Safety Guarantees. CoRR Paul Lutkus, Kaiyuan Wang, Lars Lindemann, Stephen Tu
2025	J	`jnl`	Nonconvex Low-Tubal-Rank Tensor Completion With Temporal Regularization for Spatiotemporal Traffic Data Recovery. IEEE Trans. Emerg. Top. Comput. Intell. Xiaobo Chen, Kaiyuan Wang, Qiaolin Ye
2025	J	`jnl`	Nonconvex Transform-Based Low-Rank Tensor Completion With Coupled Spatiotemporal Relation Learning for Traffic Data Recovery. IEEE Trans. Intell. Transp. Syst. Kaiyuan Wang, Xiaobo Chen, Nan Xu, Zuoyong Li, Qiaolin Ye
2025	—	`conf`	Orbital Angular Momentum Beam Generation with Inverse-Designed Multimode Meta-Waveguides. OFC Tiange Wu, Kaiyuan Wang, Jing Luan, Yifei Chong, Shuang Zheng, Minming Zhang
2025	J	`jnl`	Practical-time decompositions against three kinds of S-boxes with different structures. J. Supercomput. Shiwei Chen, Kaiyuan Wang, Ensheng Chen
2025	J	`jnl`	Rejuvenating efficient convolutional neural networks. J. Real Time Image Process. Wei Xu, Yi Wan, Kaiyuan Wang
2025	J	`jnl`	Scalable Machine Learning Training Infrastructure for Online Ads Recommendation and Auction Scoring Modeling at Google. CoRR George Kurian, Somayeh Sardashti, Ryan Sims, Felix Berger, Gary Holt, Yang Li, Jeremiah Willcock, Kaiyuan Wang, Herve Quiroz, Abdulrahman Salem, Julian Grady
2025	J	`jnl`	The impact of collaborative versus individual electronic note-taking on academic writing skills among graduate students: A call-based study. Educ. Inf. Technol. Yonggang Gao, Lu Gan, Kaiyuan Wang
2024	A*	`conf`	AnyOKP: One-Shot and Instance-Aware Object Keypoint Extraction with Pretrained ViT. ICRA Fangbo Qin, Taogang Hou, Shan Lin, Kaiyuan Wang, Michael C. Yip, Shan Yu
2024	J	`jnl`	Composite Nonconvex Low-Rank Tensor Completion With Joint Structural Regression for Traffic Sensor Networks Data Recovery. IEEE Trans. Comput. Soc. Syst. Xiaobo Chen, Kaiyuan Wang, Feng Zhao, Fuwen Deng, Qiaolin Ye
2024	J	`jnl`	Current computational tools for protein lysine acylation site prediction. Briefings Bioinform. Zhaohui Qin, Haoran Ren, Pei Zhao, Kaiyuan Wang, Huixia Liu, Chunbo Miao, Yanxiu Du, Junzhou Li, Liuji Wu, Zhen Chen
2024	—	`conf`	DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset. Robotics: Science and Systems Alexander Khazatsky, Karl Pertsch, Suraj Nair, Ashwin Balakrishna, Sudeep Dasari, Siddharth Karamcheti, Soroush Nasiriany, Mohan Kumar Srirama, Lawrence Yunliang Chen, Kirsty Ellis, Peter David Fagan, Joey Hejna, Masha Itkina, Marion Lepert, Yecheng Jason Ma, Patrick Tree Miller, Jimmy Wu, Suneel Belkhale, Shivin Dass, Huy Ha, Arhan Jain, Abraham Lee, Youngwoon Lee, Marius Memmel, Sungjae Park, Ilija Radosavovic, Kaiyuan Wang, Albert Zhan, Kevin Black, Cheng Chi, Kyle Beltran Hatch, Shan Lin, Jingpei Lu, Jean Mercat, Abdul Rehman, Pannag R. Sanketi, Archit Sharma, Cody Simpson, Quan Vuong, Homer Rich Walke, Blake Wulfe, Ted Xiao, Jonathan Heewon Yang, Arefeh Yavary, Tony Z. Zhao, Christopher Agia, Rohan Baijal, Mateo Guaman Castro, Daphne Chen, Qiuyu Chen, Trinity Chung, Jaimyn Drake, Ethan Paul Foster, Jensen Gao, David Antonio Herrera, Minho Heo, Kyle Hsu, Jiaheng Hu, Donovon Jackson, Charlotte Le, Yunshuang Li, Roy Lin, Zehan Ma, Abhiram Maddukuri, Suvir Mirchandani, Daniel Morton, Tony Nguyen, Abigail O'Neill, Rosario Scalise, Derick Seale, Victor Son, Stephen Tian, Emi Tran, Andrew E. Wang, Yilin Wu, Annie Xie, Jingyun Yang, Patrick Yin, Yunchu Zhang, Osbert Bastani, Glen Berseth, Jeannette Bohg, Ken Goldberg, Abhinav Gupta, Abhishek Gupta, Dinesh Jayaraman, Joseph J. Lim, Jitendra Malik, Roberto Martín-Martín, Subramanian Ramamoorthy, Dorsa Sadigh, Shuran Song, Jiajun Wu, Michael C. Yip, Yuke Zhu, Thomas Kollar, Sergey Levine, Chelsea Finn
2024	J	`jnl`	DROID: A Large-Scale In-The-Wild Robot Manipulation Dataset. CoRR Alexander Khazatsky, Karl Pertsch, Suraj Nair, Ashwin Balakrishna, Sudeep Dasari, Siddharth Karamcheti, Soroush Nasiriany, Mohan Kumar Srirama, Lawrence Yunliang Chen, Kirsty Ellis, Peter David Fagan, Joey Hejna, Masha Itkina, Marion Lepert, Jason Ma, Patrick Tree Miller, Jimmy Wu, Suneel Belkhale, Shivin Dass, Huy Ha, Arhan Jain, Abraham Lee, Youngwoon Lee, Marius Memmel, Sungjae Park, Ilija Radosavovic, Kaiyuan Wang, Albert Zhan, Kevin Black, Cheng Chi, Kyle Beltran Hatch, Shan Lin, Jingpei Lu, Jean Mercat, Abdul Rehman, Pannag R. Sanketi, Archit Sharma, Cody Simpson, Quan Vuong, Homer Rich Walke, Blake Wulfe, Ted Xiao, Jonathan Heewon Yang, Arefeh Yavary, Tony Z. Zhao, Christopher Agia, Rohan Baijal, Mateo Guaman Castro, Daphne Chen, Qiuyu Chen, Trinity Chung, Jaimyn Drake, Ethan Paul Foster, et al.
2024	A*	`conf`	Efficient Incremental Code Coverage Analysis for Regression Test Suites. ASE Jiale Amber Wang, Kaiyuan Wang, Pengyu Nie
2024	J	`jnl`	Efficient Incremental Code Coverage Analysis for Regression Test Suites. CoRR Jiale Amber Wang, Kaiyuan Wang, Pengyu Nie
2024	B	`conf`	Enhancing Financial Reasoning in Large Language Models: The Role of Gold Facts. IEEE Big Data Shoutai Zhu, Ziqiang Yuan, Kaiyuan Wang, Yishu Zhang, Wenqi Wei
2024	J	`jnl`	FinLLMs: A Framework for Financial Reasoning Dataset Generation with Large Language Models. CoRR Ziqiang Yuan, Kaiyuan Wang, Shoutai Zhu, Ye Yuan, Jingya Zhou, Yanlin Zhu, Wenqi Wei
2024	C	`conf`	LTGAN: Multi-label Time-Series GAN with Constraints for Electronic Health Records Generation. HIS Yi Luo, Ming Sheng, Xianbo Liu, Kaiyuan Wang, Yong Zhang, Huiying Zhao
2024	A*	`conf`	Open X-Embodiment: Robotic Learning Datasets and RT-X Models : Open X-Embodiment Collaboration. ICRA Abby O'Neill, Abdul Rehman, Abhiram Maddukuri, Abhishek Gupta, Abhishek Padalkar, Abraham Lee, Acorn Pooley, Agrim Gupta, Ajay Mandlekar, Ajinkya Jain, Albert Tung, Alex Bewley, Alexander Herzog, Alex Irpan, Alexander Khazatsky, Anant Rai, Anchit Gupta, Andrew E. Wang, Anikait Singh, Animesh Garg, Aniruddha Kembhavi, Annie Xie, Anthony Brohan, Antonin Raffin, Archit Sharma, Arefeh Yavary, Arhan Jain, Ashwin Balakrishna, Ayzaan Wahid, Ben Burgess-Limerick, Beomjoon Kim, Bernhard Schölkopf, Blake Wulfe, Brian Ichter, Cewu Lu, Charles Xu, Charlotte Le, Chelsea Finn, Chen Wang, Chenfeng Xu, Cheng Chi, Chenguang Huang, Christine Chan, Christopher Agia, Chuer Pan, Chuyuan Fu, Coline Devin, Danfei Xu, Daniel Morton, Danny Driess, Daphne Chen, Deepak Pathak, Dhruv Shah, Dieter Büchler, Dinesh Jayaraman, Dmitry Kalashnikov, Dorsa Sadigh, Edward Johns, Ethan Paul Foster, Fangchen Liu, Federico Ceola, Fei Xia, Feiyu Zhao, Freek Stulp, Gaoyue Zhou, Gaurav S. Sukhatme, Gautam Salhotra, Ge Yan, Gilbert Feng, Giulio Schiavi, Glen Berseth, Gregory Kahn, Guanzhi Wang, Hao Su, Haoshu Fang, Haochen Shi, Henghui Bao, Heni Ben Amor, Henrik I. Christensen, Hiroki Furuta, Homer Walke, Hongjie Fang, Huy Ha, Igor Mordatch, Ilija Radosavovic, Isabel Leal, Jacky Liang, Jad Abou-Chakra, Jaehyung Kim, Jaimyn Drake, Jan Peters, Jan Schneider, Jasmine Hsu, Jeannette Bohg, Jeffrey T. Bingham, Jeffrey Wu, Jensen Gao, Jiaheng Hu, Jiajun Wu, Jialin Wu, Jiankai Sun, Jianlan Luo, Jiayuan Gu, Jie Tan, Jihoon Oh, Jimmy Wu, Jingpei Lu, Jingyun Yang, Jitendra Malik, João Silvério, Joey Hejna, Jonathan Booher, Jonathan Tompson, Jonathan Yang, Jordi Salvador, Joseph J. Lim, Junhyek Han, Kaiyuan Wang, Kanishka Rao, Karl Pertsch, Karol Hausman, Keegan Go, Keerthana Gopalakrishnan, Ken Goldberg, Kendra Byrne, Kenneth Oslund, Kento Kawaharazuka, Kevin Black, Kevin Lin, Kevin Zhang, Kiana Ehsani, Kiran Lekkala, Kirsty Ellis, Krishan Rana, Krishnan Srinivasan, Kuan Fang, Kunal Pratap Singh, Kuo-Hao Zeng, Kyle Hatch, Kyle Hsu, Laurent Itti, Lawrence Yunliang Chen, Lerrel Pinto, Li Fei-Fei, Liam Tan, Linxi Jim Fan, Lionel Ott, Lisa Lee, Luca Weihs, Magnum Chen, Marion Lepert, Marius Memmel, Masayoshi Tomizuka, Masha Itkina, Mateo Guaman Castro, Max Spero, Maximilian Du, Michael Ahn, Michael C. Yip, Mingtong Zhang, Mingyu Ding, Minho Heo, Mohan Kumar Srirama, Mohit Sharma, Moo Jin Kim, Naoaki Kanazawa, Nicklas Hansen, Nicolas Heess, Nikhil J. Joshi, Niko Sünderhauf, Ning Liu, Norman Di Palo, Nur Muhammad (Mahi) Shafiullah, Oier Mees, Oliver Kroemer, Osbert Bastani, Pannag R. Sanketi, Patrick Tree Miller, Patrick Yin, Paul Wohlhart, Peng Xu, Peter David Fagan, Peter Mitrano, Pierre Sermanet, Pieter Abbeel, Priya Sundaresan, Qiuyu Chen, Quan Vuong, Rafael Rafailov, Ran Tian, Ria Doshi, Roberto Martín-Martín, Rohan Baijal, Rosario Scalise, Rose Hendrix, Roy Lin, Runjia Qian, Ruohan Zhang, Russell Mendonca, Rutav Shah, Ryan Hoque, Ryan Julian, Samuel Bustamante-Gomez, Sean Kirmani, Sergey Levine, Shan Lin, Sherry Moore, Shikhar Bahl, Shivin Dass, Shubham D. Sonawani, Shuran Song, Sichun Xu, Siddhant Haldar, Siddharth Karamcheti, Simeon Adebola, Simon Guist, Soroush Nasiriany, Stefan Schaal, Stefan Welker, Stephen Tian, Subramanian Ramamoorthy, Sudeep Dasari, Suneel Belkhale, Sungjae Park, Suraj Nair, Suvir Mirchandani, Takayuki Osa, Tanmay Gupta, Tatsuya Harada, Tatsuya Matsushima, Ted Xiao, Thomas Kollar, Tianhe Yu, Tianli Ding, Todor Davchev, Tony Z. Zhao, Travis Armstrong, Trevor Darrell, Trinity Chung, Vidhi Jain, Vincent Vanhoucke, Wei Zhan, Wenxuan Zhou, Wolfram Burgard, Xi Chen, Xiaolong Wang, Xinghao Zhu, Xinyang Geng, Xiyuan Liu, Liangwei Xu, Xuanlin Li, Yao Lu, Yecheng Jason Ma, Yejin Kim, Yevgen Chebotar, Yifan Zhou, Yifeng Zhu, Yilin Wu, Ying Xu, Yixuan Wang, Yonatan Bisk, Yoonyoung Cho, Youngwoon Lee, Yuchen Cui, Yue Cao, Yueh-Hua Wu, Yujin Tang, Yuke Zhu, Yunchu Zhang, Yunfan Jiang, Yunshuang Li, Yunzhu Li, Yusuke Iwasawa, Yutaka Matsuo, Zehan Ma, Zhuo Xu, Zichen Jeff Cui, Zichen Zhang, Zipeng Lin
2024	Misc	`conf`	Sepsis Mortality Prediction with Electronic Health Records Based on Sequential and Attention-Based Models. WISA Xianbo Liu, Kaiyuan Wang, Weifan Wang, Yi Luo, Peng Ren, Yuhang Hu, Zeming Li, Xiangkuan Li, Zhentao Hu, Wenyao Li, Chunxiao Xing
2024	A	`conf`	SuPerPM: A Surgical Perception Framework Based on Deep Point Matching Learned from Physical Constrained Simulation Data. IROS Shan Lin, Albert J. Miao, Ali Alabiad, Fei Liu, Kaiyuan Wang, Jingpei Lu, Florian Richter, Michael C. Yip
2023	J	`jnl`	A Novel Nonconvex Low-Rank Tensor Completion Approach for Traffic Sensor Data Recovery From Incomplete Measurements. IEEE Trans. Instrum. Meas. Xiaobo Chen, Kaiyuan Wang, Zuoyong Li, Yu Zhang, Qiaolin Ye
2023	J	`jnl`	AnyOKP: One-Shot and Instance-Aware Object Keypoint Extraction with Pretrained ViT. CoRR Fangbo Qin, Taogang Hou, Shan Lin, Kaiyuan Wang, Michael C. Yip, Shan Yu
2023	C	`conf`	Exploration of Four Coils Magnetically Coupled Resonant Inductive Power Transfer System with Efficiency Optimization Under Unsymmetrical Power Wiring Structure. IECON Kaiyuan Wang, Yun Yang, Ka Wai Eric Cheng
2023	—	`conf`	PCB Surface Defect Detection Based on TPBAS-YOLOv5. DTPI Changyu Luo, Shichao Chen, Kunfeng Wang, Xiangyu Hu, Kaiyuan Wang, Shuangshuang Han
2023	J	`jnl`	SuPerPM: A Large Deformation-Robust Surgical Perception Framework Based on Deep Point Matching Learned from Physical Constrained Simulation Data. CoRR Shan Lin, Albert J. Miao, Ali Alabiad, Fei Liu, Kaiyuan Wang, Jingpei Lu, Florian Richter, Michael C. Yip
2023	A*	`conf`	Symbolic Discovery of Optimization Algorithms. NeurIPS Xiangning Chen, Chen Liang, Da Huang, Esteban Real, Kaiyuan Wang, Hieu Pham, Xuanyi Dong, Thang Luong, Cho-Jui Hsieh, Yifeng Lu, Quoc V. Le
2023	J	`jnl`	Symbolic Discovery of Optimization Algorithms. CoRR Xiangning Chen, Chen Liang, Da Huang, Esteban Real, Kaiyuan Wang, Yao Liu, Hieu Pham, Xuanyi Dong, Thang Luong, Cho-Jui Hsieh, Yifeng Lu, Quoc V. Le
2022	J	`jnl`	MoËT: Mixture of Expert Trees and its application to verifiable reinforcement learning. Neural Networks Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2022	J	`jnl`	Real-Time Object Detection Based on YOLO-v2 for Tiny Vehicle Object. SN Comput. Sci. Pengju Deng, Kaiyuan Wang, Xiaohong Han
2021	—	`conf`	AlloyFL: a fault localization framework for Alloy. ESEC/SIGSOFT FSE Tanvir Ahmed Khan, Allison Sullivan, Kaiyuan Wang
2021	—	`conf`	Smart Build Targets Batching Service at Google. ICSE (SEIP) Kaiyuan Wang, Daniel Rall, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad
2021	J	`jnl`	Smart Build Targets Batching Service at Google. CoRR Kaiyuan Wang, Daniel Rall, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad
2020	—	`conf`	A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
2020	J	`jnl`	A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2020	A*	`conf`	A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
2020	A	`conf`	Fault Localization for Declarative Models in Alloy. ISSRE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2020	A	`conf`	Scalable build service system with smart scheduling service. ISSTA Kaiyuan Wang, Greg Tener, Vijay Gullapalli, Xin Huang, Ahmed Gad, Daniel Rall
2019	—	`conf`	A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
2019	J	`jnl`	A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
2019	—	`conf`	ARepair: a repair framework for alloy. ICSE (Companion Volume) Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2019	—	`conf`	Incremental Analysis of Evolving Alloy Models. TACAS (1) Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
2019	A	`conf`	Learning to Optimize the Alloy Analyzer. ICST Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2019	J	`jnl`	MoËT: Interpretable and Verifiable Reinforcement Learning via Mixture of Expert Trees. CoRR Marko Vasic, Andrija Petrovic, Kaiyuan Wang, Mladen Nikolic, Rishabh Singh, Sarfraz Khurshid
2019	A	`conf`	Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
2019	—	`conf`	Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2019	A	`conf`	Towards Effective Assessment for Social Engineering Attacks. RE Tong Li, Kaiyuan Wang, Jennifer Horkoff
2018	J	`jnl`	A Progress Bar for the JPF Search Using Program Executions. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Hayes Converse, Milos Gligoric, Sasa Misailovic, Sarfraz Khurshid
2018	—	`conf`	ASketch: a sketching framework for Alloy. ESEC/SIGSOFT FSE Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	A	`conf`	AUnit: A Test Automation Tool for Alloy. ICST Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid
2018	A*	`conf`	Automated model repair for Alloy. ASE Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2018	A	`conf`	EdSynth: Synthesizing API Sequences with Conditionals and Loops. ICST Zijiang Yang, Jinru Hua, Kaiyuan Wang, Sarfraz Khurshid
2018	J	`jnl`	Fault Localization for Declarative Models in Alloy. CoRR Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	—	`conf`	MuAlloy: a mutation testing framework for alloy. ICSE (Companion Volume) Kaiyuan Wang, Allison Sullivan, Sarfraz Khurshid
2018	—	`conf`	SketchFix: a tool for automated program repair approach using lazy candidate generation. ESEC/SIGSOFT FSE Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
2018	C	`conf`	Solver-Based Sketching of Alloy Models Using Test Valuations. ABZ Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid
2018	J	`jnl`	Symbolic Execution for Deep Neural Networks. CoRR Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
2018	C	`conf`	Systematic Generation of Non-equivalent Expressions for Relational Algebra. ABZ Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid
2018	A*	`conf`	Towards practical program repair with on-demand candidate generation. ICSE Jinru Hua, Mengshi Zhang, Kaiyuan Wang, Sarfraz Khurshid
2018	A*	`conf`	Towards refactoring-aware regression test selection. ICSE Kaiyuan Wang, Chenguang Zhu, Ahmet Çelik, JongWook Kim, Don S. Batory, Milos Gligoric
2017	A	`conf`	Automated Test Generation and Mutation Testing for Alloy. ICST Allison Sullivan, Kaiyuan Wang, Razieh Nokhbeh Zaeem, Sarfraz Khurshid
2017	—	`conf`	Evaluating State Modeling Techniques in Alloy. SQAMIA Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid, Darko Marinov
2017	J	`jnl`	JPR: Replaying JPF Traces Using Standard JVM. ACM SIGSOFT Softw. Eng. Notes Kaiyuan Wang, Sarfraz Khurshid, Milos Gligoric
2016	A	`conf`	Repairing Intricate Faults in Code Using Machine Learning and Path Exploration. ICSME Divya Gopinath, Kaiyuan Wang, Jinru Hua, Sarfraz Khurshid