Indranil Saha
PhD Candidate

UCLA Computer Science Department
Los Angeles, CA 90095-1596, USA

indranil [at] cs.ucla.edu

I am a fifth year Ph.D. student in the Computer Science Department of University of California, Los Angeles. My advisor is Prof. Rupak Majumdar.

My research interest is verification and synthesis of embedded control software. Here is my CV.

I was an intern at SRI International during summer 2010, summer 2011 and summer 2012. My mentor was Dr. Natarajan Shankar.
I have visited MPI-SWS at Kaiserslautern, Germany during Fall 2010, Spring 2011, Fall 2011 and Spring 2012. I am excited to visit the institute again during Fall 2012.
I participate in a research collaboration with Toyota Technical Center. I spent some of my time in their Los Angeles center during Winter 2011.


Awards and Recognitions

  •     EMSOFT Best Paper Award, 2010
  •     EMSOFT Best Paper Nomination, 2012
  •     UCLA Dissertation Year Fellowship, 2012-2013
  •     ACM SIGBED Frank Anger Memorial Award, 2012


    • Recent Publications

  • Trigger Memoization in Self-Triggered Control   [paper | presentation ]
       Indranil Saha and Rupak Majumdar
       EMSOFT 2012

  • Synthesis of Minimal Error Control Software   [paper | presentation ]
       Rupak Majumdar, Indranil Saha and Majid Zamani
       EMSOFT 2012
       Best Paper Nomination

  • Automatic Dimensional Analysis of Cyber-Physical Systems   [paper | presentation ]
       Sam Owre, Indranil Saha and Natarajan Shankar
       FM 2012

  • CLSE: Closed-Loop Symbolic Execution   [paper ]
       Rupak Majumdar, Indranil Saha, K. C. Shashidhar and Zilong Wang
       NFM 2012

  • ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators   [paper | presentation ]
       Indranil Saha and Natarajan Shankar
       ICRA 2012

  • Performance-Aware Scheduler Synthesis for Control Systems   [paper | presentation ]
       Rupak Majumdar, Indranil Saha and Majid Zamani
       EMSOFT 2011

  • Automatic Verification of Control System Implementations   [paper | presentation]
       Adolfo Anta, Rupak Majumdar, Indranil Saha and Paulo Tabuada
       EMSOFT 2010
       Best Paper Award

  • Systematic Testing for Control Applications   [paper]
       Rupak Majumdar, Indranil Saha and Zilong Wang
       MemoCODE 2010
        Invited Paper

  • Symbolic Robustness Analysis   [paper | presentation]
       Rupak Majumdar and Indranil Saha
       RTSS 2009

    • * The papers for which presentation slides are not provided were not presented by me.
    A complete list of my publications is available here.

    Software

  • ModelRob     A Simulink Library for Modeling of Robot Manipulators     Download

  • Dimsim          A Tool for Automatic Dimensional Analysis of Simulink Models     Download

    • (Please report any bug to: indranil [at] cs.ucla.edu)