LZI - Schloss Dagstuhl - Talks + Materials of Seminar 13162
 Functions: 

Seminar 13162
Pointer Analysis

Ondrej Lhotak (University of Waterloo, CA), Yannis Smaragdakis (University of Athens, GR), Manu Sridharan (IBM TJ Watson Research Center - Yorktown Heights, US)

Caveat: Due to caching problems of dynamic webpages, sometimes newly
uploaded files are not shown. Please reload the page accordingly.

 

Seminar Wide Materials
 
 Mike Hind's Talk
Slides: pdf

 


Jose Nelson Amaral , University of Alberta
  Does it have to be so hard?
Abstracts: txt

 

Gogul Balakrishnan , NEC Laboratories America, Inc. - Princeton
 Scalable and Precise Program Analysis at NEC
Abstracts: txt

 

Eric Bodden , TU Darmstadt
 Challenges in vulnerability detection for the Java runtime library
Abstracts: txt Slides: pdf

 

Bor-Yuh Evan Chang , University of Colorado - Boulder
 Precise Heap Reachability by Refutation Analysis
Abstracts: txt Slides: pptxpdf

 

Isil Dillig , College of William and Mary - Williamsburg
 Precise and Fully-Automatic Verification of Container-Manipulating Programs
Abstracts: txt

 

Thomas Dillig , College of William and Mary - Williamsburg
 Precise and Fully-Automatic Verification of Container-Manipulating Programs
Abstracts: txt

 

Julian Dolby , IBM TJ Watson Research Center - Hawthorne
 The End of Pointer Analysis?
Abstracts: txt

 

Samuel Z. Guyer , Tufts University
 The Business of Pointer Analysis
Slides: pdf

 

Christian Hammer , Universität des Saarlandes
 Pointer analysis for dynamic information flow control
Abstracts: txt Slides: pdf

 

Laurie J. Hendren , McGill University - Montreal
 Pointer Analysis meets MATLAB
Abstracts: txt

 Pointer Analysis Meets MATLAB
Abstracts: txt Slides: pdf

 

Uday Khedker , Indian Institute of Technology - Mumbai
 The Approximations Vs. Abstractions Dilemma in Pointer Analysis
Abstracts: txt Slides: pdf

 Liveness Based Pointer Analysis
Abstracts: txt Slides: pdf

 

Ondrej Lhotak , University of Waterloo
 Incomplete Program Analysis
Abstracts: txt Slides: pptx Paper: pdf

 

Benjamin Livshits , Microsoft Research - Redmond
 Challenges in Pointer Analysis of JavaScript
Abstracts: txt Slides: pptx

 

Welf Loewe , Linnaeus University - Växjö
 Comparing different points-to analyses
Abstracts: txt

 Comparing different points-to analyses
Slides: pdf

 

Mark Marron , Microsoft Research - Redmond
 Towards a Quantitative Understanding of Heap Structure and Application to Analysis Design
Abstracts: txt Slides: pptx Paper: pdfpdf

 

Matt Might , University of Utah
 Small-step pointer analysis

 Control-flow analysis of Scheme
Abstracts: txt Slides: pdf

 

Ana Milanova , Rensselaer Polytechnic Institute
 Context-sensitive type-based flow analysis
Abstracts: txt

 

Anders Moller , Aarhus University
 Pointer Analysis for Refactoring of JavaScript Programs
Abstracts: txt

 

Mayur Naik , Georgia Institute of Technology
 New Search Techniques for Query-Driven Dataflow Analysis
Abstracts: txt Slides: pptx

 

Hakjoo Oh , Seoul National University
 Sparse Analysis Framework
Abstracts: txt Slides: pdf

 

Erhard Ploedereder , Universität Stuttgart
 Empirical Evaluation of Points-To Analyses
Abstracts: txtdocx Slides: pdf

 

Xavier Rival , ENS - Paris
 Modular combination of shape abstraction with numeric abstraction
Abstracts: txt Slides: pdf

 

Yannis Smaragdakis , University of Athens
 Set-Based Reasoning for Points-To Optimization
Abstracts: txt Slides: pdf

 

Gregor Snelting , KIT - Karlsruhe Institute of Technology
 Pointer analysis for probabilistic noninterference
Abstracts: txt Slides: pdf Paper: pdf

 

Manu Sridharan , IBM TJ Watson Research Center - Yorktown Heights
 Pointer Analysis and Reflection
Abstracts: txt Slides: pdf Paper: pdf

 

Bjarne Steensgaard , Microsoft Research - Redmond
 A Retrospective on Type-Based Pointer Analyses

 

Dimitris Vardoulakis , Google Inc. - Mountain View
 Scaling flow analysis using big-step semantics
Abstracts: txt Slides: pdf

 



License

Creative Commons License
This webpage and the material that is made available on this webpage is licensed under a
Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License.

The CC by-nc-nd license allows you to copy, distribute and transmit the work under the following conditions: