Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars
Attribute grammars decorate the nodes of a program's parse tree with attributes whose values are defined by equations encoding the (static) semantics of a programming language. We show how replacing the equations of an attribute grammar with equivalent constraints that can be solved by a constraint solver allows us to compute repairs of a malformed program solely from a specification that was originally designed for checking its well-formedness. We present two repair modes — shallow and deep fixing — whose computed repair alternatives are guaranteed to repair every error on which they are invoked. While shallow fixing may introduce new errors, deep fixing never does; to make it tractable, we implement it using neighborhood search. We demonstrate the feasibility of our approach by implementing it on top of ExtendJ, an attribute grammar based Java compiler, and by applying it to an example from the Java EE context, detecting and fixing well-formedness errors (both real and injected) in a body of 14 open-source subject programs.
Thu 3 Nov Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
15:40 - 17:20 | |||
15:40 25mTalk | Computing Repair Alternatives for Malformed Programs using Constraint Attribute Grammars OOPSLA Friedrich SteimannFernuniversität, Jörg HagemannFernuniversität in Hagen, Bastian UlkeFernuniversität in Hagen DOI Media Attached | ||
16:05 25mTalk | Probabilistic Model for Code with Decision Trees OOPSLA DOI | ||
16:30 25mTalk | Ringer: Web Automation by Demonstration OOPSLA Shaon BarmanUC Berkeley, Sarah E. ChasinsUniversity of California, Berkeley, Rastislav BodikUniversity of Washington, USA, Sumit GulwaniMicrosoft Research DOI Media Attached | ||
16:55 25mTalk | Scalable Verification of Border Gateway Protocol Configurations with an SMT Solver OOPSLA Konstantin WeitzUniversity of Washington, Doug WoosUniversity of Washington, Emina TorlakUniversity of Washington, Michael D. ErnstUniversity of Washington, Arvind KrishnamurthyUniversity of Washington, Zachary TatlockUniversity of Washington, Seattle DOI Media Attached |