Papertalk - the platform for scientific paper presentations

Home
Papertalks
About
Help
Improve
Upload
Login
Register

Login Required

You have to login to use this feature.

Title Abstract

Keywords Authors

exact

OOPSLA 2020

Hide

Hide

Hide

Sort by:

108 papertalks found

15/11/2020

Gradual Verification of Recursive Heap Data Structures

Jenna Wise, Johannes Bader, Cameron Wong and
Jonathan Aldrich, Éric Tanter, Joshua Sunshine

Keywords Paper

separation logic, implicit dynamic frames, recursive predicates, gradual verification

0

0

0

0

14:54

15/11/2020

FlowCFL: Generalized Type-Based Reachability Analysis: Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability

Ana Milanova

Keywords Paper

reference immutability, CFL-reachability, type-based analysis

0

0

0

0

14:58

15/11/2020

Feedback-Driven Semi-supervised Synthesis of Program Transformations

Xiang Gao, Shraddha Barke, Arjun Radhakrishna and
Gustavo Soares, Sumit Gulwani, Alan Leung, Nachiappan Nagappan, Ashish Tiwari

Keywords Paper

Program transformation, Program synthesis, Refactoring, Programming by Example

0

0

0

0

15:43

15/11/2020

Pomsets with Preconditions: A Simple Model of Relaxed Memory

Radha Jagadeesan, Alan Jeffrey, James Riely

Keywords Paper

Compiler Optimizations, Relaxed Memory Models, ARMv8, Multi-Copy Atomicity, Thin-Air Reads, Preconditions, Concurrency, Temporal Safety Properties, Pomsets

0

0

0

0

15:49

15/11/2020

Learning-Based Controlled Concurrency Testing

Suvam Mukherjee, Pantazis Deligiannis, Arpita Biswas, Akash Lal

Keywords Paper

Reinforcement Learning, Systematic Testing, Concurrency

0

0

0

0

15:18

15/11/2020

Resolution as Intersection Subtyping via Modus Ponens

Koar Marntirosian, Tom Schrijvers, Bruno C. d. S. Oliveira, Georgios Karachalias

Keywords Paper

coherence, resolution, modus ponens, family polymorphism, nested composition, intersection types

0

0

0

0

14:39

15/11/2020

Persistent Owicki-Gries Reasoning: A Program Logic for Reasoning about Persistent Programs on Intel-x86

Azalea Raad, Ori Lahav, Viktor Vafeiadis

Keywords Paper

non-volatile memory, persistency, consistency, program logic, x86-TSO

0

0

0

0

16:07

15/11/2020

ιDOT: A DOT Calculus with Object Initialization

Ifaz Kabir, Yufeng Li, Ondřej Lhoták

Keywords Paper

Scala, type safety, DOT, initialization, dependent objects

0

0

0

0

13:59

15/11/2020

Testing Consensus Implementations using Communication Closure

Cezara Drăgoi, Constantin Enea, Burcu Kulahcioglu Ozkan and
Rupak Majumdar, Filip Niksic

Keywords Paper

Distributed consensus, Communication closure, Randomized testing

0

0

0

0

15:19

15/11/2020

Handling Bidirectional Control Flow

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

Keywords Paper

Effect handlers, promises, exceptions, type systems, iterators, parametricity

0

0

0

0

15:08

15/11/2020

Guiding Dynamic Programing via Structural Probability for Accelerating Programming by Example

Ruyi Ji, Yican Sun, Yingfei Xiong, Zhenjiang Hu

Keywords Paper

Programming by Example, Probabilistic Model, Dynamic Programming

0

0

0

0

16:48

15/11/2020

Hidden Inheritance: An Inline Caching Design for TypeScript Performance

Zhefeng Wu, Zhe Sun, Kai Gong and
Lingyun Chen, Bin Liao, Yihua Jin

Keywords Paper

Hidden Classes, TypeScript, JavaScript, JITC, STSC, AOTC, Inline Caches

0

0

0

0

16:21

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

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

Scalable and Serializable Networked Multi-actor Programming

Bo Sang, Patrick Eugster, Gustavo Petri and
Srivatsan Ravi, Pierre-Louis Roman

Keywords Paper

serializability, actor, distribution, scalability

0

0

0

0

15:12

15/11/2020

The Anchor Verifier for Blocking and Non-blocking Concurrent Software

Cormac Flanagan, Stephen N. Freund

Keywords Paper

concurrent program verification, reduction, synchronization

0

0

0

0

15:09

15/11/2020

Dynamic Dispatch of Context-Sensitive Optimizations

Gabriel Poesia, Fernando Magno Quintão Pereira

Keywords Paper

Dynamic dispatch, Compiler, Context-sensitive optimization

0

0

0

0

9:10

15/11/2020

Compiling Symbolic Execution with Staging and Algebraic Effects

Guannan Wei, Oliver Bračevac, Shangyin Tan, Tiark Rompf

Keywords Paper

algebraic effects, symbolic execution, multi-stage programming, definitional interpreters

0

0

0

0

15:55

15/11/2020

Fast Linear Programming through Transprecision Computing on Small and Sparse Data

Tobias Grosser, Theodoros Theodoridis, Maximilian Falkenstein and
Arjun Pitchanathan, Michael Kruse, Manuel Rigger, Zhendong Su, Torsten Hoefler

Keywords Paper

Presburger Arithmetic, Transprecision, Linear Programming, Simplex

0

0

0

0

13:35

15/11/2020

Contextual Dispatch for Function Specialization

Olivier Flückiger, Guido Chari, Ming-Ho Yee and
Jan Ječmen, Jakob Hain, Jan Vitek

Keywords Paper

customization, specialization, virtual machine, splitting, speculation

0

0

0

0

15:52

15/11/2020

A Large-Scale Longitudinal Study of Flaky Tests

Wing Lam, Stefan Winter, Anjiang Wei and
Tao Xie, Darko Marinov, Jonathan Bell

Keywords Paper

flaky test, regression testing

0

0

0

0

15:39

15/11/2020

A Modular Cost Analysis for Probabilistic Programs

Martin Avanzini, Georg Moser, Michael Schaper

Keywords Paper

probabilistic programs, automation, average complexity, modularity

0

0

0

0

14:58

15/11/2020

A Systematic Approach to Deriving Incremental Type Checkers

André Pacak, Sebastian Erdweg, Tamás Szabó

Keywords Paper

datalog, incremental type checking, type system transformation

0

0

0

0

16:35

15/11/2020

LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments

Umar Farooq, Zhijia Zhao, Manu Sridharan, Iulian Neamtiu

Keywords Paper

Static Analysis, Runtime Configuration Change, Android, Software Restart

0

0

0

0

15:22

15/11/2020

Koord: A Language for Programming and Verifying Distributed Robotics Application

Ritwika Ghosh, Chiao Hsieh, Sasa Misailovic, Sayan Mitra

Keywords Paper

Programming Language for Robotics, Distributed Robotics

0

0

0

0

15:17

15/11/2020

Geometry Types for Graphics Programming

Dietrich Geisler, Irene Yoon, Aditi Kabra and
Horace He, Yinnon Sanders, Adrian Sampson

Keywords Paper

computer graphics, type systems, geometry, language design

0

0

0

0

16:27

15/11/2020

StreamQL: A Query Language for Processing Streaming Time Series

Lingkun Kong, Konstantinos Mamouras

Keywords Paper

data stream processing, denotational semantics

0

0

0

0

15:05

15/11/2020

Random Testing for C and C++ Compilers with YARPGen

Vsevolod Livinskii, Dmitry Babokin, John Regehr

Keywords Paper

automated testing, random program generation, compiler testing, compiler defect, random testing

0

0

0

0

12:00

15/11/2020

Taming Callbacks for Smart Contract Modularity

Elvira Albert, Shelly Grossman, Noam Rinetzky and
Clara Rodríguez-Núñez, Albert Rubio, Mooly Sagiv

Keywords Paper

logic and verification, smart contracts, blockchain, program analysis, invariants, program verification

0

0

0

0

15:10

15/11/2020

Projection-Based Runtime Assertions for Testing and Debugging Quantum Programs

Gushu Li, Li Zhou, Nengkun Yu and
Yufei Ding, Mingsheng Ying, Yuan Xie

Keywords Paper

quantum programming, quantum computing, assertion, program testing

0

0

0

0

15:46

15/11/2020

Automated Policy Synthesis for System Call Sandboxing

Shankara Pailoor, Xinyu Wang, Hovav Shacham, Isil Dillig

Keywords Paper

Sandboxing, Security, Abstract Interpretation, Program Synthesis

0

0

0

0

16:57

15/11/2020

Adding Interactive Visual Syntax to Textual Code

Leif Andersen, Michael Ballantyne, Matthias Felleisen

Keywords Paper

Domain-Specific Language

0

0

0

0

12:25

15/11/2020

Program Equivalence for Assisted Grading of Functional Programs

Joshua Clune, Vijay Ramamurthy, Ruben Martins, Umut A. Acar

Keywords Paper

Functional Programming, Program Equivalence, Assisted Grading, Formal Methods

0

0

0

0

15:41

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

Foundations of Empirical Memory Consistency Testing

Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi

Keywords Paper

autotuning, conformance testing, memory consistency, GPUs, OpenCL

0

0

0

0

14:58

15/11/2020

Dataflow-Based Pruning for Speeding up Superoptimization

Manasij Mukherjee, Pranav Kant, Zhengyang Liu, John Regehr

Keywords Paper

program synthesis, superoptimization, abstract interpretation, pruning

0

0

0

0

13:48

15/11/2020

Learning Semantic Program Embeddings with Graph Interval Neural Network

Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang

Keywords Paper

Intervals, Control-flow graphs, Null pointer dereference detection, Graph neural networks, Program embeddings

0

0

0

0

10:36

15/11/2020

Digging for Fold: Synthesis-Aided API Discovery for Haskell

Michael B. James, Zheng Guo, Ziteng Wang and
Shivani Doshi, Hila Peleg, Ranjit Jhala, Nadia Polikarpova

Keywords Paper

Program Synthesis, Type Inference, Human-Computer Interaction

0

0

0

0

16:01

15/11/2020

Statically Verified Refinements for Multiparty Protocols

Fangyi Zhou, Francisco Ferreira, Raymond Hu and
Rumyana Neykova, Nobuko Yoshida

Keywords Paper

F*, Code Generation, Distributed Programming, Multiparty Session Types (MPST), Refinement Types

0

0

0

0

14:54

15/11/2020

Satune: Synthesizing Efficient SAT Encoders

Hamed Gorjiara, Guoqing Harry Xu, Brian Demsky

Keywords Paper

Auto-tuning, SAT encoding, Constraint Solvers

0

0

0

0

15:23

«
1
2
3
»

About · Contact · Privacy Policy · Legal Notice