| 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 |
|---|
|
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization Mohaned Qunaibit, Stefan Brunthaler, Yeoul Na, Stijn Volckaert, Michael Franz |
Accelerating Dynamically-Typed Languages on Heterogeneous Platforms Using Guards Optimization Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Gowtham Kaki, G. Ramalingam |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Jonathan Bell, Luís Pina |
CROCHET: Checkpoint and Rollback via Lightweight Heap Traversal on Stock JVMs Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman |
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Mailbox Types for Unordered Interactions Ugo de'Liguoro, Luca Padovani |
Mailbox Types for Unordered Interactions Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Defensive Points-To Analysis: Effective Soundness via Laziness Yannis Smaragdakis, George Kastrinis |
Defensive Points-To Analysis: Effective Soundness via Laziness Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Efficient Reflection String Analysis via Graph Coloring Neville Grech, George Kastrinis, Yannis Smaragdakis |
Efficient Reflection String Analysis via Graph Coloring Details |
Author Comments:
There is no isolated artifact. This is part of the Doop framework (url to repo provided) and is invoked with the flag '--reflection-coloring'. '--reflection-classic' might be needed as well for better results.
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Dependent Types for Class-based Mutable Objects Joana Campos, Vasco T. Vasconcelos |
Dependent Types for Class-based Mutable Objects 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
|
|
Targeted Test Generation for Actor Systems Sihan Li, Farah Hariri, Gul Agha |
Targeted Test Generation for Actor Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Ana Milanova |
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:
Author has
not verified
information
|
|
Theory and Practice of Coroutines with Snapshots Aleksandar Prokopec, Fengyun Liu |
Theory and Practice of Coroutines with Snapshots Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Type Regression Testing to Detect Breaking Changes in Node.js Libraries Gianluca Mezzetti, Anders Møller, Martin Toldam Torp |
Type Regression Testing to Detect Breaking Changes in Node.js Libraries 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
|
|
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Hiroaki Inoue, Tomoyuki Aotani, Atsushi Igarashi |
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions 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
|
|
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates John Toman, Dan Grossman |
Legato: An At-Most-Once Analysis with Applications to Dynamic Configuration Updates 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
|
|
Modeling Infinite Behaviour by Corules Davide Ancona, Francesco Dagnino, Elena Zucca |
Modeling Infinite Behaviour by Corules Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs Stefan Krüger, Johannes Späth, Karim Ali, Eric Bodden, Mira Mezini |
CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs 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
|
|
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Tianxiao Gu, Xiaoxing Ma, Chang Xu, Yanyan Jiang, Chun Cao, Jian Lu |
Automating Object Transformations for Dynamic Software Updating via Online Execution Synthesis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Learning to Accelerate Symbolic Execution via Code Transformation Junjie Chen, Wenxiang Hu, Lingming Zhang, Dan Hao, Sarfraz Khurshid, Lu Zhang |
Learning to Accelerate Symbolic Execution via Code Transformation Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A Concurrent Specification of POSIX File Systems Gian Ntzik, Pedro da Rocha Pinto, Julian Sutherland, Philippa Gardner |
A Concurrent Specification of POSIX File Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Fault-tolerant Distributed Reactive Programming Ragnar Mogk, Lars Baumgärtner, Guido Salvaneschi, Bernd Freisleben, Mira Mezini |
Fault-tolerant Distributed Reactive Programming Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
FHJ: A Formal Model for Hierarchical Dispatching and Overriding Yanlin Wang, Haoyuan Zhang, Bruno C. d. S. Oliveira, Marco Servetto |
FHJ: A Formal Model for Hierarchical Dispatching and Overriding Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux |
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
KafKa: Gradual Typing for Objects Benjamin Chung, Paley Li, Francesco Zappa Nardelli, Jan Vitek |
KafKa: Gradual Typing for Objects 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
|
|
Xuan Bi, Bruno C. d. S. Oliveira |
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
|
|
Static Typing of Complex Presence Constraints in Interfaces Nathalie Oostvogels, Joeri De Koster, Wolfgang De Meuter |
Static Typing of Complex Presence Constraints in Interfaces 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
|
|
The Essence of Nested Composition Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers |
The Essence of Nested Composition 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
|