Skip to content

Julia Lawall

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

50

Venues

25

Active years

2005–2025

Best venue rank

A*

Where they publish

Papers

50 indexed papers, newest first.

YearVenueTitleAuthors
2025PLOSTapestry: Revealing Wait-For Dependencies Between Application Threads.Toms Faltn, Himadri Chhaya-Shailesh, Julia Lawall, Jean-Pierre Lozi
2025SOSPFlexGuard: Fast Mutual Exclusion Independent of Subscription.Victor Laforet, Sanidhya Kashyap, Calin Iorgulescu, Julia Lawall, Jean-Pierre Lozi
2025SYSTORThe Impact of Kernel Asynchronous APIs on the Performance of a Kernel VPN.Honore Cesaire Mounah, Djob Mvondo, Julia Lawall, Yrom-David Bromberg
2024SASShould We Balance? Towards Formal Verification of the Linux Kernel Scheduler.Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi
2023EuroSysOFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel.Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall
2022EuroSysOS scheduling with nest: keeping tasks close together on warm cores.Julia Lawall, Himadri Chhaya-Shailesh, Jean-Pierre Lozi, Baptiste Lepers, Willy Zwaenepoel, Gilles Muller
2021ICSEAndroEvolve: Automated Update for Android Deprecated-API Usages.Stefanus A. Haryono, Ferdian Thung, David Lo, Lingxiao Jiang, Julia Lawall, Hong Jin Kang, Lucas Serrano, Gilles Muller
2021ISSTAAutomated patch backporting in Linux (experience paper).Ridwan Shariffdeen, Xiang Gao, Gregory J. Duck, Shin Hwei Tan, Julia Lawall, Abhik Roychoudhury
2020EuroSysProvable multicore schedulers with Ipanema: application to work conservation.Baptiste Lepers, Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Nicolas Palix, Maria-Virginia Aponte, Willy Zwaenepoel, Julien Sopena, Julia Lawall, Gilles Muller
2020ICSECC2Vec: distributed representations of code changes.Thong Hoang, Hong Jin Kang, David Lo, Julia Lawall
2020USENIXFewer Cores, More Hertz: Leveraging High-Frequency Cores in the OS Scheduler for Improved Application Performance.Redha Gouicem, Damien Carver, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
2020USENIXSPINFER: Inferring Semantic Patches for the Linux Kernel.Lucas Serrano, Van-Anh Nguyen, Ferdian Thung, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
2019ASPLOSDCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel.Jia-Ju Bai, Julia Lawall, Wende Tan, Shi-Min Hu
2019ECOOPSemantic Patches for Java Program Transformation (Experience Report).Hong Jin Kang, Ferdian Thung, Julia Lawall, Gilles Muller, Lingxiao Jiang, David Lo
2019ICSEPatchNet: a tool for deep patch classification.Thong Hoang, Julia Lawall, Richard Jayadi Oentaryo, Yuan Tian, David Lo
2019ISSREFuzzing Error Handling Code in Device Drivers Based on Software Fault Injection.Zu-Ming Jiang, Jia-Ju Bai, Julia Lawall, Shi-Min Hu
2019USENIXEffective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.Jia-Ju Bai, Julia Lawall, Qiu-Liang Chen, Shi-Min Hu
2019SOSPFork/Wait and Multicore Frequency Scaling: a Generational Clash.Damien Carver, Redha Gouicem, Jean-Pierre Lozi, Julien Sopena, Baptiste Lepers, Willy Zwaenepoel, Nicolas Palix, Julia Lawall, Gilles Muller
2018USENIXDSAC: Effective Static Analysis of Sleep-in-Atomic-Context Bugs in Kernel Modules.Jia-Ju Bai, Yu-Ping Wang, Julia Lawall, Shi-Min Hu
2018USENIXThe Battle of the Schedulers: FreeBSD ULE vs. Linux CFS.Justinien Bouron, Sebastien Chevalley, Baptiste Lepers, Willy Zwaenepoel, Redha Gouicem, Julia Lawall, Gilles Muller, Julien Sopena
2018USENIXCoccinelle: 10 Years of Automated Evolution in the Linux Kernel.Julia Lawall, Gilles Muller
2017DSNAnalysing Selfishness Flooding with SEINE.Guido Lena Cota, Sonia Ben Mokhtar, Gabriele Gianini, Ernesto Damiani, Julia Lawall, Gilles Muller, Lionel Brunie
2017DSNJMake: Dependable Compilation for Kernel Janitors.Julia Lawall, Gilles Muller
2017HotOSTowards Proving Optimistic Multicore Schedulers.Baptiste Lepers, Willy Zwaenepoel, Jean-Pierre Lozi, Nicolas Palix, Redha Gouicem, Julien Sopena, Julia Lawall, Gilles Muller
2017PEPMInteractive data representation migration: exploiting program dependence to aid program transformation.Krishna Narasimhan, Christoph Reichenbach, Julia Lawall
2017USENIXFast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers.Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller
2016ECRTSMaximizing Parallelism without Exploding Deadlines in a Mixed Criticality Embedded System.Antoine Blin, Cdric Courtaud, Julien Sopena, Julia Lawall, Gilles Muller
2016FLOPSFrom Sets to Bits in Coq.Arthur Blot, Pierre-variste Dagand, Julia Lawall
2015DSNIncinerator - Eliminating Stale References in Dynamic OSGi Applications.Koutheir Attouchi, Gal Thomas, Gilles Muller, Julia Lawall, Andr Bottaro
2015EDCCIncreasing Automation in the Backporting of Linux Drivers Using Coccinelle.Luis R. Rodriguez, Julia Lawall
2015MSRAre These Bugs Really "Normal"?Ripon K. Saha, Julia Lawall, Sarfraz Khurshid, Dewayne E. Perry
2015SRDSA Framework for the Design Configuration of Accountable Selfish-Resilient Peer-to-Peer Systems.Guido Lena Cota, Sonia Ben Mokhtar, Julia Lawall, Gilles Muller, Gabriele Gianini, Ernesto Damiani, Lionel Brunie
2014APSECAn Empirical Study on the Adequacy of Testing in Open Source Projects.Pavneet Singh Kochhar, Ferdian Thung, David Lo, Julia Lawall
2014ICSESEWordSim: software-specific word similarity database.Yuan Tian, David Lo, Julia Lawall
2014MSROops! where did that code snippet come from?Lisong Guo, Julia Lawall, Gilles Muller
2014OOPSLAContinuously measuring critical section pressure with the free-lunch profiler.Florian David, Gal Thomas, Julia Lawall, Gilles Muller
2013SOSPUnderstanding the genetic makeup of Linux device drivers.Peter Senna Tschudin, Laurent Rveillre, Lingxiao Jiang, David Lo, Julia Lawall, Gilles Muller
2012ICSEIdentifying Linux bug fixing patches.Yuan Tian, Julia Lawall, David Lo
2012USENIXRemote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications.Jean-Pierre Lozi, Florian David, Gal Thomas, Julia Lawall, Gilles Muller
2011ASPLOSFaults in linux: ten years later.Nicolas Palix, Gal Thomas, Suman Saha, Christophe Calvs, Julia Lawall, Gilles Muller
2011DSNDeadline-aware scheduling for Software Transactional Memory.Walther Maldonado, Patrick Marlier, Pascal Felber, Julia Lawall, Gilles Muller, Etienne Rivire
2011ICSELeveraging software architectures to guide and verify the development of sense/compute/control applications.Damien Cassou, Emilie Balland, Charles Consel, Julia Lawall
2011SOSPFinding resource-release omission faults in Linux.Suman Saha, Julia Lawall, Gilles Muller
2010EDCCFinding Error Handling Bugs in OpenSSL Using Coccinelle.Julia Lawall, Ben Laurie, Ren Rydhof Hansen, Nicolas Palix, Gilles Muller
2010VEEVMKit: a substrate for managed runtime environments.Nicolas Geoffray, Gal Thomas, Julia Lawall, Gilles Muller, Bertil Folliot
2009VEEEntropy: a consolidation manager for clusters.Fabien Hermenier, Xavier Lorca, Jean-Marc Menaud, Gilles Muller, Julia Lawall
2008EuroSysDocumenting and automating collateral evolutions in linux device drivers.Yoann Padioleau, Julia Lawall, Ren Rydhof Hansen, Gilles Muller
2008PERCOMHigh-level Programming Support for Robust Pervasive Computing Applications.Wilfried Jouve, Julien Lancia, Nicolas Palix, Charles Consel, Julia Lawall
2006LCNMinimizing Cache Misses in an Event-driven Network Server: A Case Study of TUX.Sapan Bhatia, Charles Consel, Julia Lawall
2005IFMFormal Methods Meet Domain Specific Languages.Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller