| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Mon, 08 Nov 2021 05:51:46 GMT
access-control-allow-origin: *
etag: W/"6188baf2-1e86"
expires: Sun, 28 Dec 2025 21:42:05 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: AD8C:234FE9:812D79:90DB11:6951A1D5
accept-ranges: bytes
age: 0
date: Sun, 28 Dec 2025 21:32:05 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210052-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766957525.297866,VS0,VE215
vary: Accept-Encoding
x-fastly-request-id: fd2a01cd22a94714227cabfd3e35b14f28feb031
content-length: 2899
Jeevana Priya Inala
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
Jeevana Priya Inala
Email: jinala@microsoft.com
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
Publications
- 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]
Theses
- Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
Jeevana Priya Inala
MEng Thesis, MIT 2016
[thesis]
Awards
- 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.