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 |
---|
MakeCode and CODAL: intuitive and efficient embedded systems programming for education James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges |
MakeCode and CODAL: intuitive and efficient embedded systems programming for education 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 deep learning model selection on embedded systems Ben Taylor, Vicent Sanz Marco, Willy Wolff, Yehia Elkhatib, Zheng Wang |
Adaptive deep learning model selection on embedded systems 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
|
JSCore: architectural support for accelerating JavaScript execution (short WIP paper) Gaurav Chadha |
JSCore: architectural support for accelerating JavaScript execution (short WIP paper) Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
Verification of coarse-grained reconfigurable arrays through random test programs Bernhard Egger, Eunjin Song, Hochan Lee, Daeyoung Shin |
Verification of coarse-grained reconfigurable arrays through random test programs 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
|
An open-source realtime computational platform (short WIP paper) Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson, Paul Nuyujukian |
An open-source realtime computational platform (short WIP paper) Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Rodrigo C. M. Santos, Guilherme F. Lima, Francisco Sant'Anna, Roberto Ierusalimschy, Edward Hermann Haeusler |
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
|
Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD array Lei Han, Zhaoyan Shen, Zili Shao, Tao Li |
Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD array Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Deep neural networks compiler for a trace-based accelerator (short WIP paper) Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa, Eugenio Culurciello |
Deep neural networks compiler for a trace-based accelerator (short WIP paper) Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
Decoupling address generation from loads and stores to improve data access energy efficiency Michael Stokes, Ryan Baird, Zhaoxiang Jin, David B. Whalley, Soner Önder |
Decoupling address generation from loads and stores to improve data access energy efficiency Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Compositionality in scenario-aware dataflow: a rendezvous perspective Mladen Skelin, Marc Geilen |
Compositionality in scenario-aware dataflow: a rendezvous perspective Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Statically relating program properties for efficient verification (short WIP paper) Bharti Chimdyalwar, Priyanka Darke |
Statically relating program properties for efficient verification (short WIP paper) Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
Francisco Sant'Anna, Alexandre Sztajnberg, Ana Lúcia de Moura, Noemi Rodrigues |
Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|