76.

07 Jan 2008

Software

GUNSAT
GUNSAT, a greedy local search algorithm for unsatisfiability

SIMON, Laurent

77.

12 Apr 2012

Software

Clan
Chunky Loop Analyzer

BASTOUL, Cédric

78.

15 Sep 2017

Software

Coq.Interval
The Coq.Interval library for automatically proving bounds of real-valued expressions

MELQUIOND, Guillaume

79.

20 Jan 2014

Software

Candl
Chunky Dependance Analyzer

BASTOUL, Cédric

80.

03 May 2018

Software

BOLDR
Query Intermediate Representation Library

NGUYEN, Kim

81.

16 Feb 2008

Software

LeTSeE
LeTSeE: the LEgal Transformation SpacE Explorator

BASTOUL, Cédric

82.

30 Oct 2008

Software

FM
FM: the Fourier-Motzkin library

BASTOUL, Cédric

83.

11 Mar 2009

Software

GCC ICI
GCC Interactive Compilation Interface

FURSIN, Grigori

84.

01 Jan 2013

Software

Rna3Dmotif
Software for extracting RNA tertiary motifs

DENISE, Alain

85.

03 Dec 2012

Software

PoCC
the Polyhedral Compiler Collection

BASTOUL, Cédric

86.

03 Oct 2012

Software

Coq.FP2
Coq.FP2

BOLDO, Sylvie

87.

01 Jan 2014

Software

ALEA
ALEA : A library for reasoning on random algorithms in Coq

PAULIN-MOHRING, Christine

88.

01 Jan 2014

Software

Coccinelle
Coccinelle

CONTEJEAN, Evelyne

89.

10 Feb 2014

Software

OpenScop
OpenScop

BASTOUL, Cédric

90.

01 Jan 2013

Software

Touchstone
Software platform for designing and running controlled experiments

APPERT, Caroline

91.

01 Jan 2013

Software

Substance
Programming framework and middleware for developing distributed interactive application

BEAUDOUIN-LAFON, Michel

92.

01 Jan 2013

Software

Scotty
User Interface Programming at Run Time

BEAUDOUIN-LAFON, Michel

93.

01 Jan 2012

Software

Parallel Solvers
for Solving Linear Systems of Equations

GRIGORI, Laura

94.

01 Jan 2012

Software

CALU
for multicore architectures

GRIGORI, Laura

95.

01 Jan 2013

Software

FlowStates Toolkit
Programming Interactive Applications with Data Flow and State Machines

APPERT, Caroline

96.

01 Jan 2013

Software

OpenWP
OpenWP

CAPPELLO, Franck

97.

01 Jan 2012

Software

XPIOT
XPIOT

COLAZZO, Dario

98.

01 Jan 2013

Software

XupOp
XupOp

COLAZZO, Dario

99.

01 Jan 2013

Software

XupIn
XML query-update independence tester

COLAZZO, Dario

100.

01 Jan 2010

Software

BPEL2CPN
BPEL2CPN

DAGUE, Philippe