SAS 2022 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (42)

A Vincenzo ArceriArceri, Vincenzo University of Parma, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
B Sébastien BardinBardin, Sébastien CEA LIST, University Paris-SaclayFrance Committee Member in Program Committee within the SAS Papers-track
Anna BecchiBecchi, Anna Fondazione Bruno Kessler, Trento, ItalyItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Dorra Ben KhalifaBen Khalifa, Dorra University of Perpignan France Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Denis BuenoBueno, Denis Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
C Marco CampionCampion, Marco University of VeronaItaly Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Madhurima ChakrabortyChakraborty, Madhurima University of California, Riverside Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Liqian ChenChen, Liqian National University of Defense Technology, ChinaChina Committee Member in Program Committee within the SAS Papers-track
Marc ChevalierChevalier, Marc SnykSwitzerland Artifact Evaluation Chair in Organizing Committee for SAS 2022 Chair in Artifact Evaluation Committee within the SAS Artifacts-track
Patrick CousotCousot, Patrick Committee Member in Program Committee within the SAS Papers-track
Arlen CoxCox, Arlen IDA Committee Member in Program Committee within the SAS Papers-track
D Dana Drachsler CohenDrachsler Cohen, Dana TechnionIsrael Committee Member in Program Committee within the SAS Papers-track
F Jerome FeretFeret, Jerome INRIA ParisFrance Committee Member in Program Committee within the SAS Papers-track
Pietro FerraraFerrara, Pietro Università Ca' Foscari, Venezia, ItalyItaly Committee Member in Program Committee within the SAS Papers-track
G Roberto GiacobazziGiacobazzi, Roberto University of VeronaItaly Committee Member in Program Committee within the SAS Papers-track
Christiane GoltzGoltz, Christiane SnykSwitzerland Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
H Kihong HeoHeo, Kihong KAISTSouth Korea Committee Member in Program Committee within the SAS Papers-track
J Kai JiaJia, Kai Massachusetts Institute of TechnologyUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
K Paddy KrishnanKrishnan, Paddy Oracle Labs, Australia Committee Member in Program Committee within the SAS Papers-track
L Sifis LagouvardosLagouvardos, Sifis University of AthensGreece Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Jacob LaurelLaurel, Jacob University of Illinois at Urbana-ChampaignUnited States Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
M Isabella MastroeniMastroeni, Isabella University of Verona, ItalyItaly Committee Member in Program Committee within the SAS Papers-track
Denis MazzucatoMazzucato, Denis INRIA & École Normale Supérieure Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Antoine MinéMiné, Antoine Sorbonne UniversitéFrance Committee Member in Program Committee within the SAS Papers-track
Raphaël MonatMonat, Raphaël Sorbonne Université — LIP6France Committee Member in Program Committee within the SAS Papers-track
David MonniauxMonniaux, David Grenoble Alps University / CNRS / Grenoble INP / VERIMAG Committee Member in Program Committee within the SAS Papers-track
N Jorge A. NavasNavas, Jorge A. Certora, inc.United States Committee Member in Program Committee within the SAS Papers-track
Luca NegriniNegrini, Luca Ca’ Foscari University of Venice, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
Vivek NotaniNotani, Vivek Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
O Luca OlivieriOlivieri, Luca University of Verona, Corvallis S.r.l.Italy Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
P Francesco ParoliniParolini, Francesco Sorbonne UniversitéFrance Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
R Francesco RanzatoRanzato, Francesco University of PadovaItaly Committee Member in Program Committee within the SAS Papers-track
S Daniel SchoepeSchoepe, Daniel AmazonUnited Kingdom Committee Member in Program Committee within the SAS Papers-track
Bernhard ScholzScholz, Bernhard University of SydneyAustralia Invited Speaker in Invited Speakers for SAS 2022
Mihaela SighireanuSighireanu, Mihaela IRIF, Université Paris Diderot, FranceFrance Committee Member in Program Committee within the SAS Papers-track
Gagandeep SinghSingh, Gagandeep University of Illinois at Urbana-Champaign; VMwareUnited States Program Co-Chair in Organizing Committee for SAS 2022 Co-chair in Program Committee within the SAS Papers-track
Manu SridharanSridharan, Manu University of California at RiversideUnited States Committee Member in Program Committee within the SAS Papers-track
Benno SteinStein, Benno Meta; University of Colorado BoulderUnited States Committee Member in Program Committee within the SAS Papers-track
Ilina StoilkovskaStoilkovska, Ilina Amazon Committee Member in Artifact Evaluation Committee within the SAS Artifacts-track
T Laura TitoloTitolo, Laura NIA/NASA LaRCUnited States Committee Member in Program Committee within the SAS Papers-track
U Caterina UrbanUrban, Caterina INRIA & École Normale Supérieure \| Université PSLFrance Program Co-Chair in Organizing Committee for SAS 2022 Co-chair in Program Committee within the SAS Papers-track
Y Nengkun YuYu, Nengkun UTSAustralia Invited Speaker in Invited Speakers for SAS 2022