WODA 2017 Contributors -

Sun 22 - Fri 27 October 2017 Vancouver, Canada

co-located with SPLASH 2017

Filter

Role Type

Contributing to

Number of Roles

Country

Results (15)

B Jesse BartelsBartels, Jesse Constructing Dynamic Control Flow Graphs from Execution Traces
Emery D. BergerBerger, Emery D. University of Massachusetts, AmherstUnited States Forget the Garbagemen, We Need a Plumber
Michael D. BondBond, Michael D. Ohio State University Pushing Predictive Data Race Detection to the Limit
D Joeri De KosterDe Koster, Joeri Vrije Universiteit Brussel, Belgium Dynamic Verification of Inter-parameter Constraints in Web Applications
Wolfgang De MeuterDe Meuter, Wolfgang Vrije Universiteit Brussel Dynamic Verification of Inter-parameter Constraints in Web Applications
Saumya DebrayDebray, Saumya University of Arizona Constructing Dynamic Control Flow Graphs from Execution Traces
G Neville GrechGrech, Neville Better Program Analysis Through Heap Profiling
Sam GuyerGuyer, Sam Tufts UniversityUnited States Can Analysis be Too Precise?
H Jeff HuangHuang, 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 Milind KulkarniKulkarni, Milind Purdue University Strong Memory Models: 5 Simple Tricks to Beat SC
L Ben LivshitsLivshits, 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 Nathalie OostvogelsOostvogels, Nathalie Dynamic Verification of Inter-parameter Constraints in Web Applications
S Jon StephensStephens, Jon Constructing Dynamic Control Flow Graphs from Execution Traces
X Harry XuXu, Harry University of California, IrvineUnited States Calling-to-Reference Context Translation via Constraint-Guided Context-Free-Language Reachability
Z Benjamin ZornZorn, Benjamin Microsoft ResearchUnited States Finding Bugs and Insights in Semi-structured Data