SPT: Storyboard Programming Tool

elor Thesis: Demand Driven Abstraction Refinement Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, May 2004 • Secured 97.6 % marks in XII AISSCE CBSE 2004 • Ranked 1st in India • Awarded to be Prime Minister’s guest at Republic Day Parade,Rajpath New Delhi 2005 Publications Rishabh Singh, Sumit Gulwani. Synthesizing Number Transformations from Input-Output Examples. 24th International Conference on Computer Aided Verification (CAV 2012), Berkeley, USA (To Appear) Rishabh Singh, Armando Solar-Lezama. SPT: Storyboard Programming Tool. 24th International Conference on Computer Aided Verification (CAV 2012), Berkeley, USA (To Appear) Rishabh Singh, Sumit Gulwani. Learning Semantic String Transformations from Examples. 38th International Conference on Very Large Databases (VLDB 2012), Istanbul, Turkey (To Appear) 1 of 3 

• Type: Journal
• Year: 2012
• Where: CAV
• Authors: Rishabh Singh, Armando Solar-Lezama
• Keywords: Aissce, CAV 2012, Hardware, Sumit Gulwani, Uttaranchal India