Indranil Saha

Postdoctoral Researcher


UC Berkeley
EECS Department
545S Cory Hall #1770
Berkeley, CA 94720-1770

saha.indra[at]gmail.com



[ bio | awards | publications | talks | software | patents | teaching | professional activities | travel | cv ]

I am a Postdoctoral Researcher in ExCAPE project led by Prof. Rajeev Alur. My postdoctoral mentors are Prof. Sanjit Seshia at UC Berkeley and Prof. George Pappas at University of Pennsylvania. Currently, I am at UC Berkeley.

My research interest is verification and synthesis of embedded control software. Currently, I am exploring automatic controller synthesis techniques for robotic applications.

I defended my Ph.D. thesis on April 29, 2013. Here are the slides of my final defense.

Brief Bio

I have obtained my Ph.D. degre from Computer Science Department of University of California, Los Angeles in June 2013. I have been lucky to be advised by Prof. Rupak Majumdar.

I was an intern at SRI International under the mentorship of Dr. Natarajan Shankar during summer 2010, summer 2011 and summer 2012. I have visited MPI-SWS at Kaiserslautern, Germany during Fall 2010, Spring 2011, Fall 2011, Spring 2012 and Fall 2012. I also participated in a research collaboration with Toyota Technical Center and spent some time in their Los Angeles center during Winter 2011.

Before coming to UCLA for my graduate study, I worked at Honeywell, Bangalore as a research scientist from 2005 to 2008.

I received my Master of Technology (M.Tech.) degree in Computer Science from Indian Statistical Institute, Kolkata in 2005 and my Bachelor of Technology (B.Tech.) degree in Electronics and Communication Engineering from Kalyani Govt. Engineering College in 2003.


Awards and Recognitions

  • UCLA Dissertation Year Fellowship, 2012-2013

  • ACM SIGBED Frank Anger Memorial Award, 2012

  • EMSOFT Best Paper Nomination, 2012

  • EMSOFT Best Paper Award, 2010

  • A complete list is available here


    Recent Publications
    Dblp   Google Scholar

  • Automated Composition of Motion Primitives for Multi-Robot Systems from Safe LTL Specifications   paper   new
       Indranil Saha, Rattanachai Ramaitithima, Vijay Kumar, George J. Pappas and Sanjit A. Seshia
       IROS 2014

  • Compositional Equivalence Checking for Models and Code of Control Systems   paper slides
       Rupak Majumdar, Indranil Saha, Koichi Ueda, Hakan Yazarel
       CDC 2013

  • Synthesis of Fixed-Point Programs   paper
       Eva Darulova, Viktor Kuncak, Rupak Majumdar and Indranil Saha
       EMSOFT 2013

  • Trigger Memoization in Self-Triggered Control   paper   slides
       Indranil Saha and Rupak Majumdar
       EMSOFT 2012

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

  • Automatic Dimensional Analysis of Cyber-Physical Systems   paper   slides
       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   slides
       Indranil Saha and Natarajan Shankar
       ICRA 2012

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

  • Automatic Verification of Control System Implementations   paper   slides
       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   slides
       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


    Recent Talks

  • Compositional Synthesis of Multi-Robot Motion Plans via SMT Solving   slides
          - Dagstuhl seminar on verification of cyber-physical systems, Dagstuhl, Germeny, March 17-21, 2014

  • Program Analysis and Synthesis for Control Applications   slides
          - Galois, Inc., Portland, USA, May 3, 2013
          - ExCAPE project webinar, April 18, 2013
          - Shanghai Tech University, Shanghai, China, March 29, 2013

  • Trigger Memoization in Self-Triggered Control   slides
          - International Conference on Embedded Software (EMSOFT 2012), Tempere, Finland, October 9-14, 2012

  • Synthesis of Minimal Error Control Software   slides
          - International Conference on Embedded Software (EMSOFT 2012), Tempere, Finland, October 9-14, 2012

  • Automatic Dimensional Analysis of Cyber-Physical Systems   slides
          - Formal Methods Europe (FM 2012), Paris, France, August 29, 2012

  • ModelRob: A Simulink Library for Model-Based Development of Robot Manipulators   slides
          - International Conference on Robotics and Automation (ICRA 2012), St. Paul, Minnesota, USA, May 16, 2012
          - Fortiss, Munich, Germany, June 12, 2012

  • Performance-Aware Scheduler Synthesis for Control Systems   slides
          - International Conference on Embedded Software (EMSOFT 2012), Taipei, Taiwan, October 12, 2011
          - GM India Science Lab, Bangalore, India, November 2, 2011
          - Fortiss, Munich, Germany, June 11, 2012

  • Automatic Verification of Control System Implementations   slides
          - International Conference on Embedded Software (EMSOFT 2011), Scottsdale, USA, October 25, 2010
          - Computing, Informatics and Decision Systems Engineering Department, Arizona State University, Tempe, USA, October 29, 2010
          - In the Meeting of IFIP Working Group 2.3 at SRI International, Menlo Park, CA, USA, June, 2011.
          - GM India Science Lab, Bangalore, India, November 2, 2011

  • Symbolic Robustness Analysis   slides
          - 30th IEEE Real-Time Systems Symposium (RTSS 2009), Washington DC, USA, December 4, 2009

  • A complete list of my talks is available here


    Software

  • Complan        A tool for compositional motion planning for multi-robot systems with complex specifications     Download

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

  • ModelRob     A Simulink Library for Modeling of Robot Manipulators     Download

  • (Please report any bug to: saha.indra [at] gmail.com)


    Patents

  • System and Method for Collaborative Monitoring of Policy Violations   doc
       Janardan Misra, Indranil Saha
       Patent application filed from Honeywell, Bangalore, India in 2008
       Patent application number: 12/057855

  • Probabilistic Modeling of Collaborative Monitoring of Policy Violation   doc
       Indranil Saha, Janardan Misra
       Patent application filed from Honeywell, Bangalore, India in 2008
       Patent application number: 12/171225

  • An Adaptive Learning Approach for Enterprise Threat Management   doc
       Janardan Misra, Indranil Saha
       Patent application filed from Honeywell, Bangalore, India in 2008
       Patent application number: 12/171231



  • Teaching

    I was a teaching assistant for CS 130: Software Engineering at UCLA Computer Science Department with
       
  • Prof. Paul Eggert in Winter 2010
  •    
  • Prof. Rupak Majumdar in Spring 2010



  • Professional Activities

    Program Committee Member
           EMSOFT 2014

    Reviewer

       Journal
          Software and Systems Modeling
          IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
          IEEE Transactions on Automatic Control
          IEEE Communications Magazine
          Wireless Communications and Mobile Computing

       Conference
          CDC 2014, IROS 2014, CAV 2014, ICRA 2014, ACC 2014
          FoSSaCS 2013, HSCC 2013, IROS 2013, FMCAD 2013
          EMSOFT 2012, RTSS 2012, HSCC 2012
          DATE 2011, TACAS 2011, HSCC 2011, SPIN 2011, ATVA 2011, EMSOFT 2011
          ISCAS 2010, LPAR 2010
          TACAS 2009, RTSS 2009, FSTTCS 2009


    Travel


    Upcoming Travels


    Past Travels
    March 24, 2014 - March 25, 2014 Kaiserslautern, Germany MPI-SWS
    March 17, 2014 - March 21, 2014 Dagsthul, Germany Dagstuhl seminar on Verification of Cyber-Physical Systems
    March 13, 2014 - March 14, 2014 Washington DC, USA NSF 2014 Young Professional Workshop on Exploring New Frontiers in Cyber-Physical Systems
    January 19, 2014 - January 25, 2014 Philadelphia, USA University of Pennsylvania
    December 10, 2013 - December 13, 2013 Florence, Italy CDC 2013
    December 1, 2013 - December 4, 2013 Philadelphia, USA University of Pennsylvania
    November 20, 2013 - November 22, 2013 Houston, USA ExCAPE Robotics Workshop 2013
    September 29, 2013 - October 4, 2013 Montreal, Canada ESWeek 2013
    August 10, 2013 Philadelphia, USA ExCAPE NSF Site Visit, University of Pennsylvania
    June 10, 2013 - June 15, 2013 Berkeley, USA ExCAPE Summer School at UC Berkeley
    May 22, 2013 - May 24, 2013 San Francisco, USA ICSE 2013
    May 3, 2013 Portland, USA Galois, Inc.
    April 12, 2013 Princeton, USA NEC Labs
    April 8, 2013 - April 11, 2013 Philadelphia, USA CPSWeek 2013
    March 25, 2013 Beijing, China Institute of Software, Chinese Academy of Science
    March 28, 2013 - March 29, 2013 Shanghai, China Shanghai Tech University
    December 6, 2012 Hydrabad, India IIIT Hydrabad
    October 7, 2012 - October 12, 2012 Tampere, Finland ESWeek 2012
    August 27, 2012 - August 31, 2012 Paris, France FM 2012
    June 11, 2012 - June 12, 2012 Munich, Germany Fortiss GmbH
    May 14, 2012 - May 18, 2012 St. Paul, USA ICRA 2012
    October 26, 2011 Bangalore, India GM India Science Labs
    October 9, 2011 - October 14, 2011 Taipei, Taiwan ESWeek 2011
    April 11, 2011 - April 14, 2011 Chicago, USA CPSWeek 2011
    October 28, 2010 - October 29, 2010 Tempe, USA, Arizona State University
    October 24, 2010 - October 27, 2010 Scottsdale, USA ESWeek 2010
    December 1, 2009 - December 4, 2009 Washington DC, USA RTSS 2009
    September 8, 2009 - September 11, 2009 Oxford, UK NSPW 2009
    April 13, 2009 - April 17, 2009 San Francisco, USA CPSWeek 2009
    September 10, 2007 - September 14, 2007 London, UK SEFM 2007


    Color Codes
      green: attended the conference/workshop and presented a paper
      red: attended the conference/workshop but did not present a paper
      blue: visited the institute/research lab and gave a talk
      magenta: visited the institute/research lab but did not give a talk

    More details of my travels are available here