Max Schaefer : Publications
Personal orderingBibtex
|
[0] |
Refactoring Java Programs for Flexible Locking Max Schäfer‚ Manu Sridharan‚ Julian Dolby and Frank Tip In International Conference on Software Engineering (ICSE). 2011. |
|
[1] |
Specification‚ Implementation and Verification of Refactorings Max Schäfer PhD Thesis 2010. |
|
[2] |
Specifying and Implementing Refactorings Max Schäfer and Oege de Moor In Martin Rinard, editor, Systems‚ Programming‚ Languages‚ and Applications: Software for Humanity (SPLASH). ACM Press. 2010. |
|
[3] |
Correct Refactoring of Concurrent Java Code Max Schäfer‚ Julian Dolby‚ Manu Sridharan‚ Frank Tip and Emina Torlak In Theo D'Hondt, editor, European Conference on Object−Oriented Programming (ECOOP). Springer−Verlag. 2010. |
|
[4] |
Stepping Stones over the Refactoring Rubicon – Lightweight Language Extensions to Easily Realise Refactorings Max Schäfer‚ Mathieu Verbaere‚ Torbjörn Ekman and Oege de Moor In Sophia Drossopoulou, editor, European Conference on Object−Oriented Programming (ECOOP). Pages 369–393. Springer−Verlag. 2009. |
|
[5] |
Formalising and Verifying Reference Attribute Grammars in Coq Max Schäfer‚ Torbjörn Ekman and Oege de Moor In Giuseppe Castagna, editor, European Symposium on Programming (ESOP). Pages 143–159. Springer−Verlag. 2009. |
|
[6] |
Sound and Extensible Renaming for Java Max Schäfer‚ Torbjörn Ekman and Oege de Moor In Gregor Kiczales, editor, Object−Oriented Programming‚ Systems and Languages (OOPSLA). Pages 227–294. ACM Press. 2008. |
|
[7] |
PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2008 Programme Co−Chairs: Shamal Faily‚ Stanislav Živný Conference Co−Chairs: Christo Fogelberg‚ Andras Salamon and Max Schafer No. RR−08−10. OUCL. October, 2008. |