Остановите войну!
for scientists:
default search action
Julia Lawall
- > Home > Persons > Julia Lawall
Publications
- 2023
- [c119]Baptiste Lepers, Josselin Giet, Willy Zwaenepoel, Julia Lawall:
OFence: Pairing Barriers to Find Concurrency Bugs in the Linux Kernel. EuroSys 2023: 33-45 - [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) - [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 - 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 - 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 Annual Technical Conference 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 Annual Technical Conference 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) - 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) - [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 - [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 - [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
- [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 Annual Technical Conference 2018: 85-96 - [c94]Julia Lawall, Gilles Muller:
Coccinelle: 10 Years of Automated Evolution in the Linux Kernel. USENIX Annual Technical Conference 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 - [c89]Julia Lawall, Derek Palinski, Lukas Gnirke, Gilles Muller:
Fast and Precise Retrieval of Forward and Back Porting Information for Linux Device Drivers. USENIX Annual Technical Conference 2017: 15-26 - 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 - [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) - [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
- [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
- [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 Annual Technical Conference 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) - [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) - 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
- [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 - 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 Annual Technical Conference, 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) - 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- - 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 - 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
- [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
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 2024-04-21 17:43 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint