BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × Poland
1 × South Korea
1 × Spain
1 × Taiwan
6 × USA
Collaborated with:
D.Diaz C.Codognet G.Filé S.Abreu A.Arbelaez F.Rossi T.Sola P.Savéant Y.Caniou C.Truchet L.M.Pereira M.Corsini D.Munera F.Baray H.Michel S.Bistarelli Y.Georget V.Loia M.Quaggetto F.Richoux
Talks about:
constraint (8) local (6) parallel (5) search (5) base (5) program (4) prolog (4) backtrack (3) intellig (3) clp (3)

Person: Philippe Codognet

DBLP DBLP: Codognet:Philippe

Facilitated 1 volumes:

ICLP 2001Ed

Contributed to:

PDP 20142014
SAC 20142014
ICLP 20132013
PPoPP 20122012
SAC 20112011
TACAS 20032003
PADL 20002000
SAC 20002000
ICLP 19951995
PLILP 19941994
ICLP 19931993
ILPS 19931993
JICSLP 19921992
ICLP 19911991
JTASPEFL/WSA 19911991
NACLP 19901990
SEKE 19901990
ICLP/SPL 19881988
ESOP 19861986

Wrote 23 papers:

PDP-2014-ArbelaezC #constraints #gpu #implementation #parallel
A GPU Implementation of Parallel Constraint-Based Local Search (AA, PC), pp. 648–655.
SAC-2014-MuneraDAC #flexibility #parallel
Flexible cooperation in parallel local search (DM, DD, SA, PC), pp. 1360–1361.
ICLP-J-2013-ArbelaezTC #parallel #predict #runtime #satisfiability #using
Using sequential runtime distributions for the parallel speedup prediction of SAT local search (AA, CT, PC), pp. 625–639.
PPoPP-2012-CaniouDRCA #analysis #constraints #parallel #performance
Performance analysis of parallel constraint-based local search (YC, DD, FR, PC, SA), pp. 337–338.
SAC-2011-CaniouCDA #constraints #parallel
Parallel constraint-based local search on the HA8000 supercomputer (YC, PC, DD, SA), pp. 920–921.
TACAS-2003-BarayCDM #functional #generative #testing #validation
Code-Based Test Generation for Validation of Functional Processor Descriptions (FB, PC, DD, HM), pp. 569–584.
PADL-2000-BistarelliCGR #consistency #constraints #programming
Labeling and Partial Local Consistency for Soft Constraint Programming (SB, PC, YG, FR), pp. 230–248.
PADL-2000-DiazC #c #compilation #prolog
GNU Prolog: Beyond Compiling Prolog to C (DD, PC), pp. 81–92.
SAC-2000-DiazC #implementation #prolog
The GNU Prolog System and its Implementation (DD, PC), pp. 728–732.
ICLP-1995-CodognetD #c #compilation #named #prolog
WAMCC: Compiling Prolog to C (PC, DD), pp. 317–331.
ICLP-1995-CodognetR #constraints #programming
NMCC Programming: Constraint Enforcement and Retracting in CC Programming (PC, FR), pp. 417–431.
PLILP-1994-CodognetCLQ #named
Sleepers: A Versatile High-Level Control Mechanism (CC, PC, VL, MQ), pp. 308–323.
PLILP-1994-CodognetD #constraints #performance #theorem proving
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving (PC, DD), pp. 244–260.
ICLP-1993-DiazC
A Minimal Extension of the WAM for clp(FD) (DD, PC), pp. 774–790.
ILPS-1993-CodognetD #constraints #theorem proving #using
Boolean Constraint Solving Using clp(FD) (PC, DD), pp. 525–539.
JICSLP-1992-AbreuPC #execution #product line
Improving Backward Execution in the Andorra Family of Languages (SA, LMP, PC), pp. 384–398.
ICLP-1991-CodognetS #backtracking
Extending the WAM for Intelligent Backtracking (PC, TS), pp. 127–141.
WSA-1991-CodognetF #abstraction #constraints
Computations, Abstractions and Constraints (PC, GF), pp. 70–71.
NACLP-1990-CodognetCC #abstract interpretation #concurrent #logic
Abstract Interpretation for Concurrent Logic Languages (CC, PC, MMC), pp. 215–232.
SEKE-1990-SaveantC #metalanguage #problem #representation
A Metalanguage for Representation and Control in Assumption-based Problem Solvers (PS, PC), pp. 159–164.
JICSCP-1988-CodognetCF88 #backtracking
Yet Another Intelligent Backtracking Method (CC, PC, GF), pp. 447–465.
ESOP-1986-CodognetCF #backtracking #logic programming #source code
A Very Intelligent Backtracking Method for Logic Programs (CC, PC, GF), pp. 315–326.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.