ADSL 2020 Contributors

Mon 20 Jan 2020 New Orleans, Louisiana, United States

co-located with POPL 2020

Filter

Role Type

Contributing to

Number of Roles

Country

Results (22)

B Josh BerdineBerdine, Josh Facebook SLEdge: Bounded Model Checking in Separation Logic Committee Member in Program Committee within the ADSL-track
James BrotherstonBrotherston, James Committee Member in Program Committee within the ADSL-track
D Stephane DemriDemri, Stephane CNRS, LSV, ENS Paris-Saclay Committee Member in Program Committee within the ADSL-track
E Mnacho EchenimEchenim, Mnacho The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions
F Aymeric FromherzFromherz, Aymeric Carnegie Mellon University Steel: scaling up memory reasoning for F*
G Nikos GorogiannisGorogiannis, Nikos Facebook and Middlesex University LondonUnited Kingdom Committee Member in Program Committee within the ADSL-track Co-chair in Organizing Committee within the ADSL-track
H Lukáš HolíkHolík, Lukáš Brno University of Technology Committee Member in Program Committee within the ADSL-track
I Radu IosifIosif, Radu VERIMAG, CNRS, Université Grenoble-Alpes The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions Committee Member in Program Committee within the ADSL-track Co-chair in Organizing Committee within the ADSL-track
K Jens KatelaanKatelaan, Jens Strong-Separation Logic Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth
Robbert KrebbersKrebbers, Robbert Delft University of TechnologyNetherlands Relational reasoning using concurrent separation logic
L Dominique Larchey-WendlingLarchey-Wendling, Dominique CNRS, LORIAFrance Committee Member in Program Committee within the ADSL-track
Quang Loc LeLe, Quang Loc Teesside UniversityUnited Kingdom Committee Member in Program Committee within the ADSL-track
M Denis MerigouxMerigoux, Denis INRIAFrance Steel: scaling up memory reasoning for F*
N Aleksandar NanevskiNanevski, Aleksandar IMDEA Software InstituteSpain Committee Member in Program Committee within the ADSL-track
O Peter O'HearnO'Hearn, Peter Facebook Committee Member in Program Committee within the ADSL-track
P Nicolas PeltierPeltier, Nicolas The Lower Bound of Decidable Entailments in Separation Logic with Inductive Definitions
Nadia PolikarpovaPolikarpova, Nadia University of California, San DiegoUnited States Programs Synthesis with Separation Logic Committee Member in Program Committee within the ADSL-track
David PymPym, David University College London Committee Member in Program Committee within the ADSL-track
S Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the ADSL-track
W Thomas WiesWies, Thomas New York University Local Reasoning for Global Graph Properties Committee Member in Program Committee within the ADSL-track
Zhilin WuWu, Zhilin State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences Committee Member in Program Committee within the ADSL-track
Z Florian ZulegerZuleger, Florian TU ViennaAustria Strong-Separation Logic Extending the Profile Abstraction for Complete Entailment Checking of Symbolic Heaps of Bounded Treewidth Committee Member in Program Committee within the ADSL-track