Search Results - "Palix, Nicolas"

WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code by Lawall, J.L., Brunel, J., Palix, N., Hansen, R.R., Stuart, H., Muller, G.

“…Eliminating OS bugs is essential to ensuring the reliability of infrastructures ranging from embedded systems to servers. Several tools based on static…”
Get full text

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification by Olesen, Mads Chr, Hansen, René Rydhof, Lawall, Julia L., Palix, Nicolas

“…Writing correct C programs is well-known to be hard, not least due to the many low-level language features intrinsic to C. Writing secure C programs is even…”
Get full text

Coccinelle: Tool support for automated CERT C Secure Coding Standard certification by Olesen, Mads Chr, Hansen, René Rydhof, Lawall, Julia, Palix, Nicolas

“…Writing correct C programs is well-known to be hard, not least due to the many low-level language features intrinsic to C. Writing secure C programs is even…”
Get full text

MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter Environments by Nehme, Mohamad-Jaafar, Palix, Nicolas, Beydoun, Kamal, Quema, Vivien

“…The recent Total-Order Broadcast protocols that have been designed to sustain high throughput and low latency target fully switched environments, such as small…”
Get full text

WYSIWIB: exploiting fine-grained program structure in a scriptable API-usage protocol-finding process by Lawall, Julia L., Brunel, Julien, Palix, Nicolas, Hansen, René Rydhof, Stuart, Henrik, Muller, Gilles

“…SUMMARY Bug‐finding tools rely on specifications of what is correct or incorrect code. As it is difficult for a tool developer or user to anticipate all…”
Get full text

Integrated architecture exploration workflow: A NoC-based case study by Puschini, D., Mottin, J., Palix, N., Apostol, L., Fabre, C.

“…Compute-intensive applications can greatly benefit from the flexibility of NoC-based heterogeneous multi-core platforms. However, mapping applications on such…”
Get full text

Language Technology for Internet-Telephony Service Creation by Burgy, Laurent, Consel, Charles, Latry, Fabien, Lawall, Julia, Palix, Nicolas, Reveillere, Laurent

“…Telephony is evolving at a frantic pace, critically relying on the development of services to offer a host of new functionalities. However, programming…”
Get full text

Improving pattern tracking with a language-aware tree differencing algorithm by Palix, Nicolas, Falleri, Jean-Remy, Lawall, Julia

“…Tracking code fragments of interest is important in monitoring a software project over multiple versions. Various approaches, including our previous work on…”
Get full text

Finding Error Handling Bugs in OpenSSL Using Coccinelle by Lawall, Julia, Laurie, Ben, Hansen, René Rydhof, Palix, Nicolas, Muller, Gilles

“…OpenSSL is a library providing various functionalities relating to secure network communication. Detecting and fixing bugs in OpenSSL code is thus essential,…”
Get full text

Faults in Linux 2.6 by Palix, Nicolas, Thomas, Gaël, Saha, Suman, Calvès, Christophe, Muller, Gilles, Lawall, Julia L

“…ACM Transactions on Computer Systems 32, 2 (2014) 1--40 In August 2011, Linux entered its third decade. Ten years before, Chou et al. published a study of…”
Get full text

High-level Programming Support for Robust Pervasive Computing Applications by Jouve, W., Lancia, J., Palix, N., Consel, C., Lawall, J.

“…In this paper, we present a domain-specific interface definition language (IDL) and its compiler, dedicated to the development of pervasive computing…”
Get full text