BibTeX records: Julia L. Lawall

download as .bib file

@inproceedings{DBLP:conf/asplos/BaiLTH19,
  author    = {Jia{-}Ju Bai and
               Julia Lawall and
               Wende Tan and
               Shi{-}Min Hu},
  title     = {{DCNS:} Automated Detection Of Conservative Non-Sleep Defects in the
               Linux Kernel},
  booktitle = {Proceedings of the Twenty-Fourth International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2019, Providence, RI, USA, April 13-17, 2019},
  pages     = {287--299},
  year      = {2019},
  crossref  = {DBLP:conf/asplos/2019},
  url       = {https://doi.org/10.1145/3297858.3304065},
  doi       = {10.1145/3297858.3304065},
  timestamp = {Sun, 07 Apr 2019 16:01:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/BaiLTH19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ChenBJLH19,
  author    = {Qiu{-}Liang Chen and
               Jia{-}Ju Bai and
               Zu{-}Ming Jiang and
               Julia Lawall and
               Shi{-}Min Hu},
  title     = {Detecting Data Races Caused by Inconsistent Lock Protection in Device
               Drivers},
  booktitle = {26th {IEEE} International Conference on Software Analysis, Evolution
               and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
               2019},
  pages     = {366--376},
  year      = {2019},
  crossref  = {DBLP:conf/wcre/2019},
  url       = {https://doi.org/10.1109/SANER.2019.8668017},
  doi       = {10.1109/SANER.2019.8668017},
  timestamp = {Fri, 29 Mar 2019 10:22:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/ChenBJLH19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-02063,
  author    = {Thong Hoang and
               Julia Lawall and
               Richard Jayadi Oentaryo and
               Yuan Tian and
               David Lo},
  title     = {PatchNet: {A} Tool for Deep Patch Classification},
  journal   = {CoRR},
  volume    = {abs/1903.02063},
  year      = {2019},
  url       = {http://arxiv.org/abs/1903.02063},
  archivePrefix = {arXiv},
  eprint    = {1903.02063},
  timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1903-02063},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/NarasimhanRL18,
  author    = {Krishna Narasimhan and
               Christoph Reichenbach and
               Julia Lawall},
  title     = {Cleaning up copy-paste clones with interactive merging},
  journal   = {Autom. Softw. Eng.},
  volume    = {25},
  number    = {3},
  pages     = {627--673},
  year      = {2018},
  url       = {https://doi.org/10.1007/s10515-018-0238-5},
  doi       = {10.1007/s10515-018-0238-5},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/NarasimhanRL18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BouronCLZGLMS18,
  author    = {Justinien Bouron and
               Sebastien Chevalley and
               Baptiste Lepers and
               Willy Zwaenepoel and
               Redha Gouicem and
               Julia Lawall and
               Gilles Muller and
               Julien Sopena},
  title     = {The Battle of the Schedulers: FreeBSD {ULE} vs. Linux {CFS}},
  booktitle = {2018 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2018, Boston,
               MA, USA, July 11-13, 2018.},
  pages     = {85--96},
  year      = {2018},
  crossref  = {DBLP:conf/usenix/2018},
  url       = {https://www.usenix.org/conference/atc18/presentation/bouron},
  timestamp = {Mon, 16 Jul 2018 15:47:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/BouronCLZGLMS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BaiWLH18,
  author    = {Jia{-}Ju Bai and
               Yu{-}Ping Wang and
               Julia Lawall and
               Shi{-}Min Hu},
  title     = {{DSAC:} Effective Static Analysis of Sleep-in-Atomic-Context Bugs
               in Kernel Modules},
  booktitle = {2018 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2018, Boston,
               MA, USA, July 11-13, 2018.},
  pages     = {587--600},
  year      = {2018},
  crossref  = {DBLP:conf/usenix/2018},
  url       = {https://www.usenix.org/conference/atc18/presentation/bai},
  timestamp = {Mon, 16 Jul 2018 15:47:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/BaiWLH18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LawallM18,
  author    = {Julia Lawall and
               Gilles Muller},
  title     = {Coccinelle: 10 Years of Automated Evolution in the Linux Kernel},
  booktitle = {2018 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2018, Boston,
               MA, USA, July 11-13, 2018.},
  pages     = {601--614},
  year      = {2018},
  crossref  = {DBLP:conf/usenix/2018},
  url       = {https://www.usenix.org/conference/atc18/presentation/lawall},
  timestamp = {Mon, 16 Jul 2018 15:47:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/LawallM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/KochharLLN17,
  author    = {Pavneet Singh Kochhar and
               David Lo and
               Julia Lawall and
               Nachiappan Nagappan},
  title     = {Code Coverage and Postrelease Defects: {A} Large-Scale Study on Open
               Source Projects},
  journal   = {{IEEE} Trans. Reliability},
  volume    = {66},
  number    = {4},
  pages     = {1213--1228},
  year      = {2017},
  url       = {https://doi.org/10.1109/TR.2017.2727062},
  doi       = {10.1109/TR.2017.2727062},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tr/KochharLLN17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LawallM17,
  author    = {Julia Lawall and
               Gilles Muller},
  title     = {JMake: Dependable Compilation for Kernel Janitors},
  booktitle = {47th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2017, Denver, CO, USA, June 26-29, 2017},
  pages     = {357--366},
  year      = {2017},
  crossref  = {DBLP:conf/dsn/2017},
  url       = {https://doi.org/10.1109/DSN.2017.62},
  doi       = {10.1109/DSN.2017.62},
  timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/LawallM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/CotaMGDLMB17,
  author    = {Guido Lena Cota and
               Sonia Ben Mokhtar and
               Gabriele Gianini and
               Ernesto Damiani and
               Julia Lawall and
               Gilles Muller and
               Lionel Brunie},
  title     = {Analysing Selfishness Flooding with {SEINE}},
  booktitle = {47th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2017, Denver, CO, USA, June 26-29, 2017},
  pages     = {603--614},
  year      = {2017},
  crossref  = {DBLP:conf/dsn/2017},
  url       = {https://doi.org/10.1109/DSN.2017.51},
  doi       = {10.1109/DSN.2017.51},
  timestamp = {Wed, 06 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/CotaMGDLMB17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/LepersZLPGSLM17,
  author    = {Baptiste Lepers and
               Willy Zwaenepoel and
               Jean{-}Pierre Lozi and
               Nicolas Palix and
               Redha Gouicem and
               Julien Sopena and
               Julia Lawall and
               Gilles Muller},
  title     = {Towards Proving Optimistic Multicore Schedulers},
  booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
               HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
  pages     = {18--23},
  year      = {2017},
  crossref  = {DBLP:conf/hotos/2017},
  url       = {https://doi.org/10.1145/3102980.3102984},
  doi       = {10.1145/3102980.3102984},
  timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotos/LepersZLPGSLM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/NarasimhanRL17,
  author    = {Krishna Narasimhan and
               Christoph Reichenbach and
               Julia Lawall},
  title     = {Interactive data representation migration: exploiting program dependence
               to aid program transformation},
  booktitle = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  pages     = {47--58},
  year      = {2017},
  crossref  = {DBLP:conf/pepm/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3018890},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/NarasimhanRL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LawallPGM17,
  author    = {Julia Lawall and
               Derek Palinski and
               Lukas Gnirke and
               Gilles Muller},
  title     = {Fast and Precise Retrieval of Forward and Back Porting Information
               for Linux Device Drivers},
  booktitle = {2017 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2017, Santa
               Clara, CA, USA, July 12-14, 2017.},
  pages     = {15--26},
  year      = {2017},
  crossref  = {DBLP:conf/usenix/2017},
  url       = {https://www.usenix.org/conference/atc17/technical-sessions/presentation/lawall},
  timestamp = {Mon, 16 Jul 2018 15:47:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/LawallPGM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2017plos,
  editor    = {Julia Lawall},
  title     = {Proceedings of the 9th Workshop on Programming Languages and Operating
               Systems, Shanghai, China, October 28, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3144555},
  isbn      = {978-1-4503-5153-9},
  timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/2017plos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/BissyandeRLM16,
  author    = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Ahead of time static analysis for automatic generation of debugging
               interfaces to the Linux kernel},
  journal   = {Autom. Softw. Eng.},
  volume    = {23},
  number    = {1},
  pages     = {3--41},
  year      = {2016},
  url       = {https://doi.org/10.1007/s10515-014-0152-4},
  doi       = {10.1007/s10515-014-0152-4},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/BissyandeRLM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/LoziD0LM16,
  author    = {Jean{-}Pierre Lozi and
               Florian David and
               Ga{\"{e}}l Thomas and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Fast and Portable Locking for Multicore Architectures},
  journal   = {{ACM} Trans. Comput. Syst.},
  volume    = {33},
  number    = {4},
  pages     = {13:1--13:62},
  year      = {2016},
  url       = {https://dl.acm.org/citation.cfm?id=2845079},
  timestamp = {Wed, 28 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocs/LoziD0LM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecrts/BlinCSLM16,
  author    = {Antoine Blin and
               C{\'{e}}dric Courtaud and
               Julien Sopena and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality
               Embedded System},
  booktitle = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
               France, July 5-8, 2016},
  pages     = {109--119},
  year      = {2016},
  crossref  = {DBLP:conf/ecrts/2016},
  url       = {https://doi.org/10.1109/ECRTS.2016.18},
  doi       = {10.1109/ECRTS.2016.18},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecrts/BlinCSLM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BlotDL16,
  author    = {Arthur Blot and
               Pierre{-}{\'{E}}variste Dagand and
               Julia Lawall},
  title     = {From Sets to Bits in Coq},
  booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  pages     = {12--28},
  year      = {2016},
  crossref  = {DBLP:conf/flops/2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3\_2},
  doi       = {10.1007/978-3-319-29604-3\_2},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/BlotDL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/ThungLLL16,
  author    = {Ferdian Thung and
               Xuan{-}Bach D. Le and
               David Lo and
               Julia L. Lawall},
  title     = {Recommending Code Changes for Automatic Backporting of Linux Device
               Drivers},
  booktitle = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  pages     = {222--232},
  year      = {2016},
  crossref  = {DBLP:conf/icsm/2016},
  url       = {https://doi.org/10.1109/ICSME.2016.71},
  doi       = {10.1109/ICSME.2016.71},
  timestamp = {Fri, 14 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/ThungLLL16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netys/BlinCSLM16,
  author    = {Antoine Blin and
               C{\'{e}}dric Courtaud and
               Julien Sopena and
               Julia Lawall and
               Gilles Muller},
  title     = {Understanding the Memory Consumption of the MiBench Embedded Benchmark},
  booktitle = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
               Morocco, May 18-20, 2016, Revised Selected Papers},
  pages     = {71--86},
  year      = {2016},
  crossref  = {DBLP:conf/netys/2016},
  url       = {https://doi.org/10.1007/978-3-319-46140-3\_6},
  doi       = {10.1007/978-3-319-46140-3\_6},
  timestamp = {Tue, 23 May 2017 01:11:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/netys/BlinCSLM16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BissyandeRLBM15,
  author    = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Y{\'{e}}rom{-}David Bromberg and
               Gilles Muller},
  title     = {Implementing an embedded compiler using program transformation rules},
  journal   = {Softw., Pract. Exper.},
  volume    = {45},
  number    = {2},
  pages     = {177--196},
  year      = {2015},
  url       = {https://doi.org/10.1002/spe.2225},
  doi       = {10.1002/spe.2225},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/BissyandeRLBM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topc/MaldonadoMFLMR15,
  author    = {Walther Maldonado and
               Patrick Marlier and
               Pascal Felber and
               Julia Lawall and
               Gilles Muller and
               Etienne Rivi{\`{e}}re},
  title     = {Supporting Time-Based QoS Requirements in Software Transactional Memory},
  journal   = {{TOPC}},
  volume    = {2},
  number    = {2},
  pages     = {10:1--10:30},
  year      = {2015},
  url       = {https://doi.org/10.1145/2779621},
  doi       = {10.1145/2779621},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/topc/MaldonadoMFLMR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/Attouchi0MLB15,
  author    = {Koutheir Attouchi and
               Ga{\"{e}}l Thomas and
               Gilles Muller and
               Julia L. Lawall and
               Andr{\'{e}} Bottaro},
  title     = {Incinerator - Eliminating Stale References in Dynamic OSGi Applications},
  booktitle = {45th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2015, Rio de Janeiro, Brazil, June 22-25, 2015},
  pages     = {545--554},
  year      = {2015},
  crossref  = {DBLP:conf/dsn/2015},
  url       = {https://doi.org/10.1109/DSN.2015.39},
  doi       = {10.1109/DSN.2015.39},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/Attouchi0MLB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/RodriguezL15,
  author    = {Luis R. Rodriguez and
               Julia Lawall},
  title     = {Increasing Automation in the Backporting of Linux Drivers Using Coccinelle},
  booktitle = {11th European Dependable Computing Conference, {EDCC} 2015, Paris,
               France, September 7-11, 2015},
  pages     = {132--143},
  year      = {2015},
  crossref  = {DBLP:conf/edcc/2015},
  url       = {https://doi.org/10.1109/EDCC.2015.23},
  doi       = {10.1109/EDCC.2015.23},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/RodriguezL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/SahaLKP15,
  author    = {Ripon K. Saha and
               Julia Lawall and
               Sarfraz Khurshid and
               Dewayne E. Perry},
  title     = {Are These Bugs Really "Normal"?},
  booktitle = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  pages     = {258--268},
  year      = {2015},
  crossref  = {DBLP:conf/msr/2015},
  url       = {https://doi.org/10.1109/MSR.2015.31},
  doi       = {10.1109/MSR.2015.31},
  timestamp = {Thu, 23 Nov 2017 13:05:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/msr/SahaLKP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/CotaMLMGDB15,
  author    = {Guido Lena Cota and
               Sonia Ben Mokhtar and
               Julia L. Lawall and
               Gilles Muller and
               Gabriele Gianini and
               Ernesto Damiani and
               Lionel Brunie},
  title     = {A Framework for the Design Configuration of Accountable Selfish-Resilient
               Peer-to-Peer Systems},
  booktitle = {34th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2015,
               Montreal, QC, Canada, September 28 - October 1, 2015},
  pages     = {276--285},
  year      = {2015},
  crossref  = {DBLP:conf/srds/2015},
  url       = {https://doi.org/10.1109/SRDS.2015.36},
  doi       = {10.1109/SRDS.2015.36},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/srds/CotaMLMGDB15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/PalixFL15,
  author    = {Nicolas Palix and
               Jean{-}R{\'{e}}my Falleri and
               Julia Lawall},
  title     = {Improving pattern tracking with a language-aware tree differencing
               algorithm},
  booktitle = {22nd {IEEE} International Conference on Software Analysis, Evolution,
               and Reengineering, {SANER} 2015, Montreal, QC, Canada, March 2-6,
               2015},
  pages     = {43--52},
  year      = {2015},
  crossref  = {DBLP:conf/wcre/2015},
  url       = {https://doi.org/10.1109/SANER.2015.7081814},
  doi       = {10.1109/SANER.2015.7081814},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/PalixFL15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OlesenHLP14,
  author    = {Mads Chr. Olesen and
               Ren{\'{e}} Rydhof Hansen and
               Julia L. Lawall and
               Nicolas Palix},
  title     = {Coccinelle: Tool support for automated {CERT} {C} Secure Coding Standard
               certification},
  journal   = {Sci. Comput. Program.},
  volume    = {91},
  pages     = {141--160},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2012.10.011},
  doi       = {10.1016/j.scico.2012.10.011},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/OlesenHLP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/PalixTSCML14,
  author    = {Nicolas Palix and
               Ga{\"{e}}l Thomas and
               Suman Saha and
               Christophe Calv{\`{e}}s and
               Gilles Muller and
               Julia Lawall},
  title     = {Faults in Linux 2.6},
  journal   = {{ACM} Trans. Comput. Syst.},
  volume    = {32},
  number    = {2},
  pages     = {4:1--4:40},
  year      = {2014},
  url       = {https://doi.org/10.1145/2619090},
  doi       = {10.1145/2619090},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/tocs/PalixTSCML14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/Lawall14,
  author    = {Julia L. Lawall},
  title     = {Coccinelle: reducing the barriers to modularization in a large {C}
               code base},
  booktitle = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
               Switzerland, April 22-26, 2014},
  pages     = {5--6},
  year      = {2014},
  crossref  = {DBLP:conf/aosd/2014},
  url       = {https://doi.org/10.1145/2584469.2584661},
  doi       = {10.1145/2584469.2584661},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/Lawall14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/KochharTLL14,
  author    = {Pavneet Singh Kochhar and
               Ferdian Thung and
               David Lo and
               Julia L. Lawall},
  title     = {An Empirical Study on the Adequacy of Testing in Open Source Projects},
  booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
               South Korea, December 1-4, 2014. Volume 1: Research Papers},
  pages     = {215--222},
  year      = {2014},
  crossref  = {DBLP:conf/apsec/2014-1},
  url       = {https://doi.org/10.1109/APSEC.2014.42},
  doi       = {10.1109/APSEC.2014.42},
  timestamp = {Tue, 05 Feb 2019 10:00:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/KochharTLL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/TianLL14,
  author    = {Yuan Tian and
               David Lo and
               Julia L. Lawall},
  title     = {Automated construction of a software-specific word similarity database},
  booktitle = {2014 Software Evolution Week - {IEEE} Conference on Software Maintenance,
               Reengineering, and Reverse Engineering, {CSMR-WCRE} 2014, Antwerp,
               Belgium, February 3-6, 2014},
  pages     = {44--53},
  year      = {2014},
  crossref  = {DBLP:conf/csmr/2014},
  url       = {https://doi.org/10.1109/CSMR-WCRE.2014.6747213},
  doi       = {10.1109/CSMR-WCRE.2014.6747213},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csmr/TianLL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TianLL14,
  author    = {Yuan Tian and
               David Lo and
               Julia L. Lawall},
  title     = {SEWordSim: software-specific word similarity database},
  booktitle = {36th International Conference on Software Engineering, {ICSE} '14,
               Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  pages     = {568--571},
  year      = {2014},
  crossref  = {DBLP:conf/icse/2014c},
  url       = {https://doi.org/10.1145/2591062.2591071},
  doi       = {10.1145/2591062.2591071},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TianLL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/SahaLKP14,
  author    = {Ripon K. Saha and
               Julia Lawall and
               Sarfraz Khurshid and
               Dewayne E. Perry},
  title     = {On the Effectiveness of Information Retrieval Based Bug Localization
               for {C} Programs},
  booktitle = {30th {IEEE} International Conference on Software Maintenance and Evolution,
               Victoria, BC, Canada, September 29 - October 3, 2014},
  pages     = {161--170},
  year      = {2014},
  crossref  = {DBLP:conf/icsm/2014},
  url       = {https://doi.org/10.1109/ICSME.2014.38},
  doi       = {10.1109/ICSME.2014.38},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/SahaLKP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/WangLL14,
  author    = {Shaowei Wang and
               David Lo and
               Julia Lawall},
  title     = {Compositional Vector Space Models for Improved Bug Localization},
  booktitle = {30th {IEEE} International Conference on Software Maintenance and Evolution,
               Victoria, BC, Canada, September 29 - October 3, 2014},
  pages     = {171--180},
  year      = {2014},
  crossref  = {DBLP:conf/icsm/2014},
  url       = {https://doi.org/10.1109/ICSME.2014.39},
  doi       = {10.1109/ICSME.2014.39},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/WangLL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/GuoLM14,
  author    = {Lisong Guo and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Oops! where did that code snippet come from?},
  booktitle = {11th Working Conference on Mining Software Repositories, {MSR} 2014,
               Proceedings, May 31 - June 1, 2014, Hyderabad, India},
  pages     = {52--61},
  year      = {2014},
  crossref  = {DBLP:conf/msr/2014},
  url       = {https://doi.org/10.1145/2597073.2597094},
  doi       = {10.1145/2597073.2597094},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/msr/GuoLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/DavidTLM14,
  author    = {Florian David and
               Ga{\"{e}}l Thomas and
               Julia Lawall and
               Gilles Muller},
  title     = {Continuously measuring critical section pressure with the free-lunch
               profiler},
  booktitle = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  pages     = {291--307},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014},
  url       = {https://doi.org/10.1145/2660193.2660210},
  doi       = {10.1145/2660193.2660210},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/DavidTLM14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Palix0SCML14,
  author    = {Nicolas Palix and
               Ga{\"{e}}l Thomas and
               Suman Saha and
               Christophe Calv{\`{e}}s and
               Gilles Muller and
               Julia L. Lawall},
  title     = {Faults in Linux 2.6},
  journal   = {CoRR},
  volume    = {abs/1407.4346},
  year      = {2014},
  url       = {http://arxiv.org/abs/1407.4346},
  archivePrefix = {arXiv},
  eprint    = {1407.4346},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Palix0SCML14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ZsokPL13,
  author    = {Vikt{\'{o}}ria Zs{\'{o}}k and
               Rex L. Page and
               Julia Lawall},
  title     = {Editorial {TFP} 2009/2010},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {26},
  number    = {1-4},
  pages     = {1--2},
  year      = {2013},
  url       = {https://doi.org/10.1007/s10990-014-9102-x},
  doi       = {10.1007/s10990-014-9102-x},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/ZsokPL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/LawallL13,
  author    = {Julia L. Lawall and
               Cristina V. Lopes},
  title     = {{SIGPLAN} professional activities committee report},
  journal   = {{SIGPLAN} Notices},
  volume    = {48},
  number    = {4S},
  pages     = {9},
  year      = {2013},
  url       = {https://doi.org/10.1145/2502508.2502515},
  doi       = {10.1145/2502508.2502515},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigplan/LawallL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/LawallBPHSM13,
  author    = {Julia L. Lawall and
               Julien Brunel and
               Nicolas Palix and
               Ren{\'{e}} Rydhof Hansen and
               Henrik Stuart and
               Gilles Muller},
  title     = {{WYSIWIB:} exploiting fine-grained program structure in a scriptable
               API-usage protocol-finding process},
  journal   = {Softw., Pract. Exper.},
  volume    = {43},
  number    = {1},
  pages     = {67--92},
  year      = {2013},
  url       = {https://doi.org/10.1002/spe.2102},
  doi       = {10.1002/spe.2102},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/LawallBPHSM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tdsc/HermenierLM13,
  author    = {Fabien Hermenier and
               Julia L. Lawall and
               Gilles Muller},
  title     = {BtrPlace: {A} Flexible Consolidation Manager for Highly Available
               Applications},
  journal   = {{IEEE} Trans. Dependable Sec. Comput.},
  volume    = {10},
  number    = {5},
  pages     = {273--286},
  year      = {2013},
  url       = {https://doi.org/10.1109/TDSC.2013.5},
  doi       = {10.1109/TDSC.2013.5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tdsc/HermenierLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/SahaL0LM13,
  author    = {Suman Saha and
               Jean{-}Pierre Lozi and
               Ga{\"{e}}l Thomas and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Hector: Detecting Resource-Release Omission Faults in error-handling
               code for systems software},
  booktitle = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
               Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  pages     = {1--12},
  year      = {2013},
  crossref  = {DBLP:conf/dsn/2013},
  url       = {https://doi.org/10.1109/DSN.2013.6575307},
  doi       = {10.1109/DSN.2013.6575307},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/SahaL0LM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ThungWLL13,
  author    = {Ferdian Thung and
               Shaowei Wang and
               David Lo and
               Julia L. Lawall},
  title     = {Automatic recommendation of {API} methods from feature requests},
  booktitle = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  pages     = {290--300},
  year      = {2013},
  crossref  = {DBLP:conf/kbse/2013},
  url       = {https://doi.org/10.1109/ASE.2013.6693088},
  doi       = {10.1109/ASE.2013.6693088},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/ThungWLL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/TschudinRJLLM13,
  author    = {Peter Senna Tschudin and
               Laurent R{\'{e}}veill{\`{e}}re and
               Lingxiao Jiang and
               David Lo and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Understanding the genetic makeup of Linux device drivers},
  booktitle = {Proceedings of the Seventh Workshop on Programming Languages and Operating
               Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
               2013},
  pages     = {10:1--10:6},
  year      = {2013},
  crossref  = {DBLP:conf/sosp/2013plos},
  url       = {https://doi.org/10.1145/2525528.2525536},
  doi       = {10.1145/2525528.2525536},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/TschudinRJLLM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/ThungLL13,
  author    = {Ferdian Thung and
               David Lo and
               Julia L. Lawall},
  title     = {Automated library recommendation},
  booktitle = {20th Working Conference on Reverse Engineering, {WCRE} 2013, Koblenz,
               Germany, October 14-17, 2013},
  pages     = {182--191},
  year      = {2013},
  crossref  = {DBLP:conf/wcre/2013},
  url       = {https://doi.org/10.1109/WCRE.2013.6671293},
  doi       = {10.1109/WCRE.2013.6671293},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/ThungLL13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/KiselyovLT12,
  author    = {Oleg Kiselyov and
               Julia Lawall and
               Simon J. Thompson},
  title     = {Editorial {PEPM2012}},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {25},
  number    = {1},
  pages     = {1--2},
  year      = {2012},
  url       = {https://doi.org/10.1007/s10990-013-9092-0},
  doi       = {10.1007/s10990-013-9092-0},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/KiselyovLT12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ApelLL12,
  author    = {Sven Apel and
               Christian Lengauer and
               Julia L. Lawall},
  title     = {Preface to the special issue on feature-oriented software development
               {(FOSD} 2009)},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {3},
  pages     = {129--130},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2011.02.002},
  doi       = {10.1016/j.scico.2011.02.002},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/ApelLL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TianLL12,
  author    = {Yuan Tian and
               Julia L. Lawall and
               David Lo},
  title     = {Identifying Linux bug fixing patches},
  booktitle = {34th International Conference on Software Engineering, {ICSE} 2012,
               June 2-9, 2012, Zurich, Switzerland},
  pages     = {386--396},
  year      = {2012},
  crossref  = {DBLP:conf/icse/2012},
  url       = {https://doi.org/10.1109/ICSE.2012.6227176},
  doi       = {10.1109/ICSE.2012.6227176},
  timestamp = {Thu, 13 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/TianLL12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/BissyandeRLM12,
  author    = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Diagnosys: automatic generation of a debugging interface to the Linux
               kernel},
  booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  pages     = {60--69},
  year      = {2012},
  crossref  = {DBLP:conf/kbse/2012},
  url       = {https://doi.org/10.1145/2351676.2351686},
  doi       = {10.1145/2351676.2351686},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/BissyandeRLM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndersenNLLK12,
  author    = {Jesper Andersen and
               Anh Cuong Nguyen and
               David Lo and
               Julia L. Lawall and
               Siau{-}Cheng Khoo},
  title     = {Semantic patch inference},
  booktitle = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  pages     = {382--385},
  year      = {2012},
  crossref  = {DBLP:conf/kbse/2012},
  url       = {https://doi.org/10.1145/2351676.2351753},
  doi       = {10.1145/2351676.2351753},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/AndersenNLLK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/LoziD0LM12,
  author    = {Jean{-}Pierre Lozi and
               Florian David and
               Ga{\"{e}}l Thomas and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Remote Core Locking: Migrating Critical-Section Execution to Improve
               the Performance of Multithreaded Applications},
  booktitle = {2012 {USENIX} Annual Technical Conference, Boston, MA, USA, June 13-15,
               2012},
  pages     = {65--76},
  year      = {2012},
  crossref  = {DBLP:conf/usenix/2012},
  url       = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/lozi},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/LoziD0LM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LawallPV11,
  author    = {Julia L. Lawall and
               Germ{\'{a}}n Puebla and
               Germ{\'{a}}n Vidal},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {24},
  number    = {1-2},
  pages     = {1--2},
  year      = {2011},
  url       = {https://doi.org/10.1007/s10990-011-9069-9},
  doi       = {10.1007/s10990-011-9069-9},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/LawallPV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/SahaLM11,
  author    = {Suman Saha and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Finding resource-release omission faults in Linux},
  journal   = {Operating Systems Review},
  volume    = {45},
  number    = {3},
  pages     = {5--9},
  year      = {2011},
  url       = {https://doi.org/10.1145/2094091.2094094},
  doi       = {10.1145/2094091.2094094},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigops/SahaLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BurgyRLM11,
  author    = {Laurent Burgy and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Zebu: {A} Language-Based Approach for Network Protocol Message Processing},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {37},
  number    = {4},
  pages     = {575--591},
  year      = {2011},
  url       = {https://doi.org/10.1109/TSE.2010.64},
  doi       = {10.1109/TSE.2010.64},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/BurgyRLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/PalixTSCLM11,
  author    = {Nicolas Palix and
               Ga{\"{e}}l Thomas and
               Suman Saha and
               Christophe Calv{\`{e}}s and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Faults in linux: ten years later},
  booktitle = {Proceedings of the 16th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2011, Newport Beach, CA, USA, March 5-11, 2011},
  pages     = {305--318},
  year      = {2011},
  crossref  = {DBLP:conf/asplos/2011},
  url       = {https://doi.org/10.1145/1950365.1950401},
  doi       = {10.1145/1950365.1950401},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/PalixTSCLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/MaldonadoMFLMR11,
  author    = {Walther Maldonado and
               Patrick Marlier and
               Pascal Felber and
               Julia L. Lawall and
               Gilles Muller and
               Etienne Riviere},
  title     = {Deadline-aware scheduling for Software Transactional Memory},
  booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
  pages     = {257--268},
  year      = {2011},
  crossref  = {DBLP:conf/dsn/2011},
  url       = {https://doi.org/10.1109/DSN.2011.5958224},
  doi       = {10.1109/DSN.2011.5958224},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/MaldonadoMFLMR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CassouBCL11,
  author    = {Damien Cassou and
               Emilie Balland and
               Charles Consel and
               Julia L. Lawall},
  title     = {Leveraging software architectures to guide and verify the development
               of sense/compute/control applications},
  booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  pages     = {431--440},
  year      = {2011},
  crossref  = {DBLP:conf/icse/2011},
  url       = {https://doi.org/10.1145/1985793.1985852},
  doi       = {10.1145/1985793.1985852},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/CassouBCL11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/SahaLM11,
  author    = {Suman Saha and
               Julia L. Lawall and
               Gilles Muller},
  title     = {An approach to improving the structure of error-handling code in the
               linux kernel},
  booktitle = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages,
               compilers, and tools for embedded systems, {LCTES} 2011, Chicago,
               IL, USA, April 11-14, 2011},
  pages     = {41--50},
  year      = {2011},
  crossref  = {DBLP:conf/lctrts/2011},
  url       = {https://doi.org/10.1145/1967677.1967684},
  doi       = {10.1145/1967677.1967684},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lctrts/SahaLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/SahaLM11,
  author    = {Suman Saha and
               Julia Lawall and
               Gilles Muller},
  title     = {Finding resource-release omission faults in Linux},
  booktitle = {Proceedings of the 6th Workshop on Programming Languages and Operating
               Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
  pages     = {1:1--1:5},
  year      = {2011},
  crossref  = {DBLP:conf/sosp/2011plos},
  url       = {https://doi.org/10.1145/2039239.2039241},
  doi       = {10.1145/2039239.2039241},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/SahaLM11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4200,
  author    = {Damien Cassou and
               Charles Consel and
               Emilie Balland and
               Julia L. Lawall},
  title     = {Faire levier sur les architectures logicielles pour guider et v{\'{e}}rifier
               le d{\'{e}}veloppement d'applications {SCC}},
  journal   = {CoRR},
  volume    = {abs/1106.4200},
  year      = {2011},
  url       = {http://arxiv.org/abs/1106.4200},
  archivePrefix = {arXiv},
  eprint    = {1106.4200},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1106-4200},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-2807,
  author    = {Damien Cassou and
               Emilie Balland and
               Charles Consel and
               Julia L. Lawall},
  title     = {Leveraging Software Architectures to Guide and Verify the Development
               of Sense/Compute/Control Applications},
  journal   = {CoRR},
  volume    = {abs/1109.2807},
  year      = {2011},
  url       = {http://arxiv.org/abs/1109.2807},
  archivePrefix = {arXiv},
  eprint    = {1109.2807},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1109-2807},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/AndersenL10,
  author    = {Jesper Andersen and
               Julia L. Lawall},
  title     = {Generic patch inference},
  journal   = {Autom. Softw. Eng.},
  volume    = {17},
  number    = {2},
  pages     = {119--148},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10515-010-0062-z},
  doi       = {10.1007/s10515-010-0062-z},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ase/AndersenL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/OlesenHLP10,
  author    = {Mads Chr. Olesen and
               Ren{\'{e}} Rydhof Hansen and
               Julia L. Lawall and
               Nicolas Palix},
  title     = {Clang and Coccinelle: Synergising program analysis tools for {CERT}
               {C} Secure Coding Standard certification},
  journal   = {{ECEASST}},
  volume    = {33},
  year      = {2010},
  url       = {https://doi.org/10.14279/tuj.eceasst.33.455},
  doi       = {10.14279/tuj.eceasst.33.455},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/OlesenHLP10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Lawall10,
  author    = {Julia L. Lawall},
  title     = {Preface to special issue on Generative Programming and Component Engineering
               {(GPCE} 2007)},
  journal   = {Sci. Comput. Program.},
  volume    = {75},
  number    = {7},
  pages     = {471--472},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.scico.2010.01.005},
  doi       = {10.1016/j.scico.2010.01.005},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/Lawall10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/PalixLM10,
  author    = {Nicolas Palix and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Tracking code patterns over multiple software versions with Herodotos},
  booktitle = {Proceedings of the 9th International Conference on Aspect-Oriented
               Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
               March 15-19, 2010},
  pages     = {169--180},
  year      = {2010},
  crossref  = {DBLP:conf/aosd/2010},
  url       = {https://doi.org/10.1145/1739230.1739250},
  doi       = {10.1145/1739230.1739250},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/PalixLM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/Filali-AmineL10,
  author    = {Mamoun Filali{-}Amine and
               Julia L. Lawall},
  title     = {Development of a Synchronous Subset of {AADL}},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {245--258},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1\_19},
  doi       = {10.1007/978-3-642-11811-1\_19},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/Filali-AmineL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/LawallLHPM10,
  author    = {Julia L. Lawall and
               Ben Laurie and
               Ren{\'{e}} Rydhof Hansen and
               Nicolas Palix and
               Gilles Muller},
  title     = {Finding Error Handling Bugs in OpenSSL Using Coccinelle},
  booktitle = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
               Spain, 28-30 April 2010},
  pages     = {191--196},
  year      = {2010},
  crossref  = {DBLP:conf/edcc/2010},
  url       = {https://doi.org/10.1109/EDCC.2010.31},
  doi       = {10.1109/EDCC.2010.31},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/LawallLHPM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LawallL10,
  author    = {Julia L. Lawall and
               David Lo},
  title     = {An automated approach for finding variable-constant pairing bugs},
  booktitle = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  pages     = {103--112},
  year      = {2010},
  crossref  = {DBLP:conf/kbse/2010},
  url       = {https://doi.org/10.1145/1858996.1859014},
  doi       = {10.1145/1858996.1859014},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/LawallL10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BissyandeRBLM10,
  author    = {Tegawend{\'{e}} F. Bissyand{\'{e}} and
               Laurent R{\'{e}}veill{\`{e}}re and
               Y{\'{e}}rom{-}David Bromberg and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Bridging the Gap between Legacy Services and Web Services},
  booktitle = {Middleware 2010 - {ACM/IFIP/USENIX} 11th International Middleware
               Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings},
  pages     = {273--292},
  year      = {2010},
  crossref  = {DBLP:conf/middleware/2010},
  url       = {https://doi.org/10.1007/978-3-642-16955-7\_14},
  doi       = {10.1007/978-3-642-16955-7\_14},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/middleware/BissyandeRBLM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppopp/MaldonadoMFSHFLM10,
  author    = {Walther Maldonado and
               Patrick Marlier and
               Pascal Felber and
               Adi Suissa and
               Danny Hendler and
               Alexandra Fedorova and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Scheduling support for transactional memory contention management},
  booktitle = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
               January 9-14, 2010},
  pages     = {79--90},
  year      = {2010},
  crossref  = {DBLP:conf/ppopp/2010},
  url       = {https://doi.org/10.1145/1693453.1693465},
  doi       = {10.1145/1693453.1693465},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/MaldonadoMFSHFLM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/GeoffrayTLMF10,
  author    = {Nicolas Geoffray and
               Ga{\"{e}}l Thomas and
               Julia L. Lawall and
               Gilles Muller and
               Bertil Folliot},
  title     = {VMKit: a substrate for managed runtime environments},
  booktitle = {Proceedings of the 6th International Conference on Virtual Execution
               Environments, {VEE} 2010, Pittsburgh, Pennsylvania, USA, March 17-19,
               2010},
  pages     = {51--62},
  year      = {2010},
  crossref  = {DBLP:conf/vee/2010},
  url       = {https://doi.org/10.1145/1735997.1736006},
  doi       = {10.1145/1735997.1736006},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vee/GeoffrayTLMF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/LawallHPM10,
  author    = {Julia L. Lawall and
               Ren{\'{e}} Rydhof Hansen and
               Nicolas Palix and
               Gilles Muller},
  title     = {Improving the Security of Infrastructure Software using Coccinelle},
  journal   = {{ERCIM} News},
  volume    = {2010},
  number    = {83},
  pages     = {54},
  year      = {2010},
  url       = {http://ercim-news.ercim.eu/en83/rd/improving-the-security-of-infrastructure-software-using-coccinelle},
  timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/ercim/LawallHPM10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LawallBPHSM09,
  author    = {Julia L. Lawall and
               Julien Brunel and
               Nicolas Palix and
               Ren{\'{e}} Rydhof Hansen and
               Henrik Stuart and
               Gilles Muller},
  title     = {{WYSIWIB:} {A} declarative approach to finding {API} protocols and
               bugs in Linux code},
  booktitle = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
               29 - July 2, 2009},
  pages     = {43--52},
  year      = {2009},
  crossref  = {DBLP:conf/dsn/2009},
  url       = {https://doi.org/10.1109/DSN.2009.5270354},
  doi       = {10.1109/DSN.2009.5270354},
  timestamp = {Thu, 07 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/LawallBPHSM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/BrombergRLM09,
  author    = {Y{\'{e}}rom{-}David Bromberg and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Automatic Generation of Network Protocol Gateways},
  booktitle = {Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference,
               Urbana, IL, USA, November 30 - December 4, 2009. Proceedings},
  pages     = {21--41},
  year      = {2009},
  crossref  = {DBLP:conf/middleware/2009},
  url       = {https://doi.org/10.1007/978-3-642-10445-9\_2},
  doi       = {10.1007/978-3-642-10445-9\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/middleware/BrombergRLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/BrunelDHLM09,
  author    = {Julien Brunel and
               Damien Doligez and
               Ren{\'{e}} Rydhof Hansen and
               Julia L. Lawall and
               Gilles Muller},
  title     = {A foundation for flow-based program matching: using temporal logic
               and model checking},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
               21-23, 2009},
  pages     = {114--126},
  year      = {2009},
  crossref  = {DBLP:conf/popl/2009},
  url       = {https://doi.org/10.1145/1480881.1480897},
  doi       = {10.1145/1480881.1480897},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/BrunelDHLM09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vee/HermenierLMML09,
  author    = {Fabien Hermenier and
               Xavier Lorca and
               Jean{-}Marc Menaud and
               Gilles Muller and
               Julia L. Lawall},
  title     = {Entropy: a consolidation manager for clusters},
  booktitle = {Proceedings of the 5th International Conference on Virtual Execution
               Environments, {VEE} 2009, Washington, DC, USA, March 11-13, 2009},
  pages     = {41--50},
  year      = {2009},
  crossref  = {DBLP:conf/vee/2009},
  url       = {https://doi.org/10.1145/1508293.1508300},
  doi       = {10.1145/1508293.1508300},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vee/HermenierLMML09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/Lawall08,
  author    = {Julia L. Lawall},
  title     = {Editorial},
  journal   = {J. Funct. Program.},
  volume    = {18},
  number    = {5-6},
  pages     = {565--566},
  year      = {2008},
  url       = {https://doi.org/10.1017/S0956796808006965},
  doi       = {10.1017/S0956796808006965},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jfp/Lawall08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LawallLS08,
  author    = {Julia L. Lawall and
               Michael Leuschel and
               Peter Sestoft},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {21},
  number    = {1-2},
  pages     = {1--3},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10990-008-9029-1},
  doi       = {10.1007/s10990-008-9029-1},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/LawallLS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyDLT08,
  author    = {Olivier Danvy and
               R. Kent Dybvig and
               Julia L. Lawall and
               Peter Thiemann},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {21},
  number    = {3},
  pages     = {237--238},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10990-008-9036-2},
  doi       = {10.1007/s10990-008-9036-2},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/DanvyDLT08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PadioleauLHM08,
  author    = {Yoann Padioleau and
               Julia L. Lawall and
               Ren{\'{e}} Rydhof Hansen and
               Gilles Muller},
  title     = {Documenting and automating collateral evolutions in linux device drivers},
  booktitle = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
               April 1-4, 2008},
  pages     = {247--260},
  year      = {2008},
  crossref  = {DBLP:conf/eurosys/2008},
  url       = {https://doi.org/10.1145/1352592.1352618},
  doi       = {10.1145/1352592.1352618},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/PadioleauLHM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/MercadalPCL08,
  author    = {Julien Mercadal and
               Nicolas Palix and
               Charles Consel and
               Julia L. Lawall},
  title     = {Pantaxou: a domain-specific language for developing safe coordination
               services},
  booktitle = {Generative Programming and Component Engineering, 7th International
               Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
               Proceedings},
  pages     = {149--160},
  year      = {2008},
  crossref  = {DBLP:conf/gpce/2008},
  url       = {https://doi.org/10.1145/1449913.1449936},
  doi       = {10.1145/1449913.1449936},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/MercadalPCL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AndersenL08,
  author    = {Jesper Andersen and
               Julia L. Lawall},
  title     = {Generic Patch Inference},
  booktitle = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  pages     = {337--346},
  year      = {2008},
  crossref  = {DBLP:conf/kbse/2008},
  url       = {https://doi.org/10.1109/ASE.2008.44},
  doi       = {10.1109/ASE.2008.44},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/AndersenL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/percom/JouveLPCL08,
  author    = {Wilfried Jouve and
               Julien Lancia and
               Nicolas Palix and
               Charles Consel and
               Julia L. Lawall},
  title     = {High-level Programming Support for Robust Pervasive Computing Applications},
  booktitle = {Sixth Annual {IEEE} International Conference on Pervasive Computing
               and Communications (PerCom 2008), 17-21 March 2008, Hong Kong},
  pages     = {252--255},
  year      = {2008},
  crossref  = {DBLP:conf/percom/2008},
  url       = {https://doi.org/10.1109/PERCOM.2008.9},
  doi       = {10.1109/PERCOM.2008.9},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/percom/JouveLPCL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/springer/BaraisMDL08,
  author    = {Olivier Barais and
               Anne{-}Fran{\c{c}}oise Le Meur and
               Laurence Duchien and
               Julia L. Lawall},
  title     = {Software Architecture Evolution},
  booktitle = {Software Evolution},
  pages     = {233--262},
  year      = {2008},
  crossref  = {DBLP:series/springer/2008Mens},
  url       = {https://doi.org/10.1007/978-3-540-76440-3\_10},
  doi       = {10.1007/978-3-540-76440-3\_10},
  timestamp = {Wed, 14 Nov 2018 10:12:19 +0100},
  biburl    = {https://dblp.org/rec/bib/series/springer/BaraisMDL08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/PadioleauLM07,
  author    = {Yoann Padioleau and
               Julia L. Lawall and
               Gilles Muller},
  title     = {SmPL: {A} Domain-Specific Language for Specifying Collateral Evolutions
               in Linux Device Drivers},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {166},
  pages     = {47--62},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2006.07.022},
  doi       = {10.1016/j.entcs.2006.07.022},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/PadioleauLM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/BodeveixFLM07,
  author    = {Jean{-}Paul Bodeveix and
               Mamoun Filali and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Automatic Verification of Bossa Scheduler Properties},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {185},
  pages     = {17--32},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.05.026},
  doi       = {10.1016/j.entcs.2007.05.026},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/BodeveixFLM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iptcomm/PalixCRL07,
  author    = {Nicolas Palix and
               Charles Consel and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall},
  title     = {A stepwise approach to developing languages for {SIP} telephony service
               creation},
  booktitle = {Principles, Systems and Applications of {IP} Telecommunications. First
               International Conference, IPTComm 2007, New York, NY, USA, July 19-20,
               2007. Proceedings},
  pages     = {79--88},
  year      = {2007},
  crossref  = {DBLP:conf/iptcomm/2007},
  url       = {https://doi.org/10.1145/1326304.1326317},
  doi       = {10.1145/1326304.1326317},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iptcomm/PalixCRL07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/StuartHLAPM07,
  author    = {Henrik Stuart and
               Ren{\'{e}} Rydhof Hansen and
               Julia L. Lawall and
               Jesper Andersen and
               Yoann Padioleau and
               Gilles Muller},
  title     = {Towards easing the diagnosis of bugs in {OS} code},
  booktitle = {Proceedings of the 4th workshop on Programming languages and operating
               systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
  pages     = {2:1--2:5},
  year      = {2007},
  crossref  = {DBLP:conf/sosp/2007plos},
  url       = {https://doi.org/10.1145/1376789.1376792},
  doi       = {10.1145/1376789.1376792},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/StuartHLAPM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BurgyRLM07,
  author    = {Laurent Burgy and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Gilles Muller},
  title     = {A Language-Based Approach for Improving the Robustness of Network
               Application Protocol Implementations},
  booktitle = {26th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2007),
               Beijing, China, October 10-12, 2007},
  pages     = {149--160},
  year      = {2007},
  crossref  = {DBLP:conf/srds/2007},
  url       = {https://doi.org/10.1109/SRDS.2007.26},
  doi       = {10.1109/SRDS.2007.26},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/srds/BurgyRLM07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2007,
  editor    = {Charles Consel and
               Julia L. Lawall},
  title     = {Generative Programming and Component Engineering, 6th International
               Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-855-8},
  timestamp = {Wed, 09 Apr 2008 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/UrunuelaML07,
  author    = {Richard Urunuela and
               Gilles Muller and
               Julia L. Lawall},
  title     = {Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications},
  booktitle = {Power-aware Computing Systems, 21.01. - 26.01.2007},
  year      = {2007},
  crossref  = {DBLP:conf/dagstuhl/2007P7041},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2007/1108},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/UrunuelaML07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0704-1373,
  author    = {Laurent Burgy and
               Laurent R{\'{e}}veill{\`{e}}re and
               Julia L. Lawall and
               Gilles Muller},
  title     = {A Language-Based Approach for Improving the Robustness of Network
               Application Protocol Implementations},
  journal   = {CoRR},
  volume    = {abs/0704.1373},
  year      = {2007},
  url       = {http://arxiv.org/abs/0704.1373},
  archivePrefix = {arXiv},
  eprint    = {0704.1373},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-0704-1373},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/MullerPLH06,
  author    = {Gilles Muller and
               Yoann Padioleau and
               Julia L. Lawall and
               Ren{\'{e}} Rydhof Hansen},
  title     = {Semantic patches considered helpful},
  journal   = {Operating Systems Review},
  volume    = {40},
  number    = {3},
  pages     = {90--92},
  year      = {2006},
  url       = {https://doi.org/10.1145/1151374.1151392},
  doi       = {10.1145/1151374.1151392},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigops/MullerPLH06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/PadioleauHLM06,
  author    = {Yoann Padioleau and
               Ren{\'{e}} Rydhof Hansen and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Semantic patches for documenting and automating collateral evolutions
               in Linux device drivers},
  booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
               Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
               San Jose, California, USA, October 22, 2006},
  pages     = {10},
  year      = {2006},
  crossref  = {DBLP:conf/asplos/2006plos},
  url       = {https://doi.org/10.1145/1215995.1216005},
  doi       = {10.1145/1215995.1216005},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/PadioleauHLM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/LawallPS06,
  author    = {Julia L. Lawall and
               Christian W. Probst and
               Ulrik Pagh Schultz},
  title     = {Issues in holistic system design},
  booktitle = {Proceedings of the 3rd Workshop on Programming Languages and Operating
               Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
               San Jose, California, USA, October 22, 2006},
  pages     = {12},
  year      = {2006},
  crossref  = {DBLP:conf/asplos/2006plos},
  url       = {https://doi.org/10.1145/1215995.1216007},
  doi       = {10.1145/1215995.1216007},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/LawallPS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BaraisMDL06,
  author    = {Olivier Barais and
               Anne{-}Fran{\c{c}}oise Le Meur and
               Laurence Duchien and
               Julia L. Lawall},
  title     = {Safe Integration of New Concerns in a Software Architecture},
  booktitle = {13th Annual {IEEE} International Conference and Workshop on Engineering
               of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
               Germany},
  pages     = {52--64},
  year      = {2006},
  crossref  = {DBLP:conf/ecbs/2006},
  url       = {https://doi.org/10.1109/ECBS.2006.64},
  doi       = {10.1109/ECBS.2006.64},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/BaraisMDL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/UrunuelaML06,
  author    = {Richard Urunuela and
               Gilles Muller and
               Julia L. Lawall},
  title     = {Energy adaptation for multimedia information kiosks},
  booktitle = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
               on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
  pages     = {223--232},
  year      = {2006},
  crossref  = {DBLP:conf/emsoft/2006},
  url       = {https://doi.org/10.1145/1176887.1176920},
  doi       = {10.1145/1176887.1176920},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/UrunuelaML06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PadioleauLM06,
  author    = {Yoann Padioleau and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Understanding collateral evolution in Linux device drivers},
  booktitle = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
               18-21, 2006},
  pages     = {59--71},
  year      = {2006},
  crossref  = {DBLP:conf/eurosys/2006},
  url       = {https://doi.org/10.1145/1217935.1217942},
  doi       = {10.1145/1217935.1217942},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/PadioleauLM06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/BurgyCLLPR06,
  author    = {Laurent Burgy and
               Charles Consel and
               Fabien Latry and
               Julia L. Lawall and
               Nicolas Palix and
               Laurent R{\'{e}}veill{\`{e}}re},
  title     = {Language Technology for Internet-Telephony Service Creation},
  booktitle = {Proceedings of {IEEE} International Conference on Communications,
               {ICC} 2006, Istanbul, Turkey, 11-15 June 2006},
  pages     = {1795--1800},
  year      = {2006},
  crossref  = {DBLP:conf/icc/2006},
  url       = {https://doi.org/10.1109/ICC.2006.254980},
  doi       = {10.1109/ICC.2006.254980},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icc/BurgyCLLPR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/BhatiaCL06,
  author    = {Sapan Bhatia and
               Charles Consel and
               Julia L. Lawall},
  title     = {Memory-manager/scheduler co-design: optimizing event-driven servers
               to improve cache behavior},
  booktitle = {Proceedings of the 5th International Symposium on Memory Management,
               {ISMM} 2006, Ottawa, Ontario, Canada, June 10-11, 2006},
  pages     = {104--114},
  year      = {2006},
  crossref  = {DBLP:conf/iwmm/2006},
  url       = {https://doi.org/10.1145/1133956.1133971},
  doi       = {10.1145/1133956.1133971},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/BhatiaCL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcn/BhatiaCL06,
  author    = {Sapan Bhatia and
               Charles Consel and
               Julia L. Lawall},
  title     = {Minimizing Cache Misses in an Event-driven Network Server: {A} Case
               Study of {TUX}},
  booktitle = {{LCN} 2006, The 31st Annual {IEEE} Conference on Local Computer Networks,
               Tampa, Florida, USA, 14-16 November 2006},
  pages     = {47--54},
  year      = {2006},
  crossref  = {DBLP:conf/lcn/2006},
  url       = {https://doi.org/10.1109/LCN.2006.322069},
  doi       = {10.1109/LCN.2006.322069},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lcn/BhatiaCL06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/2006,
  editor    = {John H. Reppy and
               Julia L. Lawall},
  title     = {Proceedings of the 11th {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 2006, Portland, Oregon, USA, September
               16-21, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-309-3},
  timestamp = {Wed, 27 Sep 2006 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/FelleisenLSS05,
  author    = {Matthias Felleisen and
               Julia L. Lawall and
               Manuel Serrano and
               Olin Shivers},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {18},
  number    = {3-4},
  pages     = {243--244},
  year      = {2005},
  url       = {https://doi.org/10.1007/s10990-005-4875-6},
  doi       = {10.1007/s10990-005-4875-6},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/FelleisenLSS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LawallDMM05,
  author    = {Julia L. Lawall and
               Herv{\'{e}} Duchesne and
               Gilles Muller and
               Anne{-}Fran{\c{c}}oise Le Meur},
  title     = {Bossa Nova: Introducing Modularity into the Bossa Domain-Specific
               Language},
  booktitle = {Generative Programming and Component Engineering, 4th International
               Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
               1, 2005, Proceedings},
  pages     = {78--93},
  year      = {2005},
  crossref  = {DBLP:conf/gpce/2005},
  url       = {https://doi.org/10.1007/11561347\_7},
  doi       = {10.1007/11561347\_7},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/LawallDMM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/MullerLD05,
  author    = {Gilles Muller and
               Julia L. Lawall and
               Herv{\'{e}} Duchesne},
  title     = {A Framework for Simplifying the Development of Kernel Schedulers:
               Design and Performance Evaluation},
  booktitle = {Ninth {IEEE} International Symposium on High Assurance Systems Engineering
               {(HASE} 2005), 12-14 October 2005, Heidelberg, Germany},
  pages     = {56--65},
  year      = {2005},
  crossref  = {DBLP:conf/hase/2005},
  url       = {https://doi.org/10.1109/HASE.2005.1},
  doi       = {10.1109/HASE.2005.1},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hase/MullerLD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BodeveixFLM05,
  author    = {Jean{-}Paul Bodeveix and
               Mamoun Filali and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Formal Methods Meet Domain Specific Languages},
  booktitle = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
               Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  pages     = {187--206},
  year      = {2005},
  crossref  = {DBLP:conf/ifm/2005},
  url       = {https://doi.org/10.1007/11589976\_12},
  doi       = {10.1007/11589976\_12},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/BodeveixFLM05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/BaraisLMD05,
  author    = {Olivier Barais and
               Julia L. Lawall and
               Anne{-}Fran{\c{c}}oise Le Meur and
               Laurence Duchien},
  title     = {Providing Support for Safe Software Architecture Transformations},
  booktitle = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
               {(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
  pages     = {201--202},
  year      = {2005},
  crossref  = {DBLP:conf/wicsa/2005},
  url       = {https://doi.org/10.1109/WICSA.2005.54},
  doi       = {10.1109/WICSA.2005.54},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wicsa/BaraisLMD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/MullerLD05,
  author    = {Gilles Muller and
               Julia L. Lawall and
               Herv{\'{e}} Duchesne},
  title     = {A Framework for Simplifying the Development of Kernel Schedulers:
               Design and Performance Evaluation},
  booktitle = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
               Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
  pages     = {219--230},
  year      = {2005},
  crossref  = {DBLP:conf/words/2005},
  url       = {https://doi.org/10.1109/WORDS.2005.7},
  doi       = {10.1109/WORDS.2005.7},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/words/MullerLD05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/MeurLC04,
  author    = {Anne{-}Fran{\c{c}}oise Le Meur and
               Julia L. Lawall and
               Charles Consel},
  title     = {Specialization Scenarios: {A} Pragmatic Approach to Declaring Program
               Specialization},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {17},
  number    = {1-2},
  pages     = {47--92},
  year      = {2004},
  url       = {https://doi.org/10.1023/B:LISP.0000029448.02877.78},
  doi       = {10.1023/B:LISP.0000029448.02877.78},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/MeurLC04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ConselLM04,
  author    = {Charles Consel and
               Julia L. Lawall and
               Anne{-}Fran{\c{c}}oise Le Meur},
  title     = {A tour of Tempo: a program specializer for the {C} language},
  journal   = {Sci. Comput. Program.},
  volume    = {52},
  pages     = {341--370},
  year      = {2004},
  url       = {https://doi.org/10.1016/j.scico.2004.03.011},
  doi       = {10.1016/j.scico.2004.03.011},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/ConselLM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LawallMM04,
  author    = {Julia L. Lawall and
               Anne{-}Fran{\c{c}}oise Le Meur and
               Gilles Muller},
  title     = {On Designing a Target-Independent {DSL} for Safe {OS} Process-Scheduling
               Components},
  booktitle = {Generative Programming and Component Engineering: Third International
               Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  pages     = {436--455},
  year      = {2004},
  crossref  = {DBLP:conf/gpce/2004},
  url       = {https://doi.org/10.1007/978-3-540-30175-2\_23},
  doi       = {10.1007/978-3-540-30175-2\_23},
  timestamp = {Wed, 14 Nov 2018 10:59:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/LawallMM04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/LawallMD04,
  author    = {Julia L. Lawall and
               Gilles Muller and
               Herv{\'{e}} Duchesne},
  title     = {Invited application paper: language design for implementing process
               scheduling hierarchies},
  booktitle = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2004, Verona, Italy, August
               24-25, 2004},
  pages     = {80--91},
  year      = {2004},
  crossref  = {DBLP:conf/pepm/2004},
  url       = {https://doi.org/10.1145/1014007.1014016},
  doi       = {10.1145/1014007.1014016},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/LawallMD04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/MullerLMS04,
  author    = {Gilles Muller and
               Julia L. Lawall and
               Jean{-}Marc Menaud and
               Mario S{\"{u}}dholt},
  title     = {Constructing component-based extension interfaces in legacy systems
               code},
  booktitle = {Proceedings of the 11st {ACM} {SIGOPS} European Workshop, Leuven,
               Belgium, September 19-22, 2004},
  pages     = {15},
  year      = {2004},
  crossref  = {DBLP:conf/sigopsE/2004},
  url       = {https://doi.org/10.1145/1133572.1133605},
  doi       = {10.1145/1133572.1133605},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/MullerLMS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/SchultzLC03,
  author    = {Ulrik Pagh Schultz and
               Julia L. Lawall and
               Charles Consel},
  title     = {Automatic program specialization for Java},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {25},
  number    = {4},
  pages     = {452--499},
  year      = {2003},
  url       = {https://doi.org/10.1145/778559.778561},
  doi       = {10.1145/778559.778561},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/toplas/SchultzLC03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/MullerLTJ03,
  author    = {Gilles Muller and
               Julia L. Lawall and
               Scott Thibault and
               R. E. Voel Jensen},
  title     = {A domain-specific language approach to programmable networks},
  journal   = {{IEEE} Trans. Systems, Man, and Cybernetics, Part {C}},
  volume    = {33},
  number    = {3},
  pages     = {370--381},
  year      = {2003},
  url       = {https://doi.org/10.1109/TSMCC.2003.817364},
  doi       = {10.1109/TSMCC.2003.817364},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tsmc/MullerLTJ03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/Segura-DevillechaiseMML03,
  author    = {Marc S{\'{e}}gura{-}Devillechaise and
               Jean{-}Marc Menaud and
               Gilles Muller and
               Julia L. Lawall},
  title     = {Web cache prefetching as an aspect: towards a dynamic-weaving based
               solution},
  booktitle = {Proceedings of the 2nd International Conference on Aspect-Oriented
               Software Development, {AOSD} 2003, Boston, Massachusetts, USA, March
               17-21, 2003},
  pages     = {110--119},
  year      = {2003},
  crossref  = {DBLP:conf/aosd/2003},
  url       = {https://doi.org/10.1145/643603.643615},
  doi       = {10.1145/643603.643615},
  timestamp = {Tue, 06 Nov 2018 16:57:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/Segura-DevillechaiseMML03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AbergLSMM03,
  author    = {Rickard A. {\AA}berg and
               Julia L. Lawall and
               Mario S{\"{u}}dholt and
               Gilles Muller and
               Anne{-}Fran{\c{c}}oise Le Meur},
  title     = {On the automatic evolution of an {OS} kernel using temporal logic
               and {AOP}},
  booktitle = {18th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2003), 6-10 October 2003, Montreal, Canada},
  pages     = {196--204},
  year      = {2003},
  crossref  = {DBLP:conf/kbse/2003},
  url       = {https://doi.org/10.1109/ASE.2003.1240307},
  doi       = {10.1109/ASE.2003.1240307},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/AbergLSMM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/HeML02,
  author    = {Dan He and
               Gilles Muller and
               Julia L. Lawall},
  title     = {Distributing {MPEG} Movies Over the Internet using Programmable Networks},
  booktitle = {{ICDCS}},
  pages     = {161--170},
  year      = {2002},
  url       = {https://doi.org/10.1109/ICDCS.2002.1022253},
  doi       = {10.1109/ICDCS.2002.1022253},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icdcs/HeML02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/MeurLC02,
  author    = {Anne{-}Fran{\c{c}}oise Le Meur and
               Julia L. Lawall and
               Charles Consel},
  title     = {Towards bridging the gap between programming languages and partial
               evaluation},
  booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
               USA, January 14-15, 2002},
  pages     = {9--18},
  year      = {2002},
  crossref  = {DBLP:conf/pepm/2002},
  url       = {https://doi.org/10.1145/503032.503033},
  doi       = {10.1145/503032.503033},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/MeurLC02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/LawallMB02,
  author    = {Julia L. Lawall and
               Gilles Muller and
               Luciano Porto Barreto},
  title     = {Capturing {OS} expertise in an event type system: the Bossa experience},
  booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  pages     = {54--61},
  year      = {2002},
  crossref  = {DBLP:conf/sigopsE/2002},
  url       = {https://doi.org/10.1145/1133373.1133384},
  doi       = {10.1145/1133373.1133384},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/LawallMB02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/FassinoSLM02,
  author    = {Jean{-}Philippe Fassino and
               Jean{-}Bernard Stefani and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Think: {A} Software Framework for Component-based Operating System
               Kernels},
  booktitle = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
               June 10-15, 2002, Monterey, California, {USA}},
  pages     = {73--86},
  year      = {2002},
  crossref  = {DBLP:conf/usenix/2002g},
  url       = {http://www.usenix.org/publications/library/proceedings/usenix02/fassino.html},
  timestamp = {Tue, 27 Aug 2002 09:04:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/FassinoSLM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/DanvyL01,
  author    = {Olivier Danvy and
               Julia L. Lawall},
  title     = {Editorial},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {14},
  number    = {2-3},
  pages     = {99--100},
  year      = {2001},
  url       = {https://doi.org/10.1023/A:1012905312544},
  doi       = {10.1023/A:1012905312544},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/DanvyL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/njc/GrobauerL01,
  author    = {Bernd Grobauer and
               Julia L. Lawall},
  title     = {Partial Evaluation of Pattern Matching in Strings, revisited},
  journal   = {Nord. J. Comput.},
  volume    = {8},
  number    = {4},
  pages     = {437--462},
  year      = {2001},
  url       = {http://www.cs.helsinki.fi/njc/References/grobauer2001:437.html},
  timestamp = {Wed, 14 Jan 2004 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/njc/GrobauerL01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pado/Lawall01,
  author    = {Julia L. Lawall},
  title     = {Implementing Circularity Using Partial Evaluation},
  booktitle = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
               May 21-23, 2001, Proceedings},
  pages     = {84--102},
  year      = {2001},
  crossref  = {DBLP:conf/pado/2001},
  url       = {https://doi.org/10.1007/3-540-44978-7\_6},
  doi       = {10.1007/3-540-44978-7\_6},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pado/Lawall01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/ThibaultCLMM00,
  author    = {Scott Thibault and
               Charles Consel and
               Julia L. Lawall and
               Renaud Marlet and
               Gilles Muller},
  title     = {Static and Dynamic Program Compilation by Interpreter Specialization},
  journal   = {Higher-Order and Symbolic Computation},
  volume    = {13},
  number    = {3},
  pages     = {161--178},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1010078412711},
  doi       = {10.1023/A:1010078412711},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/lisp/ThibaultCLMM00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/LawallM00,
  author    = {Julia L. Lawall and
               Gilles Muller},
  title     = {Efficient Incremental Checkpointing of Java Programs},
  booktitle = {2000 International Conference on Dependable Systems and Networks {(DSN}
               2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
               NY, {USA}},
  pages     = {61--70},
  year      = {2000},
  crossref  = {DBLP:conf/dsn/2000},
  url       = {https://doi.org/10.1109/ICDSN.2000.857515},
  doi       = {10.1109/ICDSN.2000.857515},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/LawallM00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LawallM00,
  author    = {Julia L. Lawall and
               Harry G. Mairson},
  title     = {Sharing Continuations: Proofnets for Languages with Explicit Control},
  booktitle = {Programming Languages and Systems, 9th European Symposium on Programming,
               {ESOP} 2000, Held as Part of the European Joint Conferences on the
               Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
               25 - April 2, 2000, Proceedings},
  pages     = {245--259},
  year      = {2000},
  crossref  = {DBLP:conf/esop/2000},
  url       = {https://doi.org/10.1007/3-540-46425-5\_16},
  doi       = {10.1007/3-540-46425-5\_16},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LawallM00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SchultzLC00,
  author    = {Ulrik Pagh Schultz and
               Julia L. Lawall and
               Charles Consel},
  title     = {Specialization Patterns},
  booktitle = {The Fifteenth {IEEE} International Conference on Automated Software
               Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
  pages     = {197},
  year      = {2000},
  crossref  = {DBLP:conf/kbse/2000},
  url       = {https://doi.org/10.1109/ASE.2000.873664},
  doi       = {10.1109/ASE.2000.873664},
  timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/SchultzLC00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2000,
  editor    = {Julia L. Lawall},
  title     = {Proceedings of the 2000 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-Based Program Manipulation {(PEPM} '00), Boston, Massachusetts,
               USA, January 22-23, 2000},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://dl.acm.org/citation.cfm?id=328690},
  isbn      = {1-58113-201-8},
  timestamp = {Tue, 22 May 2012 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/SchultzLCM99,
  author    = {Ulrik Pagh Schultz and
               Julia L. Lawall and
               Charles Consel and
               Gilles Muller},
  title     = {Towards Automatic Specialization of Java Programs},
  booktitle = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
               Lisbon, Portugal, June 14-18, 1999, Proceedings},
  pages     = {367--390},
  year      = {1999},
  crossref  = {DBLP:conf/ecoop/1999},
  url       = {https://doi.org/10.1007/3-540-48743-3\_17},
  doi       = {10.1007/3-540-48743-3\_17},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/SchultzLCM99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/NoelHCL98,
  author    = {Fran{\c{c}}ois No{\"{e}}l and
               Luke Hornof and
               Charles Consel and
               Julia L. Lawall},
  title     = {Automatic, Template-Based Run-Time Specialization: Implementation
               and Experimental Study},
  booktitle = {Proceedings of the 1998 International Conference on Computer Languages,
               {ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
  pages     = {132--142},
  year      = {1998},
  crossref  = {DBLP:conf/iccl/1998},
  url       = {https://doi.org/10.1109/ICCL.1998.674164},
  doi       = {10.1109/ICCL.1998.674164},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccl/NoelHCL98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lawall98,
  author    = {Julia L. Lawall},
  title     = {Faster Fourier Transforms via Automatic Program Specialization},
  booktitle = {Partial Evaluation - Practice and Theory, {DIKU} 1998 International
               Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
  pages     = {338--355},
  year      = {1998},
  crossref  = {DBLP:conf/pepm/1998},
  url       = {https://doi.org/10.1007/3-540-47018-2\_14},
  doi       = {10.1007/3-540-47018-2\_14},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/Lawall98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LawallM97,
  author    = {Julia L. Lawall and
               Harry G. Mairson},
  title     = {on Global Dynamics of Optimal Graph Reduction},
  booktitle = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997.},
  pages     = {188--195},
  year      = {1997},
  crossref  = {DBLP:conf/icfp/1997},
  url       = {https://doi.org/10.1145/258948.258966},
  doi       = {10.1145/258948.258966},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/LawallM97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/LawallT97,
  author    = {Julia L. Lawall and
               Peter Thiemann},
  title     = {Sound Specialization in the Presence of Computational Effects},
  booktitle = {Theoretical Aspects of Computer Software, Third International Symposium,
               {TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
  pages     = {165--190},
  year      = {1997},
  crossref  = {DBLP:conf/tacs/1997},
  url       = {https://doi.org/10.1007/BFb0014551},
  doi       = {10.1007/BFb0014551},
  timestamp = {Mon, 22 May 2017 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacs/LawallT97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/LawallM96,
  author    = {Julia L. Lawall and
               Harry G. Mairson},
  title     = {Optimality and Inefficiency: What Isn't a Cost Model of the Lambda
               Calculus?},
  booktitle = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
               May 24-26, 1996.},
  pages     = {92--101},
  year      = {1996},
  crossref  = {DBLP:conf/icfp/1996},
  url       = {https://doi.org/10.1145/232627.232639},
  doi       = {10.1145/232627.232639},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/LawallM96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/LawallD94,
  author    = {Julia L. Lawall and
               Olivier Danvy},
  title     = {Continuation-Based Partial Evaluation},
  booktitle = {{LISP} and Functional Programming},
  pages     = {227--238},
  year      = {1994},
  url       = {https://doi.org/10.1145/182409.182483},
  doi       = {10.1145/182409.182483},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/LawallD94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Lawall93,
  author    = {Julia L. Lawall},
  title     = {Proofs by Structural Induction using Partial Evaluation},
  booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
               June 14-16, 1993},
  pages     = {155--166},
  year      = {1993},
  crossref  = {DBLP:conf/pepm/1993},
  url       = {https://doi.org/10.1145/154630.154646},
  doi       = {10.1145/154630.154646},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/Lawall93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/LawallD93,
  author    = {Julia L. Lawall and
               Olivier Danvy},
  title     = {Separating Stages in the Continuation-Passing Style Transformation},
  booktitle = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Charleston, South Carolina,
               USA, January 1993},
  pages     = {124--136},
  year      = {1993},
  crossref  = {DBLP:conf/popl/1993},
  url       = {https://doi.org/10.1145/158511.158613},
  doi       = {10.1145/158511.158613},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/LawallD93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfp/DanvyL92,
  author    = {Olivier Danvy and
               Julia L. Lawall},
  title     = {Back to Direct Style {II:} First-Class Continuations},
  booktitle = {{LISP} and Functional Programming},
  pages     = {299--310},
  year      = {1992},
  url       = {https://doi.org/10.1145/141471.141564},
  doi       = {10.1145/141471.141564},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lfp/DanvyL92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2019,
  editor    = {Iris Bahar and
               Maurice Herlihy and
               Emmett Witchel and
               Alvin R. Lebeck},
  title     = {Proceedings of the Twenty-Fourth International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2019, Providence, RI, USA, April 13-17, 2019},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3297858},
  doi       = {10.1145/3297858},
  isbn      = {978-1-4503-6240-5},
  timestamp = {Sun, 07 Apr 2019 16:01:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2019,
  editor    = {Xinyu Wang and
               David Lo and
               Emad Shihab},
  title     = {26th {IEEE} International Conference on Software Analysis, Evolution
               and Reengineering, {SANER} 2019, Hangzhou, China, February 24-27,
               2019},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8663526},
  isbn      = {978-1-7281-0591-8},
  timestamp = {Fri, 29 Mar 2019 10:22:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2018,
  editor    = {Haryadi S. Gunawi and
               Benjamin Reed},
  title     = {2018 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2018, Boston,
               MA, USA, July 11-13, 2018},
  publisher = {{USENIX} Association},
  year      = {2018},
  url       = {https://www.usenix.org/conference/atc18},
  timestamp = {Mon, 16 Jul 2018 15:47:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2017,
  title     = {47th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2017, Denver, CO, USA, June 26-29, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8019912},
  isbn      = {978-1-5386-0542-4},
  timestamp = {Tue, 05 Sep 2017 17:42:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotos/2017,
  editor    = {Alexandra Fedorova and
               Andrew Warfield and
               Ivan Beschastnikh and
               Rachit Agarwal},
  title     = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
               HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3102980},
  doi       = {10.1145/3102980},
  isbn      = {978-1-4503-5068-6},
  timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hotos/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2017,
  editor    = {Ulrik Pagh Schultz and
               Jeremy Yallop},
  title     = {Proceedings of the 2017 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Program Manipulation, {PEPM} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3018882},
  doi       = {10.1145/3018882},
  isbn      = {978-1-4503-4721-1},
  timestamp = {Tue, 06 Nov 2018 16:57:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2017,
  editor    = {Dilma Da Silva and
               Bryan Ford},
  title     = {2017 {USENIX} Annual Technical Conference, {USENIX} {ATC} 2017, Santa
               Clara, CA, USA, July 12-14, 2017},
  publisher = {{USENIX} Association},
  year      = {2017},
  url       = {https://www.usenix.org/conference/atc17},
  timestamp = {Mon, 16 Jul 2018 15:47:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecrts/2016,
  title     = {28th Euromicro Conference on Real-Time Systems, {ECRTS} 2016, Toulouse,
               France, July 5-8, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7557819},
  isbn      = {978-1-5090-2811-5},
  timestamp = {Mon, 19 Sep 2016 16:16:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecrts/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2016,
  editor    = {Oleg Kiselyov and
               Andy King},
  title     = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
               2016, Kochi, Japan, March 4-6, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9613},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-29604-3},
  doi       = {10.1007/978-3-319-29604-3},
  isbn      = {978-3-319-29603-6},
  timestamp = {Sun, 21 May 2017 00:19:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/flops/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2016,
  title     = {2016 {IEEE} International Conference on Software Maintenance and Evolution,
               {ICSME} 2016, Raleigh, NC, USA, October 2-7, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7807393},
  isbn      = {978-1-5090-3806-0},
  timestamp = {Wed, 18 Jan 2017 14:34:35 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/netys/2016,
  editor    = {Parosh Aziz Abdulla and
               Carole Delporte{-}Gallet},
  title     = {Networked Systems - 4th International Conference, {NETYS} 2016, Marrakech,
               Morocco, May 18-20, 2016, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9944},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-46140-3},
  doi       = {10.1007/978-3-319-46140-3},
  isbn      = {978-3-319-46139-7},
  timestamp = {Tue, 23 May 2017 01:11:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/netys/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2015,
  title     = {45th Annual {IEEE/IFIP} International Conference on Dependable Systems
               and Networks, {DSN} 2015, Rio de Janeiro, Brazil, June 22-25, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7265894},
  isbn      = {978-1-4799-8629-3},
  timestamp = {Thu, 31 Mar 2016 11:13:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edcc/2015,
  title     = {11th European Dependable Computing Conference, {EDCC} 2015, Paris,
               France, September 7-11, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371542},
  isbn      = {978-1-4673-9289-1},
  timestamp = {Wed, 14 Dec 2016 13:29:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msr/2015,
  editor    = {Massimiliano Di Penta and
               Martin Pinzger and
               Romain Robbes},
  title     = {12th {IEEE/ACM} Working Conference on Mining Software Repositories,
               {MSR} 2015, Florence, Italy, May 16-17, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7180033},
  isbn      = {978-0-7695-5594-2},
  timestamp = {Thu, 23 Nov 2017 13:05:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/msr/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/srds/2015,
  title     = {34th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2015,
               Montreal, QC, Canada, September 28 - October 1, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371402},
  isbn      = {978-1-4673-9302-7},
  timestamp = {Tue, 10 May 2016 13:49:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/srds/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2015,
  editor    = {Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
               Bram Adams and
               Alexander Serebrenik},
  title     = {22nd {IEEE} International Conference on Software Analysis, Evolution,
               and Reengineering, {SANER} 2015, Montreal, QC, Canada, March 2-6,
               2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7066219},
  isbn      = {978-1-4799-8469-5},
  timestamp = {Wed, 11 May 2016 10:25:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2014,
  editor    = {Walter Binder and
               Erik Ernst and
               Achille Peternier and
               Robert Hirschfeld},
  title     = {13th International Conference on Modularity, {MODULARITY} '14, Lugano,
               Switzerland, April 22-26, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2584469},
  isbn      = {978-1-4503-2772-5},
  timestamp = {Wed, 23 Apr 2014 14:08:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apsec/2014-1,
  editor    = {Sungdeok (Steve) Cha and
               Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
               Gihwon Kwon},
  title     = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju,
               South Korea, December 1-4, 2014. Volume 1: Research Papers},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7090773},
  isbn      = {978-1-4799-7425-2},
  timestamp = {Tue, 05 Feb 2019 10:00:26 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2014-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csmr/2014,
  editor    = {Serge Demeyer and
               Dave W. Binkley and
               Filippo Ricca},
  title     = {2014 Software Evolution Week - {IEEE} Conference on Software Maintenance,
               Reengineering, and Reverse Engineering, {CSMR-WCRE} 2014, Antwerp,
               Belgium, February 3-6, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6736725},
  isbn      = {978-1-4799-3752-3},
  timestamp = {Thu, 08 Mar 2018 12:03:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/csmr/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2014c,
  editor    = {Pankaj Jalote and
               Lionel C. Briand and
               Andr{\'{e}} van der Hoek},
  title     = {36th International Conference on Software Engineering, {ICSE} '14,
               Companion Proceedings, Hyderabad, India, May 31 - June 07, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2591062},
  isbn      = {978-1-4503-2768-8},
  timestamp = {Sun, 18 May 2014 16:18:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2014c},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsm/2014,
  title     = {30th {IEEE} International Conference on Software Maintenance and Evolution,
               Victoria, BC, Canada, September 29 - October 3, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6969845},
  isbn      = {978-0-7695-5303-0},
  timestamp = {Wed, 10 Jun 2015 16:53:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icsm/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/msr/2014,
  editor    = {Premkumar T. Devanbu and
               Sung Kim and
               Martin Pinzger},
  title     = {11th Working Conference on Mining Software Repositories, {MSR} 2014,
               Proceedings, May 31 - June 1, 2014, Hyderabad, India},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2597073},
  isbn      = {978-1-4503-2863-0},
  timestamp = {Thu, 23 Nov 2017 13:05:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/msr/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014,
  editor    = {Andrew P. Black and
               Todd D. Millstein},
  title     = {Proceedings of the 2014 {ACM} International Conference on Object Oriented
               Programming Systems Languages {\&} Applications, {OOPSLA} 2014,
               part of {SPLASH} 2014, Portland, OR, USA, October 20-24, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2660193},
  isbn      = {978-1-4503-2585-1},
  timestamp = {Thu, 16 Oct 2014 09:05:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/oopsla/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2013,
  title     = {2013 43rd Annual {IEEE/IFIP} International Conference on Dependable
               Systems and Networks (DSN), Budapest, Hungary, June 24-27, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6569391},
  isbn      = {978-1-4673-6471-3},
  timestamp = {Thu, 31 Mar 2016 11:12:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2013,
  editor    = {Ewen Denney and
               Tevfik Bultan and
               Andreas Zeller},
  title     = {2013 28th {IEEE/ACM} International Conference on Automated Software
               Engineering, {ASE} 2013, Silicon Valley, CA, USA, November 11-15,
               2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409},
  timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2013plos,
  editor    = {Tim Harris and
               Anil Madhavapeddy},
  title     = {Proceedings of the Seventh Workshop on Programming Languages and Operating
               Systems, {PLOS} 2013, Farmington, Pennsylvania, USA, November 3-6,
               2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {https://doi.org/10.1145/2525528},
  doi       = {10.1145/2525528},
  isbn      = {978-1-4503-2460-1},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/2013plos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcre/2013,
  editor    = {Ralf L{\"{a}}mmel and
               Rocco Oliveto and
               Romain Robbes},
  title     = {20th Working Conference on Reverse Engineering, {WCRE} 2013, Koblenz,
               Germany, October 14-17, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6656028},
  isbn      = {978-1-4799-2931-3},
  timestamp = {Tue, 14 Apr 2015 18:52:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcre/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012,
  editor    = {Martin Glinz and
               Gail C. Murphy and
               Mauro Pezz{\`{e}}},
  title     = {34th International Conference on Software Engineering, {ICSE} 2012,
               June 2-9, 2012, Zurich, Switzerland},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6218989},
  isbn      = {978-1-4673-1067-3},
  timestamp = {Tue, 03 May 2016 16:08:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2012,
  editor    = {Michael Goedicke and
               Tim Menzies and
               Motoshi Saeki},
  title     = {{IEEE/ACM} International Conference on Automated Software Engineering,
               ASE'12, Essen, Germany, September 3-7, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2351676},
  isbn      = {978-1-4503-1204-2},
  timestamp = {Fri, 19 Oct 2012 17:49:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2012,
  editor    = {Gernot Heiser and
               Wilson C. Hsieh},
  title     = {2012 {USENIX} Annual Technical Conference, Boston, MA, USA, June 13-15,
               2012},
  publisher = {{USENIX} Association},
  year      = {2012},
  url       = {https://www.usenix.org/conference/atc12},
  timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2011,
  editor    = {Rajiv Gupta and
               Todd C. Mowry},
  title     = {Proceedings of the 16th International Conference on Architectural
               Support for Programming Languages and Operating Systems, {ASPLOS}
               2011, Newport Beach, CA, USA, March 5-11, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0266-1},
  timestamp = {Mon, 26 Feb 2018 15:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2011,
  title     = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
  publisher = {{IEEE} Compute Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5949577},
  isbn      = {978-1-4244-9233-6},
  timestamp = {Thu, 31 Mar 2016 11:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011,
  editor    = {Richard N. Taylor and
               Harald C. Gall and
               Nenad Medvidovic},
  title     = {Proceedings of the 33rd International Conference on Software Engineering,
               {ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
  publisher = {{ACM}},
  year      = {2011},
  isbn      = {978-1-4503-0445-0},
  timestamp = {Wed, 01 Apr 2015 20:06:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lctrts/2011,
  editor    = {Jan Vitek and
               Bjorn De Sutter},
  title     = {Proceedings of the {ACM} {SIGPLAN/SIGBED} 2011 conference on Languages,
               compilers, and tools for embedded systems, {LCTES} 2011, Chicago,
               IL, USA, April 11-14, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=1967677},
  isbn      = {978-1-4503-0555-6},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lctrts/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2011plos,
  title     = {Proceedings of the 6th Workshop on Programming Languages and Operating
               Systems, PLOS@SOSP 2011, Cascais, Portugal, October 23, 2011},
  publisher = {{ACM}},
  year      = {2011},
  url       = {https://doi.org/10.1145/2039239},
  doi       = {10.1145/2039239},
  isbn      = {978-1-4503-0979-0},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/2011plos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2010,
  editor    = {Jean{-}Marc J{\'{e}}z{\'{e}}quel and
               Mario S{\"{u}}dholt},
  title     = {Proceedings of the 9th International Conference on Aspect-Oriented
               Software Development, {AOSD} 2010, Rennes and Saint-Malo, France,
               March 15-19, 2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-958-9},
  timestamp = {Fri, 19 Mar 2010 12:28:43 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2010,
  editor    = {Marc Frappier and
               Uwe Gl{\"{a}}sser and
               Sarfraz Khurshid and
               R{\'{e}}gine Laleau and
               Steve Reeves},
  title     = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5977},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1},
  doi       = {10.1007/978-3-642-11811-1},
  isbn      = {978-3-642-11810-4},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/edcc/2010,
  title     = {Eighth European Dependable Computing Conference, {EDCC-8} 2010, Valencia,
               Spain, 28-30 April 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5473904},
  isbn      = {978-0-7695-4007-8},
  timestamp = {Fri, 27 Mar 2015 16:10:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/edcc/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2010,
  editor    = {Charles Pecheur and
               Jamie Andrews and
               Elisabetta Di Nitto},
  title     = {{ASE} 2010, 25th {IEEE/ACM} International Conference on Automated
               Software Engineering, Antwerp, Belgium, September 20-24, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {https://doi.org/10.1145/1858996},
  doi       = {10.1145/1858996},
  isbn      = {978-1-4503-0116-9},
  timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/middleware/2010,
  editor    = {Indranil Gupta and
               Cecilia Mascolo},
  title     = {Middleware 2010 - {ACM/IFIP/USENIX} 11th International Middleware
               Conference, Bangalore, India, November 29 - December 3, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6452},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16955-7},
  doi       = {10.1007/978-3-642-16955-7},
  isbn      = {978-3-642-16954-0},
  timestamp = {Sun, 04 Jun 2017 10:05:04 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/middleware/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppopp/2010,
  editor    = {R. Govindarajan and
               David A. Padua and
               Mary W. Hall},
  title     = {Proceedings of the 15th {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, {PPOPP} 2010, Bangalore, India,
               January 9-14, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://dl.acm.org/citation.cfm?id=1693453},
  isbn      = {978-1-60558-877-3},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vee/2010,
  editor    = {Marc E. Fiuczynski and
               Emery D. Berger and
               Andrew Warfield},
  title     = {Proceedings of the 6th International Conference on Virtual Execution
               Environments, {VEE} 2010, Pittsburgh, Pennsylvania, USA, March 17-19,
               2010},
  publisher = {{ACM}},
  year      = {2010},
  isbn      = {978-1-60558-910-7},
  timestamp = {Fri, 19 Mar 2010 07:45:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vee/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2009,
  title     = {Proceedings of the 2009 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2009, Estoril, Lisbon, Portugal, June
               29 - July 2, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5243642},
  isbn      = {978-1-4244-4422-9},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/middleware/2009,
  editor    = {Jean Bacon and
               Brian F. Cooper},
  title     = {Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference,
               Urbana, IL, USA, November 30 - December 4, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5896},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10445-9},
  doi       = {10.1007/978-3-642-10445-9},
  isbn      = {978-3-642-10444-2},
  timestamp = {Thu, 25 May 2017 00:40:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/middleware/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2009,
  editor    = {Zhong Shao and
               Benjamin C. Pierce},
  title     = {Proceedings of the 36th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2009, Savannah, GA, USA, January
               21-23, 2009},
  publisher = {{ACM}},
  year      = {2009},
  url       = {http://dl.acm.org/citation.cfm?id=1480881},
  isbn      = {978-1-60558-379-2},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vee/2009,
  editor    = {Antony L. Hosking and
               David F. Bacon and
               Orran Krieger},
  title     = {Proceedings of the 5th International Conference on Virtual Execution
               Environments, {VEE} 2009, Washington, DC, USA, March 11-13, 2009},
  publisher = {{ACM}},
  year      = {2009},
  isbn      = {978-1-60558-375-4},
  timestamp = {Fri, 27 Mar 2009 15:17:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vee/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2008,
  editor    = {Joseph S. Sventek and
               Steven Hand},
  title     = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
               April 1-4, 2008},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-013-5},
  timestamp = {Wed, 02 Apr 2008 12:41:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2008,
  editor    = {Yannis Smaragdakis and
               Jeremy G. Siek},
  title     = {Generative Programming and Component Engineering, 7th International
               Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
               Proceedings},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-267-2},
  timestamp = {Mon, 27 Oct 2008 13:16:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2008,
  title     = {23rd {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2008), 15-19 September 2008, L'Aquila, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4639292},
  isbn      = {978-1-4244-2187-9},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/percom/2008,
  title     = {Sixth Annual {IEEE} International Conference on Pervasive Computing
               and Communications (PerCom 2008), 17-21 March 2008, Hong Kong},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4517340},
  isbn      = {978-0-7695-3113-7},
  timestamp = {Fri, 27 Nov 2015 10:04:15 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/percom/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/springer/2008Mens,
  editor    = {Tom Mens and
               Serge Demeyer},
  title     = {Software Evolution},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-76440-3},
  doi       = {10.1007/978-3-540-76440-3},
  isbn      = {978-3-540-76439-7},
  timestamp = {Wed, 14 Nov 2018 10:12:19 +0100},
  biburl    = {https://dblp.org/rec/bib/series/springer/2008Mens},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iptcomm/2007,
  editor    = {Gregory W. Bond and
               Henning Schulzrinne},
  title     = {Principles, Systems and Applications of {IP} Telecommunications. First
               International Conference, IPTComm 2007, New York, NY, USA, July 19-20,
               2007. Proceedings},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-60558-006-7},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iptcomm/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sosp/2007plos,
  editor    = {Eric Eide and
               Marc E. Fiuczynski},
  title     = {Proceedings of the 4th workshop on Programming languages and operating
               systems, PLOS@SOSP 2007, Stevenson, Washington, USA, October 18, 2007},
  publisher = {{ACM}},
  year      = {2007},
  url       = {https://doi.org/10.1145/1376789},
  doi       = {10.1145/1376789},
  isbn      = {978-1-59593-922-7},
  timestamp = {Tue, 06 Nov 2018 16:59:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sosp/2007plos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/srds/2007,
  title     = {26th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2007),
               Beijing, China, October 10-12, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4365668},
  isbn      = {0-7695-2995-X},
  timestamp = {Fri, 09 Jan 2015 14:54:27 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/srds/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2007P7041,
  editor    = {Luca Benini and
               Naehyuck Chang and
               Ulrich Kremer and
               Christian W. Probst},
  title     = {Power-aware Computing Systems, 21.01. - 26.01.2007},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {07041},
  publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  year      = {2007},
  url       = {http://drops.dagstuhl.de/portals/07041/},
  timestamp = {Wed, 19 Jun 2013 12:19:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dagstuhl/2007P7041},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asplos/2006plos,
  editor    = {Christian W. Probst},
  title     = {Proceedings of the 3rd Workshop on Programming Languages and Operating
               Systems: Linguistic Support for Modern Operating Systems, {PLOS} 2006,
               San Jose, California, USA, October 22, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-577-0},
  timestamp = {Tue, 15 May 2007 09:30:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asplos/2006plos},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2006,
  title     = {13th Annual {IEEE} International Conference and Workshop on Engineering
               of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
               Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10692},
  isbn      = {0-7695-2546-6},
  timestamp = {Mon, 03 Aug 2015 16:55:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecbs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/emsoft/2006,
  editor    = {Sang Lyul Min and
               Wang Yi},
  title     = {Proceedings of the 6th {ACM} {\&} {IEEE} International conference
               on Embedded software, {EMSOFT} 2006, October 22-25, 2006, Seoul, Korea},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-542-8},
  timestamp = {Sat, 08 Dec 2012 19:35:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/emsoft/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/eurosys/2006,
  editor    = {Yolande Berbers and
               Willy Zwaenepoel},
  title     = {Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April
               18-21, 2006},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-322-0},
  timestamp = {Wed, 16 May 2007 10:01:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/eurosys/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icc/2006,
  title     = {Proceedings of {IEEE} International Conference on Communications,
               {ICC} 2006, Istanbul, Turkey, 11-15 June 2006},
  publisher = {{IEEE}},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4024074},
  isbn      = {1-4244-0355-3},
  timestamp = {Wed, 27 Feb 2013 11:24:03 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icc/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwmm/2006,
  editor    = {Erez Petrank and
               J. Eliot B. Moss},
  title     = {Proceedings of the 5th International Symposium on Memory Management,
               {ISMM} 2006, Ottawa, Ontario, Canada, June 10-11, 2006},
  publisher = {{ACM}},
  year      = {2006},
  url       = {http://dl.acm.org/citation.cfm?id=1133956},
  isbn      = {1-59593-221-6},
  timestamp = {Tue, 22 May 2012 15:24:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwmm/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lcn/2006,
  title     = {{LCN} 2006, The 31st Annual {IEEE} Conference on Local Computer Networks,
               Tampa, Florida, USA, 14-16 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4116489},
  isbn      = {1-4244-0418-5},
  timestamp = {Wed, 10 Dec 2014 18:26:32 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lcn/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2005,
  editor    = {Robert Gl{\"{u}}ck and
               Michael R. Lowry},
  title     = {Generative Programming and Component Engineering, 4th International
               Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
               1, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3676},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561347},
  doi       = {10.1007/11561347},
  isbn      = {3-540-29138-5},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hase/2005,
  title     = {Ninth {IEEE} International Symposium on High Assurance Systems Engineering
               {(HASE} 2005), 12-14 October 2005, Heidelberg, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10554},
  isbn      = {0-7695-2377-3},
  timestamp = {Tue, 02 Dec 2014 17:13:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hase/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2005,
  editor    = {Judi Romijn and
               Graeme Smith and
               Jaco van de Pol},
  title     = {Integrated Formal Methods, 5th International Conference, {IFM} 2005,
               Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3771},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11589976},
  doi       = {10.1007/11589976},
  isbn      = {3-540-30492-4},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wicsa/2005,
  title     = {Fifth Working {IEEE} / {IFIP} Conference on Software Architecture
               {(WICSA} 2005), 6-10 November 2005, Pittsburgh, Pennsylvania, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10776},
  isbn      = {0-7695-2548-2},
  timestamp = {Fri, 26 Sep 2014 14:08:21 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wicsa/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/words/2005,
  title     = {10th {IEEE} International Workshop on Object-Oriented Real-Time Dependable
               Systems {(WORDS} 2005), 2-4 February 2005, Sedona, AZ, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10372},
  isbn      = {0-7695-2347-1},
  timestamp = {Thu, 06 Nov 2014 17:05:38 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/words/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2004,
  editor    = {Gabor Karsai and
               Eelco Visser},
  title     = {Generative Programming and Component Engineering: Third International
               Conference, {GPCE} 2004, Vancouver, Canada, October 24-28, 2004. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3286},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b101929},
  doi       = {10.1007/b101929},
  isbn      = {3-540-23580-9},
  timestamp = {Wed, 14 Nov 2018 10:59:57 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2004,
  editor    = {Nevin Heintze and
               Peter Sestoft},
  title     = {Proceedings of the 2004 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-based Program Manipulation, 2004, Verona, Italy, August
               24-25, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {http://dl.acm.org/citation.cfm?id=1014007},
  isbn      = {1-58113-835-0},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigopsE/2004,
  editor    = {Yolande Berbers and
               Miguel Castro},
  title     = {Proceedings of the 11st {ACM} {SIGOPS} European Workshop, Leuven,
               Belgium, September 19-22, 2004},
  publisher = {{ACM}},
  year      = {2004},
  timestamp = {Wed, 02 Apr 2008 11:55:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aosd/2003,
  editor    = {William G. Griswold and
               Mehmet Aksit},
  title     = {Proceedings of the 2nd International Conference on Aspect-Oriented
               Software Development, {AOSD} 2003, Boston, Massachusetts, USA, March
               17-21, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {https://doi.org/10.1145/643603},
  doi       = {10.1145/643603},
  isbn      = {1-58113-660-9},
  timestamp = {Tue, 06 Nov 2018 16:57:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aosd/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2003,
  title     = {18th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2003), 6-10 October 2003, Montreal, Canada},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8780},
  isbn      = {0-7695-2035-9},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2002,
  editor    = {Peter Thiemann},
  title     = {Proceedings of the 2002 {ACM} {SIGPLAN} Workshop on Partial Evaluation
               and Semantics-Based Program Manipulation {(PEPM} '02), Portland, Oregon,
               USA, January 14-15, 2002},
  publisher = {{ACM}},
  year      = {2002},
  url       = {http://dl.acm.org/citation.cfm?id=503032},
  isbn      = {1-58113-455-X},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigopsE/2002,
  editor    = {Gilles Muller and
               Eric Jul},
  title     = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  publisher = {{ACM}},
  year      = {2002},
  timestamp = {Wed, 02 Apr 2008 12:13:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2002g,
  editor    = {Carla Schlatter Ellis},
  title     = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
               June 10-15, 2002, Monterey, California, {USA}},
  publisher = {{USENIX}},
  year      = {2002},
  isbn      = {1-880446-00-6},
  timestamp = {Tue, 27 Aug 2002 09:04:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/2002g},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pado/2001,
  editor    = {Olivier Danvy and
               Andrzej Filinski},
  title     = {Programs as Data Objects, Second Symposium, {PADO} 2001, Aarhus, Denmark,
               May 21-23, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2053},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44978-7},
  doi       = {10.1007/3-540-44978-7},
  isbn      = {3-540-42068-1},
  timestamp = {Fri, 26 May 2017 14:09:15 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pado/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dsn/2000,
  title     = {2000 International Conference on Dependable Systems and Networks {(DSN}
               2000) (formerly {FTCS-30} and DCCA-8), 25-28 June 2000, New York,
               NY, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6928},
  isbn      = {0-7695-0707-7},
  timestamp = {Thu, 31 Mar 2016 11:06:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dsn/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2000,
  editor    = {Gert Smolka},
  title     = {Programming Languages and Systems, 9th European Symposium on Programming,
               {ESOP} 2000, Held as Part of the European Joint Conferences on the
               Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March
               25 - April 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1782},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-46425-5},
  doi       = {10.1007/3-540-46425-5},
  isbn      = {3-540-67262-1},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kbse/2000,
  title     = {The Fifteenth {IEEE} International Conference on Automated Software
               Engineering, {ASE} 2000, Grenoble, France, September 11-15, 2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7013},
  isbn      = {0-7695-0710-7},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/kbse/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/1999,
  editor    = {Rachid Guerraoui},
  title     = {ECOOP'99 - Object-Oriented Programming, 13th European Conference,
               Lisbon, Portugal, June 14-18, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1628},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48743-3},
  doi       = {10.1007/3-540-48743-3},
  isbn      = {3-540-66156-5},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iccl/1998,
  title     = {Proceedings of the 1998 International Conference on Computer Languages,
               {ICCL} 1998, Chicago, IL, USA, May 14-16, 1998},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5516},
  isbn      = {0-8186-8454-2},
  timestamp = {Fri, 27 May 2016 12:52:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iccl/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1998,
  editor    = {John Hatcliff and
               Torben {\AE}. Mogensen and
               Peter Thiemann},
  title     = {Partial Evaluation - Practice and Theory, {DIKU} 1998 International
               Summer School, Copenhagen, Denmark, June 29 - July 10, 1998},
  series    = {Lecture Notes in Computer Science},
  volume    = {1706},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-47018-2},
  doi       = {10.1007/3-540-47018-2},
  isbn      = {3-540-66710-5},
  timestamp = {Wed, 24 May 2017 15:40:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1997,
  editor    = {Simon L. {Peyton Jones} and
               Mads Tofte and
               A. Michael Berman},
  title     = {Proceedings of the 1997 {ACM} {SIGPLAN} International Conference on
               Functional Programming {(ICFP} '97), Amsterdam, The Netherlands, June
               9-11, 1997},
  publisher = {{ACM}},
  year      = {1997},
  isbn      = {0-89791-918-1},
  timestamp = {Tue, 11 Jun 2013 13:53:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacs/1997,
  editor    = {Mart{\'{\i}}n Abadi and
               Takayasu Ito},
  title     = {Theoretical Aspects of Computer Software, Third International Symposium,
               {TACS} '97, Sendai, Japan, September 23-26, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1281},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0014544},
  doi       = {10.1007/BFb0014544},
  isbn      = {3-540-63388-X},
  timestamp = {Mon, 22 May 2017 17:11:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacs/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icfp/1996,
  editor    = {Robert Harper and
               Richard L. Wexelblat},
  title     = {Proceedings of the 1996 {ACM} {SIGPLAN} International Conference on
               Functional Programming, {ICFP} 1996, Philadelphia, Pennsylvania, USA,
               May 24-26, 1996},
  publisher = {{ACM}},
  year      = {1996},
  isbn      = {0-89791-770-7},
  timestamp = {Tue, 14 Aug 2018 17:07:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icfp/1996},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1993,
  editor    = {David A. Schmidt},
  title     = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
               and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
               June 14-16, 1993},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=154630},
  isbn      = {0-89791-594-1},
  timestamp = {Tue, 22 May 2012 15:24:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pepm/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/1993,
  editor    = {Mary S. Van Deusen and
               Bernard Lang},
  title     = {Conference Record of the Twentieth Annual {ACM} {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, Charleston, South Carolina,
               USA, January 1993},
  publisher = {{ACM} Press},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=158511},
  isbn      = {0-89791-560-7},
  timestamp = {Mon, 21 May 2012 16:19:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/popl/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier