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: Codognet:Philippe
Facilitated 1 volumes:
EdContributed to:
2014
20142013
20122011
2003
200020001995
19941993199319921991
19911990
19901988
1986Wrote 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.