High Order Derivatives and Decomposition of Multivariate Polynomials Jean-Charles Faugère, and Ludovic Perret SALSA LIP6, Université Paris 6 & INRIA Paris-Rocquencourt , ludovic.perret@lip6

Source URL: issac2009.kias.re.kr

13th International Conference on Autonomous Agents and Multiagent Systems (AAMAShttp://aamas2014.lip6.fr Marriott Rive Gauche

Source URL: www.ifaamas.org

• Artificial intelligence
• Multi-agent systems
• Complex systems theory
• Simulation
• Systems science
• Academia
• International Conference on Autonomous Agents and Multiagent Systems
• Agent-based model
• Sarit Kraus
• Social simulation
• Embodied agent
• Peter Stone

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

Source URL: www.math.purdue.edu

• Software engineering
• Computer programming
• Computing
• Method
• Object-oriented programming
• C++
• Object
• Euclidean plane geometry
• Polygon
• Constant
• Constructor
• Objective-C

Generic Patch Inference Jesper Andersen Julia L. Lawall DIKU, University of Copenhagen,

Source URL: coccinelle.lip6.fr

• Software
• Computing
• System software
• Patch
• Software maintenance
• Software release
• Linux kernel
• Diff utility
• Nicotine replacement therapy
• Substitution

Tracking Code Patterns over Multiple Software Versions with Herodotos Nicolas Palix DIKU University of Copenhagen Denmark

Source URL: coccinelle.lip6.fr

• Software
• Computing
• System software
• Formal languages
• Pattern matching
• Cryptographic software
• Cross-platform software
• OpenSSL
• Diff utility
• Software quality
• Software bug
• Regular expression

Revisiting discrete logarithms in medium/small characteristic Antoine Joux CryptoExperts Chaire de Cryptologie de la Fondation de l’UPMC — LIP6

Source URL: www.cosic.esat.kuleuven.be

• Abstract algebra
• Algebra
• Group theory
• Mathematics
• Logarithms
• Computational hardness assumptions
• Finite fields
• Modular arithmetic
• Index calculus algorithm
• Discrete logarithm
• Baby-step giant-step
• Elliptic curve

A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez

Source URL: coccinelle.lip6.fr

• Temporal logic
• Logic in computer science
• Mathematical logic
• Logic
• Computation tree logic
• Mathematics
• Witness
• Linear temporal logic
• CTL*

Fourth Coccinelle Workshop – Exercises January 26, 2011 These exercises are presented roughly in order of increasing difficulty. Often there are multiple possible solutions to the exercise, which may produce different

Source URL: coccinelle.lip6.fr

• Software engineering
• Computer programming
• Computing
• C
• Data types
• Procedural programming languages
• Struct
• Pointer
• Sizeof
• Typedef
• D
• Null pointer

Bachelor’s Thesis : Finding Bugs in Open Source Software using Coccinelle Sune Rievers - Supervisor: Julia Lawall January 13, 2010

Source URL: coccinelle.lip6.fr

• Software
• Computer programming
• Coccinelle
• Code refactoring
• Cryptographic software
• Patch
• OpenSSL
• Software bug
• Coverity
• Linux kernel
• Pattern matching
• Debugging

Increasing Automation in the Backporting of Linux Drivers Using Coccinelle Luis R. Rodriguez Julia Lawall

Source URL: coccinelle.lip6.fr

• Computer architecture
• Software
• System software
• Linux distributions
• Linux kernel
• Coccinelle
• Red Hat Enterprise Linux
• Udev
• Kernel
• Ubuntu
• Debian
• Ext4