publications: - title: "Specialization Patterns" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" year: "2000" doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=873664&tag=1" abstract: "Design patterns offer many advantages for software development, but can introduce inefficiency into the final program. Program specialization can eliminate such overheads, but is most effective when targeted by the user to specific bottlenecks. Consequently, we propose that these concepts are complementary. Program specialization can optimize programs written using design patterns, and design patterns provide information about the program structure that can guide specialization. Concretely, we propose specialization patterns, which describe how to apply program specialization to optimize uses of design patterns. We analyze the specialization opportunities provided by specific uses of design patterns. Based on the analysis of each design pattern, we define the associated specialization pattern. These specialization opportunities can be declared using the specialization classes framework, developed previously. In our experiments, such specialization significantly improves performance" links: doi: "http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=873664&tag=1" tags: - "optimization" - "rule-based" - "program analysis" - "analysis" - "program optimization" - "design" researchr: "https://researchr.org/publication/SchultzLC00" cites: 0 citedby: 0 pages: "197" booktitle: "Fifteenth IEEE International Conference on Automated Software Engineering" series: "ASE" publisher: "IEEE" kind: "inproceedings" key: "SchultzLC00" - title: "Java bytecode compression for low-end embedded systems" author: - name: "Lars Ræder Clausen" link: "https://researchr.org/alias/lars-r%C3%A6der-clausen" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Gilles Muller" link: "https://researchr.org/alias/gilles-muller" year: "2000" doi: "http://doi.acm.org/10.1145/353926.353933" links: doi: "http://doi.acm.org/10.1145/353926.353933" tags: - "Java" researchr: "https://researchr.org/publication/ClausenSCM00" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "22" number: "3" pages: "471-489" kind: "article" key: "ClausenSCM00" - title: "Pantaxou: a domain-specific language for developing safe coordination services" author: - name: "Julien Mercadal" link: "https://researchr.org/alias/julien-mercadal" - name: "Nicolas Palix" link: "https://researchr.org/alias/nicolas-palix" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" year: "2008" doi: "http://doi.acm.org/10.1145/1449913.1449936" links: doi: "http://doi.acm.org/10.1145/1449913.1449936" tags: - "domain-specific language" researchr: "https://researchr.org/publication/MercadalPCL08" cites: 0 citedby: 0 pages: "149-160" booktitle: "Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings" editor: - name: "Yannis Smaragdakis" link: "http://smaragd.org" - name: "Jeremy G. Siek" link: "http://homes.soic.indiana.edu/jsiek/" publisher: "ACM" isbn: "978-1-60558-267-2" kind: "inproceedings" key: "MercadalPCL08" - title: "Automatic program specialization for Java" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" year: "2003" doi: "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.5567&rep=rep1&type=pdf" abstract: "The object-oriented style of programming facilitates program adaptation and enhances program genericness, but at the expense of efficiency. We demonstrate experimentally that state-of-the-art Java compilation technology fails to compensate for the use of object-oriented abstractions to implement generic programs, and that program specialization can be used to eliminate these overheads. We present an automatic program specializer for Java, and demonstrate experimentally that significant speedups in program execution time can be obtained through automatic specialization. Although automatic program specialization could be seen as overlapping with existing optimizing compiler technology, we show that specialization and compiler optimization are in fact complementary." links: doi: "http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.5567&rep=rep1&type=pdf" tags: - "optimization" - "object-oriented programming" - "Java" - "meta programming" - "generic programming" - "compiler" - "programming" - "subject-oriented programming" - "abstraction" - "program optimization" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/SchultzLC03" cites: 0 citedby: 0 journal: "ACM Transactions on Programming Languages and Systems" volume: "25" number: "4" pages: "452-499" kind: "article" key: "SchultzLC03" - title: "Leveraging software architectures to guide and verify the development of sense/compute/control applications" author: - name: "Damien Cassou" link: "https://researchr.org/alias/damien-cassou" - name: "Emilie Balland" link: "http://www.loria.fr/~balland/" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" year: "2011" doi: "http://doi.acm.org/10.1145/1985793.1985852" links: doi: "http://doi.acm.org/10.1145/1985793.1985852" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/CassouBCL11" tags: - "software architecture" - "architecture" researchr: "https://researchr.org/publication/CassouBCL11" cites: 0 citedby: 0 pages: "431-440" booktitle: "Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011" editor: - name: "Richard N. Taylor" link: "https://researchr.org/alias/richard-n.-taylor" - name: "Harald Gall" link: "https://researchr.org/alias/harald-gall" - name: "Nenad Medvidovic" link: "https://researchr.org/alias/nenad-medvidovic" publisher: "ACM" isbn: "978-1-4503-0445-0" kind: "inproceedings" key: "CassouBCL11" - title: "DSLs: the good, the bad, and the ugly" author: - name: "Jeffrey G. Gray" link: "http://www.gray-area.org/" - name: "Kathleen Fisher" link: "http://www.research.att.com/people/Fisher_Kathleen_S" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Marjan Mernik" link: "http://lpm.uni-mb.si/mernik/" - name: "Juha-Pekka Tolvanen" link: "http://www.metacase.com/jpt.html" year: "2008" doi: "http://doi.acm.org/10.1145/1449814.1449863" links: doi: "http://doi.acm.org/10.1145/1449814.1449863" tags: - "DSL" researchr: "https://researchr.org/publication/GrayFCKMT08" cites: 0 citedby: 0 pages: "791-794" booktitle: "Companion to the 23rd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2008, October 19-13, 2007, Nashville, TN, USA" editor: - name: "Gail E. Harris" link: "https://researchr.org/alias/gail-e.-harris" publisher: "ACM" isbn: "978-1-60558-220-7" kind: "inproceedings" key: "GrayFCKMT08" - title: "Architecture Software Using A Methodology for Language Development" author: - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Renaud Marlet" link: "https://researchr.org/alias/renaud-marlet" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1490/14900170.htm" abstract: "Domain-specific languages (DSLs) can be viewed from both a programming language and a software architecture perspective. The goal of this paper is to relate the two viewpoints. In particular, we demonstrate that DSLs can be constructed using an existing formal methodology for developing general purpose languages (GPLs) while expressing software architecture concerns." links: doi: "http://link.springer.de/link/service/series/0558/bibs/1490/14900170.htm" tags: - "programming languages" - "software architecture" - "architecture" - "DSL" - "domain-specific language" researchr: "https://researchr.org/publication/ConselM98" cites: 0 citedby: 0 pages: "170-194" booktitle: "Principles of Declarative Programming, 10th International Symposium, PLILP 98 Held Jointly with the 7th International Conference, ALP 98, Pisa, Italy, September 16-18, 1998, Proceedings" editor: - name: "Catuscia Palamidessi" link: "https://researchr.org/alias/catuscia-palamidessi" - name: "Hugh Glaser" link: "https://researchr.org/alias/hugh-glaser" - name: "Karl Meinke" link: "https://researchr.org/alias/karl-meinke" volume: "1490" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-65012-1" kind: "inproceedings" key: "ConselM98" - title: "Towards Automatic Specialization of Java Programs" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" - name: "Charles Consel" link: "http://phoenix.labri.fr/people/consel/" - name: "Gilles Muller" link: "https://researchr.org/alias/gilles-muller" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1628/16280367.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1628/16280367.htm" tags: - "Java" - " specializer" - "partial evaluation" researchr: "https://researchr.org/publication/SchultzLCM99" cites: 0 citedby: 0 pages: "367-390" booktitle: "ECOOP 99 - Object-Oriented Programming, 13th European Conference, Lisbon, Portugal, June 14-18, 1999, Proceedings" editor: - name: "Rachid Guerraoui" link: "https://researchr.org/alias/rachid-guerraoui" volume: "1628" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66156-5" kind: "inproceedings" key: "SchultzLCM99"