Powered by
2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2016),
November 2–4, 2016,
Amsterdam, Netherlands
Frontmatter
Optimization and Performance
Semantics and Verification
Program Synthesis
Language Design and Programming Models I
Programming Frameworks, Tools, and Methodologies
Static Analysis
Type Inference for Static Compilation of JavaScript
Satish Chandra, Colin S. Gordon, Jean-Baptiste Jeannin, Cole Schlesinger, Manu Sridharan,
Frank Tip, and Youngil Choi
(Samsung Research, USA; Drexel University, USA; Northeastern University, USA; Samsung Electronics, South Korea)
Concurrency Analysis and Model Checking
Language Design and Programming Models II
Principles, Across the Compilation Stack
Runtime Support
Program Modeling and Learning
Typing, in Practice
Bug Detection Analysis and Model Checking
proc time: 0.78