Sample Banner

I am Parasara Sridhar Duggirala, a PhD Candidate in the Computer Science Department at University of Illinois at Urbana Champaign (UIUC). I am currently working with Prof. Mahesh Viswanathan and Prof. Sayan Mitra on verification of Cyber-Physical Systems (CPS).

I am on the academic job market (Research Statement, Teaching Philosophy, CV).

My research is about developing scalable approximation and abstraction techniques for verifiying high dimensional CPS with complex software. I have developed C2E2, a tool that combines the scalability of simulations with the correctness guarantees of formal verification and applied it to analyze ALAS, an alerting system for a parallel aircraft landing protocol developed by NASA (details). In the past, I have worked on Probabilistic Systems, Automatic Test Input Generation, and Decision Procedures.

Publications (List on DBLP)

Journal Publications


A Formal Framework for Interfacing Mixed-Timing System
S.Das, P.S.Duggirala, H.K.Kapoor
Integration, the VLSI journal. June 2013.

Hybrid Automata based CEGAR for Rectangular Hybrid Systems

P.Prabhakar, P.S.Duggirala, S.Mitra, M.Viswanathan
Formal Methods in System Design (FMSD). (Accepted For Publication.)


Conference Publications (peer reviewed)

C2E2: A Verification Tool for Stateflow Models [pdf]
P.S.Duggirala, S.Mitra, M.Viswanathan, M. Potok,
Tools and Algorithms for the Construction and Analysis of Systems (TACAS), April 2015. (Accepted For Publication)

Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol
[pdf] [ppt]
P.S.Duggirala, L. Wang, S.Mitra, M.Viswanathan, C. Munoz,
International Symposium on Formal Methods (FM), May 2014.

Verification of Annotated Models from Executions
[pdf] [ppt]
P.S.Duggirala, S.Mitra, M.Viswanathan
International Conference on Embedded Software (EMSOFT), September 2013.

Safety Verification for Linear Systems
-
Best Paper Award [pdf]
P.S.Duggirala, A.Tiwari
International Conference on Embedded Software (EMSOFT), September 2013.

Hybrid Automata Based CEGAR for Hybrid Systems
[pdf]
P.Prabhakar, P.S.Duggirala, S.Mitra, M.Viswanathan
Verification Model Checking and Abstract Interpretation (VMCAI), January 2013.

Static and Dynamic Analysis of Timed Distributed Traces [pdf] [ppt]
P.S.Duggirala, T.T.Johnson, A.Zimmerman, S.Mitra
IEEE Real-Time Systems Symposium (RTSS), December 2012.

Efficient Probabilistic Model Checking of Systems with Ranged Probabilities
[pdf]
K.Ghorbal, P.S.Duggirala, F.Ivancic, V.Kahlon, A.Gupta
Reachability Problems (RP), September 2012.

Lyapunov Abstractions for Inevitability of Hybrid Systems
[pdf] [ppt]
P.S.Duggirala, S.Mitra
Hybrid Systems Computation and Control (HSCC), April 2012.

Abstraction Refinement for Stability [pdf] [ppt]
P.S.Duggirala, S.Mitra
International Conference on Cyber-Physical Systems (ICCPS), April 2011.

On the Theory of Stochastic Processors [pdf] [ppt]
P.S.Duggirala, S.Mitra, R.Kumar, D.Glazeski
Quantitative Evaluation of SysTems (QEST), September 2010.


Under Submission

Closing the Loop brings Embedded System Analysis Closer to Software
P.S.Duggirala, M. Viswanathan

[Top]

Talks

Simulations to Proofs in C2E2 [slides]
CPS V&V I&F Workshop, December 2014
Carnegie Mellon University, Pittsburgh, Pennsylvania.

Temporal Precedence Checking for Switched Models and its Application to a Parallel Landing Protocol [slides]
International Symposium on Formal Methods, May 2014
National University of Singapore, Singapore.

Dynamic Analysis of Cyber-Physical Systems [slides]
Midwest Verification Day, September 2013
University of Illinois at Chicago, Chicago, Illinois.

Static and Dynamic Analysis of Timed Distributed Traces
[slides]
Formal Methods Seminar, November 2012
Computer Science Department, Urbana, Illinois.

Introduction to Counterexample Guided Abstraction Refinement (CEGAR)
SRI International, Computer Science Laboratory, July 2012
Menlo Park, California
.

Lyapunov Abstractions for Inevitability of Hybrid Systems [slides]
SRI International, Computer Science Laboratory, June 2012
Menlo Park, California
.

Abstractions for Verification of Cyber-Physical Systems
60th CSL Anniversary Symposium, October 27-28, 2011
Coordinate Science Laboratory, Urbana, Illinois
.

Abstraction Refinement for Stability
[slides]
International Conference on Cyber-Physical Systems, April 12-14, 2011
Cyber-Physical Systems Week (CPS Week), Chicago, Illinois.

Stochastic Processors: Design, Analysis and Challenges

6th CSL Student Conference, January 27-28, 2011
Coordinate Science Laboratory, Urbana, Illinois.

Automatic Attack Generation for Firefox Extensions
[slides]
NEC Labs America, January 6, 2011
Princeton, New Jersey.

On the Theory of Stochastic Processors
[slides]
Quantitative Evaluation of SysTems (QEST) Conference, September 15-18, 2010
College of William & Mary, Williamsburg, Virginia.

[Top]

Awards

Selected as a Young researcher in Computer Science to attend Second Heidelberg
Laureate Forum, 2014.

Feng Chen memorial award in Software Engineering by Department of Computer
Science, University of Illinois at Urbana Champaign.

Best Paper Award at International Conference on Embedded Software (EMSOFT) 2013.

SUN Campus ambassador at Indian Institute of Technology Guwahati.

Scholarship by EGIDE, French Republic for internship at Verimag laboratory for a period of 12 weeks.

Awarded special position in Regional Mathematics Olympiad conducted by All India
Association of Mathematics Teachers in the year 2004 for novelty in problem solving.

Secured 99.95 percentile in the IIT Joint Entrance Examination, 2005 (one of the top 1200 among the 250,000 students).

[Top]

Experience


Professional Experience

  • Internship, Computer Science Laboratory
  • SRI International
  • Menlo Park, California, Summer 2012.

  • Internship, System Analysis and Verification Group,
  • NEC Labs America
  • Princeton, New Jersey, Summer 2011.

  • Research Assistant, Prof. Mahesh Viswanathan & Prof. Sayan Mitra
  • Department of Computer Science
  • University of Illinois Urbana Champaign, Illinois, Fall 2009 - present.

  • Internship, Timed and Hybrid Systems Group,
  • Verimag
  • Grenoble, France, Summer 2008.

  • Internship, Network Systems Laboratory,
  • Indian Institute of Technology Madras
  • Chennai, India, Summer 2007.
Teaching Experience

Guest Lecture, Embedded and Cyber-Physical Systems Verification (ECE/CS 584).
Department of Electrical And Computer Engineering,
University of Illinois at Urbana Champaign, Fall 2014.

Teaching Assistant, Theory of Computation (CS 373).
Department of Computer Science,
University of Illinois at Urbana Champaign, Fall 2012.

Undergraduate Mentorship

Matthew Potok : Undergraduate in Computer Engineering
Project : Enhancing Usability of C2E2. (Resulted in a publication)
University of Illinois Urbana Champaign.

Le Wang : Undergraduate in Computer Engineering
Project : Verification of Parallel Aircraft Landing Protocol (ALAS) using C2E2. (Resulted in a publication)

University of Illinois Urbana Champaign.

Yi Lu : Undergraduate in Electrical Engineering
Project : Modeling and Analysis of Nonlinear Biological Systems.

University of Illinois Urbana Champaign.

[Top]


Contact


duggira3REMOVETHIS@illinois.edu
parasara.duggiralaREMOVETHIS@gmail.com

[Top]

Miscellaneous

Prior to joining UIUC, I received an undergraduate degree in Technology from Department of Computer Science and Engineering at the
Indian Institute of Technology Guwahati (IIT Guwahati). While at IIT Guwahati, I worked with Prof. Hemangee Kapoor on Latency Insensitive Design for Multiple Clock Domain. I have worked as an intern at SRI International in the Computer Science Laboratory in Summer 2012, at NEC Labs America in the System Analysis and Verification Group in Summer 2011, and at Verimag in the Timed and Hybrid Systems Group under the supervision of Dr. Oded Maler in Summer 2008.

Apart from Research

I am tech savvy and I follow WIRED, TechCrunch, Slashdot, Linux.com, theverge.com and other interesting websites. Books written by, Plato, Douglas Adams and Gurucharan Das have kindled my interest in Philosophy and Social Psychology. I am a science enthusiast and occasionally read papers from completely unrelated domain like Physics, Biology, Economics, etc. I am an admirer and have read several works of Swami Vivekananda. I love Telugu Literature (తెలుగు సాహిత్యం) and I enjoy reading works of SriSri and Mullapudi Venkataramana. I am also interested in theater and I am an active member of Mithya, an Indian Dramatics Society at UIUC. To know more about my interests, visit my personal page.

[Top]

News

Tool paper about verifying hybrid systems using simulations in C2E2 got accepted to TACAS (Dec'14).

Presented about C2E2 and its related simulation based verification techniques at the CPS V&V IP&C Workshop held at CMU (Dec'14).


Attended the Second Heidelberg Laureate Forum! Had a wonderful time meeting with Turing Award, Abel Prize, Fields Medal, and Nevanlinna Prize winners. Check out the pictures here (Sep'14).


Presenting a paper at International Symposium on Formal Methods on applying C2E2 for verifying ALAS, an alerting system for parallel aircraft landing protocols (May'14).