CPP 2025 Contributors

Mon 20 - Tue 21 January 2025 Denver, Colorado, United States

co-located with POPL 2025

Filter

Role Type

Contributing to

Number of Roles

Country

Results (46)

B Lennart BeringerBeringer, Lennart Princeton UniversityUnited States PC Member in Program Committee within the CPP-track
Jasmin BlanchetteBlanchette, Jasmin Vrije Universiteit AmsterdamNetherlands PC Member in Program Committee within the CPP-track
Sandrine BlazyBlazy, Sandrine University of RennesFrance PC Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Sylvie BoldoBoldo, Sylvie Inria and Université Paris-SaclayFrance PC Member in Program Committee within the CPP-track
C Mario CarneiroCarneiro, Mario CMUUnited States PC Member in Program Committee within the CPP-track
Adam ChlipalaChlipala, Adam Massachusetts Institute of TechnologyUnited States Committee Member in Steering Committee within the CPP-track
Johan CommelinCommelin, Johan University of Utrecht PC Member in Program Committee within the CPP-track
D Ana de Almeida Borgesde Almeida Borges, Ana Portugal PC Member in Program Committee within the CPP-track
Tom de Jongde Jong, Tom University of NottinghamUnited Kingdom PC Member in Program Committee within the CPP-track
F Daniel FruminFrumin, Daniel University of GroningenNetherlands PC Member in Program Committee within the CPP-track
G Georges GonthierGonthier, Georges Inria Committee Member in Steering Committee within the CPP-track
Jason GrossGross, Jason MIT CSAILUnited States PC Member in Program Committee within the CPP-track
H Cătălin HriţcuHriţcu, Cătălin MPI-SPGermany Steering Committee Chair in Steering Committee within the CPP-track
K Cezary KaliszykKaliszyk, Cezary University of MelbourneAustralia PC Member in Program Committee within the CPP-track
Jeehoon KangKang, Jeehoon KAISTSouth Korea PC Member in Program Committee within the CPP-track
Gerwin KleinKlein, Gerwin Proofcraft and UNSW SydneyAustralia Committee Member in Steering Committee within the CPP-track
Ekaterina KomendantskayaKomendantskaya, Ekaterina Heriot-Watt University and Southampton UniversityUnited Kingdom PC Member in Program Committee within the CPP-track
Nicolai KrausKraus, Nicolai University of NottinghamUnited Kingdom PC Member in Program Committee within the CPP-track
Robbert KrebbersKrebbers, Robbert Radboud University NijmegenNetherlands Committee Member in Steering Committee within the CPP-track PC Member in Program Committee within the CPP-track
L Ambroise LafontLafont, Ambroise Ecole PolytechniqueFrance PC Member in Program Committee within the CPP-track
Vincent LaporteLaporte, Vincent Inria PC Member in Program Committee within the CPP-track
Robert Y. LewisLewis, Robert Y. Brown UniversityUnited States PC Member in Program Committee within the CPP-track
M William ManskyMansky, William University of Illinois ChicagoUnited States PC Member in Program Committee within the CPP-track
Patrick MassotMassot, Patrick Université Paris-SaclayFrance PC Member in Program Committee within the CPP-track
Micaela MayeroMayero, Micaela LIPN, Université Paris 13France PC Member in Program Committee within the CPP-track
Dale MillerMiller, Dale INRIA Saclay and LIX/Institut Polytechnique de ParisFrance Committee Member in Steering Committee within the CPP-track
Yasuhiko MinamideMinamide, Yasuhiko Tokyo Institute of TechnologyJapan PC Member in Program Committee within the CPP-track
Cesar MunozMunoz, Cesar NASAUnited States PC Member in Program Committee within the CPP-track
N Tobias NipkowNipkow, Tobias Technische Universität München Committee Member in Steering Committee within the CPP-track
P Karl PalmskogPalmskog, Karl KTH Royal Institute of TechnologySweden PC Member in Program Committee within the CPP-track
Jennifer PaykinPaykin, Jennifer Intel LabsUnited States PC Member in Program Committee within the CPP-track
Brigitte PientkaPientka, Brigitte McGill UniversityCanada Committee Member in Steering Committee within the CPP-track
Clément Pit-ClaudelPit-Claudel, Clément EPFLSwitzerland PC Member in Program Committee within the CPP-track
Damien PousPous, Damien CNRS PC Member in Program Committee within the CPP-track
Jonathan ProtzenkoProtzenko, Jonathan Microsoft Azure ResearchUnited States PC Member in Program Committee within the CPP-track
S Zhong ShaoShao, Zhong Yale UniversityUnited States Committee Member in Steering Committee within the CPP-track
Kathrin StarkStark, Kathrin Heriot-Watt UniversityUnited Kingdom Conference Chair in Organizing Committee within the CPP-track
T Nicolas TabareauTabareau, Nicolas InriaFrance PC Chair in Organizing Committee within the CPP-track PC Chair in Program Committee within the CPP-track
Joseph TassarottiTassarotti, Joseph New York UniversityUnited States PC Member in Program Committee within the CPP-track
Amin TimanyTimany, Amin Aarhus UniversityDenmark Conference Chair in Organizing Committee within the CPP-track Committee Member in Steering Committee within the CPP-track
Laura TitoloTitolo, Laura AMA/NASA LaRCUnited States PC Member in Program Committee within the CPP-track
Dmitriy TraytelTraytel, Dmitriy University of CopenhagenDenmark Committee Member in Steering Committee within the CPP-track
W Conrad WattWatt, Conrad Nanyang Technological UniversitySingapore PC Member in Program Committee within the CPP-track
Stephanie WeirichWeirich, Stephanie University of PennsylvaniaUnited States PC Member in Program Committee within the CPP-track
Y Irene YoonYoon, Irene InriaFrance PC Member in Program Committee within the CPP-track
Z Steve ZdancewicZdancewic, Steve University of PennsylvaniaUnited States Committee Member in Steering Committee within the CPP-track