Max Schaefer : Publications
Personal orderingBibtex
Click here to download all publications in a single bibtex file
@inproceedings{icse11,
title = "Refactoring Java Programs for Flexible Locking",
author = "Max Sch\"afer and Manu Sridharan and Julian Dolby and Frank Tip",
year = "2011",
booktitle = "International Conference on Software Engineering (ICSE)",
}
@inproceedings{splash10refactoring,
title = "Specifying and Implementing Refactorings",
author = "Max Sch\"afer and Oege de Moor",
year = "2010",
booktitle = "Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)",
editor = "Martin Rinard",
publisher = "ACM Press",
}
@inproceedings{ecoop10refactoring,
title = "Correct Refactoring of Concurrent Java Code",
author = "Max Sch\"afer and Julian Dolby and Manu Sridharan and Frank Tip and Emina Torlak",
year = "2010",
booktitle = "European Conference on Object-Oriented Programming (ECOOP)",
editor = "Theo D'Hondt",
publisher = "Springer-Verlag",
}
@phdthesis{schaeferthesis,
title = "Specification, Implementation and Verification of Refactorings",
author = "Max Sch\"afer",
year = "2010",
institution = "Oxford University Computing Laboratory",
url = "http://progtools.comlab.ox.ac.uk/members/xiemaisi/thesis",
}
@inproceedings{ecoop09refactoring,
title = "Stepping Stones over the Refactoring Rubicon -- Lightweight Language Extensions to Easily Realise Refactorings",
author = "Max Sch\"afer and Mathieu Verbaere and Torbj\"orn Ekman and Oege de Moor",
year = "2009",
booktitle = "European Conference on Object-Oriented Programming (ECOOP)",
editor = "Sophia Drossopoulou",
pages = "369--393",
publisher = "Springer-Verlag",
}
@inproceedings{esop09coq,
title = "Formalising and Verifying Reference Attribute Grammars in Coq",
author = "Max Sch\"afer and Torbj\"orn Ekman and Oege de Moor",
year = "2009",
booktitle = "European Symposium on Programming (ESOP)",
editor = "Giuseppe Castagna",
pages = "143--159",
publisher = "Springer-Verlag",
}
@techreport{RR-08-10,
title = "PROCEEDINGS OF THE OXFORD UNIVERSITY COMPUTING LABORATORY STUDENT CONFERENCE 2008",
author = "Programme Co-Chairs: Shamal Faily and Stanislav \v{Z}ivn\'y Conference Co-Chairs: Christo Fogelberg and Andras Salamon and Max Schafer",
year = "2008",
institution = "OUCL",
month = "October",
number = "RR-08-10",
pages = "33",
}
@inproceedings{oopsla08refactoring,
title = "Sound and Extensible Renaming for Java",
author = "Max Sch\"afer and Torbj\"orn Ekman and Oege de Moor",
year = "2008",
booktitle = "Object-Oriented Programming, Systems and Languages (OOPSLA)",
editor = "Gregor Kiczales",
pages = "227--294",
publisher = "ACM Press",
}