Shromona Ghosh picture

Shromona Ghosh

About

I am a PhD Candidate in the Electrical Engineering and Computer Science Department, University of California at Berkeley, advised by Prof. Sanjit Seshia and Prof. Alberto Sangiovanni-Vincentelli. I also work closely with Prof, Claire Tomlin. Previously, I have interned at Texas Instruments (Summer 2012), Cadence Design Systems (Summer 2014), Micrsoft AI Research Labs (Summer 2017) and Stanford Research Institute (Summer 2018).

My research interests lie in the intersection of Formal Methods (Verification and Synthesis), Control Theory and Machine Learning (ML). Particularly, my research focuses on:

Developing formal analysis techniques and tools for analyzing safety-critical systems with ML components such as Perception Systems, Reinforcement Learning Controllers, Data-Driven system models
Utilize the analysis techniques to build robust and safe controllers for safety-critical autonomous systems
Bridging the simulation to real-world gap to provide safety guarantees

Conference Publications

Reachability-Based Safety Guarantees using Efficient Initializations
S. Herbert, S.Bansal, S. Ghosh, C. Tomlin
IEEE Conference on Decision and Control (CDC) 2019

VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
T. Dreossi*, D. Fremont*, S. Ghosh*, E.Kim, H. Ravanbaksh, M. Vazquez-Chanlatte, S. Seshia
International Conference on Computer-Aided Verification (CAV) 2019

SOTER: Programming Safe Robotics System using Runtime Assurance
A. Desai, S. Ghosh, S. Seshia, N. Shankar, A. Tiwari
IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2019

A New Simulation Metric to Determins Safe Environments and Controllers for Systems with Unknwon Dynamics
S. Ghosh*, S. Bansal*, A. Sangiovanni-Vincentelli, S.A. Seshia and C.J. Tomlin
ACM International Conference on Hybrid Systems Computation and Control (HSCC) 2019

Scenic: A language for Scenario Specification and Scene Generation
D. Fremont, X. Yue, T. Dreossi, S. Ghosh, A. Sangiovanni-Vincentelli, S. A. Seshia
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2019

Context-Specific Validation of Data-Driven Models
S. Bansal*, S. Ghosh*, A. Sangiovanni-Vincentelli, S.A. Seshia and C.J. Tomlin
arXiv Preprint 2018.

Verifying Controllers Against Adversarial Examples with Bayesian Optimization
S. Ghosh, F. Berkenkamp, G. Ranade, S. Qadeer, A. Kapoor
International Conference on Robotics and Automation (ICRA), 2018

Formal Specification for Deep Neural Networks
S. Seshia, A. Desai, T. Dreossi, D. Fremont, S. Ghosh, E. Kim, S. Shivakumar, M. Vazquez-Chanlatte, X. Yue
International Symposium on Automated Technology for Verification and Analysis (ATVA), 2018 (invited paper)

Counterexample-Guided Data Augmentation
T. Dreossi, S. Ghosh, X. Yue, K. Kuetzer, A. Sangiovanni-Vincentelli, S. Seshia
International Joint Conference on Artificial Intelligence (IJCAI), 2018

Time Series Learning using Monotonic Logical Properties
M. Vazquez-Chanlatte, S. Ghosh, J. Deshmukh, A. Sangiovanni-Vincentelli, S. Seshia
International Conference on Runtime Verification (RV), 2018

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games
M. Vazquez-Chanlatte, S. Ghosh, V. Raman, A. Sangiovanni-Vincentelli, S. Seshia
FAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018

Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications
S. Ghosh, D. Sadigh, P. Nuzzo, V. Raman, A. Donze, A. Sangiovanni Vincentelli, S. Sastry and S. Seshia
ACM International Conference on Hybrid Systems Computation and Control (HSCC), 2016 (passed Repeatibility Evaluation).

Robust Online Monitoring of Signal Temporal Logic
J. Deshmukh, A. Donze, S. Ghosh, X. Jin, G. Juniwal and S. Seshia
International Conference on Runtime Verification (RV), 2015
Best Paper Award

Journal Publications

A Minimum Discounted Reward Hamilton-Jacobi Formulation for Computing Reachable Sets
A. Akametalu, S. Ghosh, J. Fisac, C. Tomlin
IEEE Transactions on Automatic Control (TAC), 2019 (Under Review)
Robust Online Monitoring of Signal Temporal Logic
J. Deshmukh, A. Donze, S. Ghosh, X. Jin, G. Juniwal and S. Seshia
Formal Methods in System Design (FMSD), 2017

Workshop Publications

A Formalization of Robustness for Deep Neural Networks
T. Dreossi*, S. Ghosh*, A. Sangiovanni-Vincentelli, S. Seshia
Verification of Neural Networks (VNN) Workshop at Association of Advancement of Artificail Intelligence (AAAI), 2019
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
T. Dreossi*, S. Ghosh*, A. Sangiovanni-Vincentelli, S. Seshia
Reliable Machine Learning in the Wild (RMLW) Workshop at International Conference on Machine Learnin (ICML), 2017

Industrial Publications

SmartScan + OPMISR : A Novel Scan Compression Architecture for Multi-Site Testing
R. Parekhji, R. Chandel, S. Ghosh, R. Suthapalli, G. Swathi and D.Gaur
Cadence (CDN) Live Conference 2012
Best Paper Award in Digital Front End Track