WODA 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017

WODA 2017 Contributors

Filter
Role Type
Contributing to
Number of Roles
Country
Search

Results (15)

B
Bartels, Jesse
Constructing Dynamic Control Flow Graphs from Execution Traces
Berger, Emery D.
University of Massachusetts, AmherstUnited States
Forget the Garbagemen, We Need a Plumber
Bond, Michael D.
Ohio State University
Pushing Predictive Data Race Detection to the Limit
D
De Koster, Joeri
Vrije Universiteit Brussel, Belgium
Dynamic Verification of Inter-parameter Constraints in Web Applications
De Meuter, Wolfgang
Vrije Universiteit Brussel
Dynamic Verification of Inter-parameter Constraints in Web Applications
Debray, Saumya
University of Arizona
Constructing Dynamic Control Flow Graphs from Execution Traces
G
Grech, Neville
Better Program Analysis Through Heap Profiling
Guyer, Sam
Tufts UniversityUnited States
Can Analysis be Too Precise?
H
Huang, Jeff
Texas A&M University
Session Chair of WODA (part of WODA)
Session Chair of WODA (part of WODA)
Session Chair of WODA (part of WODA)
Session Chair of WODA (part of WODA)
Model Checking with Maximal Causality Reduction
Co-chair in Organizing Committee within the WODA-track
K
Kulkarni, Milind
Purdue University
Strong Memory Models: 5 Simple Tricks to Beat SC
L
Livshits, Ben
Imperial College London, UK
Session Chair of WODA (part of WODA)
Session Chair of WODA (part of WODA)
Session Chair of WODA (part of WODA)
Session Chair of WODA (part of WODA)
Co-chair in Organizing Committee within the WODA-track
O
Oostvogels, Nathalie
Dynamic Verification of Inter-parameter Constraints in Web Applications
S
Stephens, Jon
Constructing Dynamic Control Flow Graphs from Execution Traces
X
Xu, Harry
University of California, IrvineUnited States
Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
Z
Zorn, Benjamin
Microsoft ResearchUnited States
Finding Bugs and Insights in Semi-structured Data