[IEEE 2009 IEEE Aerospace conference - Big Sky, MT, USA (2009.03.7-2009.03.14)] 2009 IEEE Aerospace conference - Robotic insects
- 作者Wood, Robert
- 文件大小2385.91KB
- 发表时间2009
- DOI10.1109/aero.2009.4839296
- 页码1-2
Synthesizing switching logic using constraint solvingAnkur Taly; Sumit Gulwani; Ashish Tiwari · 2011
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
Continuity and robustness of programsChaudhuri, Swarat; Gulwani, Sumit; Lublinerman, Roberto · Communications of the ACM · 2012
Synthesizing geometry constructionsGulwani, Sumit; Korthikanti, Vijay Anand; Tiwari, Ashish · ACM SIGPLAN Notices · 2011
Test-driven synthesisPerelman, Daniel; Gulwani, Sumit; Grossman, Dan; Provost, Peter · ACM SIGPLAN Notices · 2014
Program analysis as constraint solvingGulwani, Sumit; Srivastava, Saurabh; Venkatesan, Ramarathnam · ACM SIGPLAN Notices · 2008
Inferring locks for atomic sectionsCherem, Sigmund; Chilimbi, Trishul; Gulwani, Sumit · ACM SIGPLAN Notices · 2008
The reachability-bound problemGulwani, Sumit; Zuleger, Florian · ACM SIGPLAN Notices · 2010