Pre-Prints

  1. “Interactive Program Synthesis for Modeling Collaborative Physical Activities from Narrated Demonstrations,” Edward Kim*, Daniel He*, Jorge Chao*, Wiktor Rajca, Mohammed Amin, Nishant Malpani, Ruta Desai, Antti Oulasrvirta, Sanjit Seshia, Bjoern Hartmann, https://arxiv.org/abs/2509.24250, 2026 (* indicates equal contributions) [Pending Review]

  2. “Clinician-Directed Large Language Model Software Generation for Therapeutic Interventions in Physical Rehabilitation,” Edward Kim*, Yuri Cho*, Jose Lima, Julie Muccini, Jenelle Jindal, Alison

    Scheid, Erik Nelson, Seong Hyun Park, Yuchen Zeng, Alton Sturgis, Caesar Li, Jackie Dai, Sun Min Kim, Yash Prakash, Liwen Sun, Isabella Hu, Hongxuan Wu, Daniel He, Wiktor Rajca, Cathra Halabi, Maarten Lansberg, Bjoern Hartmann, Sanjit A. Seshia, https://arxiv.org/abs/2511.18274 (* equal contributions) [Pending Review]

  3. “Human-Centered Design of a Privacy-Preserving Mixed-Reality Exercise Program for Stroke,” Gina Gwiazda, Alison Scheid, Edward Kim, Yuri Cho, Jeremy Fischer, Siqi Li, Mahmoud Elfar, Erik Nelson, Seonghyun Park, Rachel Zeng, Kamesh Krishnamurthy, Jessica Mok, Yasser Shoukry, Bjoern Hartmann, Sanjit A. Seshia, Cathra Halabi [Pending Review]

  4. “Augmented Reality-based Physical Assessment for Patients with Prior Stroke: A Feasibility Study,” Jose Lima, Yuri Cho, Julie Muccini, Edward Kim, Alan David Anaya

    Gallegos, Alton Sturgis, James Hu, Cathy Zhang, Erik Nelson, Nicholas Perlich, Sanjit A. Seshia, Maarten Lansberg [In Submission]

Computer Science Conferences / Journals

  1. “Querying Labeled Time Series Data with Scenario Programs,” Edward Kim, Devan Shanker, Varun Bharadwaj, Hongbeen Park, Jinkyu Kim, Hazem Torfah, Daniel Fremont, Sanjit Seshia, NASA Formal Methods (NFM), 2025

  2. “Dynamic, Multi-Objective Specification and Falsification of Autonomous CPS,” Kai-Chun Chang, Kaifei Xu, Edward Kim, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, International Conference on Runtime Verification (RV), 2024

  3. “3D Environment Modeling for Falsification and Beyond with Scenic 3.0,” Eric Vin, Shun Kashiwa, Matthew Rhea, Daniel Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, International Conference on Computer-Aided Verification (CAV), 2023

  4. “Querying Labelled Data with Scenario Programs for Sim-to-Real Validation,” Edward Kim, Jay Shenoy, Sebastian Junges, Daniel J. Fremont, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, International Conference on Cyber-Physical Systems (ICCPS), 2022 (Best Paper Nominee)

  5. “SCENIC: A language for scenario specification and data generation,” Daniel J. Fremont, Edward Kim, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Machine Learning Journal (Special Issue on Robust ML), 2022

  6. “Programmatic Modeling and Generation of Real-time Strategic Soccer Environments for Reinforcement Learning,” Abdus Salam Azad*, Edward Kim*, Qiancheng Wu, Kimin Lee, Ion Stoica, Pieter Abbeel, Sanjit Seshia (* equal contributions), Advancement of Artificial Intelligence (AAAI), 2022

  7. “Parallel and Multi-Objective Falsification with SCENIC and VERIFAI,” Kesav Viswanadha, Edward Kim, Francis Indaheng, Daniel Fremont, Sanjit Seshia, International Conference on Runtime Verification (RV), 2021

  8. “Addressing the IEEE AV Test Challenge with Scenic and VerifAI,” Kesav Viswanadha, Francis Indaheng, Justin Wong, Edward Kim, Ellen Kalvan, Yash Pant, Daniel Fremont, Sanjit Seshia, IEEE International Conference on Artificial Intelligence Testing, 2021

  9. “A Programmatic Approach to Explaining and Debugging Neural Network Based Object Detector,” Edward Kim, Divya Gopinath, Corina Pasareanu, Sanjit A. Seshia, Computer Vision and Pattern Recognition (CVPR), 2020 (Oral Presentation)

  10. “Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World,” Daniel J. Fremont, Edward Kim, Yash Vardhan Pant, Sanjit Seshia, Atul Acharya, Xantha Bruso, Paul Wells, Steve Lemke, Qiang Lu, Shalin Mehta, Conference on Intelligent Transportation Systems (ITSC), 2020

  11. “VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems,” Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Hadi Ravanbakhsh, Marcell Vazquez-Chanlatte, Sanjit A. Seshia, Computer Aided Verification (CAV), 2019

  12. “Formal Specification for Deep Neural Networks,” Sanjit A. Seshia, Ankush Desai, Tommaso Dreossi, Daniel J. Fremont, Shromona Ghosh, Edward Kim, Sumukh Shivakumar, Marcell Vazquez-Chanlatte, Xiangyu Yue, International Symposium on Automated Technology for Verification and Analysis, 2018 (invited paper)

Medical Conferences

  1. “Evaluating the Feasibility of a System for Motor Recovery in Stroke Rehabilitation: Proof-of-Concept Study,” Edward Kim*, Yuri Cho*, Jose Lima, Julie Muccini, Jenelle Jindal, Alison Scheid, Erik Nelson, Seong Hyun Park, Yuchen Zeng, Alton Sturgis, Caesar Li, Jackie Dai, Sun Min Kim, Yash Prakash, Liwen Sun, Isabella Hu, Hongxuan Wu, Daniel He, Wiktor Rajca, Cathra Halabi, Maarten Lansberg, Bjoern Hartmann, Sanjit A. Seshia, International Stroke Conference (ISC), 2026 (* indicates equal contributions) (Oral Presentation)

  2. “Augmented Reality-based Physical Assessment (ARPA) for Remote Assessment of Patients with Prior Stroke: A Feasibility Study,” José Lima, Yuri Cho, Julie Muccini, Edward Kim, Alan Anaya Gallegos, Alton Sturgis, James Hu, Cathy Zhang, Erik Nelson, Nicholas Perlich, Sophie Rengarajan, Sanjit Seshia, Maarten Lansberg, American Academy of Neurology Conference, 2024

Workshop Papers

  1. “Using Probabilistic Programs to Generate Sensor Data for System Testing, Training, and Validation,” Edward Kim, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Learning from Diverse Offline-Data Workshop (ICRA), 2023 (Spotlight Talk)

  2. “Querying Labelled Data with Probabilistic Programs for Sim-to-Real Validation,” Edward Kim, Jay Shenoy, Sebastian Junges, Daniel Fremont, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Workshop on Verification of Probabilistic Programs (CAV), 2023

  3. “A Scenario-Based Platform for Testing Autonomous Vehicle Behavior Prediction Models in Simulation,” Francis Indaheng, Edward Kim, Kesav Viswanadha, Daniel Fremont, Sanjit Seshia, Machine Learning for Autonomous Driving Workshop (NeurIPS), 2021

  4. “Evaluating Sampling Techniques for Testing Cyber-Physical Systems with Machine Learning Components,” Edward Kim, Shromona Ghosh, Tommaso Dreossi, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Monitoring and Testing of Cyber-Physical Systems Workshop (ICCPS), 2019

Technical Report

  1. “Task Distribution Aware Psychomotor Skill Training with Probabilistic Programs and Bayesian Knowledge Tracing in Virtual Reality,” Edward Kim, Alton Sturgis, Zachary Pardos, Kyle Cui, James Hu, Yunzhong Xiao, Boxi Fu, Daniel He, Issac Gonzalez, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Bjoern Hartmann, Technical Report No. UCB/EECS-2024-16, 2024