ABCDEFGHIJKLMNOPQRSTUVWXYZAAABAC
1
DateTopicPresenterPaper 1Paper 2Paper 3
2
6/2/2015Dataflow FrameworksAndrew K. HirschProperties of Dataflow Frameworks: A Unified ModelA Unified Approach to Global Program Optimization
3
6/9/2015Abstract InterpretationAndrew MyersPrinciples of Program Analysis (Chapter 4)Introduction to Abstract Interpretation
4
6/16/2015Pointer AnalysisIsaac SheffPointer Analysis: Haven't We Solved This Problem Yet?Points-to Analysis in Almost Linear Time
5
6/23/2015Comparing OptimizationsLaure ThompsonWake Up and Smell the Coffee: Evaluation Methodology for the 21st Century
6
6/30/2015Garbage CollectionMatthew MilanoUniprocessor Garbage Collection TechniquesInmix: A Mark-Region Garbage Collector with Space Effeciency, Fast Collection, and Mutator Performance
7
7/7/2015JITsTom MagrinoA Brief History of Just-In-TimeA Survey of Adaptive Optimization in Virtual Machines
8
7/14/2015Verified CompilersChinFormal Certifaction of a Compiler Back-End or: Programming a Compiler with A Proof AssistantFormal Verification of a Real Compiler
9
7/21/2015Languages for ParallelizationTheo GkountouvasPartitioned Global Address Space LanguagesA Brief Overview of ChapelX10
10
7/28/2015Dynamically-Typed LanguagesFabian Muehlboeck
An Effecient Implimentation of Self, a Dynamically-Typed Object-Oriented Language Based on Prototypes
Improving Javascript Performance Through Predictable Type Specialization
11
8/4/2015Model CheckingHossein HojjatAutomatic Predicate Abstraction of C ProgramsLazy Abstraction
12
8/11/2015Finding InvariantsAdam CampbellProgram Verification Using Templates over Predicate AbstractionThe Daikon System for Dynamic Detection of Likely Invariants
13
8/11/2015SuperoptimizationYizhou ZhangSuperoptimizer: A Look at the Smallest ProgramDenali: A Goal-Directed Superoptimizer
Aiken? ASPLOS '15
14
8/25/2015Extensible CompilersAndrew K. HirschPolyglot: An Extensible Compiler Framework for JavaImplementing Extensible Compilers
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100