VORTEX 2023 Contributors

Mon 17 - Fri 21 July 2023 Seattle (University of Washington campus), Washington, United States

co-located with ECOOP and ISSTA 2023

Filter

Role Type

Contributing to

Number of Roles

Country

Results (30)

A Antonis AchilleosAchilleos, Antonis Reykjavik University PC Member in Program Committee within the VORTEX-track
Davide AnconaAncona, Davide DIBRIS, University of Genova, ItalyItaly Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
Giorgio AudritoAudrito, Giorgio Università di TorinoItaly Combining Static and Runtime Verification with AC and Coq Runtime Monitoring of Human Behaviour with Aggregate Computing on Android Co-chair in Program Committee within the VORTEX-track Co-chair in Organizing Committee within the VORTEX-track
B Riccardo BianchiniBianchini, Riccardo University of GenoaItaly Monitoring for resource-awareness
Andrew P. BlackBlack, Andrew P. AITO Test of Time Award: Why Programming Languages Matter: Reflections on 45 Years of Language Design
Daniela BriolaBriola, Daniela University of Milano BicoccaItaly PC Member in Program Committee within the VORTEX-track
C Satish ChandraChandra, Satish Meta PlatformsUnited States Machine Learning for Software Engineering
D Ferruccio DamianiDamiani, Ferruccio University of TurinItaly On Stream Runtime Verification and Aggregate Programming
Sophia DrossopoulouDrossopoulou, Sophia Imperial College London United Kingdom Dahl-Nygaard Senior Prize: Safe Journeys into the Unknown – Object Capabilities
F Marie FarrellFarrell, Marie The University of ManchesterUnited Kingdom PC Member in Program Committee within the VORTEX-track
Angelo FerrandoFerrando, Angelo RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Angelo FerrandoFerrando, Angelo DIBRIS, Università di GenovaItaly PC Member in Program Committee within the VORTEX-track
José Fragoso SantosFragoso Santos, José INESC-ID/Instituto Superior Técnico, Portugal PC Member in Program Committee within the VORTEX-track
Adrian FrancalanzaFrancalanza, Adrian University of MaltaMalta PC Member in Program Committee within the VORTEX-track
G Andrea GattiGatti, Andrea University of Genoa, Italy RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Hannah GommerstadtGommerstadt, Hannah Vassar College PC Member in Program Committee within the VORTEX-track
H William G.J. HalfondHalfond, William G.J. University of Southern CaliforniaUnited States Reflections on the Impact of Calculating Source Line Level Energy Information for Android Applications
Daniel HauresHaures, Daniel University of Turin, Italy Combining Static and Runtime Verification with AC and Coq
Klaus HavelundHavelund, Klaus NASA/Caltech Jet Propulsion LaboratoryUnited States PC Member in Program Committee within the VORTEX-track
M Viviana MascardiMascardi, Viviana DIBRIS, University of Genova, ItalyItaly RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
Heather MillerMiller, Heather Carnegie Mellon University and Two Sigma Dahl-Nygaard Junior Prize: My Part of the Scala Story, and Beyond!
N Laura NenziNenzi, Laura University of TriesteItaly PC Member in Program Committee within the VORTEX-track
P Srinivas PinisettyPinisetty, Srinivas Indian Institute of Technology Bhubaneswar PC Member in Program Committee within the VORTEX-track
R Baishakhi RayRay, Baishakhi Columbia UniversityUnited States Towards Code-Aware Code Models
Jose Ignacio RequenoRequeno, Jose Ignacio Complutense University of Madrid PC Member in Program Committee within the VORTEX-track
Kristin Yvonne RozierRozier, Kristin Yvonne Iowa State University PC Member in Program Committee within the VORTEX-track
S Alceste ScalasScalas, Alceste Technical University of DenmarkDenmark PC Member in Program Committee within the VORTEX-track
Volker StolzStolz, Volker Høgskulen på VestlandetNorway Runtime Monitoring of Human Behaviour with Aggregate Computing on Android PC Member in Program Committee within the VORTEX-track
T Gianluca TortaTorta, Gianluca Dipartimento di Informatica - Università di Torino, Italy On Stream Runtime Verification and Aggregate Programming PC Member in Program Committee within the VORTEX-track
Y Nobuko YoshidaYoshida, Nobuko University of OxfordUnited Kingdom PC Member in Program Committee within the VORTEX-track