Published in: OASIcs, Volume 109, Eelco Visser Commemorative Symposium (EVCS 2023)
Julia Lawall. On the Origins of Coccinelle. In Eelco Visser Commemorative Symposium (EVCS 2023). Open Access Series in Informatics (OASIcs), Volume 109, pp. 18:1-18:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{lawall:OASIcs.EVCS.2023.18, author = {Lawall, Julia}, title = {{On the Origins of Coccinelle}}, booktitle = {Eelco Visser Commemorative Symposium (EVCS 2023)}, pages = {18:1--18:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-267-9}, ISSN = {2190-6807}, year = {2023}, volume = {109}, editor = {L\"{a}mmel, Ralf and Mosses, Peter D. and Steimann, Friedrich}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.EVCS.2023.18}, URN = {urn:nbn:de:0030-drops-177884}, doi = {10.4230/OASIcs.EVCS.2023.18}, annote = {Keywords: Linux kernel, Coccinelle, Stratego/XT, program transformation} }
Published in: DARTS, Volume 5, Issue 2, Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, and David Lo. Semantic Patches for Java Program Transformation (Artifact). In Special Issue of the 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Dagstuhl Artifacts Series (DARTS), Volume 5, Issue 2, pp. 10:1-10:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{kang_et_al:DARTS.5.2.10, author = {Kang, Hong Jin and Thung, Ferdian and Lawall, Julia and Muller, Gilles and Jiang, Lingxiao and Lo, David}, title = {{Semantic Patches for Java Program Transformation}}, pages = {10:1--10:3}, journal = {Dagstuhl Artifacts Series}, ISSN = {2509-8195}, year = {2019}, volume = {5}, number = {2}, editor = {Kang, Hong Jin and Thung, Ferdian and Lawall, Julia and Muller, Gilles and Jiang, Lingxiao and Lo, David}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DARTS.5.2.10}, URN = {urn:nbn:de:0030-drops-107875}, doi = {10.4230/DARTS.5.2.10}, annote = {Keywords: Java, semantic patches, automatic program transformation} }
Published in: LIPIcs, Volume 134, 33rd European Conference on Object-Oriented Programming (ECOOP 2019)
Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, and David Lo. Semantic Patches for Java Program Transformation (Experience Report). In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 134, pp. 22:1-22:27, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{kang_et_al:LIPIcs.ECOOP.2019.22, author = {Kang, Hong Jin and Thung, Ferdian and Lawall, Julia and Muller, Gilles and Jiang, Lingxiao and Lo, David}, title = {{Semantic Patches for Java Program Transformation}}, booktitle = {33rd European Conference on Object-Oriented Programming (ECOOP 2019)}, pages = {22:1--22:27}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-111-5}, ISSN = {1868-8969}, year = {2019}, volume = {134}, editor = {Donaldson, Alastair F.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2019.22}, URN = {urn:nbn:de:0030-drops-108140}, doi = {10.4230/LIPIcs.ECOOP.2019.22}, annote = {Keywords: Program transformation, Java} }
Published in: Dagstuhl Seminar Proceedings, Volume 7041, Power-aware Computing Systems (2007)
Richard Urunuela, Gilles Muller, and Julia Lawall. Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. In Power-aware Computing Systems. Dagstuhl Seminar Proceedings, Volume 7041, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{urunuela_et_al:DagSemProc.07041.12, author = {Urunuela, Richard and Muller, Gilles and Lawall, Julia}, title = {{Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications}}, booktitle = {Power-aware Computing Systems}, pages = {1--8}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7041}, editor = {Luca Benini and Naehyuck Chang and Ulrich Kremer and Christian W. Probst}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07041.12}, URN = {urn:nbn:de:0030-drops-11088}, doi = {10.4230/DagSemProc.07041.12}, annote = {Keywords: Dynamic voltage scaling, multimedia applications, embedded systems} }
Published in: Dagstuhl Seminar Proceedings, Volume 7091, Mobility, Ubiquity and Security (2007)
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, and Andrei Sabelfeld. 07091 Abstracts Collection – Mobility, Ubiquity and Security. In Mobility, Ubiquity and Security. Dagstuhl Seminar Proceedings, Volume 7091, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{barthe_et_al:DagSemProc.07091.1, author = {Barthe, Gilles and Mantel, Heiko and M\"{u}ller, Peter and Myers, Andrew C. and Sabelfeld, Andrei}, title = {{07091 Abstracts Collection – Mobility, Ubiquity and Security}}, booktitle = {Mobility, Ubiquity and Security}, pages = {1--17}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7091}, editor = {Gilles Barthe and Heiko Mantel and Peter M\"{u}ller and Andrew C. Myers and Andrei Sabelfeld}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07091.1}, URN = {urn:nbn:de:0030-drops-11026}, doi = {10.4230/DagSemProc.07091.1}, annote = {Keywords: Mobility, confidentiality, integrity, availability, type systems, static analysis, information flow, cryptography, proof-carrying code} }
Published in: Dagstuhl Seminar Proceedings, Volume 7091, Mobility, Ubiquity and Security (2007)
Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, and Andrei Sabelfeld. 07091 Executive Summary – Mobility, Ubiquity and Security. In Mobility, Ubiquity and Security. Dagstuhl Seminar Proceedings, Volume 7091, pp. 1-2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
@InProceedings{barthe_et_al:DagSemProc.07091.2, author = {Barthe, Gilles and Mantel, Heiko and M\"{u}ller, Peter and Myers, Andrew C. and Sabelfeld, Andrei}, title = {{07091 Executive Summary – Mobility, Ubiquity and Security}}, booktitle = {Mobility, Ubiquity and Security}, pages = {1--2}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2007}, volume = {7091}, editor = {Gilles Barthe and Heiko Mantel and Peter M\"{u}ller and Andrew C. Myers and Andrei Sabelfeld}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07091.2}, URN = {urn:nbn:de:0030-drops-11017}, doi = {10.4230/DagSemProc.07091.2}, annote = {Keywords: Mobility, confidentiality, integrity, availability, type systems, static analysis, information flow, cryptography, proof-carrying code} }
Feedback for Dagstuhl Publishing