Type-Directed Completion of Partial Expressions for API Discovery

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=lInUHQshn9U


Duration: 1:01:25
69 views
0

Exploring unfamiliar APIs is often difficult and time-consuming as well as being a distraction from the flow of writing code. Part of the problem is due to inconsistent intuitions on naming of methods and the namespace hierarchy of the API. We propose a novel tool to allow users to easily perform type-directed searches of available APIs as an intuitive extension of existing IDE code completion interfaces. We also explore using type-directed search for finding methods and properties and for filling in method arguments. We present evidence that this tool would be significantly more effective than existing code completion at showing a user the method call they intended to make. (Joint work with Dan Grossman, Sumit Gulwani, and Tom Ball)



Other Videos By Microsoft Research


2016-08-16Kinect for Windows SDK: Community Update and Next Steps
2016-08-16Reinventing Education
2016-08-16Mobile Computing: Challenges and Opportunities
2016-08-16What YOU Can Do to Recruit and Retain Undergraduate Women for Your Computing Programs
2016-08-16Clone Detection via Structural Abstraction
2016-08-16Secure Computation with Sublinear Amortized Work
2016-08-16Fitting a Graph to Vector Data
2016-08-16Analytical Methods of Sound Field Synthesis: Theory and Applications
2016-08-16Using Extensions of Min-Entropy to Help with Key Agreement and Leakage Resilience
2016-08-16Presentation of 2011 Microsoft Research Faculty Fellowship Awards
2016-08-16Type-Directed Completion of Partial Expressions for API Discovery
2016-08-16Games for Learning in the 21st Century
2016-08-16Minion: a Fast and Scalable Constraint Solver
2016-08-16Beyond the Interface: Computing Transformed
2016-08-16Algebraic technique of classifying languages in families
2016-08-16Mini-course around Event-B and Rodin: hypervisor
2016-08-16Semantic Segmentation using Higher-Order Markov Random Fields
2016-08-16The percolation phase transition in the Hamming cube
2016-08-16Functional interfaces in higher-level synthesis
2016-08-16Principles of Humanoid Locomotion Control
2016-08-16Adaptive Graph-Based Algorithms for Online Semi-Supervised Learning & Conditional Anomaly Detection


Tags:
microsoft research