| 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 |
|---|
|
Spatial: a language and compiler for application accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, Kunle Olukotun |
Spatial: a language and compiler for application accelerators Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
On-stack replacement, distilled Daniele Cono D'Elia, Camil Demetrescu |
On-stack replacement, distilled Details |
Author Comments:
Please see buildcomp branch of the GitHub repository
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Program synthesis using conflict-driven learning Yu Feng, Ruben Martins, Osbert Bastani, Isil Dillig |
Program synthesis using conflict-driven learning Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Probabilistic programming with programmable inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, Martin Rinard |
Probabilistic programming with programmable inference Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
PMAF: an algebraic framework for static analysis of probabilistic programs Di Wang, Jan Hoffmann, Thomas W. Reps |
PMAF: an algebraic framework for static analysis of probabilistic 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
He Zhu, Stephen Magill, Suresh Jagannathan |
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
|
|
Advanced automata-based algorithms for program termination checking Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
Advanced automata-based algorithms for program termination checking Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BLeak: automatically debugging memory leaks in web applications John Vilk, Emery D. Berger |
BLeak: automatically debugging memory leaks in web 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
|
|
Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, Keshav Pingali |
Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
CUBA: interprocedural Context-UnBounded Analysis of concurrent programs Peizun Liu, Thomas Wahl |
CUBA: interprocedural Context-UnBounded Analysis of concurrent 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
CURD: a dynamic CUDA race detector Yuanfeng Peng, Vinod Grover, Joseph Devietti |
CURD: a dynamic CUDA race detector Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Symbolic reasoning for automatic signal placement Kostas Ferles, Jacob Van Geffen, Isil Dillig, Yannis Smaragdakis |
Symbolic reasoning for automatic signal placement Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
User-guided program reasoning using Bayesian inference Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, Mayur Naik |
User-guided program reasoning using Bayesian inference 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
|
|
MixT: a language for mixing consistency in geodistributed transactions Matthew Milano, Andrew C. Myers |
MixT: a language for mixing consistency in geodistributed transactions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
EffectiveSan: type and memory error detection using dynamically typed C/C++ Gregory J. Duck, Roland H. C. Yap |
EffectiveSan: type and memory error detection using dynamically typed C/C++ Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Incremental inference for probabilistic programs Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin T. Vechev, Vikash K. Mansinghka |
Incremental inference for probabilistic 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
|
|
Enhancing computation-to-core assignment with physical location information Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, Myoungsoo Jung |
Enhancing computation-to-core assignment with physical location information Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Inferring type rules for syntactic sugar Justin Pombrio, Shriram Krishnamurthi |
Inferring type rules for syntactic sugar 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
|
|
Typed closure conversion for the calculus of constructions William J. Bowman, Amal Ahmed |
Typed closure conversion for the calculus of constructions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Verifying that web pages have accessible layout Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, Shoaib Kamil |
Verifying that web pages have accessible layout 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:
Full source code and test harnesses are available on Github: https://github.com/uwplse/Cassius
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Certified concurrent abstraction layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, Tahina Ramananandro |
Certified concurrent abstraction layers 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
|
|
Heartbeat scheduling: provable efficiency for nested parallelism Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, Filip Sieczkowski |
Heartbeat scheduling: provable efficiency for nested parallelism Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Automated clustering and program repair for introductory programming assignments Sumit Gulwani, Ivan Radicek, Florian Zuleger |
Automated clustering and program repair for introductory programming assignments Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Search, align, and repair: data-driven feedback generation for introductory programming exercises Ke Wang, Rishabh Singh, Zhendong Su |
Search, align, and repair: data-driven feedback generation for introductory programming exercises Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
HHVM JIT: a profile-guided, region-based compiler for PHP and Hack Guilherme Ottoni |
HHVM JIT: a profile-guided, region-based compiler for PHP and Hack Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
iReplayer: in-situ and identical record-and-replay for multithreaded applications Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, Tongping Liu |
iReplayer: in-situ and identical record-and-replay for multithreaded applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Guarded impredicative polymorphism Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, Simon Peyton Jones |
Guarded impredicative polymorphism Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Putting in all the stops: execution control for JavaScript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, Arjun Guha |
Putting in all the stops: execution control 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Modularity for decidability of deductive verification with applications to distributed systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, Doug Woos |
Modularity for decidability of deductive verification with applications to distributed 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Write-rationing garbage collection for hybrid memories Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, Lieven Eeckhout |
Write-rationing garbage collection for hybrid memories Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Inferring crypto API rules from code changes Rumen Paletov, Petar Tsankov, Veselin Raychev, Martin T. Vechev |
Inferring crypto API rules from code changes Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Locality analysis through static parallel sampling Dong Chen, Fangzhou Liu, Chen Ding, Sreepathi Pai |
Locality analysis through static parallel sampling 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
|
|
Finding root causes of floating point error Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, Zachary Tatlock |
Finding root causes of floating point error 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
|
|
The semantics of transactions and weak memory in x86, Power, ARM, and C++ Nathan Chong, Tyler Sorensen, John Wickerson |
The semantics of transactions and weak memory in x86, Power, ARM, and C++ 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
|
|
SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Stefanos Kaxiras |
SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
GPU code optimization using abstract kernel emulation and sensitivity analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, P. Sadayappan |
GPU code optimization using abstract kernel emulation and sensitivity analysis Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
High-coverage, unbounded sound predictive race detection Jake Roemer, Kaan Genç, Michael D. Bond |
High-coverage, unbounded sound predictive race detection 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
|
|
Partial control-flow linearization Simon Moll, Sebastian Hack |
Partial control-flow linearization Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Accelerating search-based program synthesis using learned probabilistic models Woosuk Lee, Kihong Heo, Rajeev Alur, Mayur Naik |
Accelerating search-based program synthesis using learned probabilistic models 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
|
|
Michael J. Steindorfer, Jurgen J. Vinju |
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
|
|
Ryū: fast float-to-string conversion Ulf Adams |
Ryū: fast float-to-string conversion 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
|
|
Pinpoint: fast and precise sparse value flow analysis for million lines of code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, Charles Zhang |
Pinpoint: fast and precise sparse value flow analysis for million lines of code 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:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
A general path-based representation for predicting program properties Uri Alon, Meital Zilberstein, Omer Levy, Eran Yahav |
A general path-based representation for predicting program properties Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
D4: fast concurrency debugging with parallel differential analysis Bozhen Liu, Jeff Huang |
D4: fast concurrency debugging with parallel differential analysis Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Bayonet: probabilistic inference for networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, Martin T. Vechev |
Bayonet: probabilistic inference for networks 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
|
|
Calling-to-reference context translation via constraint-guided CFL-reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Harry Xu, Zhendong Su |
Calling-to-reference context translation via constraint-guided CFL-reachability Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Active learning of points-to specifications Osbert Bastani, Rahul Sharma, Alex Aiken, Percy Liang |
Active learning of points-to specifications Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Crellvm: verified credible compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, Kwangkeun Yi |
Crellvm: verified credible compilation for LLVM 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
|
|
Static serializability analysis for causal consistency Lucas Brutschy, Dimitar Dimitrov, Peter Müller, Martin T. Vechev |
Static serializability analysis for causal consistency 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
|
|
Bounded expectations: resource analysis for probabilistic programs Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann |
Bounded expectations: resource analysis for probabilistic 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
|
|
Polyhedral auto-transformation with no integer linear programming Aravind Acharya, Uday Bondhugula, Albert Cohen |
Polyhedral auto-transformation with no integer linear programming Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Persistency for synchronization-free regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, Thomas F. Wenisch |
Persistency for synchronization-free regions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Mapping spiking neural networks onto a manycore neuromorphic architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, Hong Wang |
Mapping spiking neural networks onto a manycore neuromorphic architecture Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
VeriPhy: verified controller executables from verified cyber-physical system models Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, André Platzer |
VeriPhy: verified controller executables from verified cyber-physical system models 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
|
|
Bounding data races in space and time Stephen Dolan, K. C. Sivaramakrishnan, Anil Madhavapeddy |
Bounding data races in space and time 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
|