SOAP 2017 Contributors -

Write a Blog >>

Sun 18 Jun 2017 Barcelona, Spain

co-located with PLDI 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (36)

A Karim AliAli, Karim University of Alberta Committee Member in Organizing Committee within the SOAP-track
Esben AndreasenAndreasen, Esben Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Anastasios AntoniadisAntoniadis, Anastasios Greece Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
B George BalatsourasBalatsouras, George University of Athens A Datalog Model of Must-Alias Analysis
C Bor-Yuh Evan ChangChang, Bor-Yuh Evan University of Colorado Boulder Committee Member in Program Committee within the SOAP-track
Cristina CifuentesCifuentes, Cristina Oracle LabsAustralia Committee Member in Organizing Committee within the SOAP-track
D Jens DietrichDietrich, Jens Massey UniversityNew Zealand On the Construction of Soundness Oracles
Julian DolbyDolby, Julian IBM Thomas J. Watson Research CenterUnited States WALA Everywhere
E Michael EichbergEichberg, Michael TU Darmstadt, Germany Hermes: Assessment and Creation of Effective Test Corpora
F Kostas FerlesFerles, Kostas University of Texas at Austin, USAUnited States A Datalog Model of Must-Alias Analysis
G François GauthierGauthier, François Oracle LabsAustralia Committee Member in Program Committee within the SOAP-track
Alessandra GorlaGorla, Alessandra IMDEA Software InstituteSpain Committee Member in Program Committee within the SOAP-track
H Behnaz HassanshahiHassanshahi, Behnaz Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
Ben HermannHermann, Ben University of PaderbornGermany SootKeeper: Runtime Reusability for Modular Static Analysis Hermes: Assessment and Creation of Effective Test Corpora
J Ciera JaspanJaspan, Ciera Google Committee Member in Program Committee within the SOAP-track
K Raghavendra KagalavadiKagalavadi, Raghavendra Oracle Labs, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases
George KastrinisKastrinis, George University of AthensGreece A Datalog Model of Must-Alias Analysis
Paddy KrishnanKrishnan, Paddy An Efficient Tunable Selective Points-to Analysis for Large Codebases
Florian KüblerKübler, Florian TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
L Yi LuLu, Yi Oracle An Efficient Tunable Selective Points-to Analysis for Large Codebases
M Magnus MadsenMadsen, Magnus University of WaterlooDenmark Committee Member in Program Committee within the SOAP-track
Mira MeziniMezini, Mira TU DarmstadtGermany Hermes: Assessment and Creation of Effective Test Corpora
Anders MøllerMøller, Anders Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
Patrick MüllerMüller, Patrick TU Darmstadt, Germany SootKeeper: Runtime Reusability for Modular Static Analysis
N Benjamin Barslev NielsenNielsen, Benjamin Barslev Aarhus UniversityDenmark Systematic Approaches for Increasing Soundness and Precision of Static Analyzers
P Jihyeok ParkPark, Jihyeok KAIST, South Korea Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
R Shawn RasheedRasheed, Shawn Massey UniversityNew Zealand On the Construction of Soundness Oracles
Michael ReifReif, Michael TU Darmstadt, GermanyGermany Hermes: Assessment and Creation of Effective Test Corpora
Xavier RivalRival, Xavier INRIA/CNRS/ENS ParisFrance Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
Sukyoung RyuRyu, Sukyoung KAISTKorea, South Journey to Find Bugs in JavaScript Web Applications in the Wild Revisiting Recency Abstraction for JavaScript: Towards an Intuitive, Compositional, and Efficient Heap Abstraction
S Bernhard ScholzScholz, Bernhard University of Sydney, Australia An Efficient Tunable Selective Points-to Analysis for Large Codebases Committee Member in Program Committee within the SOAP-track
Yannis SmaragdakisSmaragdakis, Yannis University of Athens A Datalog Model of Must-Alias Analysis Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
Li SuiSui, Li Massey University, New Zealand On the Construction of Soundness Oracles
T Amjed TahirTahir, Amjed Massey UniversityNew Zealand On the Construction of Soundness Oracles
Konstantinos TriantafyllouTriantafyllou, Konstantinos University of Athens, Greece Porting Doop to Soufflé: A Tale of Inter-Engine Portability for Datalog-Based Analyses
X Jingling XueXue, Jingling UNSW Australia Static Analysis of Java Reflection