Research
Papers
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
To appear at CAV
2023,
(35th International Conference on Computer-Aided Verification)
Tool Paper
Tackling Simulation Inconsistencies in the Robot Design Process by Selective Empirical Evaluation
DESTION
2023,
(5th Workshop on Design Automation for CPS and IoT)
Workshop Paper
Symbiotic CPS Design-Space Exploration through Iterated Optimization
DESTION
2023,
(5th Workshop on Design Automation for CPS and IoT)
Workshop Paper
Randomized Synthesis for Diversity and Cost Constraints with Control Improvisation
CAV
2022,
(34th International Conference on Computer-Aided Verification)
Conference Paper
* The two first authors contributed equally to the paper.
A Novel IoT System For Patient-Centric Pressure Ulcer Prevention Using Sensor Embedded Dressings
PerCom
2022,
(IEEE International Conference on Pervasive Computing and Communications)
WIP Paper
Labelled Control Improvisation
University of California Santa Cruz
2021
Bachelor's Thesis
An IoT System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
ICDH
2021,
(IEEE International Conference on Digital Health)
Conference Paper
An IoT-Based System for Autonomous, Continuous, Real-Time Patient Monitoring and Its Application to Pressure Injury Management
DCOSS
2021,
(IEEE International Conference on Distributed Computing in Sensor Systems)
Poster Paper
Note: Extended in conference paper above.
Projects and Tools
Scenic
A domain-specific probabilistic programming language for modeling the environments of cyber-physical systems like robots and autonomous cars. Scenic has been used for the development, training, and testing of cyber-physical systems. I began working on Scenic on version 3.0.