OOPSLA
Member since:
2021-01-15
Last seen:
2021-01-15
User details
Name:
Object-oriented Programming, Systems, Languages, and Applications (OOPSLA)
Affiliation:
Association for Computing Machinery (ACM)
About me:
The scope of OOPSLA includes all aspects of programming languages and software engineering, broadly construed. Papers that address any aspect of software development are welcome, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, reuse, replacement, and retirement of software systems. Papers may address these topics in a variety of ways, including new tools (such as languages, program analyses, and runtime systems), new techniques (such as methodologies, design processes, code organization approaches, and management techniques), and new evaluations (such as formalisms and proofs, corpora analyses, user studies, and surveys).
Papertalks of OOPSLA
15/11/2020
A Large-Scale Longitudinal Study of Flaky Tests
Wing Lam, Stefan Winter, Anjiang Wei and
Keywords Paper
flaky test, regression testing
0
0
0
0
15:39
15/11/2020
A Structural Model for Contextual Code Changes
Shaked Brody, Uri Alon, Eran Yahav
Keywords Paper
Neural Models of Code, Edit Completions, Machine Learning
0
0
0
0
13:01
15/11/2020
Actor Concurrency Bugs: A Comprehensive Study on Symptoms, Root Causes, API Usages, and Differences
Mehdi Bagherzadeh, Nicholas Fireman, Anas Shawesh, Raffi Khatchadourian
Keywords Paper
GitHub, Akka actor bugs, Stack Overflow, Actor bug API usages, Actor bug root causes, Actor bug symptoms, Actor bug differences
0
0
0
0
18:19
15/11/2020
Adversarial Examples for Models of Code
Noam Yefet, Uri Alon, Eran Yahav
Keywords Paper
Adversarial Attacks, Neural Models of Code, Targeted Attacks
0
0
0
0
15:06
15/11/2020
Build Scripts with Perfect Dependencies
Sarah Spall, Neil Mitchell, Sam Tobin-Hochstadt
Keywords Paper
build systems, functional programming
0
0
0
0
14:42
15/11/2020
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Michael Coblenz, Jonathan Aldrich, Brad A. Myers, Joshua Sunshine
Keywords Paper
assets, linear types, permissions, empirical studies of programming languages, blockchain, typestate, ownership, smart contracts
0
0
0
0
15:26
15/11/2020
Certified and Efficient Instruction Scheduling: Application to Interlocked VLIW Processors
Cyril Six, Sylvain Boulmé, David Monniaux
Keywords Paper
Formal verification of compiler optimizations, the Coq proof assistant, Hash-consing, Symbolic execution, Instruction-level parallelism
0
0
0
0
15:00
15/11/2020
Designing Types for R, Empirically
Alexi Turcotte, Aviral Goel, Filip Křikava, Jan Vitek
Keywords Paper
R, dynamic languages, type declarations
0
0
0
0
16:04
15/11/2020
Featherweight Go
Robert Griesemer, Raymond Hu, Wen Kokke and
Keywords Paper
Go, Monomorphisation, Generics
0
0
0
0
15:32
