I am a senior researcher in the Deep Learning team at Microsoft Research, Redmond.
Before that I was a PhD student in Computer Science at MIT advised by Prof. Armando Solar-Lezama.
My research interests are in Artificial Intelligence and Program Synthesis. I develop neurosymbolic approaches for learning models that are interpretable and generalizable.

CV

• Safe Human-Interactive Control Modulo Fault
  Jeevana Priya Inala , Jason Ma, Osbert Bastani, Xin Zhang, Armando Solar-Lezama
  Under submission
  [paper]
• Program Synthesis Guided Reinforcement Learning
  Yichen Yang, Jeevana Priya Inala, Osbert Bastani, Yewen Pu, Armando Solar-Lezama, Martin Rinard.
  To appear in NeurIPS 2021, Spotlight presentation
  [paper]
• Likelihood-Based Diverse Sampling for Trajectory Forecasting
  Jason Yecheng Ma, Jeevana Priya Inala, Dinesh Jayaraman, Osbert Bastani
  International Conference on Computer Vision (ICCV), 2021
  [paper]
• Neurosymbolic Transformers for Multi-Agent Communication
  Jeevana Priya Inala*, Yichen Yang*, James Paulos, Yewen Pu, Osbert Bastani, Vijay Kumar, Martin Rinard, and Armando Solar-Lezama
  NeurIPS 2020
  [paper] [talk]
• Synthesizing Programmatic Policies that Inductively Generalize
  Jeevana Priya Inala, Osbert Bastani, Zenna Tavares, and Armando Solar-Lezama
  ICLR 2020
  [paper] [talk]
• Task-based Design of Modular Ad-hoc Manipulators.
  Thais Campos*, Jeevana Priya Inala*, Armando Solar-Lezama, and Hadas Krez-Gazit
  ICRA 2019, Montreal, Canada
  [paper] [poster]
• InverseCSG: Automatic Conversion of 3D Models to CSG Trees.
  Tao Du, Jeevana Priya Inala, Yewen Pu, Andrew Spielberg, Adriana Schulz, Daniela Rus, Armando Solar-Lezama, and Wojciech Matusik
  ACM SIGGRAPH ASIA 2018, Tokyo, Japan
  [paper]
• WebRelate: Integrating Web Data with Spreadsheets using Examples
  Jeevana Priya Inala, and Rishabh Singh
  POPL 2018, Los Angeles, USA
  [paper] [slides]
• Synthesis of Recursive ADT Transformers from Reusable Templates
  Jeevana Priya Inala, Nadia Polikarpova, Xiaokang Qiu, Ben Lerner, and Armando Solar-Lezama
  TACAS 2017, Uppsala, Sweden
  [paper] [slides] [poster]
• Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
  Jeevana Priya Inala, Rohit Singh, and Armando Solar-Lezama
  SAT 2016, Bordeaux, France
  [paper] [slides]
• Type-Aware Transactions for Faster Concurrent Code
  Nathaniel Herman, Jeevana Priya Inala, Yihe Huang, Lillian Tsai, Eddie Kohler, Barbara Liskov, and Liuba Shrira
  EuroSys 2016, London, UK
  [paper]

(* Equal Contribution)

• Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
  Jeevana Priya Inala
  MEng Thesis, MIT 2016
  [thesis]

• Microsoft Research Women's Fellowship, 2016-17.
• Charles and Jennifer Johnson MEng Thesis First Place Award, 2016.
• First place in ACM SRC Grand Finale in Undergrad category, 2016.
• First place in PLDI student research competition in Undergrad category, 2015.
• Acitifio Undergrad Research and Innovation Scholar, 2014-15.
• Gold Medal at 13th Asian Physics Olympiad, 2012 held in New Delhi, India.
• Silver Medal in 43rd International Physics Olympiad, 2012 held in Tallinn, Estonia.
• Gold Medal and Best in Theory in 5th International Olympiad in Astronomy and Astrophysics, 2011 held in Krakow, Poland.
• Silver Medal in 14th International Olympiad in Astronomy, 2009 held in Hangzhou, China.