The following contributions were selected (out of 15 submissions) for presentation at the workshop: Anthony Anjorin, Gergely Varro and Andy Schürr. Complex Attribute ...

to be announced

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

t.b.a.

to be announced

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

PepmGroup Set GROUP Main.EelcoVisser RobertGlueck OegeDeMoor JanisVoigtlaender JeremySiek KhooSiauCheng SimonThompson OlegKiselyov ShinChengMu ElviraAlbert AndreeaCostea ...

The following papers have been accepted for presentation at the workshop (in no particular order): Jakob Puchinger and Peter Stuckey. Automating Branch-and-Bound ...

Monday, January 7, 2008 Opening: 8:45 9:00 Invited Talk 1: 9:00 10:00 Session Chair: Oege de Moor Monica Lam: Combining Static and Dynamic Analysis for Securing ...

Monday, January 7, 2008 Opening: 8:45 9:00 Invited Talk 1: 9:00 10:00 Ras Bodik. Program Synthesis by Sketching. Coffee break Session 1: 10:30 12:00 (Staging and ...

The following papers (in no particular order) will be presented at the workshop. Regular research papers: Christopher Brown and Simon Thompson. Clone Detection and ...

to be announced

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

to be announced

Program Chairs Siau-Cheng Khoo (National University of Singapore, Singapore) Jeremy G. Siek (University of Colorado at Boulder, USA) Program Committee Members Jacques ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

to be announced

Program Chairs Oleg Kiselyov (Monterey, CA, USA) Simon Thompson (University of Kent, UK) Program Committee Members Emilie Balland (INRIA, France) Ewen Denney (NASA ...

John Gallagher Siau-Cheng Khoo Oleg Kiselyov German Puebla Jeremy Siek Simon Thompson Janis Voigtl nder chair

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

to be announced

Elvira Albert (Complutense University of Madrid, Spain) Siau-Cheng Khoo (National University of Singapore, Singapore) Oleg Kiselyov (Monterey, CA, USA) Shin-Cheng ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

The list of accepted papers and their abstracts are shown below, in no particular order. Regular Research Papers: Meng Wang, Shayan Najd: Semantic Bidirectionalization ...

to be announced

Monday, January 20th, 2014 09:00 10:00 Invited Talk Session Chair: Wei-Ngan Chin Michal Moskal: Lessons from a Web-Based IDE and Runtime 10:30 12:00 Meta-Programming ...

Elvira Albert (Complutense University of Madrid, Spain) Siau-Cheng Khoo (National University of Singapore, Singapore) Oleg Kiselyov (Monterey, CA, USA) chair Shin ...

The abstracts are available here, here, and here. Monday, January 18, 2010 Chairs' Welcome: 9:00 9:05 Invited Talk 1: 9:05 10:05 Lennart Augustsson: O, Partial Evaluator ...

Definition Refactoring is typically applied at the level of programs (i.e., source code). A program refactoring is a program transformation that improves the design ...