publications: - 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: "TOPLAS" volume: "22" number: "3" pages: "471-489" kind: "article" key: "ClausenSCM00" - title: "Partial Evaluation for Class-Based Object-Oriented Languages" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530173.htm" abstract: "Object-oriented programming facilitates the development of generic software, but at a significant cost in terms of performance. We apply partial evaluation to object-oriented programs, to automatically map generic software into specific implementations. In this paper we give a concise, formal description of a simple partial evaluator for a minimal object-oriented language, and give directions for extending this partial evaluator to handle realistic programs. Based on workdo ne in the Compose Group at IRISA/INRIA, Rennes, France; supported in part by Bull." links: doi: "http://link.springer.de/link/service/series/0558/bibs/2053/20530173.htm" tags: - "programming languages" - "object-oriented programming" - "rule-based" - "meta programming" - "generic programming" - "partial evaluation" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" - "domain-specific language" researchr: "https://researchr.org/publication/Schultz01%3A1" cites: 0 citedby: 0 pages: "173-197" booktitle: "pado" kind: "inproceedings" key: "Schultz01:1" - title: "Declarative specialization for object-oriented-program specialization" author: - name: "Helle Markmann Andersen" link: "https://researchr.org/alias/helle-markmann-andersen" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2004" doi: "http://doi.acm.org/10.1145/1014007.1014011" links: doi: "http://doi.acm.org/10.1145/1014007.1014011" tags: - "object-oriented programming" - "meta programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/AndersenS04" cites: 0 citedby: 0 pages: "27-38" booktitle: "PEPM" kind: "inproceedings" key: "AndersenS04" - title: "A unified simulator for Self-Reconfigurable Robots" author: - name: "David Johan Christensen" link: "http://www.mmmi.sdu.dk/~david/" - name: "David Brandt" link: "https://researchr.org/alias/david-brandt" - name: "Kasper Støy" link: "https://researchr.org/alias/kasper-st%C3%B8y" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2008" doi: "http://dx.doi.org/10.1109/IROS.2008.4650757" links: doi: "http://dx.doi.org/10.1109/IROS.2008.4650757" researchr: "https://researchr.org/publication/ChristensenBSS08" cites: 0 citedby: 0 pages: "870-876" booktitle: "iros" kind: "inproceedings" key: "ChristensenBSS08" - title: "On the efficiency of local and global communication in modular robots" author: - name: "Ricardo Franco Mendoza Garcia" link: "http://www.mip.sdu.dk/~rimen05/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Kasper Stoy" link: "http://www.mmmi.sdu.dk/~stoy" year: "2009" doi: "http://dx.doi.org/10.1109/IROS.2009.5354011" links: doi: "http://dx.doi.org/10.1109/IROS.2009.5354011" researchr: "https://researchr.org/publication/GarciaSS09" cites: 0 citedby: 0 pages: "1502-1508" booktitle: "iros" kind: "inproceedings" key: "GarciaSS09" - 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" kind: "inproceedings" key: "SchultzLCM99" - title: "Issues in holistic system design" author: - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" - name: "Christian W. Probst" link: "http://www2.imm.dtu.dk/~probst/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2006" doi: "http://doi.acm.org/10.1145/1215995.1216007" links: doi: "http://doi.acm.org/10.1145/1215995.1216007" tags: - "design" researchr: "https://researchr.org/publication/LawallPS06" cites: 0 citedby: 0 pages: "12" booktitle: "asplos" kind: "inproceedings" key: "LawallPS06" - title: "Black-Box Program Specialization" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "1999" researchr: "https://researchr.org/publication/Schultz99" cites: 0 citedby: 0 pages: "187" booktitle: "ECOOPW" kind: "inproceedings" key: "Schultz99" - title: "Distance-Based Access Modifiers Applied to Safety in Home Networks" author: - name: "Kjeld Høyer Mortensen" link: "https://researchr.org/alias/kjeld-h%C3%B8yer-mortensen" - name: "Kari R. Schougaard" link: "https://researchr.org/alias/kari-r.-schougaard" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3295&spage=315" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3295&spage=315" tags: - "rule-based" researchr: "https://researchr.org/publication/MortensenSS04" cites: 0 citedby: 0 pages: "315-326" booktitle: "eusai" kind: "inproceedings" key: "MortensenSS04" - title: "A Unification of Inheritance and Automatic Program Specialization" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=244" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=244" researchr: "https://researchr.org/publication/Schultz04" cites: 0 citedby: 0 pages: "244-265" booktitle: "GPCE" kind: "inproceedings" key: "Schultz04" - 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: "ASE" kind: "inproceedings" key: "SchultzLC00" - title: "Lambda-Lifting in Quadratic Time" author: - name: "Olivier Danvy" link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2004" doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/A2004-01/JFLP-A2004-01.pdf" links: doi: "http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2004/A2004-01/JFLP-A2004-01.pdf" researchr: "https://researchr.org/publication/DanvyS04" cites: 0 citedby: 0 journal: "jflp" volume: "2004" kind: "article" key: "DanvyS04" - title: "Harissa: A Hybrid Approach to Java Execution" author: - name: "Gilles Muller" link: "https://researchr.org/alias/gilles-muller" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "1999" doi: "http://www.computer.org:80/software/so1999/s2044abs.htm" links: doi: "http://www.computer.org:80/software/so1999/s2044abs.htm" tags: - "Java" - "systematic-approach" researchr: "https://researchr.org/publication/MullerS99" cites: 0 citedby: 0 journal: "IEEE Software" volume: "16" number: "2" pages: "44-51" kind: "article" key: "MullerS99" - title: "A virtual machine-based approach for fast and flexible reprogramming of modular robots" author: - name: "Mirko Bordignon" link: "http://www.mip.sdu.dk/people/PhD_students/mirko.html" - name: "Kasper Stoy" link: "http://www.mmmi.sdu.dk/~stoy" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2009" doi: "http://dx.doi.org/10.1109/ROBOT.2009.5152780" links: doi: "http://dx.doi.org/10.1109/ROBOT.2009.5152780" tags: - "rule-based" - "systematic-approach" researchr: "https://researchr.org/publication/BordignonSS09" cites: 0 citedby: 0 pages: "4273-4280" booktitle: "icra" kind: "inproceedings" key: "BordignonSS09" - title: "Neighbor detection and crosstalk elimination in self-reconfigurable robots" author: - name: "David Johan Christensen" link: "http://www.mmmi.sdu.dk/~david/" - name: "David Brandt" link: "https://researchr.org/alias/david-brandt" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Kasper Støy" link: "https://researchr.org/alias/kasper-st%C3%B8y" year: "2007" doi: "http://doi.acm.org/10.1145/1377868.1377901" links: doi: "http://doi.acm.org/10.1145/1377868.1377901" researchr: "https://researchr.org/publication/ChristensenBSS07" cites: 0 citedby: 0 pages: "26" booktitle: "robocomm" kind: "inproceedings" key: "ChristensenBSS07" - title: "Compiling java for low-end embedded systems" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Kim Burgaard" link: "https://researchr.org/alias/kim-burgaard" - name: "Flemming Gram Christensen" link: "https://researchr.org/alias/flemming-gram-christensen" - name: "Jørgen Lindskov Knudsen" link: "https://researchr.org/alias/j%C3%B8rgen-lindskov-knudsen" year: "2003" doi: "http://doi.acm.org/10.1145/780732.780739" links: doi: "http://doi.acm.org/10.1145/780732.780739" tags: - "Java" - "compiler" researchr: "https://researchr.org/publication/SchultzBCK03" cites: 0 citedby: 0 pages: "42-50" booktitle: "lctrts" kind: "inproceedings" key: "SchultzBCK03" - title: "Robust and reversible self-reconfiguration" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Mirko Bordignon" link: "http://www.mip.sdu.dk/people/PhD_students/mirko.html" - name: "Kasper Stoy" link: "http://www.mmmi.sdu.dk/~stoy" year: "2009" doi: "http://dx.doi.org/10.1109/IROS.2009.5354346" links: doi: "http://dx.doi.org/10.1109/IROS.2009.5354346" researchr: "https://researchr.org/publication/SchultzBS09" cites: 0 citedby: 0 pages: "5287-5294" booktitle: "iros" kind: "inproceedings" key: "SchultzBS09" - title: "Lambda-Lifting in Quadratic Time" author: - name: "Olivier Danvy" link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410134.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2441/24410134.htm" researchr: "https://researchr.org/publication/DanvyS02%3A0" cites: 0 citedby: 0 pages: "134-151" booktitle: "FLOPS" kind: "inproceedings" key: "DanvyS02:0" - title: "Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure" author: - name: "Olivier Danvy" link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "1997" doi: "http://doi.acm.org/10.1145/258993.259007" links: doi: "http://doi.acm.org/10.1145/258993.259007" researchr: "https://researchr.org/publication/DanvyS97" cites: 0 citedby: 0 pages: "90-106" booktitle: "PEPM" kind: "inproceedings" key: "DanvyS97" - title: "Spatial Computing with Labels" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" - name: "Mirko Bordignon" link: "http://www.mip.sdu.dk/people/PhD_students/mirko.html" - name: "David Johan Christensen" link: "http://www.mmmi.sdu.dk/~david/" - name: "Kasper Stoy" link: "http://www.mmmi.sdu.dk/~stoy" year: "2008" doi: "http://doi.ieeecomputersociety.org/10.1109/SASOW.2008.42" links: doi: "http://doi.ieeecomputersociety.org/10.1109/SASOW.2008.42" researchr: "https://researchr.org/publication/SchultzBCS08" cites: 0 citedby: 0 pages: "326-331" booktitle: "saso" kind: "inproceedings" key: "SchultzBCS08" - title: "Lambda-dropping: transforming recursive equations into programs with block structure" author: - name: "Olivier Danvy" link: "https://www.yale-nus.edu.sg/about/faculty/olivier-danvy/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2000" doi: "http://dx.doi.org/10.1016/S0304-3975(00)00054-2" links: doi: "http://dx.doi.org/10.1016/S0304-3975(00)00054-2" researchr: "https://researchr.org/publication/DanvyS00" cites: 0 citedby: 0 journal: "TCS" volume: "248" number: "1-2" pages: "243-287" kind: "article" key: "DanvyS00" - 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: "TOPLAS" volume: "25" number: "4" pages: "452-499" kind: "article" key: "SchultzLC03" - title: "Supporting transparent evolution of component interfaces" author: - name: "Emanuela P. Lins" link: "https://researchr.org/alias/emanuela-p.-lins" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2006" doi: "http://doi.acm.org/10.1145/1141277.1141658" links: doi: "http://doi.acm.org/10.1145/1141277.1141658" researchr: "https://researchr.org/publication/LinsS06" cites: 0 citedby: 0 pages: "1629-1630" booktitle: "SAC" kind: "inproceedings" key: "LinsS06" - title: "Distributed control diffusion: towards a flexible programming paradigm for modular robots" author: - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2007" doi: "http://doi.acm.org/10.1145/1377868.1377887" links: doi: "http://doi.acm.org/10.1145/1377868.1377887" tags: - "programming paradigms" - "programming" researchr: "https://researchr.org/publication/Schultz07" cites: 0 citedby: 0 pages: "15" booktitle: "robocomm" kind: "inproceedings" key: "Schultz07" - title: "Implementing Flexible Parallelism for Modular Self-reconfigurable Robots" author: - name: "Mirko Bordignon" link: "https://researchr.org/alias/mirko-bordignon" - name: "Lars Lindegaard Mikkelsen" link: "https://researchr.org/alias/lars-lindegaard-mikkelsen" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-89076-8_15" links: doi: "http://dx.doi.org/10.1007/978-3-540-89076-8_15" researchr: "https://researchr.org/publication/BordignonMS08" cites: 0 citedby: 0 pages: "123-134" booktitle: "simpar" kind: "inproceedings" key: "BordignonMS08" - title: "Optimal Lambda Lifting in Quadratic Time" author: - name: "Marco T. Morazán" link: "https://researchr.org/alias/marco-t.-moraz%C3%A1n" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_3" links: doi: "http://dx.doi.org/10.1007/978-3-540-85373-2_3" researchr: "https://researchr.org/publication/MorazanS07" cites: 0 citedby: 0 pages: "37-56" booktitle: "IFL" kind: "inproceedings" key: "MorazanS07" - title: "Proceedings of the 10th ACM international conference on Generative programming and component engineering (GPCE 2011)" year: "2011" links: "acm dl": "http://dl.acm.org/citation.cfm?id=2047862" tags: - "generative programming" - "programming" researchr: "https://researchr.org/publication/gpce-2011" cites: 0 citedby: 0 booktitle: "Proceedings of the 10th ACM international conference on Generative programming and component engineering (GPCE 2011)" conference: "GPCE" editor: - name: "Ewen Denney" link: "http://ti.arc.nasa.gov/profile/edenney/" - name: "Ulrik Pagh Schultz" link: "http://www.mip.sdu.dk/~ups/" address: "New York, NY, USA" publisher: "ACM" kind: "proceedings" key: "gpce-2011"