SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Yoann Padioleau ∗ Julia L. Lawall

Source URL: pagesperso-systeme.lip6.fr

• C programming language
• Linux
• Linux kernel
• ALGOL 68
• C++ classes
• Patch
• Struct
• Computing
• Software
• C++

High-level Programming Support for Robust Pervasive Computing Applications Wilfried Jouve INRIA / LaBRI, France

Source URL: pagesperso-systeme.lip6.fr

• Ambient intelligence
• Ubiquitous computing
• Software engineering
• Common Object Request Broker Architecture
• Computing
• Systems science
• Inter-process communication
• Middleware
• Systems engineering

A library for quizzes Christian Queinnec Université Paris 6 — Pierre et Marie Curie LIP6, 4 place Jussieu, 75252 Paris Cedex — France

Source URL: repository.readscheme.org

• Combinatory logic
• Social psychology
• Data management
• Data collection
• Fixed-point combinator
• Lambda calculus
• Quiz
• Question

EuroSysUnderstanding Collateral Evolution in Linux Device Drivers

Source URL: pagesperso-systeme.lip6.fr

• Unix
• Ioctl
• Cross-platform software
• Linux kernel
• Universal Serial Bus
• Device driver
• Operating system
• USB flash drive
• Kernel
• Computing
• Software
• Computer architecture

Sujet de stage M2 R´esolution de contraintes polynomiales pour la v´erification de mod`eles temporis´es param´etr´es B´eatrice B´erard (MoVe), Mohab Safey El Din (PolSys), LIP6, UPMC Ce sujet de stage propose d’

Source URL: pagesperso-systeme.lip6.fr

SmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers∗ Yoann Padioleau Julia L. Lawall

Source URL: pagesperso-systeme.lip6.fr

• C POSIX library
• POSIX
• Stat
• Linux kernel
• Typedef
• Procfs
• ALGOL 68
• USB mass-storage device class
• SCSI
• Computing
• C programming language
• C++

On the Effectiveness of Information Retrieval Based Bug Localization for C Programs Ripon K. Saha∗ Julia Lawall†

Source URL: pagesperso-systeme.lip6.fr

• Cross-platform software
• Debuggers
• Help desk
• Compilers
• Linux kernel
• Software bug
• Java
• Information retrieval
• GNU Debugger
• Software
• Computing
• Computer programming

Improving Pattern Tracking with a Language-Aware Tree Differencing Algorithm Nicolas Palix Jean-Rémy Falleri

Source URL: pagesperso-systeme.lip6.fr

• GumTree
• Unix
• Diff
• Coccinelle
• Pointer
• C
• Data differencing
• Patch
• Linux kernel
• Software
• Computing
• Cross-platform software

Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr

Source URL: pagesperso-systeme.lip6.fr

• Formal methods
• Applied mathematics
• Process
• Planning
• Process state
• Formal verification
• Blocking
• Domain-specific language
• Formal specification
• Computing
• Concurrent computing
• Scheduling

PDF Document

Source URL: www-poleia.lip6.fr