@inproceedings{BissyandeRBLM10, title = {Bridging the Gap between Legacy Services and Web Services}, author = {Tegawendé F. Bissyandé and Laurent Réveillère and Yérom-David Bromberg and Julia L. Lawall and Gilles Muller}, year = {2010}, doi = {10.1007/978-3-642-16955-7_14}, url = {http://dx.doi.org/10.1007/978-3-642-16955-7_14}, tags = {web service, web services}, researchr = {https://researchr.org/publication/BissyandeRBLM10}, cites = {0}, citedby = {0}, pages = {273-292}, booktitle = {middleware}, } @inproceedings{PadioleauHLM06, title = {Semantic patches for documenting and automating collateral evolutions in Linux device drivers}, author = {Yoann Padioleau and René Rydhof Hansen and Julia L. Lawall and Gilles Muller}, year = {2006}, doi = {10.1145/1215995.1216005}, url = {http://doi.acm.org/10.1145/1215995.1216005}, researchr = {https://researchr.org/publication/PadioleauHLM06}, cites = {0}, citedby = {0}, pages = {10}, booktitle = {asplos}, } @inproceedings{HeML02, title = {Distributing MPEG Movies Over the Internet using Programmable Networks}, author = {Dan He and Gilles Muller and Julia L. Lawall}, year = {2002}, url = {http://computer.org/proceedings/icdcs/1585/15850161abs.htm}, researchr = {https://researchr.org/publication/HeML02}, cites = {0}, citedby = {0}, pages = {161-170}, booktitle = {icdcs}, } @article{SahaLM11-0, title = {Finding resource-release omission faults in Linux}, author = {Suman Saha and Julia L. Lawall and Gilles Muller}, year = {2011}, doi = {10.1145/2094091.2094094}, url = {http://doi.acm.org/10.1145/2094091.2094094}, researchr = {https://researchr.org/publication/SahaLM11-0}, cites = {0}, citedby = {0}, journal = {sigops}, volume = {45}, number = {3}, pages = {5-9}, } @incollection{BaraisMDL08, title = {Software Architecture Evolution}, author = {Olivier Barais and Anne-Françoise Le Meur and Laurence Duchien and Julia L. Lawall}, year = {2008}, doi = {10.1007/978-3-540-76440-3_10}, url = {http://dx.doi.org/10.1007/978-3-540-76440-3_10}, tags = {software architecture, architecture, software evolution}, researchr = {https://researchr.org/publication/BaraisMDL08}, cites = {0}, citedby = {0}, pages = {233-262}, booktitle = {Software Evolution}, editor = {Tom Mens and Serge Demeyer}, publisher = {Springer}, isbn = {978-3-540-76439-7}, } @inproceedings{PalixTSCLM11, title = {Faults in linux: ten years later}, author = {Nicolas Palix and Gaël Thomas and Suman Saha and Christophe Calvès and Julia L. Lawall and Gilles Muller}, year = {2011}, doi = {10.1145/1950365.1950401}, url = {http://doi.acm.org/10.1145/1950365.1950401}, researchr = {https://researchr.org/publication/PalixTSCLM11}, cites = {0}, citedby = {0}, pages = {305-318}, booktitle = {asplos}, } @article{SchultzLC03, title = {Automatic program specialization for Java}, author = {Ulrik Pagh Schultz and Julia L. Lawall and Charles Consel}, year = {2003}, url = {http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.32.5567&rep=rep1&type=pdf}, tags = {optimization, object-oriented programming, Java, meta programming, generic programming, compiler, programming, subject-oriented programming, abstraction, program optimization, Meta-Environment, feature-oriented programming, meta-objects}, researchr = {https://researchr.org/publication/SchultzLC03}, cites = {0}, citedby = {0}, journal = {TOPLAS}, volume = {25}, number = {4}, pages = {452-499}, } @article{GrobauerL01, title = {Partial Evaluation of Pattern Matching in Strings, revisited}, author = {Bernd Grobauer and Julia L. Lawall}, year = {2001}, url = {http://www.cs.helsinki.fi/njc/References/grobauer2001:437.html}, tags = {pattern matching, partial evaluation}, researchr = {https://researchr.org/publication/GrobauerL01}, cites = {0}, citedby = {0}, journal = {njc}, volume = {8}, number = {4}, pages = {437-462}, } @inproceedings{JouveLPCL08, title = {High-level Programming Support for Robust Pervasive Computing Applications}, author = {Wilfried Jouve and Julien Lancia and Nicolas Palix and Charles Consel and Julia L. Lawall}, year = {2008}, doi = {10.1109/PERCOM.2008.9}, url = {http://doi.ieeecomputersociety.org/10.1109/PERCOM.2008.9}, tags = {programming}, researchr = {https://researchr.org/publication/JouveLPCL08}, cites = {0}, citedby = {0}, pages = {252-255}, booktitle = {percom}, } @article{LawallBPHSM13, title = {WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process}, author = {Julia L. Lawall and Julien Brunel and Nicolas Palix and René Rydhof Hansen and Henrik Stuart and Gilles Muller}, year = {2013}, doi = {10.1002/spe.2102}, url = {http://dx.doi.org/10.1002/spe.2102}, researchr = {https://researchr.org/publication/LawallBPHSM13}, cites = {0}, citedby = {0}, journal = {SPE}, volume = {43}, number = {1}, pages = {67-92}, } @article{ConselLM04, title = {A tour of Tempo: a program specializer for the C language}, author = {Charles Consel and Julia L. Lawall and Anne-Françoise Le Meur}, year = {2004}, doi = {10.1016/j.scico.2004.03.011}, url = {http://dx.doi.org/10.1016/j.scico.2004.03.011}, tags = {programming languages, tempo, C++, partial evaluation}, researchr = {https://researchr.org/publication/ConselLM04}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {52}, pages = {341-370}, } @inproceedings{TianLL14-2, title = {SEWordSim: software-specific word similarity database}, author = {Yuan Tian and David Lo and Julia L. Lawall}, year = {2014}, doi = {10.1145/2591062.2591071}, url = {http://doi.acm.org/10.1145/2591062.2591071}, researchr = {https://researchr.org/publication/TianLL14-2}, cites = {0}, citedby = {0}, pages = {568-571}, booktitle = {ICSE}, } @inproceedings{DanvyL92, title = {Back to Direct Style II: First-Class Continuations}, author = {Olivier Danvy and Julia L. Lawall}, year = {1992}, doi = {10.1145/141471.141564}, url = {http://doi.acm.org/10.1145/141471.141564}, researchr = {https://researchr.org/publication/DanvyL92}, cites = {0}, citedby = {0}, pages = {299-310}, booktitle = {lfp}, } @inproceedings{BaraisMDL06, title = {Safe Integration of New Concerns in a Software Architecture}, author = {Olivier Barais and Anne-Françoise Le Meur and Laurence Duchien and Julia L. Lawall}, year = {2006}, doi = {10.1109/ECBS.2006.64}, url = {http://doi.ieeecomputersociety.org/10.1109/ECBS.2006.64}, tags = {software architecture, architecture}, researchr = {https://researchr.org/publication/BaraisMDL06}, cites = {0}, citedby = {0}, pages = {52-64}, booktitle = {ECBS}, } @article{abs-0704-1373, title = {A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations}, author = {Laurent Burgy and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, year = {2007}, url = {http://arxiv.org/abs/0704.1373}, tags = {rule-based, protocol, systematic-approach}, researchr = {https://researchr.org/publication/abs-0704-1373}, cites = {0}, citedby = {0}, journal = {corr}, volume = {abs/0704.1373}, } @inproceedings{KochharTLL14, title = {An Empirical Study on the Adequacy of Testing in Open Source Projects}, author = {Pavneet Singh Kochhar and Ferdian Thung and David Lo and Julia L. Lawall}, year = {2014}, doi = {10.1109/APSEC.2014.42}, url = {http://dx.doi.org/10.1109/APSEC.2014.42}, researchr = {https://researchr.org/publication/KochharTLL14}, cites = {0}, citedby = {0}, pages = {215-222}, booktitle = {apsec}, } @inproceedings{BissyandeRLM12, title = {Diagnosys: automatic generation of a debugging interface to the Linux kernel}, author = {Tegawendé F. Bissyandé and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, year = {2012}, doi = {10.1145/2351676.2351686}, url = {http://doi.acm.org/10.1145/2351676.2351686}, researchr = {https://researchr.org/publication/BissyandeRLM12}, cites = {0}, citedby = {0}, pages = {60-69}, booktitle = {ASE}, } @inproceedings{Lawall14, title = {Coccinelle: reducing the barriers to modularization in a large C code base}, author = {Julia L. Lawall}, year = {2014}, doi = {10.1145/2584469.2584661}, url = {http://doi.acm.org/10.1145/2584469.2584661}, researchr = {https://researchr.org/publication/Lawall14}, cites = {0}, citedby = {0}, pages = {5-6}, booktitle = {AOSD}, } @article{HermenierLM13, title = {BtrPlace: A Flexible Consolidation Manager for Highly Available Applications}, author = {Fabien Hermenier and Julia L. Lawall and Gilles Muller}, year = {2013}, doi = {10.1109/TDSC.2013.5}, url = {http://doi.ieeecomputersociety.org/10.1109/TDSC.2013.5}, researchr = {https://researchr.org/publication/HermenierLM13}, cites = {0}, citedby = {0}, journal = {tdsc}, volume = {10}, number = {5}, pages = {273-286}, } @inproceedings{BhatiaCL06, title = {Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior}, author = {Sapan Bhatia and Charles Consel and Julia L. Lawall}, year = {2006}, doi = {10.1145/1133956.1133971}, url = {http://doi.acm.org/10.1145/1133956.1133971}, tags = {optimization, caching, design}, researchr = {https://researchr.org/publication/BhatiaCL06}, cites = {0}, citedby = {0}, pages = {104-114}, booktitle = {iwmm}, } @inproceedings{LawallDMM05, title = {Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language}, author = {Julia L. Lawall and Hervé Duchesne and Gilles Muller and Anne-Françoise Le Meur}, year = {2005}, doi = {10.1007/11561347_7}, url = {http://dx.doi.org/10.1007/11561347_7}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/LawallDMM05}, cites = {0}, citedby = {0}, pages = {78-93}, booktitle = {GPCE}, } @inproceedings{Segura-DevillechaiseMML03, title = {Web cache prefetching as an aspect: towards a dynamic-weaving based solution}, author = {Marc Ségura-Devillechaise and Jean-Marc Menaud and Gilles Muller and Julia L. Lawall}, year = {2003}, doi = {10.1145/643603.643615}, url = {http://doi.acm.org/10.1145/643603.643615}, tags = {rule-based, caching, weaving, web caching}, researchr = {https://researchr.org/publication/Segura-DevillechaiseMML03}, cites = {0}, citedby = {0}, pages = {110-119}, booktitle = {AOSD}, } @inproceedings{PadioleauLHM08, title = {Documenting and automating collateral evolutions in linux device drivers}, author = {Yoann Padioleau and Julia L. Lawall and René Rydhof Hansen and Gilles Muller}, year = {2008}, doi = {10.1145/1352592.1352618}, url = {http://doi.acm.org/10.1145/1352592.1352618}, researchr = {https://researchr.org/publication/PadioleauLHM08}, cites = {0}, citedby = {0}, pages = {247-260}, booktitle = {eurosys}, } @article{FelleisenLSS05, title = {Editorial}, author = {Matthias Felleisen and Julia L. Lawall and Manuel Serrano and Olin Shivers}, year = {2005}, doi = {10.1007/s10990-005-4875-6}, url = {http://dx.doi.org/10.1007/s10990-005-4875-6}, researchr = {https://researchr.org/publication/FelleisenLSS05}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {18}, number = {3-4}, pages = {243-244}, } @inproceedings{MercadalPCL08, title = {Pantaxou: a domain-specific language for developing safe coordination services}, author = {Julien Mercadal and Nicolas Palix and Charles Consel and Julia L. Lawall}, year = {2008}, doi = {10.1145/1449913.1449936}, url = {http://doi.acm.org/10.1145/1449913.1449936}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/MercadalPCL08}, cites = {0}, citedby = {0}, pages = {149-160}, booktitle = {GPCE}, } @inproceedings{LawallL10, title = {An automated approach for finding variable-constant pairing bugs}, author = {Julia L. Lawall and David Lo}, year = {2010}, doi = {10.1145/1858996.1859014}, url = {http://doi.acm.org/10.1145/1858996.1859014}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/LawallL10}, cites = {0}, citedby = {0}, pages = {103-112}, booktitle = {ASE}, } @article{BissyandeRLM16, title = {Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel}, author = {Tegawendé F. Bissyandé and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, year = {2016}, doi = {10.1007/s10515-014-0152-4}, url = {http://dx.doi.org/10.1007/s10515-014-0152-4}, researchr = {https://researchr.org/publication/BissyandeRLM16}, cites = {0}, citedby = {0}, journal = {ASE}, volume = {23}, number = {1}, pages = {3-41}, } @inproceedings{PadioleauLM06, title = {Understanding collateral evolution in Linux device drivers}, author = {Yoann Padioleau and Julia L. Lawall and Gilles Muller}, year = {2006}, doi = {10.1145/1217935.1217942}, url = {http://doi.acm.org/10.1145/1217935.1217942}, researchr = {https://researchr.org/publication/PadioleauLM06}, cites = {0}, citedby = {0}, pages = {59-71}, booktitle = {eurosys}, } @article{LoziD0LM16, title = {Fast and Portable Locking for Multicore Architectures}, author = {Jean-Pierre Lozi and Florian David and Gaël Thomas 0001 and Julia L. Lawall and Gilles Muller}, year = {2016}, doi = {10.1145/2845079}, url = {http://doi.acm.org/10.1145/2845079}, researchr = {https://researchr.org/publication/LoziD0LM16}, cites = {0}, citedby = {0}, journal = {tocs}, volume = {33}, number = {4}, pages = {13}, } @inproceedings{CassouBCL11, title = {Leveraging software architectures to guide and verify the development of sense/compute/control applications}, author = {Damien Cassou and Emilie Balland and Charles Consel and Julia L. Lawall}, year = {2011}, doi = {10.1145/1985793.1985852}, url = {http://doi.acm.org/10.1145/1985793.1985852}, tags = {software architecture, architecture}, researchr = {https://researchr.org/publication/CassouBCL11}, cites = {0}, citedby = {0}, pages = {431-440}, booktitle = {ICSE}, } @inproceedings{MullerLD05, title = {A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation}, author = {Gilles Muller and Julia L. Lawall and Hervé Duchesne}, year = {2005}, doi = {10.1109/HASE.2005.1}, url = {http://doi.ieeecomputersociety.org/10.1109/HASE.2005.1}, tags = {design}, researchr = {https://researchr.org/publication/MullerLD05}, cites = {0}, citedby = {0}, pages = {56-65}, booktitle = {hase}, } @article{ApelLL12, title = {Preface to the special issue on feature-oriented software development (FOSD 2009)}, author = {Sven Apel and Christian Lengauer and Julia L. Lawall}, year = {2012}, doi = {10.1016/j.scico.2011.02.002}, url = {http://dx.doi.org/10.1016/j.scico.2011.02.002}, researchr = {https://researchr.org/publication/ApelLL12}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {77}, number = {3}, pages = {129-130}, } @inproceedings{PalixLM10, title = {Tracking code patterns over multiple software versions with Herodotos}, author = {Nicolas Palix and Julia L. Lawall and Gilles Muller}, year = {2010}, doi = {10.1145/1739230.1739250}, url = {http://doi.acm.org/10.1145/1739230.1739250}, researchr = {https://researchr.org/publication/PalixLM10}, cites = {0}, citedby = {0}, pages = {169-180}, booktitle = {AOSD}, } @article{LawallHPM10, title = {Improving the Security of Infrastructure Software using Coccinelle}, author = {Julia L. Lawall and René Rydhof Hansen and Nicolas Palix and Gilles Muller}, year = {2010}, url = {http://ercim-news.ercim.eu/en83/rd/improving-the-security-of-infrastructure-software-using-coccinelle}, tags = {security}, researchr = {https://researchr.org/publication/LawallHPM10}, cites = {0}, citedby = {0}, journal = {ercim}, volume = {2010}, number = {83}, pages = {54}, } @inproceedings{UrunuelaML07, title = {Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications}, author = {Richard Urunuela and Gilles Muller and Julia L. Lawall}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1108}, tags = {rule-based, multimedia}, researchr = {https://researchr.org/publication/UrunuelaML07}, cites = {0}, citedby = {0}, booktitle = {Dagstuhl}, } @inproceedings{SchultzLCM99, title = {Towards Automatic Specialization of Java Programs}, author = {Ulrik Pagh Schultz and Julia L. Lawall and Charles Consel and Gilles Muller}, year = {1999}, url = {http://link.springer.de/link/service/series/0558/bibs/1628/16280367.htm}, tags = {Java, specializer, partial evaluation}, researchr = {https://researchr.org/publication/SchultzLCM99}, cites = {0}, citedby = {0}, pages = {367-390}, booktitle = {ECOOP}, } @inproceedings{MullerLMS04, title = {Constructing component-based extension interfaces in legacy systems code}, author = {Gilles Muller and Julia L. Lawall and Jean-Marc Menaud and Mario Südholt}, year = {2004}, doi = {10.1145/1133572.1133605}, url = {http://doi.acm.org/10.1145/1133572.1133605}, tags = {rule-based}, researchr = {https://researchr.org/publication/MullerLMS04}, cites = {0}, citedby = {0}, pages = {15}, booktitle = {sigopsE}, } @inproceedings{LawallM00:0, title = {Sharing Continuations: Proofnets for Languages with Explicit Control}, author = {Julia L. Lawall and Harry G. Mairson}, year = {2000}, url = {http://link.springer.de/link/service/series/0558/bibs/1782/17820245.htm}, researchr = {https://researchr.org/publication/LawallM00%3A0}, cites = {0}, citedby = {0}, pages = {245-259}, booktitle = {ESOP}, } @inproceedings{TianLL14-0, title = {Automated construction of a software-specific word similarity database}, author = {Yuan Tian and David Lo and Julia L. Lawall}, year = {2014}, doi = {10.1109/CSMR-WCRE.2014.6747213}, url = {http://dx.doi.org/10.1109/CSMR-WCRE.2014.6747213}, researchr = {https://researchr.org/publication/TianLL14-0}, cites = {0}, citedby = {0}, pages = {44-53}, booktitle = {CSMR}, } @inproceedings{LawallD93, title = {Separating Stages in the Continuation-Passing Style Transformation}, author = {Julia L. Lawall and Olivier Danvy}, year = {1993}, tags = {transformation}, researchr = {https://researchr.org/publication/LawallD93}, cites = {0}, citedby = {0}, pages = {124-136}, booktitle = {POPL}, } @inproceedings{AndersenNLLK12, title = {Semantic patch inference}, author = {Jesper Andersen and Anh Cuong Nguyen and David Lo and Julia L. Lawall and Siau-Cheng Khoo}, year = {2012}, doi = {10.1145/2351676.2351753}, url = {http://doi.acm.org/10.1145/2351676.2351753}, researchr = {https://researchr.org/publication/AndersenNLLK12}, cites = {0}, citedby = {0}, pages = {382-385}, booktitle = {ASE}, } @inproceedings{TianLL12, title = {Identifying Linux bug fixing patches}, author = {Yuan Tian and Julia L. Lawall and David Lo}, year = {2012}, doi = {10.1109/ICSE.2012.6227176}, url = {http://dx.doi.org/10.1109/ICSE.2012.6227176}, researchr = {https://researchr.org/publication/TianLL12}, cites = {0}, citedby = {0}, pages = {386-396}, booktitle = {ICSE}, } @inproceedings{LawallMM04, title = {On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components}, author = {Julia L. Lawall and Anne-Françoise Le Meur and Gilles Muller}, year = {2004}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3286&spage=436}, tags = {DSL}, researchr = {https://researchr.org/publication/LawallMM04}, cites = {0}, citedby = {0}, pages = {436-455}, booktitle = {GPCE}, } @article{LawallL13, title = {SIGPLAN professional activities committee report}, author = {Julia L. Lawall and Cristina V. Lopes}, year = {2013}, doi = {10.1145/2502508.2502515}, url = {http://doi.acm.org/10.1145/2502508.2502515}, researchr = {https://researchr.org/publication/LawallL13}, cites = {0}, citedby = {0}, journal = {SIGPLAN}, volume = {48}, number = {4S}, pages = {9}, } @inproceedings{LoziD0LM12, title = {Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications}, author = {Jean-Pierre Lozi and Florian David and Gaël Thomas 0001 and Julia L. Lawall and Gilles Muller}, year = {2012}, url = {https://www.usenix.org/conference/atc12/technical-sessions/presentation/lozi}, researchr = {https://researchr.org/publication/LoziD0LM12}, cites = {0}, citedby = {0}, pages = {65-76}, booktitle = {usenix}, } @inproceedings{GeoffrayTLMF10, title = {VMKit: a substrate for managed runtime environments}, author = {Nicolas Geoffray and Gaël Thomas and Julia L. Lawall and Gilles Muller and Bertil Folliot}, year = {2010}, doi = {10.1145/1735997.1736006}, url = {http://doi.acm.org/10.1145/1735997.1736006}, tags = {meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/GeoffrayTLMF10}, cites = {0}, citedby = {0}, pages = {51-62}, booktitle = {vee}, } @article{MeurLC04, title = {Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization}, author = {Anne-Françoise Le Meur and Julia L. Lawall and Charles Consel}, year = {2004}, doi = {10.1023/B:LISP.0000029448.02877.78}, url = {http://dx.doi.org/10.1023/B:LISP.0000029448.02877.78}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/MeurLC04}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {17}, number = {1-2}, pages = {47-92}, } @article{MullerLTJ03, title = {A domain-specific language approach to programmable networks}, author = {Gilles Muller and Julia L. Lawall and Scott Thibault and R. E. Voel Jensen}, year = {2003}, tags = {programming languages, systematic-approach, domain-specific language}, researchr = {https://researchr.org/publication/MullerLTJ03}, cites = {0}, citedby = {0}, journal = {tsmc}, volume = {33}, number = {3}, pages = {370-381}, } @article{Lawall10, title = {Preface to special issue on Generative Programming and Component Engineering (GPCE 2007)}, author = {Julia L. Lawall}, year = {2010}, doi = {10.1016/j.scico.2010.01.005}, url = {http://dx.doi.org/10.1016/j.scico.2010.01.005}, tags = {generative programming, programming}, researchr = {https://researchr.org/publication/Lawall10}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {75}, number = {7}, pages = {471-472}, } @inproceedings{CotaMLMGDB15, title = {A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems}, author = {Guido Lena Cota and Sonia Ben Mokhtar and Julia L. Lawall and Gilles Muller and Gabriele Gianini and Ernesto Damiani and Lionel Brunie}, year = {2015}, doi = {10.1109/SRDS.2015.36}, url = {http://dx.doi.org/10.1109/SRDS.2015.36}, researchr = {https://researchr.org/publication/CotaMLMGDB15}, cites = {0}, citedby = {0}, pages = {276-285}, booktitle = {srds}, } @inproceedings{LawallBPHSM09, title = {{WYSIWIB}: A declarative approach to finding {API} protocols and bugs in {Linux} code}, author = {Julia L. Lawall and Julien Brunel and Nicolas Palix and René Rydhof Hansen and Henrik Stuart and Gilles Muller}, year = {2009}, doi = {10.1109/DSN.2009.5270354}, url = {http://dx.doi.org/10.1109/DSN.2009.5270354}, tags = {protocol, systematic-approach}, researchr = {https://researchr.org/publication/LawallBPHSM09}, cites = {0}, citedby = {0}, pages = {43-52}, booktitle = {dsn}, } @inproceedings{Attouchi0MLB15, title = {Incinerator - Eliminating Stale References in Dynamic OSGi Applications}, author = {Koutheir Attouchi and Gaël Thomas 0001 and Gilles Muller and Julia L. Lawall and André Bottaro}, year = {2015}, doi = {10.1109/DSN.2015.39}, url = {http://dx.doi.org/10.1109/DSN.2015.39}, researchr = {https://researchr.org/publication/Attouchi0MLB15}, cites = {0}, citedby = {0}, pages = {545-554}, booktitle = {dsn}, } @article{DanvyDLT08, title = {Editorial}, author = {Olivier Danvy and R. Kent Dybvig and Julia L. Lawall and Peter Thiemann}, year = {2008}, doi = {10.1007/s10990-008-9036-2}, url = {http://dx.doi.org/10.1007/s10990-008-9036-2}, researchr = {https://researchr.org/publication/DanvyDLT08}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {21}, number = {3}, pages = {237-238}, } @inproceedings{StuartHLAPM07, title = {Towards easing the diagnosis of bugs in OS code}, author = {Henrik Stuart and René Rydhof Hansen and Julia L. Lawall and Jesper Andersen and Yoann Padioleau and Gilles Muller}, year = {2007}, doi = {10.1145/1376789.1376792}, url = {http://doi.acm.org/10.1145/1376789.1376792}, researchr = {https://researchr.org/publication/StuartHLAPM07}, cites = {0}, citedby = {0}, booktitle = {sosp}, } @inproceedings{SahaLM11, title = {An approach to improving the structure of error-handling code in the linux kernel}, author = {Suman Saha and Julia L. Lawall and Gilles Muller}, year = {2011}, doi = {10.1145/1967677.1967684}, url = {http://doi.acm.org/10.1145/1967677.1967684}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/SahaLM11}, cites = {0}, citedby = {0}, pages = {41-50}, booktitle = {lctrts}, } @article{BissyandeRLBM15, title = {Implementing an embedded compiler using program transformation rules}, author = {Tegawendé F. Bissyandé and Laurent Réveillère and Julia L. Lawall and Yérom-David Bromberg and Gilles Muller}, year = {2015}, doi = {10.1002/spe.2225}, url = {http://dx.doi.org/10.1002/spe.2225}, researchr = {https://researchr.org/publication/BissyandeRLBM15}, cites = {0}, citedby = {0}, journal = {SPE}, volume = {45}, number = {2}, pages = {177-196}, } @inproceedings{GuoLM14, title = {Oops! where did that code snippet come from?}, author = {Lisong Guo and Julia L. Lawall and Gilles Muller}, year = {2014}, doi = {10.1145/2597073.2597094}, url = {http://doi.acm.org/10.1145/2597073.2597094}, researchr = {https://researchr.org/publication/GuoLM14}, cites = {0}, citedby = {0}, pages = {52-61}, booktitle = {msr}, } @inproceedings{Lawall01, title = {Implementing Circularity Using Partial Evaluation}, author = {Julia L. Lawall}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2053/20530084.htm}, tags = {laziness, programming languages, attribute grammars, data-flow language, persistent, reference attribute grammars, functional programming, data-flow programming, data-flow, C++, partial evaluation, context-aware, systematic-approach, grammar}, researchr = {https://researchr.org/publication/Lawall01}, cites = {0}, citedby = {0}, pages = {84-102}, booktitle = {pado}, } @article{OlesenHLP10, title = {{Clang} and {Coccinelle}: Synergising program analysis tools for {CERT C} Secure Coding Standard certification}, author = {Mads Chr. Olesen and René Rydhof Hansen and Julia L. Lawall and Nicolas Palix}, year = {2010}, url = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/455}, tags = {program analysis, analysis, C++, certification}, researchr = {https://researchr.org/publication/OlesenHLP10}, cites = {0}, citedby = {0}, journal = {eceasst}, volume = {33}, } @article{PadioleauLM07, title = {SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers}, author = {Yoann Padioleau and Julia L. Lawall and Gilles Muller}, year = {2007}, doi = {10.1016/j.entcs.2006.07.022}, url = {http://dx.doi.org/10.1016/j.entcs.2006.07.022}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/PadioleauLM07}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {166}, pages = {47-62}, } @inproceedings{TschudinRJLLM13, title = {Understanding the genetic makeup of Linux device drivers}, author = {Peter Senna Tschudin and Laurent Réveillère and Lingxiao Jiang and David Lo and Julia L. Lawall and Gilles Muller}, year = {2013}, doi = {10.1145/2525528.2525536}, url = {http://doi.acm.org/10.1145/2525528.2525536}, researchr = {https://researchr.org/publication/TschudinRJLLM13}, cites = {0}, citedby = {0}, booktitle = {sosp}, } @article{LawallPV11, title = {Editorial}, author = {Julia L. Lawall and Germán Puebla and Germán Vidal}, year = {2011}, doi = {10.1007/s10990-011-9069-9}, url = {http://dx.doi.org/10.1007/s10990-011-9069-9}, researchr = {https://researchr.org/publication/LawallPV11}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {24}, number = {1-2}, pages = {1-2}, } @inproceedings{LawallM96, title = {Optimality and Inefficiency: What Isn t a Cost Model of the Lambda Calculus?}, author = {Julia L. Lawall and Harry G. Mairson}, year = {1996}, researchr = {https://researchr.org/publication/LawallM96}, cites = {0}, citedby = {0}, pages = {92-101}, booktitle = {ICFP}, } @inproceedings{ThungLLL16, title = {Recommending Code Changes for Automatic Backporting of Linux Device Drivers}, author = {Ferdian Thung and Xuan-Bach D. Le and David Lo and Julia L. Lawall}, year = {2016}, doi = {10.1109/ICSME.2016.71}, url = {http://doi.ieeecomputersociety.org/10.1109/ICSME.2016.71}, researchr = {https://researchr.org/publication/ThungLLL16}, cites = {0}, citedby = {0}, pages = {222-232}, booktitle = {ICSM}, } @inproceedings{BurgyCLLPR06, title = {Language Technology for Internet-Telephony Service Creation}, author = {Laurent Burgy and Charles Consel and Fabien Latry and Julia L. Lawall and Nicolas Palix and Laurent Réveillère}, year = {2006}, doi = {10.1109/ICC.2006.254980}, url = {http://dx.doi.org/10.1109/ICC.2006.254980}, researchr = {https://researchr.org/publication/BurgyCLLPR06}, cites = {0}, citedby = {0}, pages = {1795-1800}, booktitle = {icc}, } @inproceedings{MaldonadoMFSHFLM10, title = {Scheduling support for transactional memory contention management}, 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}, year = {2010}, doi = {10.1145/1693453.1693465}, url = {http://doi.acm.org/10.1145/1693453.1693465}, tags = {memory management, Pascal}, researchr = {https://researchr.org/publication/MaldonadoMFSHFLM10}, cites = {0}, citedby = {0}, pages = {79-90}, booktitle = {ppopp}, } @inproceedings{Filali-AmineL10, title = {Development of a Synchronous Subset of AADL}, author = {Mamoun Filali-Amine and Julia L. Lawall}, year = {2010}, doi = {10.1007/978-3-642-11811-1_19}, url = {http://dx.doi.org/10.1007/978-3-642-11811-1_19}, researchr = {https://researchr.org/publication/Filali-AmineL10}, cites = {0}, citedby = {0}, pages = {245-258}, booktitle = {asm}, } @inproceedings{LawallT97, title = {Sound Specialization in the Presence of Computational Effects}, author = {Julia L. Lawall and Peter Thiemann}, year = {1997}, researchr = {https://researchr.org/publication/LawallT97}, cites = {0}, citedby = {0}, pages = {165-190}, booktitle = {tacs}, } @inproceedings{LawallD94, title = {Continuation-Based Partial Evaluation}, author = {Julia L. Lawall and Olivier Danvy}, year = {1994}, doi = {10.1145/182409.182483}, url = {http://doi.acm.org/10.1145/182409.182483}, tags = {rule-based, partial evaluation}, researchr = {https://researchr.org/publication/LawallD94}, cites = {0}, citedby = {0}, pages = {227-238}, booktitle = {lfp}, } @inproceedings{BaraisLMD05, title = {Providing Support for Safe Software Architecture Transformations}, author = {Olivier Barais and Julia L. Lawall and Anne-Françoise Le Meur and Laurence Duchien}, year = {2005}, doi = {10.1109/WICSA.2005.54}, url = {http://doi.ieeecomputersociety.org/10.1109/WICSA.2005.54}, tags = {software architecture, architecture, transformation}, researchr = {https://researchr.org/publication/BaraisLMD05}, cites = {0}, citedby = {0}, pages = {201-202}, booktitle = {wicsa}, } @inproceedings{HermenierLMML09, title = {Entropy: a consolidation manager for clusters}, author = {Fabien Hermenier and Xavier Lorca and Jean-Marc Menaud and Gilles Muller and Julia L. Lawall}, year = {2009}, doi = {10.1145/1508293.1508300}, url = {http://doi.acm.org/10.1145/1508293.1508300}, researchr = {https://researchr.org/publication/HermenierLMML09}, cites = {0}, citedby = {0}, pages = {41-50}, booktitle = {vee}, } @misc{homepages-l-JuliaLLawall, title = {Home Page}, author = {Julia L. Lawall}, researchr = {https://researchr.org/publication/homepages-l-JuliaLLawall}, cites = {0}, citedby = {0}, howpublished = {http://www.diku.dk/~julia/}, } @inproceedings{AndersenL08, title = {Generic Patch Inference}, author = {Jesper Andersen and Julia L. Lawall}, year = {2008}, doi = {10.1109/ASE.2008.44}, url = {http://dx.doi.org/10.1109/ASE.2008.44}, researchr = {https://researchr.org/publication/AndersenL08}, cites = {0}, citedby = {0}, pages = {337-346}, booktitle = {ASE}, } @inproceedings{BhatiaCL06:0, title = {Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX}, author = {Sapan Bhatia and Charles Consel and Julia L. Lawall}, year = {2006}, doi = {10.1109/LCN.2006.322069}, url = {http://dx.doi.org/10.1109/LCN.2006.322069}, tags = {caching, case study}, researchr = {https://researchr.org/publication/BhatiaCL06%3A0}, cites = {0}, citedby = {0}, pages = {47-54}, booktitle = {lcn}, } @inproceedings{BodeveixFLM05, title = {Formal Methods Meet Domain Specific Languages}, author = {Jean-Paul Bodeveix and Mamoun Filali and Julia L. Lawall and Gilles Muller}, year = {2005}, doi = {10.1007/11589976_12}, url = {http://dx.doi.org/10.1007/11589976_12}, tags = {domain-specific language}, researchr = {https://researchr.org/publication/BodeveixFLM05}, cites = {0}, citedby = {0}, pages = {187-206}, booktitle = {IFM}, } @inproceedings{FassinoSLM02, title = {Think: A Software Framework for Component-based Operating System Kernels}, author = {Jean-Philippe Fassino and Jean-Bernard Stefani and Julia L. Lawall and Gilles Muller}, year = {2002}, url = {http://www.usenix.org/publications/library/proceedings/usenix02/fassino.html}, tags = {rule-based, operating system, software components, software component}, researchr = {https://researchr.org/publication/FassinoSLM02}, cites = {0}, citedby = {0}, pages = {73-86}, booktitle = {usenix}, } @inproceedings{BrombergRLM09, title = {Automatic Generation of Network Protocol Gateways}, author = {Yérom-David Bromberg and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, year = {2009}, doi = {10.1007/978-3-642-10445-9_2}, url = {http://dx.doi.org/10.1007/978-3-642-10445-9_2}, tags = {protocol}, researchr = {https://researchr.org/publication/BrombergRLM09}, cites = {0}, citedby = {0}, pages = {21-41}, booktitle = {middleware}, } @inproceedings{MaldonadoMFLMR11, title = {Deadline-aware scheduling for Software Transactional Memory}, author = {Walther Maldonado and Patrick Marlier and Pascal Felber and Julia L. Lawall and Gilles Muller and Etienne Riviere}, year = {2011}, doi = {10.1109/DSN.2011.5958224}, url = {http://doi.ieeecomputersociety.org/10.1109/DSN.2011.5958224}, researchr = {https://researchr.org/publication/MaldonadoMFLMR11}, cites = {0}, citedby = {0}, pages = {257-268}, booktitle = {dsn}, } @article{OlesenHLP14, title = {Coccinelle: Tool support for automated CERT C Secure Coding Standard certification}, author = {Mads Chr. Olesen and René Rydhof Hansen and Julia L. Lawall and Nicolas Palix}, year = {2014}, doi = {10.1016/j.scico.2012.10.011}, url = {http://dx.doi.org/10.1016/j.scico.2012.10.011}, researchr = {https://researchr.org/publication/OlesenHLP14}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {91}, pages = {141-160}, } @inproceedings{MullerLD05:0, title = {A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation}, author = {Gilles Muller and Julia L. Lawall and Hervé Duchesne}, year = {2005}, doi = {10.1109/WORDS.2005.7}, url = {http://doi.ieeecomputersociety.org/10.1109/WORDS.2005.7}, tags = {design}, researchr = {https://researchr.org/publication/MullerLD05%3A0}, cites = {0}, citedby = {0}, pages = {219-230}, booktitle = {words}, } @inproceedings{BrunelDHLM09, title = {A foundation for flow-based program matching: using temporal logic and model checking}, author = {Julien Brunel and Damien Doligez and René Rydhof Hansen and Julia L. Lawall and Gilles Muller}, year = {2009}, doi = {10.1145/1480881.1480897}, url = {http://doi.acm.org/10.1145/1480881.1480897}, tags = {rule-based, meta programming, model checking, meta-model, data-flow programming, data-flow, logic programming, logic, Meta-Environment}, researchr = {https://researchr.org/publication/BrunelDHLM09}, cites = {0}, citedby = {0}, pages = {114-126}, booktitle = {POPL}, } @inproceedings{LawallM97, title = {on Global Dynamics of Optimal Graph Reduction}, author = {Julia L. Lawall and Harry G. Mairson}, year = {1997}, tags = {graph-rewriting, rewriting}, researchr = {https://researchr.org/publication/LawallM97}, cites = {0}, citedby = {0}, pages = {188-195}, booktitle = {ICFP}, } @inproceedings{PalixCRL07, title = {A stepwise approach to developing languages for SIP telephony service creation}, author = {Nicolas Palix and Charles Consel and Laurent Réveillère and Julia L. Lawall}, year = {2007}, doi = {10.1145/1326304.1326317}, url = {http://doi.acm.org/10.1145/1326304.1326317}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/PalixCRL07}, cites = {0}, citedby = {0}, pages = {79-88}, booktitle = {iptcomm}, } @inproceedings{LawallM00, title = {Efficient Incremental Checkpointing of Java Programs}, author = {Julia L. Lawall and Gilles Muller}, year = {2000}, url = {http://computer.org/proceedings/dsn/0707/07070061abs.htm}, tags = {Java, incremental}, researchr = {https://researchr.org/publication/LawallM00}, cites = {0}, citedby = {0}, pages = {61-70}, booktitle = {dsn}, } @inproceedings{LawallPS06, title = {Issues in holistic system design}, author = {Julia L. Lawall and Christian W. Probst and Ulrik Pagh Schultz}, year = {2006}, doi = {10.1145/1215995.1216007}, url = {http://doi.acm.org/10.1145/1215995.1216007}, tags = {design}, researchr = {https://researchr.org/publication/LawallPS06}, cites = {0}, citedby = {0}, pages = {12}, booktitle = {asplos}, } @inproceedings{AbergLSMM03, title = {On the automatic evolution of an OS kernel using temporal logic and AOP}, author = {Rickard A. Åberg and Julia L. Lawall and Mario Südholt and Gilles Muller and Anne-Françoise Le Meur}, year = {2003}, url = {http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350196abs.htm}, tags = {logic}, researchr = {https://researchr.org/publication/AbergLSMM03}, cites = {0}, citedby = {0}, pages = {196-204}, booktitle = {ASE}, } @inproceedings{MeurLC02, title = {Towards bridging the gap between programming languages and partial evaluation}, author = {Anne-Françoise Le Meur and Julia L. Lawall and Charles Consel}, year = {2002}, doi = {10.1145/503032.503033}, url = {http://doi.acm.org/10.1145/503032.503033}, tags = {programming languages, partial evaluation, programming}, researchr = {https://researchr.org/publication/MeurLC02}, cites = {0}, citedby = {0}, pages = {9-18}, booktitle = {PEPM}, } @article{LawallLS08, title = {Editorial}, author = {Julia L. Lawall and Michael Leuschel and Peter Sestoft}, year = {2008}, doi = {10.1007/s10990-008-9029-1}, url = {http://dx.doi.org/10.1007/s10990-008-9029-1}, researchr = {https://researchr.org/publication/LawallLS08}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {21}, number = {1-2}, pages = {1-3}, } @article{MullerPLH06, title = {Semantic patches considered helpful}, author = {Gilles Muller and Yoann Padioleau and Julia L. Lawall and René Rydhof Hansen}, year = {2006}, doi = {10.1145/1151374.1151392}, url = {http://doi.acm.org/10.1145/1151374.1151392}, researchr = {https://researchr.org/publication/MullerPLH06}, cites = {0}, citedby = {0}, journal = {sigops}, volume = {40}, number = {3}, pages = {90-92}, } @inproceedings{ThungWLL13, title = {Automatic recommendation of API methods from feature requests}, author = {Ferdian Thung and Shaowei Wang and David Lo and Julia L. Lawall}, year = {2013}, doi = {10.1109/ASE.2013.6693088}, url = {http://dx.doi.org/10.1109/ASE.2013.6693088}, researchr = {https://researchr.org/publication/ThungWLL13}, cites = {0}, citedby = {0}, pages = {290-300}, booktitle = {ASE}, } @inproceedings{LawallLHPM10, title = {Finding Error Handling Bugs in OpenSSL Using Coccinelle}, author = {Julia L. Lawall and Ben Laurie and René Rydhof Hansen and Nicolas Palix and Gilles Muller}, year = {2010}, doi = {10.1109/EDCC.2010.31}, url = {http://doi.ieeecomputersociety.org/10.1109/EDCC.2010.31}, researchr = {https://researchr.org/publication/LawallLHPM10}, cites = {0}, citedby = {0}, pages = {191-196}, booktitle = {edcc}, } @article{DanvyL01, title = {Editorial}, author = {Olivier Danvy and Julia L. Lawall}, year = {2001}, researchr = {https://researchr.org/publication/DanvyL01}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {14}, number = {2-3}, pages = {99-100}, } @article{BurgyRLM11, title = {Zebu: A Language-Based Approach for Network Protocol Message Processing}, author = {Laurent Burgy and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, year = {2011}, doi = {10.1109/TSE.2010.64}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2010.64}, tags = {rule-based, protocol, systematic-approach}, researchr = {https://researchr.org/publication/BurgyRLM11}, cites = {0}, citedby = {0}, journal = {TSE}, volume = {37}, number = {4}, pages = {575-591}, } @inproceedings{NoelHCL98, title = {Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study}, author = {François Noël and Luke Hornof and Charles Consel and Julia L. Lawall}, year = {1998}, url = {http://computer.org/proceedings/iccl/8454/84540132abs.htm}, tags = {rule-based}, researchr = {https://researchr.org/publication/NoelHCL98}, cites = {0}, citedby = {0}, pages = {132-142}, booktitle = {iccl}, } @article{ThibaultCLMM00, title = {Static and Dynamic Program Compilation by Interpreter Specialization}, author = {Scott Thibault and Charles Consel and Julia L. Lawall and Renaud Marlet and Gilles Muller}, year = {2000}, doi = {10.1023/A:1010078412711}, tags = {interpreter}, researchr = {https://researchr.org/publication/ThibaultCLMM00}, cites = {0}, citedby = {0}, journal = {lisp}, volume = {13}, number = {3}, pages = {161-178}, } @inproceedings{BlinCSLM16, title = {Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System}, author = {Antoine Blin and Cedric Courtaud and Julien Sopena and Julia L. Lawall and Gilles Muller}, year = {2016}, doi = {10.1109/ECRTS.2016.18}, url = {http://doi.ieeecomputersociety.org/10.1109/ECRTS.2016.18}, researchr = {https://researchr.org/publication/BlinCSLM16}, cites = {0}, citedby = {0}, pages = {109-119}, booktitle = {ecrts}, } @inproceedings{SchultzLC00, title = {Specialization Patterns}, author = {Ulrik Pagh Schultz and Julia L. Lawall and Charles Consel}, year = {2000}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=873664&tag=1}, tags = {optimization, rule-based, program analysis, analysis, program optimization, design}, researchr = {https://researchr.org/publication/SchultzLC00}, cites = {0}, citedby = {0}, pages = {197}, booktitle = {ASE}, } @article{Lawall08, title = {Editorial}, author = {Julia L. Lawall}, year = {2008}, doi = {10.1017/S0956796808006965}, url = {http://dx.doi.org/10.1017/S0956796808006965}, researchr = {https://researchr.org/publication/Lawall08}, cites = {0}, citedby = {0}, journal = {JFP}, volume = {18}, number = {5-6}, pages = {565-566}, } @inproceedings{SahaL0LM13, title = {Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software}, author = {Suman Saha and Jean-Pierre Lozi and Gaël Thomas 0001 and Julia L. Lawall and Gilles Muller}, year = {2013}, doi = {10.1109/DSN.2013.6575307}, url = {http://doi.ieeecomputersociety.org/10.1109/DSN.2013.6575307}, researchr = {https://researchr.org/publication/SahaL0LM13}, cites = {0}, citedby = {0}, pages = {1-12}, booktitle = {dsn}, } @inproceedings{UrunuelaML06, title = {Energy adaptation for multimedia information kiosks}, author = {Richard Urunuela and Gilles Muller and Julia L. Lawall}, year = {2006}, doi = {10.1145/1176887.1176920}, url = {http://doi.acm.org/10.1145/1176887.1176920}, tags = {multimedia}, researchr = {https://researchr.org/publication/UrunuelaML06}, cites = {0}, citedby = {0}, pages = {223-232}, booktitle = {emsoft}, } @article{BodeveixFLM07, title = {Automatic Verification of Bossa Scheduler Properties}, author = {Jean-Paul Bodeveix and Mamoun Filali and Julia L. Lawall and Gilles Muller}, year = {2007}, doi = {10.1016/j.entcs.2007.05.026}, url = {http://dx.doi.org/10.1016/j.entcs.2007.05.026}, researchr = {https://researchr.org/publication/BodeveixFLM07}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {185}, pages = {17-32}, } @article{AndersenL10, title = {Generic patch inference}, author = {Jesper Andersen and Julia L. Lawall}, year = {2010}, url = {http://springerlink.metapress.com/content/c1l48125405p4427/}, researchr = {https://researchr.org/publication/AndersenL10}, cites = {0}, citedby = {0}, journal = {ASE}, volume = {17}, number = {2}, pages = {119-148}, } @inproceedings{BurgyRLM07, title = {A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations}, author = {Laurent Burgy and Laurent Réveillère and Julia L. Lawall and Gilles Muller}, year = {2007}, doi = {10.1109/SRDS.2007.26}, url = {http://dx.doi.org/10.1109/SRDS.2007.26}, tags = {rule-based, protocol, systematic-approach}, researchr = {https://researchr.org/publication/BurgyRLM07}, cites = {0}, citedby = {0}, pages = {149-160}, booktitle = {srds}, } @inproceedings{Lawall98, title = {Faster Fourier Transforms via Automatic Program Specialization}, author = {Julia L. Lawall}, year = {1998}, researchr = {https://researchr.org/publication/Lawall98}, cites = {0}, citedby = {0}, pages = {338-355}, booktitle = {PEPM}, } @inproceedings{LawallMB02, title = {Capturing OS expertise in an event type system: the Bossa experience}, author = {Julia L. Lawall and Gilles Muller and Luciano Porto Barreto}, year = {2002}, doi = {10.1145/1133373.1133384}, url = {http://doi.acm.org/10.1145/1133373.1133384}, tags = {type system}, researchr = {https://researchr.org/publication/LawallMB02}, cites = {0}, citedby = {0}, pages = {54-61}, booktitle = {sigopsE}, } @inproceedings{Lawall93, title = {Proofs by Structural Induction using Partial Evaluation}, author = {Julia L. Lawall}, year = {1993}, tags = {partial evaluation}, researchr = {https://researchr.org/publication/Lawall93}, cites = {0}, citedby = {0}, pages = {155-166}, booktitle = {PEPM}, } @inproceedings{ThungLL13, title = {Automated library recommendation}, author = {Ferdian Thung and David Lo and Julia L. Lawall}, year = {2013}, doi = {10.1109/WCRE.2013.6671293}, url = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2013.6671293}, researchr = {https://researchr.org/publication/ThungLL13}, cites = {0}, citedby = {0}, pages = {182-191}, booktitle = {WCRE}, } @inproceedings{LawallMD04, title = {Invited application paper: language design for implementing process scheduling hierarchies}, author = {Julia L. Lawall and Gilles Muller and Hervé Duchesne}, year = {2004}, doi = {10.1145/1014007.1014016}, url = {http://doi.acm.org/10.1145/1014007.1014016}, tags = {language design, design}, researchr = {https://researchr.org/publication/LawallMD04}, cites = {0}, citedby = {0}, pages = {80-91}, booktitle = {PEPM}, } @proceedings{icfp:2006, title = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006}, year = {2006}, tags = {functional programming, programming}, researchr = {https://researchr.org/publication/icfp%3A2006}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006}, conference = {ICFP}, editor = {John H. Reppy and Julia L. Lawall}, publisher = {ACM}, isbn = {1-59593-309-3}, } @proceedings{pepm-2000, 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}, year = {2000}, url = {http://dl.acm.org/citation.cfm?id=328690}, researchr = {https://researchr.org/publication/pepm-2000}, cites = {0}, citedby = {0}, booktitle = {Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000}, conference = {PEPM}, editor = {Julia L. Lawall}, publisher = {ACM}, isbn = {1-58113-201-8}, } @proceedings{gpce:2007, title = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007}, year = {2007}, month = {October}, tags = {generative programming, programming}, researchr = {https://researchr.org/publication/gpce%3A2007}, cites = {0}, citedby = {0}, booktitle = {Generative Programming and Component Engineering, 6th International Conference, GPCE 2007}, conference = {GPCE}, editor = {Charles Consel and Julia L. Lawall}, address = {Salzburg, Austria}, publisher = {ACM}, isbn = {978-1-59593-855-8}, }