| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Brand Objects for Nominal Typing Timothy Jones, Michael Homer, James Noble |
Brand Objects for Nominal Typing Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Joseph Lee, Jonathan Aldrich, Troy Shaw, Alex Potanin |
Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Towards Practical Gradual Typing Asumu Takikawa, Daniel Feltey, Earl Dean, Matthew Flatt, Robert Bruce Findler, Sam Tobin-Hochstadt, Matthias Felleisen |
Towards Practical Gradual Typing Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Intensional Effect Polymorphism Yuheng Long, Yu David Liu, Hridesh Rajan |
Intensional Effect Polymorphism Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Love/Hate Relationship with the C Preprocessor: An Interview Study Flávio Medeiros, Christian Kästner, Márcio Ribeiro, Sarah Nadi, Rohit Gheyi |
The Love/Hate Relationship with the C Preprocessor: An Interview Study Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Adaptive Context-sensitive Analysis for JavaScript Shiyi Wei, Barbara G. Ryder |
Adaptive Context-sensitive Analysis for JavaScript Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Gregor Richards, Francesco Zappa Nardelli, Jan Vitek |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Optimization Coaching for JavaScript Vincent St-Amour, Shu-yu Guo |
Optimization Coaching for JavaScript Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Framework for Static Analysis of PHP Applications David Hauzar, Jan Kofron |
Framework for Static Analysis of PHP Applications Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Cooking the Books: Formalizing JMM Implementation Recipes Gustavo Petri, Jan Vitek, Suresh Jagannathan |
Cooking the Books: Formalizing JMM Implementation Recipes Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Loop Tiling in the Presence of Exceptions Abhilash Bhandari, V. Krishna Nandivada |
Loop Tiling in the Presence of Exceptions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Software Verification "Across the Stack" (Invited Talk) Alexander J. Summers |
Software Verification "Across the Stack" (Invited Talk) Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Michael Pradel, Koushik Sen |
The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Access-rights Analysis in the Presence of Subjects Paolina Centonze, Marco Pistoia, Omer Tripp |
Access-rights Analysis in the Presence of Subjects Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Streams a la carte: Extensible Pipelines with Object Algebras Aggelos Biboudis, Nick Palladinos, George Fourtounis, Yannis Smaragdakis |
Streams a la carte: Extensible Pipelines with Object Algebras Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Object-Oriented Programming without Inheritance (Invited Talk) Bjarne Stroustrup |
Object-Oriented Programming without Inheritance (Invited Talk) Details |
|
Author Comments:
It was a keynote, surveying techniques
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Author has
verified
information
|
|
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses Aleksandar S. Dimovski, Claus Brabrand, Andrzej Wasowski |
Variability Abstractions: Trading Precision for Speed in Family-Based Analyses Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Asynchronous Liquid Separation Types Johannes Kloos, Rupak Majumdar, Viktor Vafeiadis |
Asynchronous Liquid Separation Types Details |
|
Author Comments:
Research artifacts: We have a rather temperamental implementation of the type inference, but I cannot currently access it.
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Lightweight Support for Magic Wands in an Automatic Verifier Malte Schwerhoff, Alexander J. Summers |
Lightweight Support for Magic Wands in an Automatic Verifier Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Changhee Park, Sukyoung Ryu |
Scalable and Precise Static Analysis of JavaScript Applications via Loop-Sensitivity Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Modular Termination Verification Bart Jacobs, Dragan Bosnacki, Ruurd Kuiper |
Modular Termination Verification Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Transparent Object Proxies in JavaScript Matthias Keil, Sankha Narayan Guria, Andreas Schlegel, Manuel Geffken, Peter Thiemann |
Transparent Object Proxies in JavaScript Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith |
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
TreatJS: Higher-Order Contracts for JavaScripts Matthias Keil, Peter Thiemann |
TreatJS: Higher-Order Contracts for JavaScripts Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Trust, but Verify: Two-Phase Typing for Dynamic Languages Panagiotis Vekris, Benjamin Cosman, Ranjit Jhala |
Trust, but Verify: Two-Phase Typing for Dynamic Languages Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Modular Verification of Finite Blocking in Non-terminating Programs Pontus Boström, Peter Müller |
Modular Verification of Finite Blocking in Non-terminating Programs Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State Sebastian Burckhardt, Daan Leijen, Jonathan Protzenko, Manuel Fähndrich |
Global Sequence Protocol: A Robust Abstraction for Replicated Shared State Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Avraham Shinnar, Jérôme Siméon, Martin Hirzel |
A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Type Inference for Place-Oblivious Objects Riyaz Haque, Jens Palsberg |
Type Inference for Place-Oblivious Objects Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Programming in the Large for the Internet of Things (Invited Talk) Jong-Deok Choi |
Programming in the Large for the Internet of Things (Invited Talk) Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification Lu Fang, Liang Dou, Guoqing (Harry) Xu |
PerfBlower: Quickly Detecting Memory-Related Performance Problems via Amplification Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript Saba Alimadadi, Ali Mesbah, Karthik Pattabiraman |
Hybrid DOM-Sensitive Change Impact Analysis for JavaScript Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
The Eureka Programming Model for Speculative Task Parallelism Shams Imam, Vivek Sarkar |
The Eureka Programming Model for Speculative Task Parallelism Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Simple and Effective Type Check Removal through Lazy Basic Block Versioning Maxime Chevalier-Boisvert, Marc Feeley |
Simple and Effective Type Check Removal through Lazy Basic Block Versioning Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|