University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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.