86 |
86 |
87 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
87 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
88 (with Zhang and Wu) Journal version. Submitted. |
88 (with Zhang and Wu) Journal version. Submitted. |
89 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
89 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
90 |
90 |
|
91 <p><B>Modelling Homogeneous Generative Meta-Programming</B> |
|
92 (with Berger and Tratt) |
|
93 In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). |
|
94 In Volume <A HREF="http://drops.dagstuhl.de/portals/extern/index.php?semnr=16035">74</A> |
|
95 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 5:1-23. |
|
96 Schloss Dagstuhl-Leibniz-Zentrum, 2017. |
|
97 [<A HREF="http://drops.dagstuhl.de/opus/volltexte/2017/7277">pdf</A>] |
|
98 </TD> |
|
99 </TR> |
|
100 |
|
101 <TR> |
|
102 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
|
103 <H3>2016</H3> |
91 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B> |
104 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B> |
92 (with Ausaf and Dyckhoff) |
105 (with Ausaf and Dyckhoff) |
93 In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). |
106 In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). |
94 In Volume <A HREF="https://link.springer.com/book/10.1007/978-3-319-43144-4">9807</A> |
107 In Volume <A HREF="https://link.springer.com/book/10.1007/978-3-319-43144-4">9807</A> |
95 of Lecture Notes in Computer Science. Pages 69-86. Springer Verlag, 2016. |
108 of Lecture Notes in Computer Science. Pages 69-86. Springer Verlag, 2016. |
96 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">pdf</A>] |
109 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix.pdf">pdf</A>] |
97 </TD> |
110 </TD> |
98 </TR> |
111 </TR> |
|
112 |
99 |
113 |
100 <TR> |
114 <TR> |
101 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
115 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
102 <H3>2015</H3> |
116 <H3>2015</H3> |
103 <p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> |
117 <p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> |