Bridging the Gap between Legacy Services and Web Services Tegawend´e F. Bissyand´e1 , Laurent R´eveill`ere1 , Y´erom-David Bromberg1 Julia L. Lawall2,3 , and Gilles Muller3 1 2

Source URL: pagesperso-systeme.lip6.fr

• Internet Message Access Protocol
• WS-Reliability
• Universal Plug and Play
• Service-oriented architecture
• SOAP
• Business Process Execution Language
• Real Time Streaming Protocol
• Application layer
• Microsoft Open Specification Promise
• Computing
• Web services
• WS-Addressing

Autom Softw Eng: 119–148 DOIs10515z Generic patch inference Jesper Andersen · Julia L. Lawall

Source URL: pagesperso-systeme.lip6.fr

• Patch
• Software maintenance
• Linux kernel
• Stat
• Diff
• Coccinelle
• Struct
• Computing
• Software
• System software

LES CLUBS DE JAZZ/’JAZZ’-LEVEL NIVEAU -1 / LEVEL -1 SERVICE LIFT MONTE-CHARGE

Source URL: aamas2014.lip6.fr

An Approach to Improving the Structure of Error-Handling Code in the Linux Kernel Suman Saha Julia Lawall

Source URL: pagesperso-systeme.lip6.fr

• Control flow
• Procedural programming languages
• Goto
• C
• Linux kernel
• Is functions
• Printf format string
• Bc programming language
• Structured programming
• Computing
• Software engineering
• Software

Finding Error Handling Bugs in OpenSSL using Coccinelle Julia Lawall∗ , Ben Laurie† , Ren´e Rydhof Hansen‡ , Nicolas Palix∗ and Gilles Muller§ ∗ University of Copenhagen, Email: {julia,npalix}@diku.dk † Goo

Source URL: pagesperso-systeme.lip6.fr

• Source code
• Subroutines
• Cryptographic software
• OpenSSL
• Coccinelle
• Python
• Software bug
• Main function
• Printf format string
• Computer programming
• Computing
• Software engineering

AVoCSAutomatic Verication of Bossa Scheduler Properties Jean-Paul Bodeveixa , Mamoun Filalia,1 , Julia L. Lawallb and Gilles Mullerc

Source URL: pagesperso-systeme.lip6.fr

• Process
• Scheduling
• Software
• Operations research
• Planning
• Process management
• Process state
• Blocking
• Rate-monotonic scheduling
• Computing
• Concurrent computing
• Scheduling algorithms

Understanding the Genetic Makeup of Linux Device Drivers Peter Senna Tschudin1 Laurent R´eveill`ere2 Lingxiao Jiang3 Julia Lawall1

Source URL: pagesperso-systeme.lip6.fr

• Interrupts
• Device driver
• Operating system
• Kernel
• Ring
• COM
• Interrupt request
• Device drivers
• Computer architecture
• Computing
• Computer buses

A Mechanism to Optimally Balance Cost and Quality of Labeling Tasks Outsourced to Strategic Agents Satyanath Bhat Indian Institute of Science Bangalore, India

Source URL: aamas2014.lip6.fr

• Q-analogs
• Group theory
• Automata theory

Pantaxou: a Domain-Specific Language for Developing Safe Coordination Services Julien Mercadal Nicolas Palix Charles Consel INRIA / LaBRI, Talence, France

Source URL: pagesperso-systeme.lip6.fr

• Component-based software engineering
• Inter-process communication
• Object-oriented programming
• CORBA
• Common Object Request Broker Architecture
• Bluetooth
• Service-oriented architecture
• Operating system
• Event
• Computing
• Software engineering
• Technology

Semantic Patches Documenting and Automating Collateral Evolutions in Linux Device Drivers 1 Yoann Padioleau

Source URL: pagesperso-systeme.lip6.fr

• C POSIX library
• C++
• C programming language
• Data types
• POSIX
• Stat
• Ioctl
• C++ classes
• Struct
• Computing
• Computer programming
• Software engineering