Show simple item record

dc.contributor.authorYessenov, Kuat T.
dc.contributor.authorXu, Zhilei
dc.contributor.authorSolar-Lezama, Armando
dc.date.accessioned2012-09-12T17:54:01Z
dc.date.available2012-09-12T17:54:01Z
dc.date.issued2011-10
dc.identifier.isbn978-1-4503-0940-0
dc.identifier.urihttp://hdl.handle.net/1721.1/72666
dc.description.abstractSoftware construction today often involves the use of large frameworks. The challenge in this type of programming is that object-oriented frameworks tend to grow exceedingly intricate; they spread functionality among numerous classes, and any use of the framework requires knowledge of many interacting components. We present a system named MATCHMAKER that from a simple query synthesizes code that interacts with the framework. The query consists of names of two framework classes, and our system produces code enabling interaction between them. MATCHMAKER relies on a database of dynamic program traces called DELIGHT that uses novel abstraction-based indexing techniques to answer queries about the evolution of heap connectivity in a matter of seconds. The paper evaluates the performance and effectiveness of MATCHMAKER on a number of benchmarks from the Eclipse framework. The paper also presents the results of a user study that showed a 49% average productivity improvement from the use of our tool.en_US
dc.description.sponsorshipNational Science Foundation (U.S.). (Grant number CCF-1049406)en_US
dc.description.sponsorshipMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratoryen_US
dc.language.isoen_US
dc.publisherAssociation for Computing Machinery (ACM)en_US
dc.relation.isversionofhttp://dx.doi.org/10.1145/2048066.2048075en_US
dc.rightsCreative Commons Attribution-Noncommercial-Share Alike 3.0en_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/3.0/en_US
dc.sourceMIT web domainen_US
dc.titleData-driven synthesis for object-oriented frameworksen_US
dc.typeArticleen_US
dc.identifier.citationKuat Yessenov, Zhilei Xu, and Armando Solar-Lezama. 2011. Data-driven synthesis for object-oriented frameworks. SIGPLAN Not. 46, 10 (October 2011), 65-82.en_US
dc.contributor.departmentMassachusetts Institute of Technology. Department of Electrical Engineering and Computer Scienceen_US
dc.contributor.mitauthorYessenov, Kuat T.
dc.contributor.mitauthorXu, Zhilei
dc.contributor.mitauthorSolar-Lezama, Armando
dc.relation.journalProceedings of the 2011 ACM International Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA '11)en_US
dc.eprint.versionAuthor's final manuscripten_US
dc.type.urihttp://purl.org/eprint/type/ConferencePaperen_US
dspace.orderedauthorsYessenov, Kuat; Xu, Zhilei; Solar-Lezama, Armandoen
dc.identifier.orcidhttps://orcid.org/0000-0001-5959-5254
dc.identifier.orcidhttps://orcid.org/0000-0001-7604-8252
dc.identifier.orcidhttps://orcid.org/0000-0002-6931-2278
mit.licenseOPEN_ACCESS_POLICYen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record