I am a PhD student in the Computer Science Department of New York University. I am interested in the fields of Formal Verification and Machine Learning. I am currently working with Thomas Wies on the verification of concurrent data structures. I have also worked on using Machine Learning for program verification and synthesis, and on using SMT and local theories to verify heap manipulating programs.
2013 –  NYU, Courant Institute of Mathematical Sciences, Ph.D. Computer Science 
2013 – 2015  NYU, Courant Institute of Mathematical Sciences, M.S. Computer Science 
2010 – 2013  Chennai Mathematical Institute, B.Sc. (Hons.) Mathematics and Computer Science 
siddharth (at) cs.nyu.edu  
LinkedIn profile  
Room 418, NYU Computer Science, 60 Fifth Avenue, New York, NY 10011. 
Verifying Concurrent Data Structure Templates

Go with the Flow: Compositional Abstractions for Concurrent Data Structures

Learning Shape Analysis

Learning Invariants using
Decision Trees

A quadratic construction for Zielonka automata with acyclic communication structure

"Automating the Flow Framework" at ADSL 2018 
"Go with the Flow: Compositional Abstractions for Concurrent Data Structures" at POPL 2018 
"Flow Interfaces" at IBM PL Day Dec 2017 
"Flow Interfaces" at Leicester Univeristy (Slides) and Imperial College (Slides) Nov 2017 
"Learning to Verify the Heap" at EPFL, Lausanne and UCL, London Jun 2016 (Slides) 
"Learning to Verify the Heap" at Yale PL Day, Yale University Nov 2015 
"Implementing distributed control on star architectures" at GAMES 2012 Sep 2012 
Program Committee member FTfJP 2018 
External reviewer OOPSLA 2018 
Subreviewer TACAS 2018, VMCAI 2018, SAS 2017, CONCUR 2017, ESOP 2017, ESOP 2016, FMCAD 2015, CADE25, TACAS 2015 
Dean's Dissertation Fellowship 2018A 1 year fellowship given to 30 PhD students from across NYU's Graduate School of Arts and Science. 
Henning Biermann Award 2015An award from NYU CS department for exceptional contributions to education and service. 
Dr S Parthasarathy Award for Undergraduate Research 2013An award from CMI for original research during undergraduate studies. 
ACM Inter Collegiate Programming Contest 2011, 2012Was part of a three member team that qualified twice for the World Finals. We came 1st in 2011 and 2nd in 2012 in the regionals. 
International Olympiad in Informatics Aug ’10Represented India in the international round (was one of 4 member team), and won an individual Bronze medal. 
Fundamental Algorithms (graduate) NYU, Fall 2017I was the Teaching Assistant (Recitation Leader). Recitation homepage. 
Data Structures (undergraduate) NYU, Spring 2016I was the Teaching Assistant (Recitation Leader). Recitation homepage. 
Research Intern August 2018 – November 2018SRI International, New YorkWorked with Michael Emmi on correctness of concurrent libraries. 
Research Intern June 2016 – August 2016 (3 months)Microsoft Research, CambridgeWorked with Marc Brockschmidt and Daniel Tarlow on learning generative models of source code with applications to program synthesis. 
Research Intern May 2015 – August 2015 (3 months)Microsoft Research, CambridgeWorked with Marc Brockschmidt and Daniel Tarlow on using Machine Learning to verify heap manipulating programs. 
Engineering Intern May 2014 – July 2014 (3 months)Quora, Mountain ViewDeveloped the infrastructure and machine learning used to find and rank related questions within Quora's knowledge base. Used Python, C++, Redshift and Hive. 
Research Intern May 2013 – July 2013 (3 months)LSV, ENS de Cachan, ParisWorked with Paul Gastin on Multiple Context Free Grammars and connections to Push Down Automata. 
Research Intern May 2012 – July 2012 (3 months)LaBRI, Universite Bordeaux, FranceWorked with Anca Muscholl and Hugo Gimbert on the synthesis of controllers for distributed systems. 