Powered by
Proceedings of the ACM on Programming Languages, Volume 1, Number OOPSLA,
October 22–27, 2017,
Vancouver, BC, Canada
Frontmatter
Types
Wed, Oct 25, 10:30 - 12:00, Regency A
Performance
Wed, Oct 25, 10:30 - 12:00, Regency B
Gradual Types and Memory
Wed, Oct 25, 13:30 - 15:00, Regency A
Tools
Wed, Oct 25, 13:30 - 15:00, Regency B
Abridging Source Code
Binhang Yuan, Vijayaraghavan Murali, and Christopher Jermaine
(Rice University, USA)
Synthesis
Wed, Oct 25, 15:30 - 17:23, Regency A
Dynamic Analysis
Wed, Oct 25, 15:30 - 17:00, Regency B
Types and Language Design
Thu, Oct 26, 10:30 - 12:00, Regency A
Orca: GC and Type System Co-Design for Actor Languages
Sylvan Clebsch
, Juliana Franco, Sophia Drossopoulou
, Albert Mingkun Yang, Tobias Wrigstad
, and Jan Vitek
(Microsoft Research, UK; Imperial College London, UK; Uppsala University, Sweden; Northeastern University, USA)
Optimizing Compilation
Thu, Oct 26, 10:30 - 12:00, Regency B
Verification
Thu, Oct 26, 13:30 - 15:00, Regency A
Mining Software Repositories and Parsing
Thu, Oct 26, 13:30 - 15:00, Regency B
DéjàVu: A Map of Code Duplicates on GitHub
Cristina V. Lopes
, Petr Maj, Pedro Martins, Vaibhav Saini, Di Yang, Jakub Zitny, Hitesh Sajnani, and Jan Vitek
(University of California at Irvine, USA; Czech Technical University, Czechia; Microsoft Research, USA; Northeastern University, USA)
Info
Artifacts Functional
Verification in Practice
Thu, Oct 26, 15:30 - 17:00, Regency A
Testing
Thu, Oct 26, 15:30 - 17:23, Regency B
Language Design
Fri, Oct 27, 10:30 - 12:00, Regency A
Project Snowflake: Non-blocking Safe Manual Memory Management in .NET
Matthew Parkinson
, Dimitrios Vytiniotis, Kapil Vaswani, Manuel Costa,
Pantazis Deligiannis , Dylan McDermott, Aaron Blankstein, and Jonathan Balkind
(Microsoft Research, UK; University of Cambridge, UK; Princeton University, USA)
Static Analysis
Fri, Oct 27, 10:30 - 12:00, Regency B
Usability and Deadlock
Fri, Oct 27, 13:30 - 15:00, Regency A
Distributed Systems
Fri, Oct 27, 13:30 - 15:00, Regency B
Geo-Distribution of Actor-Based Services
Philip A. Bernstein, Sebastian Burckhardt, Sergey Bykov, Natacha Crooks, Jose M. Faleiro, Gabriel Kliot, Alok Kumbhare, Muntasir Raihan Rahman, Vivek Shah, Adriana Szekeres, and Jorgen Thelin
(Microsoft Research, USA; Microsoft, USA; University of Texas at Austin, USA; Yale University, USA; Google, USA; University of Copenhagen, Denmark; University of Washington, USA)
proc time: 0.08