default search action
Julia Lawall
Person information
- affiliation: Sorbonne University, LIP6, Paris
- affiliation: Inria, France
- affiliation (former): University of Copenhagen, DIKU, Denmark
- affiliation (former): Boston University, Department of Computer Science, MA, USA
- affiliation (former, PhD 1994): Indiana University, Bloomington, IN, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j42]Necip Fazil Yildiran, Jeho Oh, Julia Lawall, Paul Gazzillo:
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times. Proc. ACM Softw. Eng. 1(FSE): 427-449 (2024) - [j41]Dan Williams, Julia Lawall:
Introduction to the Special Section on USENIX ATC 2023. ACM Trans. Storage 20(2): 7:1 (2024) - [j40]Yunbo Lyu, Hong Jin Kang, Ratnadira Widyasari, Julia Lawall, David Lo:
Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel. IEEE Trans. Software Eng. 50(9): 2219-2239 (2024) - [i16]Necip Fazil Yildiran, Jeho Oh, Julia Lawall, Paul Gazzillo:
Maximizing Patch Coverage for Testing of Highly-Configurable Software without Exploding Build Times. CoRR abs/2404.17966 (2024) - 2023
- [c120]Julia Lawall:
On the Origins of Coccinelle. Eelco Visser Commemorative Symposium 2023: 18:1-18:11 - [c119]Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall:
OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. EuroSys 2023: 33-45 - [e5]Julia Lawall, Dan Williams:
Proceedings of the 2023 USENIX Annual Technical Conference, USENIX ATC 2023, Boston, MA, USA, July 10-12, 2023. USENIX Association 2023 [contents] - [i15]Yunbo Lyu, Hong Jin Kang, Ratnadira Widyasari, Julia Lawall, David Lo:
Evaluating SZZ Implementations: An Empirical Study on the Linux Kernel. CoRR abs/2308.05060 (2023) - [i14]Kisub Kim, Xin Zhou, Dongsun Kim, Julia Lawall, Kui Liu, Tegawendé F. Bissyandé, Jacques Klein, Jaekwon Lee, David Lo:
How are We Detecting Inconsistent Method Names? An Empirical Study from Code Review Perspective. CoRR abs/2308.12701 (2023) - 2022
- [j39]Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: automated Android API update with data flow analysis and variable denormalization. Empir. Softw. Eng. 27(3): 73 (2022) - [j38]Jia-Ju Bai, Qiu-Liang Chen, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu:
Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers. IEEE Trans. Software Eng. 48(12): 5120-5135 (2022) - [c118]Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller:
OS scheduling with nest: keeping tasks close together on warm cores. EuroSys 2022: 368-383 - [c117]Julia Lawall, Gilles Muller:
Automating Program Transformation with Coccinelle. NFM 2022: 71-87 - [d1]Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller:
Artifact for the paper "OS Scheduling with Nest: Keeping Threads Close Together on Warm Cores". Zenodo, 2022 - 2021
- [j37]Thong Hoang, Julia Lawall, Yuan Tian, Richard Jayadi Oentaryo, David Lo:
PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel. IEEE Trans. Software Eng. 47(11): 2471-2486 (2021) - [c116]Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: Automated Update for Android Deprecated-API Usages. ICSE (Companion Volume) 2021: 1-4 - [c115]Stefanus A. Haryono, Ferdian Thung, David Lo, Julia Lawall, Lingxiao Jiang:
Characterization and Automatic Updates of Deprecated Machine-Learning API Usages. ICSME 2021: 137-147 - [c114]Stefanus A. Haryono, Ferdian Thung, David Lo, Julia Lawall, Lingxiao Jiang:
MLCatchUp: Automated Update of Deprecated Machine-Learning APIs in Python. ICSME 2021: 584-588 - [c113]Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury:
Automated patch backporting in Linux (experience paper). ISSTA 2021: 633-645 - [c112]Michele Martone, Julia Lawall:
Refactoring for Performance with Semantic Patching: Case Study with Recipes. ISC Workshops 2021: 226-232 - 2020
- [c111]Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller:
Provable multicore schedulers with Ipanema: application to work conservation. EuroSys 2020: 3:1-3:16 - [c110]Thong Hoang, Hong Jin Kang, David Lo, Julia Lawall:
CC2Vec: distributed representations of code changes. ICSE 2020: 518-529 - [c109]Aleksandr Chueshev, Julia Lawall, Reda Bendraou, Tewfik Ziadi:
Expanding the Number of Reviewers in Open-Source Projects by Recommending Appropriate Developers. ICSME 2020: 499-510 - [c108]Stefanus A. Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang:
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. ICPC 2020: 401-405 - [c107]Nic Volanschi, Julia Lawall:
The Impact of Generic Data Structures: Decoding the Role of Lists in the Linux Kernel. ASE 2020: 103-114 - [c106]Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller:
SPINFER: Inferring Semantic Patches for the Linux Kernel. USENIX ATC 2020: 235-248 - [c105]Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller:
Fewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance. USENIX ATC 2020: 435-448 - [c104]Ferdian Thung, Stefanus A. Haryono, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang:
Automated Deprecated-API Usage Update for Android Apps: How Far are We? SANER 2020: 602-611 - [i13]Thong Hoang, Hong Jin Kang, Julia Lawall, David Lo:
CC2Vec: Distributed Representations of Code Changes. CoRR abs/2003.05620 (2020) - [i12]Stefanus Agus Haryono, Ferdian Thung, Hong Jin Kang, Lucas Serrano, Gilles Muller, Julia Lawall, David Lo, Lingxiao Jiang:
Automatic Android Deprecated-API Usage Update by Learning from Single Updated Example. CoRR abs/2005.13220 (2020) - [i11]Stefanus Agus Haryono, Ferdian Thung, David Lo, Julia Lawall, Lingxiao Jiang:
Characterization and Automatic Update of Deprecated Machine-Learning API Usages. CoRR abs/2011.04962 (2020) - [i10]Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: Automated Android API Update with Data Flow Analysis and Variable Denormalization. CoRR abs/2011.05020 (2020) - [i9]Stefanus Agus Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller:
AndroEvolve: Automated Update for Android Deprecated-API Usages. CoRR abs/2012.07259 (2020)
2010 – 2019
- 2019
- [j36]Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo:
Semantic Patches for Java Program Transformation (Artifact). Dagstuhl Artifacts Ser. 5(2): 10:1-10:3 (2019) - [j35]Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie:
RACOON++: A Semi-Automatic Framework for the Selfishness-Aware Design of Cooperative Systems. IEEE Trans. Dependable Secur. Comput. 16(4): 635-650 (2019) - [c103]Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu:
DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel. ASPLOS 2019: 287-299 - [c102]Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo:
Semantic Patches for Java Program Transformation (Experience Report). ECOOP 2019: 22:1-22:27 - [c101]Thong Hoang, Julia Lawall, Richard Jayadi Oentaryo, Yuan Tian, David Lo:
PatchNet: a tool for deep patch classification. ICSE (Companion Volume) 2019: 83-86 - [c100]Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu:
Fuzzing Error Handling Code in Device Drivers Based on Software Fault Injection. ISSRE 2019: 128-138 - [c99]Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller:
Fork/Wait and Multicore Frequency Scaling: a Generational Clash. PLOS@SOSP 2019: 53-59 - [c98]Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu:
Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. USENIX ATC 2019: 255-268 - [c97]Qiu-Liang Chen, Jia-Ju Bai, Zu-Ming Jiang, Julia Lawall, Shi-Min Hu:
Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers. SANER 2019: 366-376 - [i8]Thong Hoang, Julia Lawall, Richard Jayadi Oentaryo, Yuan Tian, David Lo:
PatchNet: A Tool for Deep Patch Classification. CoRR abs/1903.02063 (2019) - [i7]Thong Hoang, Julia Lawall, Yuan Tian, Richard Jayadi Oentaryo, David Lo:
PatchNet: Hierarchical Deep Learning-Based Stable Patch Identification for the Linux Kernel. CoRR abs/1911.03576 (2019) - 2018
- [j34]Krishna Narasimhan, Christoph Reichenbach, Julia Lawall:
Cleaning up copy-paste clones with interactive merging. Autom. Softw. Eng. 25(3): 627-673 (2018) - [j33]Jia-Ju Bai, Julia Lawall, Shi-Min Hu:
Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel. ACM Trans. Comput. Syst. 36(4): 10:1-10:30 (2018) - [c96]Justinien Bouron, Sebastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena:
The Battle of the Schedulers: FreeBSD ULE vs. Linux CFS. USENIX ATC 2018: 85-96 - [c95]Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu:
DSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules. USENIX ATC 2018: 587-600 - [c94]Julia Lawall, Gilles Muller:
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. USENIX ATC 2018: 601-614 - 2017
- [j32]Pavneet Singh Kochhar, David Lo, Julia Lawall, Nachiappan Nagappan:
Code Coverage and Postrelease Defects: A Large-Scale Study on Open Source Projects. IEEE Trans. Reliab. 66(4): 1213-1228 (2017) - [c93]Julia Lawall, Gilles Muller:
JMake: Dependable Compilation for Kernel Janitors. DSN 2017: 357-366 - [c92]Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie:
Analysing Selfishness Flooding with SEINE. DSN 2017: 603-614 - [c91]Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller:
Towards Proving Optimistic Multicore Schedulers. HotOS 2017: 18-23 - [c90]Krishna Narasimhan, Christoph Reichenbach, Julia Lawall:
Interactive data representation migration: exploiting program dependence to aid program transformation. PEPM 2017: 47-58 - [c89]Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller:
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. USENIX ATC 2017: 15-26 - [e4]Julia Lawall:
Proceedings of the 9th Workshop on Programming Languages and Operating Systems, Shanghai, China, October 28, 2017. ACM 2017, ISBN 978-1-4503-5153-9 [contents] - 2016
- [j31]Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel. Autom. Softw. Eng. 23(1): 3-41 (2016) - [j30]Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Fast and Portable Locking for Multicore Architectures. ACM Trans. Comput. Syst. 33(4): 13:1-13:62 (2016) - [c88]Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller:
Maximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System. ECRTS 2016: 109-119 - [c87]Arthur Blot, Pierre-Évariste Dagand, Julia Lawall:
From Sets to Bits in Coq. FLOPS 2016: 12-28 - [c86]Ferdian Thung, Xuan-Bach Dinh Le, David Lo, Julia Lawall:
Recommending Code Changes for Automatic Backporting of Linux Device Drivers. ICSME 2016: 222-232 - [c85]Antoine Blin, Cédric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller:
Understanding the Memory Consumption of the MiBench Embedded Benchmark. NETYS 2016: 71-86 - 2015
- [j29]Tegawendé F. Bissyandé, Laurent Réveillère, Julia L. Lawall, Yérom-David Bromberg, Gilles Muller:
Implementing an embedded compiler using program transformation rules. Softw. Pract. Exp. 45(2): 177-196 (2015) - [j28]Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière:
Supporting Time-Based QoS Requirements in Software Transactional Memory. ACM Trans. Parallel Comput. 2(2): 10:1-10:30 (2015) - [c84]Koutheir Attouchi, Gaël Thomas, Gilles Muller, Julia Lawall, André Bottaro:
Incinerator - Eliminating Stale References in Dynamic OSGi Applications. DSN 2015: 545-554 - [c83]Luis R. Rodriguez, Julia Lawall:
Increasing Automation in the Backporting of Linux Drivers Using Coccinelle. EDCC 2015: 132-143 - [c82]Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry:
Are These Bugs Really "Normal"? MSR 2015: 258-268 - [c81]Guido Lena Cota, Sonia Ben Mokhtar, Julia Lawall, Gilles Muller, Gabriele Gianini, Ernesto Damiani, Lionel Brunie:
A Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems. SRDS 2015: 276-285 - [c80]Nicolas Palix, Jean-Rémy Falleri, Julia Lawall:
Improving pattern tracking with a language-aware tree differencing algorithm. SANER 2015: 43-52 - 2014
- [j27]Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix:
Coccinelle: Tool support for automated CERT C Secure Coding Standard certification. Sci. Comput. Program. 91: 141-160 (2014) - [j26]Julia Lawall, Cristina V. Lopes:
SIGPLAN Professional Activities Committee Report. ACM SIGPLAN Notices 49(4S): 8 (2014) - [j25]Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia Lawall:
Faults in Linux 2.6. ACM Trans. Comput. Syst. 32(2): 4:1-4:40 (2014) - [c79]Julia Lawall:
Coccinelle: reducing the barriers to modularization in a large C code base. MODULARITY (Companion) 2014: 5-6 - [c78]Pavneet Singh Kochhar, Ferdian Thung, David Lo, Julia Lawall:
An Empirical Study on the Adequacy of Testing in Open Source Projects. APSEC (1) 2014: 215-222 - [c77]Yuan Tian, David Lo, Julia Lawall:
Automated construction of a software-specific word similarity database. CSMR-WCRE 2014: 44-53 - [c76]Yuan Tian, David Lo, Julia Lawall:
SEWordSim: software-specific word similarity database. ICSE Companion 2014: 568-571 - [c75]Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry:
On the Effectiveness of Information Retrieval Based Bug Localization for C Programs. ICSME 2014: 161-170 - [c74]Shaowei Wang, David Lo, Julia Lawall:
Compositional Vector Space Models for Improved Bug Localization. ICSME 2014: 171-180 - [c73]Lisong Guo, Julia Lawall, Gilles Muller:
Oops! where did that code snippet come from? MSR 2014: 52-61 - [c72]Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Continuously measuring critical section pressure with the free-lunch profiler. OOPSLA 2014: 291-307 - [i6]Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Gilles Muller, Julia L. Lawall:
Faults in Linux 2.6. CoRR abs/1407.4346 (2014) - 2013
- [j24]Viktória Zsók, Rex L. Page, Julia Lawall:
Editorial TFP 2009/2010. High. Order Symb. Comput. 26(1-4): 1-2 (2013) - [j23]Julia Lawall, Cristina V. Lopes:
SIGPLAN professional activities committee report. ACM SIGPLAN Notices 48(4S): 9 (2013) - [j22]Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller:
WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process. Softw. Pract. Exp. 43(1): 67-92 (2013) - [j21]Fabien Hermenier, Julia Lawall, Gilles Muller:
BtrPlace: A Flexible Consolidation Manager for Highly Available Applications. IEEE Trans. Dependable Secur. Comput. 10(5): 273-286 (2013) - [c71]Suman Saha, Jean-Pierre Lozi, Gaël Thomas, Julia L. Lawall, Gilles Muller:
Hector: Detecting Resource-Release Omission Faults in error-handling code for systems software. DSN 2013: 1-12 - [c70]Ferdian Thung, Shaowei Wang, David Lo, Julia Lawall:
Automatic recommendation of API methods from feature requests. ASE 2013: 290-300 - [c69]Peter Senna Tschudin, Laurent Réveillère, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller:
Understanding the genetic makeup of Linux device drivers. PLOS@SOSP 2013: 10:1-10:6 - [c68]Ferdian Thung, David Lo, Julia Lawall:
Automated library recommendation. WCRE 2013: 182-191 - 2012
- [j20]Oleg Kiselyov, Julia Lawall, Simon J. Thompson:
Editorial PEPM2012. High. Order Symb. Comput. 25(1): 1-2 (2012) - [j19]Sven Apel, Christian Lengauer, Julia Lawall:
Preface to the special issue on feature-oriented software development (FOSD 2009). Sci. Comput. Program. 77(3): 129-130 (2012) - [c67]Yuan Tian, Julia Lawall, David Lo:
Identifying Linux bug fixing patches. ICSE 2012: 386-396 - [c66]Tegawendé F. Bissyandé, Laurent Réveillère, Julia Lawall, Gilles Muller:
Diagnosys: automatic generation of a debugging interface to the Linux kernel. ASE 2012: 60-69 - [c65]Jesper Andersen, Anh Cuong Nguyen, David Lo, Julia L. Lawall, Siau-Cheng Khoo:
Semantic patch inference. ASE 2012: 382-385 - [c64]Jean-Pierre Lozi, Florian David, Gaël Thomas, Julia Lawall, Gilles Muller:
Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications. USENIX ATC 2012: 65-76 - 2011
- [j18]Julia Lawall, Germán Puebla, Germán Vidal:
Editorial. High. Order Symb. Comput. 24(1-2): 1-2 (2011) - [j17]Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. ACM SIGOPS Oper. Syst. Rev. 45(3): 5-9 (2011) - [j16]Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller:
Zebu: A Language-Based Approach for Network Protocol Message Processing. IEEE Trans. Software Eng. 37(4): 575-591 (2011) - [c63]Nicolas Palix, Gaël Thomas, Suman Saha, Christophe Calvès, Julia Lawall, Gilles Muller:
Faults in linux: ten years later. ASPLOS 2011: 305-318 - [c62]Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivière:
Deadline-aware scheduling for Software Transactional Memory. DSN 2011: 257-268 - [c61]Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall:
Leveraging software architectures to guide and verify the development of sense/compute/control applications. ICSE 2011: 431-440 - [c60]Suman Saha, Julia Lawall, Gilles Muller:
An approach to improving the structure of error-handling code in the linux kernel. LCTES 2011: 41-50 - [c59]Suman Saha, Julia Lawall, Gilles Muller:
Finding resource-release omission faults in Linux. PLOS@SOSP 2011: 1:1-1:5 - [i5]Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall:
Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC. CoRR abs/1106.4200 (2011) - [i4]Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall:
Leveraging Software Architectures to Guide and Verify the Development of Sense/Compute/Control Applications. CoRR abs/1109.2807 (2011) - 2010
- [j15]Jesper Andersen, Julia L. Lawall:
Generic patch inference. Autom. Softw. Eng. 17(2): 119-148 (2010) - [j14]Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix:
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010) - [j13]Julia L. Lawall:
Preface to special issue on Generative Programming and Component Engineering (GPCE 2007). Sci. Comput. Program. 75(7): 471-472 (2010) - [c58]Nicolas Palix, Julia Lawall, Gilles Muller:
Tracking code patterns over multiple software versions with Herodotos. AOSD 2010: 169-180 - [c57]Mamoun Filali-Amine, Julia Lawall:
Development of a Synchronous Subset of AADL. ASM 2010: 245-258 - [c56]Julia Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Finding Error Handling Bugs in OpenSSL Using Coccinelle. EDCC 2010: 191-196 - [c55]Julia Lawall, David Lo:
An automated approach for finding variable-constant pairing bugs. ASE 2010: 103-112 - [c54]Tegawendé F. Bissyandé, Laurent Réveillère, Yérom-David Bromberg, Julia L. Lawall, Gilles Muller:
Bridging the Gap between Legacy Services and Web Services. Middleware 2010: 273-292 - [c53]Walther Maldonado, Patrick Marlier, Pascal Felber, Adi Suissa, Danny Hendler, Alexandra Fedorova, Julia L. Lawall, Gilles Muller:
Scheduling support for transactional memory contention management. PPoPP 2010: 79-90 - [c52]Nicolas Geoffray, Gaël Thomas, Julia Lawall, Gilles Muller, Bertil Folliot:
VMKit: a substrate for managed runtime environments. VEE 2010: 51-62 - [i3]Julia Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller:
Improving the Security of Infrastructure Software using Coccinelle. ERCIM News 2010(83): 54 (2010)
2000 – 2009
- 2009
- [c51]Julia L. Lawall, Gilles Muller, Nicolas Palix:
Enforcing the use of API functions in linux code. ACP4IS@AOSD 2009: 7-12 - [c50]Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller:
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. DSN 2009: 43-52 - [c49]Yérom-David Bromberg, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
Automatic Generation of Network Protocol Gateways. Middleware 2009: 21-41 - [c48]Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller:
A foundation for flow-based program matching: using temporal logic and model checking. POPL 2009: 114-126 - [c47]Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall:
Entropy: a consolidation manager for clusters. VEE 2009: 41-50 - 2008
- [j12]Julia Lawall:
Editorial. J. Funct. Program. 18(5-6): 565-566 (2008) - [j11]Julia Lawall, Michael Leuschel, Peter Sestoft:
Editorial. High. Order Symb. Comput. 21(1-2): 1-3 (2008) - [j10]Olivier Danvy, R. Kent Dybvig, Julia Lawall, Peter Thiemann:
Editorial. High. Order Symb. Comput. 21(3): 237-238 (2008) - [c46]Yoann Padioleau, Julia Lawall, René Rydhof Hansen, Gilles Muller:
Documenting and automating collateral evolutions in linux device drivers. EuroSys 2008: 247-260 - [c45]Julien Mercadal, Nicolas Palix, Charles Consel, Julia L. Lawall:
Pantaxou: a domain-specific language for developing safe coordination services. GPCE 2008: 149-160 - [c44]Jesper Andersen, Julia L. Lawall:
Generic Patch Inference. ASE 2008: 337-346 - [c43]Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall:
High-level Programming Support for Robust Pervasive Computing Applications. PerCom 2008: 252-255 - [p1]Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia Lawall:
Software Architecture Evolution. Software Evolution 2008: 233-262 - 2007
- [c42]Nicolas Palix, Charles Consel, Laurent Réveillère, Julia Lawall:
A stepwise approach to developing languages for SIP telephony service creation. IPTComm 2007: 79-88 - [c41]Henrik Stuart, René Rydhof Hansen, Julia L. Lawall, Jesper Andersen, Yoann Padioleau, Gilles Muller:
Towards easing the diagnosis of bugs in OS code. PLOS@SOSP 2007: 2:1-2:5 - [c40]Laurent Burgy, Laurent Réveillère, Julia L. Lawall, Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. SRDS 2007: 149-160 - [e3]Charles Consel, Julia L. Lawall:
Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings. ACM 2007, ISBN 978-1-59593-855-8 [contents] - [i2]Richard Urunuela, Gilles Muller, Julia L. Lawall:
Towards Class-Based Dynamic Voltage Scaling for Multimedia Applications. Power-aware Computing Systems 2007 - [i1]Laurent Burgy, Laurent Réveillère, Julia Lawall, Gilles Muller:
A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations. CoRR abs/0704.1373 (2007) - 2006
- [j9]Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen:
Semantic patches considered helpful. ACM SIGOPS Oper. Syst. Rev. 40(3): 90-92 (2006) - [c39]Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller:
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. PLOS 2006: 10 - [c38]Julia L. Lawall, Christian W. Probst, Ulrik Pagh Schultz:
Issues in holistic system design. PLOS 2006: 12 - [c37]Olivier Barais, Anne-Françoise Le Meur, Laurence Duchien, Julia Lawall:
Safe Integration of New Concerns in a Software Architecture. ECBS 2006: 52-64 - [c36]Richard Urunuela, Gilles Muller, Julia L. Lawall:
Energy adaptation for multimedia information kiosks. EMSOFT 2006: 223-232 - [c35]Yoann Padioleau, Julia L. Lawall, Gilles Muller:
Understanding collateral evolution in Linux device drivers. EuroSys 2006: 59-71 - [c34]Yoann Padioleau, Julia Lawall, Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL 2006: 147-154 - [c33]Laurent Burgy, Charles Consel, Fabien Latry, Julia Lawall, Nicolas Palix, Laurent Réveillère:
Language Technology for Internet-Telephony Service Creation. ICC 2006: 1795-1800 - [c32]Sapan Bhatia, Charles Consel, Julia Lawall:
Memory-manager/scheduler co-design: optimizing event-driven servers to improve cache behavior. ISMM 2006: 104-114 - [c31]Sapan Bhatia, Charles Consel, Julia Lawall:
Minimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX. LCN 2006: 47-54 - [c30]Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller:
Automatic Verification of Bossa Scheduler Properties. AVoCS 2006: 17-32 - [c29]Yoann Padioleau, Julia L. Lawall, Gilles Muller:
SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers. EVOL (Selected Papers) 2006: 47-62 - [e2]John H. Reppy, Julia Lawall:
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. ACM 2006, ISBN 1-59593-309-3 [contents] - 2005
- [j8]Matthias Felleisen, Julia Lawall, Manuel Serrano, Olin Shivers:
Editorial. High. Order Symb. Comput. 18(3-4): 243-244 (2005) - [c28]Julia L. Lawall, Hervé Duchesne, Gilles Muller, Anne-Françoise Le Meur:
Bossa Nova: Introducing Modularity into the Bossa Domain-Specific Language. GPCE 2005: 78-93 - [c27]Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. HASE 2005: 56-65 - [c26]Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller:
Formal Methods Meet Domain Specific Languages. IFM 2005: 187-206 - [c25]Olivier Barais, Julia Lawall, Anne-Françoise Le Meur, Laurence Duchien:
Providing Support for Safe Software Architecture Transformations. WICSA 2005: 201-202 - [c24]Gilles Muller, Julia L. Lawall, Hervé Duchesne:
A Framework for Simplifying the Development of Kernel Schedulers: Design and Performance Evaluation. WORDS 2005: 219-230 - 2004
- [j7]Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization. High. Order Symb. Comput. 17(1-2): 47-92 (2004) - [j6]Charles Consel, Julia L. Lawall, Anne-Françoise Le Meur:
A tour of Tempo: a program specializer for the C language. Sci. Comput. Program. 52: 341-370 (2004) - [c23]Julia L. Lawall, Anne-Françoise Le Meur, Gilles Muller:
On Designing a Target-Independent DSL for Safe OS Process-Scheduling Components. GPCE 2004: 436-455 - [c22]Julia L. Lawall, Gilles Muller, Hervé Duchesne:
Invited application paper: language design for implementing process scheduling hierarchies. PEPM 2004: 80-91 - [c21]Gilles Muller, Julia L. Lawall, Jean-Marc Menaud, Mario Südholt:
Constructing component-based extension interfaces in legacy systems code. ACM SIGOPS European Workshop 2004: 15 - 2003
- [j5]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
Automatic program specialization for Java. ACM Trans. Program. Lang. Syst. 25(4): 452-499 (2003) - [j4]Gilles Muller, Julia L. Lawall, Scott Thibault, R. E. Voel Jensen:
A domain-specific language approach to programmable networks. IEEE Trans. Syst. Man Cybern. Part C 33(3): 370-381 (2003) - [c20]Marc Ségura-Devillechaise, Jean-Marc Menaud, Gilles Muller, Julia L. Lawall:
Web cache prefetching as an aspect: towards a dynamic-weaving based solution. AOSD 2003: 110-119 - [c19]Rickard A. Åberg, Julia L. Lawall, Mario Südholt, Gilles Muller, Anne-Françoise Le Meur:
On the automatic evolution of an OS kernel using temporal logic and AOP. ASE 2003: 196-204 - 2002
- [c18]Dan He, Gilles Muller, Julia L. Lawall:
Distributing MPEG Movies Over the Internet using Programmable Networks. ICDCS 2002: 161-170 - [c17]Anne-Françoise Le Meur, Julia L. Lawall, Charles Consel:
Towards bridging the gap between programming languages and partial evaluation. PEPM 2002: 9-18 - [c16]Julia L. Lawall, Gilles Muller, Luciano Porto Barreto:
Capturing OS expertise in an event type system: the Bossa experience. ACM SIGOPS European Workshop 2002: 54-61 - [c15]Jean-Philippe Fassino, Jean-Bernard Stefani, Julia L. Lawall, Gilles Muller:
Think: A Software Framework for Component-based Operating System Kernels. USENIX ATC, General Track 2002: 73-86 - 2001
- [j3]Olivier Danvy, Julia L. Lawall:
Editorial. High. Order Symb. Comput. 14(2-3): 99-100 (2001) - [j2]Bernd Grobauer, Julia L. Lawall:
Partial Evaluation of Pattern Matching in Strings, revisited. Nord. J. Comput. 8(4): 437-462 (2001) - [c14]Julia L. Lawall:
Implementing Circularity Using Partial Evaluation. PADO 2001: 84-102 - 2000
- [j1]Scott Thibault, Charles Consel, Julia L. Lawall, Renaud Marlet, Gilles Muller:
Static and Dynamic Program Compilation by Interpreter Specialization. High. Order Symb. Comput. 13(3): 161-178 (2000) - [c13]Julia L. Lawall, Gilles Muller:
Efficient Incremental Checkpointing of Java Programs. DSN 2000: 61-70 - [c12]Julia L. Lawall, Harry G. Mairson:
Sharing Continuations: Proofnets for Languages with Explicit Control. ESOP 2000: 245-259 - [c11]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel:
Specialization Patterns. ASE 2000: 197- - [e1]Julia L. Lawall:
Proceedings of the 2000 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '00), Boston, Massachusetts, USA, January 22-23, 2000. ACM 2000, ISBN 1-58113-201-8 [contents]
1990 – 1999
- 1999
- [c10]Ulrik Pagh Schultz, Julia L. Lawall, Charles Consel, Gilles Muller:
Towards Automatic Specialization of Java Programs. ECOOP 1999: 367-390 - 1998
- [c9]François Noël, Luke Hornof, Charles Consel, Julia L. Lawall:
Automatic, Template-Based Run-Time Specialization: Implementation and Experimental Study. ICCL 1998: 132-142 - [c8]Julia L. Lawall:
Faster Fourier Transforms via Automatic Program Specialization. Partial Evaluation 1998: 338-355 - 1997
- [c7]Julia L. Lawall, Harry G. Mairson:
on Global Dynamics of Optimal Graph Reduction. ICFP 1997: 188-195 - [c6]Julia L. Lawall, Peter Thiemann:
Sound Specialization in the Presence of Computational Effects. TACS 1997: 165-190 - 1996
- [c5]Julia L. Lawall, Harry G. Mairson:
Optimality and Inefficiency: What Isn't a Cost Model of the Lambda Calculus? ICFP 1996: 92-101 - 1994
- [c4]Julia L. Lawall, Olivier Danvy:
Continuation-Based Partial Evaluation. LISP and Functional Programming 1994: 227-238 - 1993
- [c3]Julia L. Lawall:
Proofs by Structural Induction using Partial Evaluation. PEPM 1993: 155-166 - [c2]Julia L. Lawall, Olivier Danvy:
Separating Stages in the Continuation-Passing Style Transformation. POPL 1993: 124-136 - 1992
- [c1]Olivier Danvy, Julia L. Lawall:
Back to Direct Style II: First-Class Continuations. LISP and Functional Programming 1992: 299-310
Coauthor Index
aka: Stefanus Agus Haryono
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint