A New Algorithm for Computing Certified Numerical Approximations of the Roots of a Zero-dimensional System Stef Graillat, Philippe Trébuchet LIP6 - Université Pierre et Marie Curie (Paris 6)

Source URL: issac2009.kias.re.kr

• Matrix theory
• Linear algebra
• Abstract algebra
• Numerical linear algebra
• Eigenvalues and eigenvectors
• Singular value decomposition
• Canonical basis
• Matrix
• Schur decomposition
• Polynomial
• Eigenvalue algorithm

How Often do Experts Make Mistakes?

Source URL: coccinelle.lip6.fr

• Linux kernel
• Cross-platform software
• Memory management
• Linux
• Software bug
• Operating system
• C dynamic memory allocation
• Application programming interface
• Loadable kernel module
• Pointer
• Memory leak
• Kernel

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julia Lawall (University of Copenhagen) Joint work with

Source URL: coccinelle.lip6.fr

• C
• Struct
• Sizeof
• Stat
• C++ classes
• Coccinelle

Meroon V3: A Small, Efficient and Enhanced Object System Christian Queinnec∗ LIP6 & INRIA–Rocquencourt Abstract

Source URL: www.math.purdue.edu

• Method
• Object-oriented programming
• C++
• Object
• Euclidean plane geometry
• Polygon
• Constant
• Constructor
• Objective-C
• Immutable object
• Wavefront .obj file
• Struct

Hector: Detecting Resource-Release Omission Faults in Error-Handling Code for Systems Software Suman Saha Jean-Pierre Lozi

Source URL: coccinelle.lip6.fr

• Computer errors
• Object-oriented programming languages
• Control flow
• Computer networking
• Error code
• Ioctl
• Exception handling
• Kernel
• Linux kernel
• Software bug
• Swift
• Error detection and correction

Finding Resource-Release Omission Faults in Linux Suman Saha Julia Lawall Gilles Muller

Source URL: coccinelle.lip6.fr

• Kernel
• Exception handling
• Linux kernel
• Ioctl
• Burroughs MCP
• Mach
• Error detection and correction
• File locking
• Protection ring
• Operating system
• Fault injection

ERCIMSmPL: A Domain-Specific Language for Specifying Collateral Evolutions in Linux Device Drivers Yoann Padioleau a , Julia L. Lawall b and Gilles Muller a

Source URL: coccinelle.lip6.fr

• C
• System calls
• Data types
• Stat
• Struct
• Typedef
• USB mass storage device class
• C++ classes
• SCSI
• ALGOL 68
• Device driver
• Select

A Categorical Treatment of Ornaments∗ Pierre-Evariste Dagand Conor McBride Ornaments aim at taming the multiplication of special-purpose datatypes

Source URL: pages.lip6.fr

ZU064-05-FPR paper 10 November 2015

Source URL: pages.lip6.fr

From Sets to Bits in Coq ´ Arthur Blot, Pierre-Evariste Dagand, and Julia Lawall Sorbonne Universit´es, UPMC Univ Paris 06, CNRS, Inria, LIP6 UMR 7606

Source URL: pages.lip6.fr