Parasara Sridhar Duggirala (పరాశర శ్రీధర్ దుగ్గిరాల)

• [October 2023] Shengjie Xu will be presenting joint work titled Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems at ATVA 2023.
• [October 2023] Extended version of the RTCSA conference paper on Statistical Verification of Autonomous System Controllers Under Timing Uncertainties got accepted into Real-Time Systems Journal.
• [September 2022] Glad to be a part of new NSF POSE Grant together with UC Berkeley, UC Santa Cruz, and University of Michigan.
• [July 2023] I will be part of the ICCPS 2024 program committee and organizing committee.
• [July 2023] Joint work with Shengjie Xu, Bineet Ghosh, Clara Hobbs, Enrico Fraccaroli, and Samarjit Chakraborty titled Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems got accepted to ATVA 2023.
• [June 2023] Bineet Ghosh successfully defends his thesis. Congratulations, Bineet! Bineet will be joining University of Alabama as a Tenure-Track Assistant Professor.
• [March 2023] Received a Grant from AFOSR on *Neurosymbolic Techniques for Testing of Autonomous Systems* for a sum of $450,000.
• [October 2022] Bineet Ghosh receives Best Presentation Award at ACM SIGBED Student Research Competition (SRC). Congratulations, Bineet!
• [October 2022] My student Manish Goyal is present our paper titled NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation at EMSOFT 2023.
• [October 2022] Clara Hobbs will be presenting the work titled Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties at EMSOFT 2023.
• [August 2022] I will be visiting Wright Brothers Institute in Dayton, OH for teaching a mini course on Program Verification.
• [August 2022] Bineet Ghosh is now officially a PhD Candidate after successfully completing the thesis proposal. He is on the job market the coming year.
• [August 2022] My student Bineet Ghosh is presenting our paper title Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties that has been nominated for best paper award at RTCSA 2022.
• [July 2022] I will be a part of the program committee of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2023.
• [July 2022] I will be teaching a short course titled Introduction to Program Verification at Wright-Brothers Institute at Dayton.
• [July 2022] Joint paper with my student Manish Goyal and Miheer Dewaskar titled NExG: Provable and Guided State Space Exploration of Neural Network Control Systems using Sensitivity Approximation has been accepted for publication at EMSOFT 2022.
• [July 2022] Joint work with Clara Hobbs, Bineet Ghosh, Shengjie Xu, and Samarjit Chakraborty titled Safety Analysis of Embedded Controllers under Implementation Platform Timing Uncertainties has been accepted for publication at EMSOFT 2022.
• [June 2022] Manish Goyal successfully defends his thesis. Congratulations, Manish!
• [June 2022] Joint work with my student Bineet Ghosh, Clara Hobbs, Shengjie Xu, James Anderson, P. S. Thiagarajan, and Samarjit Chakraborty titled Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties has been accepted for publication at RTCSA 2022.
• [May 2022] Received a Grant from AFRL on *Introduction to Program Verification* for teaching a mini course on Program Verification at Wright Brothers' Institute in Dayton, OH.
• [May 2022] UNC Team places 2nd in GRAIC autonomous vehicle racing competition. Congratulations to Han Gao for handling all the competition logistics and to Abel Karimi for mentoring him.
• [May 2022] My student Abel Karimi is presenting our paper on Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections at ICCPS 2022 part of CPS Week.
• [May 2022] Sanaz Sheikhi is presenting our joint work with Edward Kim and Stanley Bak titled Coverage-Guided Fuzz Testing for Cyber-Physical Systems at ICCPS 2022 part of CPS Week.
• [January 2022] Joint work with my student Abel Karimi titled Automatic Generation of Test-cases of Increasing Complexity for Autonomous Vehicles at Intersections has been accepted for publication at ICCPS 2022 part of CPS Week.
• [January 2022] Joint work with Sanaz Sheikhi, Edward Kim, and Stanley Bak titled Coverage-Guided Fuzz Testing for Cyber-Physical Systems has been accepted for publication at ICCPS 2022 part of CPS Week.
• [September 2021] I will be a part of the program committee of International Conference on Computer Aided Verification (CAV) 2021.
• [September 2021] My student Bineet Ghosh has presented joint work with Sandeep Chinchalli titled Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency at IROS 2021.
• [August 2021] I will be a part of the program committee of IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2022.
• [August 2021] My student Edward Kim has presented joint work with Stanley Bak titled Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems at FORMATS 2021 part of QONFEST.
• [July 2021] I have received Amazon Research Awards in Spring 2021 from AWS Automated Reasoning.
• [July 2021] Joint work with my student Bineet Ghosh and Sandeep Chinchalli titled Interpretable Trade-offs Between Robot Task Accuracy and Compute Efficiency has been accepted for publication at IROS 2021.
• [July 2021] Kostiantyn Potomkin presents joint work with Stanley Bak, Sergiy Bogomolov, Adam R Gerlach titled Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization at ADHS 2021.
• [July 2021] Our tool KAA is part of Nonlinear Systems Verification Benchmark that is part of ARCH Workshop 2021.
• [June 2021] My student Bineet Ghosh has been awarded Chateaubraind Fellowship from Embassy of France in the United States for the year 2021.
• [June 2021] Joint work with Edward Kim and Stanley Bak titled Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems has been accepted for publication at FORMATS 2021 part of QONFEST.
• [June 2021] My student Manish Goyal successfully defends his thesis proposal. Congratulations on becoming a PhD Candidate, Manish.
• [May 2021] UNC Team wins GRAIC autonomous vehicle racing competition. Congratulations to Abel who took care of all the logistics and Manish for helping to develop the algorithm.
• [February 2021] Clara Hobbs has presented joint work with Debayan Roy, F. Donelson Smith, Soheil Samii, James H. Anderson, and Samarjit Chakraborty titled Perception Computing-Aware Controller Synthesis for Autonomous Systems at DATE 2021.
• [February 2021] Joint work with Stanley Bak, Sergiy Bogomolov, Adam R Gerlach, and Kostiantyn Potomkin titled Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization has been accepted for publication at ADHS 2021. We proposed a technique to verify nonlinear systems by performing a Koopman linearization and converting them into high dimensional linear systems.
• [February 2021] I will be part of the Editorial Board of Real-Time Systems and Cyber-Physical Systems area for Journal of Systems Research (JSys).
• [January 2021] I will be part of the program committee of Languages, Compilers, Tools and Theory of Embedded Systems (LCTES) 2021.
• [December 2020] I will be part of the program committee of International Conference on Embedded Software (EMSOFT) 2021.
• [October 2020] Manish Goyal presents our work titled NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks at ATVA 2020.
• [July 2020] Joint work with my student Edward Kim titled Kaa: A Python Implementation of Reachable Set Computation Using Bernstein Polynomials is presented at Applied Verification of Continuous and Hybrid Systems Workshop (ARCH) 2020. We provide a very easy to understand implementation of the Bernstein Polynomial based reachable set computation method for discrete nonlinear systems.
• [July 2020] More than 100 people have registered for International Workshop on Numerical Software Verification 2020 (website). We have successfully concluded the workshop with three keynote speakers on numerical software verification, neural networks, and reinforcement learning. Thanks for all those who submitted their papers to NSV 2020 and made the event successful.
• [July 2020] Manish presents our work Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT at ACC 2020 virtually.
• [June 2020] Joint work with my student Manish Goyal titled NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks has been accepted at ATVA 2020.
• [April 2020] CPS-IoT Week goes virtual. My student Abel presented our work on Formalizing Traffic Rules for Uncontrolled Intersections has presented our paper here at ICCPS 2020.
• [March 2020] COVID has been declared a national emergency.
• [March 2020] Joint work with my student Manish Goyal titled NeuralExplorer: State Space Exploration of Closed Loop Control Systems Using Neural Networks has been accepted as a poster at L4DC 2020.
• [February 2020] Charlotte Dorn has been selected as a SIGBED Scholar! Congratulations, Charlotte. She will be sponsored by SIGBED to attend CPS-IoT Week 2020. Read more about SIGBED Scholars program here.
• [February 2020] Joint work with my student Manish Goyal titled Extracting Counterexamples Induced by Safety Violation in Linear Hybrid Systems has been accepted to Automatica. This extends the notions of deepest and longest counterexamples to linear hybrid systems and develops algorithms for extracting them.
• [March 2020] Joint work with my student Manish Goyal and collaborator David Bergman titled Generating Longest Counterexample: On the Cross-roads of Mixed Integer Linear Programming and SMT has been accepted to ACC 2020.
• [December 2019] I will be a part of program committee for International Conference on Embedded Software (EMSOFT) 2020.
• [December 2019] Joint work with my student Abel Karimi titled Formalizing Traffic Rules for Uncontrolled Intersections has been accepted to ICCPS 2020. In this paper, we formalize the traffic rules to be followed by a vehicle at an intersection as sentences in first order logic and develop a traffic rules monitor for uncontrolled intersections.
• [October 2019] I will be a Co-Chair of International Workshop on Numerical Software Verification 2020 (website). Glad to share this responsibility with Peter Schrammel.
• [October 2019] I presented the paper on Aggregation Strategies in Reachable Set Computation of Hybrid Systems and my student Bineet Ghosh presented the paper on Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems at EMSOFT 2019.
• [July 2019] Two papers accepted to EMSOFT 2019. The first paper is a joint work with Stanley Bak titled Aggregation Strategies in Reachable Set Computation of Hybrid Systems. We developed new techniques for aggregating sparse time reachable sets in HyLAA and analyzed two challenging case studies. The second paper is with my student Bineet Ghosh titled Robust Reachable Set: Accounting for Uncertainties in Linear Dynamical Systems. We discovered a special class of uncertainties for which the safety analysis can be performed using bilinear inequalities.
• [July 2019] I will be presenting the paper Incremental Minimization of Symbolic Automata at VSTTE 2019. This is a paper co-authored by Jonathan Homburg, an undergraduate student at University of Connecticut and this paper is a part of his Bachelors Thesis.
• [June 2019] I have received UNC Idea Grant for building a test bed for testing control algorithms for autonomous vehicles.
• [May 2019] Received a grant from AFOSR for systematic testing of autonomous systems. This is collaborative project with Stanley Bak at Safe Sky Analytics.
• [April 2019] UNC won the F1Tenth Competition at CPS Week 2019!!! Congratulations to Nathan, Tanya, Abel, Manish, and Charlotte who were part of the team. Special thanks to Nathan who wrote this blog post on the algorithm we used. Charlotte maintains a Medium blog and penned a blog post on F1Tenth car.
• [January 2019] I have moved to University of North Carolina at Chapel Hill and joined the Computer Science Department.
• [October 2018] Renukanandan Tumu represents RacingHuskies at the F1Tenth Competition at ES Week 2018.
• [August 2018] Donald Sheehy presents out work on embedding trajectories into a Euclidean space at CCCG 2018.
• [July 2018] Manish presents his first paper On Generating a Variety of Unsafe Counterexamples for Linear Dynamical Systems at ADHS 2018.
• [April 2018] RacingHuskies participated in F1Tenth Competition at CPS Week 2018 and we placed 2nd in the competition. Congratulations to Abol, Reynaldo, and Manish and especially to Nandan who traveled to Porto and did a great job!
• [March 2018] Work with my student Manish Goyal titled On Generating a Variety of Unsafe Counterexamples for Linear Dynamical Systems has been accepted to ADHS 2018. We presented new notations for deepest and longest counterexamples and developed techniques to extract them for linear dynamical systems.
• [July 2017] My student Manish Goyal is awarded UTC Graduate Fellowship for the year 2017.
• [April 2017] Joint work with Stanley Bak titled Simulation-Equivalent Reachability of Large Linear Hybrid Systems with Inputs has been accepted to CAV 2017. We improved the scalability of verification by two orders of magnitude and verified a 10,000 dimensional system. For details, check out the paper here.
• [April 2017] Presented a paper titled Rigorous Simulation-Based Analysis for Linear Hybrid Systems at TACAS 2017. The techniques presented in the paper have been implemented in our tool called HyLAA.
• [April 2017] Stanley Bak presented our tool paper: HyLAA: A Tool For Simulation-Equivalent Reachability for Linear Systems at HSCC 2017. The paper has earned the repeatability evaluation badge. Feel free to download the tool HyLAA.
• [April 2017] Joint work with Stanley Bak won the Best Paper Award sponsored by Robert Bosch at ARCH Workshop, 2017.
• [December 2016] Received a grant from United Technologies Corporation as a part of UTC-Institute for Advanced Systems Engineering at University of Connecticut. This project will investigate simulation based methods for verification and validation of Cyber-Physical Systems.
• [July 2016] Chuchu Fan presented our paper Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E2 at CAV 2016. Feel free to try our tool C2E2 for verifying nonlinear hybrid systems such as lane changing systems and C-Elegans biological systems.
• [July 2016] Presented a paper titled Parsimonious, Simulation Based Verification Of Linear Systems at CAV 2016. Check out the paper with the algorithm that verifies an n-dimensional linear system using a mere n+1 simulations.
• [December 2015] Presented a paper titled Analyzing Real-Time Linear Control Systems Using Software Verification at RTSS 2015. Find out about our new technique to verify linear control systems in presence of real time scheduler here.
• [August 2015] I joined University of Connecticut, Computer Science and Engineering Department.
• [April 2015] Join work with Chuchu Fan, Sayan Mitra, and Mahesh Viswanathan titled Progress on Powertrain Verification Challenge with C2E2 won the Most Promising Benchmark Result sponsored by Robert Bosch at ARCH Workshop, conducted as part of CPS Week 2015.