70 <TR> |
70 <TR> |
71 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
71 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
72 <H3>Pending</H3> |
72 <H3>Pending</H3> |
73 |
73 |
74 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
74 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
75 (with Zhang and Wu) Journal version. Accepted. |
75 (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning. |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
77 |
77 </TD> |
|
78 </TR> |
|
79 |
|
80 <TR> |
|
81 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
|
82 <H3>2017</H3> |
78 <p><B>Modelling Homogeneous Generative Meta-Programming</B> |
83 <p><B>Modelling Homogeneous Generative Meta-Programming</B> |
79 (with Berger and Tratt) |
84 (with Berger and Tratt) |
80 In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). |
85 In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). |
81 In Volume <A HREF="http://drops.dagstuhl.de/portals/extern/index.php?semnr=16035">74</A> |
86 In Volume <A HREF="http://drops.dagstuhl.de/portals/extern/index.php?semnr=16035">74</A> |
82 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 5:1-23. |
87 of Leibniz International Proceedings in Informatics (LIPIcs). Pages 5:1-23. |
83 Schloss Dagstuhl-Leibniz-Zentrum, 2017. |
88 Schloss Dagstuhl-Leibniz-Zentrum, 2017. |
84 [<A HREF="http://drops.dagstuhl.de/opus/volltexte/2017/7277">pdf</A>] |
89 [<A HREF="http://drops.dagstuhl.de/opus/volltexte/2017/7277">pdf</A>] |
85 </TD> |
90 </TD> |
86 </TR> |
91 </TR> |
87 |
92 |
88 <TR> |
93 <TR> |
89 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
94 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |