
Sumit Gulwani
Person information
- affiliation: Microsoft Research
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
- [j19]Sumit Gulwani, Vu Le, Arjun Radhakrishna, Ivan Radicek, Mohammad Raza:
Structure interpretation of text formats. Proc. ACM Program. Lang. 4(OOPSLA): 212:1-212:29 (2020) - [j18]Xiang Gao, Shraddha Barke, Arjun Radhakrishna, Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari:
Feedback-driven semi-supervised synthesis of program transformations. Proc. ACM Program. Lang. 4(OOPSLA): 219:1-219:30 (2020) - [c111]Ian Drosos
, Titus Barik, Philip J. Guo, Robert DeLine, Sumit Gulwani:
Wrex: A Unified Programming-by-Example Interaction for Synthesizing Readable Code for Data Scientists. CHI 2020: 1-12 - [c110]Mohammad Raza, Sumit Gulwani:
Web Data Extraction using Hybrid Program Synthesis: A Combination of Top-down and Bottom-up Inference. SIGMOD Conference 2020: 1967-1978 - [c109]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani:
ExTuNe: Explaining Tuple Non-conformance. SIGMOD Conference 2020: 2741-2744 - [i23]Anna Fariha, Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Alexandra Meliou:
Data Invariants: On Trust in Data-Driven Systems. CoRR abs/2003.01289 (2020) - [i22]Ashish Tiwari, Arjun Radhakrishna, Sumit Gulwani, Daniel Perelman:
Information-theoretic User Interaction: Significant Inputs for Program Synthesis. CoRR abs/2006.12638 (2020) - [i21]Rajeev Alur, Richard G. Baraniuk, Rastislav Bodík, Ann W. Drobnis, Sumit Gulwani, Bjoern Hartmann, Yasmin B. Kafai, Jeff Karpicke, Ran Libeskind-Hadas, Debra J. Richardson, Armando Solar-Lezama, Candace Thille, Moshe Y. Vardi:
Computer-Aided Personalized Education. CoRR abs/2007.03704 (2020) - [i20]Nagarajan Natarajan, Ajaykrishna Karthikeyan, Prateek Jain, Ivan Radicek, Sriram K. Rajamani, Sumit Gulwani, Johannes Gehrke:
Programming by Rewards. CoRR abs/2007.06835 (2020)
2010 – 2019
- 2019
- [j17]Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa:
On the fly synthesis of edit suggestions. Proc. ACM Program. Lang. 3(OOPSLA): 143:1-143:29 (2019) - [c108]Nagarajan Natarajan, Danny Simmons, Naren Datha, Prateek Jain, Sumit Gulwani:
Learning Natural Programs from a Few Examples in Real-Time. AISTATS 2019: 1714-1722 - [i19]Sumit Gulwani, Kunal Pathak, Arjun Radhakrishna, Ashish Tiwari, Abhishek Udupa:
Quantitative Programming by Examples. CoRR abs/1909.05964 (2019) - 2018
- [j16]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: a framework for synthesizing data profiles. Proc. ACM Program. Lang. 2(OOPSLA): 150:1-150:28 (2018) - [c107]Mohammad Raza, Sumit Gulwani:
Disjunctive Program Synthesis: A Robust Approach to Programming by Example. AAAI 2018: 1403-1412 - [c106]Molly Q. Feldman, Ji Yong Cho, Monica Ong, Sumit Gulwani, Zoran Popovic, Erik Andersen:
Automatic Diagnosis of Students' Misconceptions in K-8 Mathematics. CHI 2018: 264 - [c105]Ashwin Kalyan, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani:
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. ICLR (Poster) 2018 - [c104]Umair Z. Ahmed, Pawan Kumar, Amey Karkare, Purushottam Kar
, Sumit Gulwani:
Compilation error repair: for the student programs, from the student programs. ICSE (SEET) 2018: 78-87 - [c103]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated clustering and program repair for introductory programming assignments. PLDI 2018: 465-480 - [p3]Dirk Beyer
, Sumit Gulwani, David A. Schmidt:
Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking 2018: 493-540 - [i18]Ashwin J. Vijayakumar, Abhishek Mohta, Oleksandr Polozov, Dhruv Batra, Prateek Jain, Sumit Gulwani:
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples. CoRR abs/1804.01186 (2018) - 2017
- [j15]Peter Bailis, Peter Alvaro, Sumit Gulwani:
Research for practice: tracing and debugging distributed systems; programming by examples. Commun. ACM 60(7): 46-49 (2017) - [j14]Sumit Gulwani, Oleksandr Polozov, Rishabh Singh:
Program Synthesis. Found. Trends Program. Lang. 4(1-2): 1-119 (2017) - [j13]Peter Alvaro, Sumit Gulwani, Peter Bailis:
Research for Practice: Tracing and Debugging Distributed Systems; Programming by Examples. ACM Queue 15(1): 60 (2017) - [c102]Mohammad Raza, Sumit Gulwani:
Automated Data Extraction Using Predictive Program Synthesis. AAAI 2017: 882-890 - [c101]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Problems for Shaded Area Geometry Reasoning. AIED 2017: 455-458 - [c100]Sumit Gulwani, Prateek Jain:
Programming by Examples: PL Meets ML. APLAS 2017: 3-20 - [c99]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Solutions for Shaded Area Geometry Problems. FLAIRS Conference 2017: 14-19 - [c98]Reudismam Rolim
, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi
, Ryo Suzuki, Björn Hartmann:
Learning syntactic program transformations from examples. ICSE 2017: 404-415 - [c97]Kevin Ellis, Sumit Gulwani:
Learning to Learn Programs from Examples: Going Beyond Program Structure. IJCAI 2017: 1638-1645 - [c96]Sumit Gulwani:
Programming by examples: applications, algorithms, and ambiguity resolution. PPDP 2017: 2 - [i17]Vu Le, Daniel Perelman, Oleksandr Polozov, Mohammad Raza, Abhishek Udupa, Sumit Gulwani:
Interactive Program Synthesis. CoRR abs/1703.03539 (2017) - [i16]Saswat Padhi, Prateek Jain, Daniel Perelman, Oleksandr Polozov, Sumit Gulwani, Todd D. Millstein:
FlashProfile: Interactive Synthesis of Syntactic Profiles. CoRR abs/1709.05725 (2017) - 2016
- [j12]Sumit Gulwani:
Technical Perspective: Program synthesis using stochastic techniques. Commun. ACM 59(2): 113 (2016) - [c95]Sumit Gulwani:
Programming by Examples: Applications, Algorithms, and Ambiguity Resolution. IJCAR 2016: 9-14 - [c94]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program synthesis using natural language. ICSE 2016: 345-356 - [c93]Xinyu Wang, Sumit Gulwani, Rishabh Singh:
FIDEX: filtering spreadsheet data using examples. OOPSLA 2016: 195-213 - [c92]Shaon Barman, Sarah Chasins, Rastislav Bodík, Sumit Gulwani:
Ringer: web automation by demonstration. OOPSLA 2016: 748-764 - [c91]Rishabh Singh, Sumit Gulwani:
Transforming spreadsheet data types using examples. POPL 2016: 343-356 - [c90]Florian Zuleger, Ivan Radicek, Sumit Gulwani:
Feedback generation for performance problems in introductory programming assignments. Software Engineering 2016: 49-50 - [c89]Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-supervised verified feedback generation. SIGSOFT FSE 2016: 739-750 - [p2]Sumit Gulwani:
Programming by Examples - and its applications in Data Wrangling. Dependable Software Systems Engineering 2016: 137-158 - [i15]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Automated Clustering and Program Repair for Introductory Programming Assignments. CoRR abs/1603.03165 (2016) - [i14]Shalini Kaleeswaran, Anirudh Santhiar, Aditya Kanade, Sumit Gulwani:
Semi-Supervised Verified Feedback Generation. CoRR abs/1603.04584 (2016) - [i13]Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani:
Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis. CoRR abs/1608.03828 (2016) - [i12]Reudismam Rolim de Sousa, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann:
Learning Syntactic Program Transformations from Examples. CoRR abs/1608.09000 (2016) - 2015
- [j11]Sumit Gulwani, José Hernández-Orallo, Emanuel Kitzelmann, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn:
Inductive programming meets the real world. Commun. ACM 58(11): 90-99 (2015) - [j10]Loris D'Antoni, Dileep Kini, Rajeev Alur, Sumit Gulwani, Mahesh Viswanathan, Björn Hartmann:
How Can Automatic Feedback Help Students Construct Automata? ACM Trans. Comput. Hum. Interact. 22(2): 9:1-9:24 (2015) - [c88]Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. AAAI 2015: 745-752 - [c87]Rishabh Singh, Sumit Gulwani:
Predicting a Correct Program in Programming by Example. CAV (1) 2015: 398-414 - [c86]Eleanor O'Rourke, Erik Andersen, Sumit Gulwani, Zoran Popovic:
A Framework for Automatically Generating Interactive Instructional Scaffolding. CHI 2015: 1545-1554 - [c85]Eric Butler, Erik Andersen, Adam M. Smith, Sumit Gulwani, Zoran Popovic:
Automatic Game Progression Design through Analysis of Solution Features. CHI 2015: 2407-2416 - [c84]Darren Edge, Sumit Gulwani, Natasa Milic-Frayling, Mohammad Raza, Reza Adhitya Saputra, Chao Wang, Koji Yatani:
Mixed-Initiative Approaches to Global Editing in Slideware. CHI 2015: 3503-3512 - [c83]Sumit Gulwani, Mikaël Mayer, Filip Niksic, Ruzica Piskac
:
StriSynth: Synthesis for Live Programming. ICSE (2) 2015: 701-704 - [c82]Oleksandr Polozov, Eleanor O'Rourke, Adam M. Smith, Luke Zettlemoyer, Sumit Gulwani, Zoran Popovic:
Personalized Mathematical Word Problem Generation. IJCAI 2015: 381-388 - [c81]Dileep Kini, Sumit Gulwani:
FlashNormalize: Programming by Examples for Text Normalization. IJCAI 2015: 776-783 - [c80]Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Compositional Program Synthesis from Natural Language and Examples. IJCAI 2015: 792-800 - [c79]Oleksandr Polozov
, Sumit Gulwani:
FlashMeta: a framework for inductive program synthesis. OOPSLA 2015: 107-126 - [c78]Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak:
Automating grammar comparison. OOPSLA 2015: 183-200 - [c77]Daniel W. Barowy, Sumit Gulwani, Ted Hart, Benjamin G. Zorn:
FlashRelate: extracting relational data from semi-structured spreadsheets using examples. PLDI 2015: 218-228 - [c76]Sumit Gulwani:
Automating Repetitive Tasks for the Masses. POPL 2015: 1-2 - [c75]Mikaël Mayer, Gustavo Soares, Maxim Grechkin
, Vu Le, Mark Marron, Oleksandr Polozov
, Rishabh Singh, Benjamin G. Zorn, Sumit Gulwani:
User Interaction Models for Disambiguation in Programming by Example. UIST 2015: 291-301 - [c74]Sarah Chasins, Shaon Barman, Rastislav Bodík, Sumit Gulwani:
Browser Record and Replay as a Building Block for End-User Web Automation Tools. WWW (Companion Volume) 2015: 179-182 - [i11]Sumit Gulwani:
Cultivating research taste (illustrated via a journey in program synthesis research). PLMW@POPL 2015: 10:1 - [i10]Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy:
Program Synthesis using Natural Language. CoRR abs/1509.00413 (2015) - [i9]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Automatic Synthesis of Geometry Problems for an Intelligent Tutoring System. CoRR abs/1510.08525 (2015) - 2014
- [j9]Sumit Gulwani:
Example-based learning in computer-aided STEM education. Commun. ACM 57(8): 70-80 (2014) - [c73]Chris Alvin, Sumit Gulwani, Rupak Majumdar, Supratik Mukhopadhyay:
Synthesis of Geometry Proof Problems. AAAI 2014: 245-252 - [c72]Mohammad Raza, Sumit Gulwani, Natasa Milic-Frayling:
Programming by Example Using Least General Generalizations. AAAI 2014: 283-290 - [c71]Sumit Gulwani:
Applications of program synthesis to end-user programming and intelligent tutoring systems. GECCO (Companion) 2014: 5-6 - [c70]Salman Cheema, Sarah Buchanan, Sumit Gulwani, Joseph J. LaViola Jr.:
A practical framework for constructing structured drawings. IUI 2014: 311-316 - [c69]Oleksandr Polozov
, Sumit Gulwani:
LaSEWeb: automating search strategies over semi-structured web data. KDD 2014: 741-750 - [c68]Daniel Perelman, Sumit Gulwani, Dan Grossman, Peter Provost:
Test-driven synthesis. PLDI 2014: 408-418 - [c67]Vu Le, Sumit Gulwani:
FlashExtract: a framework for data extraction by examples. PLDI 2014: 542-553 - [c66]Sumit Gulwani, Mark Marron:
NLyze: interactive programming by natural language for spreadsheet data analysis and manipulation. SIGMOD Conference 2014: 803-814 - [c65]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback generation for performance problems in introductory programming assignments. SIGSOFT FSE 2014: 41-51 - [p1]Sumit Gulwani:
Program Synthesis. Software Systems Safety 2014: 43-75 - [i8]Sumit Gulwani, Ivan Radicek, Florian Zuleger:
Feedback Generation for Performance Problems in Introductory Programming Assignments. CoRR abs/1403.4064 (2014) - [i7]Umair Z. Ahmed, Krishnendu Chatterjee, Sumit Gulwani:
Automatic Generation of Alternative Starting Positions for Simple Traditional Board Games. CoRR abs/1411.4023 (2014) - 2013
- [j8]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
Template-based program verification and program synthesis. Int. J. Softw. Tools Technol. Transf. 15(5-6): 497-518 (2013) - [c64]Aws Albarghouthi, Sumit Gulwani, Zachary Kincaid:
Recursive Program Synthesis. CAV 2013: 934-950 - [c63]Erik Andersen, Sumit Gulwani, Zoran Popovic:
A trace-based framework for analyzing and synthesizing educational progressions. CHI 2013: 773-782 - [c62]Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Kalai:
A Machine Learning Framework for Programming by Example. ICML (1) 2013: 187-195 - [c61]Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126 - [c60]Umair Z. Ahmed, Sumit Gulwani, Amey Karkare:
Automatically Generating Problems and Solutions for Natural Deduction. IJCAI 2013: 1968-1975 - [c59]Rajeev Alur, Loris D'Antoni, Sumit Gulwani, Dileep Kini, Mahesh Viswanathan:
Automated Grading of DFA Constructions. IJCAI 2013: 1976-1982 - [c58]Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv:
Solving Geometry Problems Using a Combination of Symbolic and Numerical Reasoning. LPAR 2013: 457-472 - [c57]Vu Le, Sumit Gulwani, Zhendong Su:
SmartSynth: synthesizing smartphone automation scripts from natural language. MobiSys 2013: 193-206 - [c56]Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su:
Keyword programming for TouchDevelop. MobiSys 2013: 463-464 - [c55]Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
Automated feedback generation for introductory programming assignments. PLDI 2013: 15-26 - [c54]Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani:
Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. PLDI 2013: 447-458 - [c53]Gilles Barthe
, Juan Manuel Crespo, Sumit Gulwani, César Kunz, Mark Marron:
From relational verification to SIMD loop synthesis. PPOPP 2013: 123-134 - [c52]Kuat Yessenov, Shubham Tulsiani, Aditya Krishna Menon, Robert C. Miller, Sumit Gulwani, Butler W. Lampson, Adam Kalai:
A colorful approach to text processing by example. UIST 2013: 495-504 - [i6]Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). Dagstuhl Reports 3(12): 43-66 (2013) - 2012
- [j7]Sumit Gulwani, William R. Harris, Rishabh Singh:
Spreadsheet data manipulation using examples. Commun. ACM 55(8): 97-105 (2012) - [j6]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity and robustness of programs. Commun. ACM 55(8): 107-115 (2012) - [j5]Rishabh Singh, Sumit Gulwani:
Learning Semantic String Transformations from Examples. Proc. VLDB Endow. 5(8): 740-751 (2012) - [c51]Rohit Singh, Sumit Gulwani, Sriram K. Rajamani:
Automatically Generating Algebra Problems. AAAI 2012 - [c50]Rishabh Singh, Sumit Gulwani:
Synthesizing Number Transformations from Input-Output Examples. CAV 2012: 634-651 - [c49]Salman Cheema, Sumit Gulwani, Joseph J. LaViola Jr.:
QuickDraw: improving drawing experience for geometric diagrams. CHI 2012: 1037-1064 - [c48]Daniel Perelman, Sumit Gulwani, Thomas Ball, Dan Grossman:
Type-directed completion of partial expressions. PLDI 2012: 275-286 - [c47]Sumit Gulwani:
Synthesis from Examples: Interaction Models and Algorithms. SYNASC 2012: 8-14 - [i5]Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith:
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version). CoRR abs/1203.5303 (2012) - [i4]Rishabh Singh, Sumit Gulwani, Armando Solar-Lezama:
Automated Semantic Grading of Programs. CoRR abs/1204.1751 (2012) - [i3]Rishabh Singh, Sumit Gulwani:
Learning Semantic String Transformations from Examples. CoRR abs/1204.6079 (2012) - [i2]Aditya Krishna Menon, Omer Tamuz, Sumit Gulwani, Butler W. Lampson, Adam Tauman Kalai:
Textual Features for Programming by Example. CoRR abs/1209.3811 (2012) - [i1]Rastislav Bodík, Sumit Gulwani, Eran Yahav:
Software Synthesis (Dagstuhl Seminar 12152). Dagstuhl Reports 2(4): 21-38 (2012) - 2011
- [j4]Ankur Taly, Sumit Gulwani, Ashish Tiwari:
Synthesizing switching logic using constraint solving. Int. J. Softw. Tools Technol. Transf. 13(6): 519-535 (2011) - [c46]Sumit Gulwani, Vijay Anand Korthikanti, Ashish Tiwari:
Synthesizing geometry constructions. PLDI 2011: 50-61 - [c45]Sumit Gulwani, Susmit Jha
, Ashish Tiwari, Ramarathnam Venkatesan:
Synthesis of loop-free programs. PLDI 2011: 62-73 - [c44]William R. Harris, Sumit Gulwani:
Spreadsheet table transformations from examples. PLDI 2011: 317-328 - [c43]Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster:
Path-based inductive synthesis for program inversion. PLDI 2011: 492-503 - [c42]Sumit Gulwani:
Automating string processing in spreadsheets using input-output examples. POPL 2011: 317-330 - [c41]Florian Zuleger, Sumit Gulwani, Moritz Sinn, Helmut Veith:
Bound Analysis of Imperative Programs with the Size-Change Abstraction. SAS 2011: 280-297 - [c40]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour:
Proving programs robust. SIGSOFT FSE 2011: 102-112 - 2010
- [c39]Sumit Gulwani:
Dimensions in program synthesis. FMCAD 2010: 1 - [c38]Susmit Jha
, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Synthesizing switching logic for safety and dwell-time requirements. ICCPS 2010: 22-31 - [c37]Susmit Jha
, Sumit Gulwani, Sanjit A. Seshia, Ashish Tiwari:
Oracle-guided component-based program synthesis. ICSE (1) 2010: 215-224 - [c36]Shachar Itzhaky, Sumit Gulwani, Neil Immerman, Mooly Sagiv:
A simple inductive synthesis methodology and its applications. OOPSLA 2010: 36-46 - [c35]Sumit Gulwani, Florian Zuleger:
The reachability-bound problem. PLDI 2010: 292-304 - [c34]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity analysis of programs. POPL 2010: 57-70 - [c33]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
From program verification to program synthesis. POPL 2010: 313-326 - [c32]Sumit Gulwani:
Dimensions in program synthesis. PPDP 2010: 13-24
2000 – 2009
- 2009
- [c31]Sumit Gulwani:
SPEED: Symbolic Complexity Bound Analysis. CAV 2009: 51-62 - [c30]Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster:
VS3: SMT Solvers for Program Verification. CAV 2009: 702-708 - [c29]Saurabh Srivastava, Sumit Gulwani:
Program verification using templates over predicate abstraction. PLDI 2009: 223-234 - [c28]Sumit Gulwani, Sagar Jain, Eric Koskinen:
Control-flow refinement and progress invariants for bound analysis. PLDI 2009: 375-385 - [c27]Sumit Gulwani, Krishna K. Mehra, Trishul M. Chilimbi:
SPEED: precise and efficient static estimation of program computational complexity. POPL 2009: 127-139 - [c26]Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv:
A combination framework for tracking partition sizes. POPL 2009: 239-251 - [c25]Sumit Gulwani, Saurabh Srivastava, Ramarathnam Venkatesan:
Constraint-Based Invariant Inference over Predicate Abstraction. VMCAI 2009: 120-135 - [c24]Ankur Taly, <