N40AI 2017 Contributors -

Wed 18 - Fri 20 January 2017

co-located with POPL 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (15)

C Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Big Code
Byron CookCook, Byron Amazon Abstract Interpretation in Amazon
Patrick CousotCousot, Patrick New York University Keynote: the Next 40 years of Abstract Interpretation
D Vincent DanosDanos, Vincent ENS Paris/CNRS Systems biology
F Christian FerdinandFerdinand, Christian AbsInt Abstract Interpretation in Absint
Jerome FeretFeret, Jerome INRIA ParisFrance Session Chair of Industrial Panel 2 & Systems Biology (part of N40AI) Committee Member in Organizer within the N40AI-track
G Roberto GiacobazziGiacobazzi, Roberto University of Verona, Italy Session Chair of Opening (part of N40AI) Committee Member in Organizer within the N40AI-track
Arie GurfinkelGurfinkel, Arie University of WaterlooCanada System verification
H Michael HicksHicks, Michael University of Maryland at College Park, USA Security
L Francesco LogozzoLogozzo, Francesco FacebookUnited States Abstract Interpretation in Facebook Committee Member in Organizer within the N40AI-track
M Antoine MinéMiné, Antoine UPMC, FranceFrance Session Chair of Industrial Panel 1 (part of N40AI) Committee Member in Organizer within the N40AI-track
R Francesco RanzatoRanzato, Francesco University of PadovaItaly Session Chair of System Verification and Patrick Cousot's Keynote (part of N40AI) Committee Member in Organizer within the N40AI-track
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Session Chair of Security, Big Code and Synthesis (part of N40AI) Committee Member in Organizer within the N40AI-track
T Aaron TombTomb, Aaron Galois, Inc.United States Abstract Interpretation at Galois
Y Eran YahavYahav, Eran TechnionIsrael Program synthesis