---
title: "ACM SIGPLAN Notices 2018 — all accepted papers"
description: "All 206 papers of ACM SIGPLAN Notices 2018 · page 1 of 3, the most cited first; those with our summary link to it."
canonical: "https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/)

[home](https://md.research.elamur.ai/free/en/) / [venues](https://md.research.elamur.ai/free/en/venues/) / [ACM SIGPLAN Notices](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/) / [2018](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/) / papers

# ACM SIGPLAN Notices 2018: all accepted papers

206 papers · page 1 of 3 · the most cited first · [← ACM SIGPLAN Notices 2018](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/)

**1** [2](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/3/) [next →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/2/)

1. **[MAERI ↗](https://doi.org/10.1145/3296957.3173176)**Hyoukjun Kwon, Ananda Samajdar, Tushar Krishna*217 citations*
2. **[Adaptive deep learning model selection on embedded systems ↗](https://doi.org/10.1145/3299710.3211336)**Ben Taylor, Vicent Sanz Marco, Willy Wolff et al.*102 citations*
3. **[BranchScope ↗](https://doi.org/10.1145/3296957.3173204)**Dmitry Evtyushkin, Ryan D. Riley, Nael Abu‐Ghazaleh et al.*82 citations*
4. **[The Architectural Implications of Autonomous Driving ↗](https://doi.org/10.1145/3296957.3173191)**Shih-Chieh Lin, Yunqi Zhang, Chang-Hong Hsu et al.*82 citations*
5. **[A general path-based representation for predicting program properties](https://md.research.elamur.ai/free/en/papers/alon-2018-general-path-based-representation-predicting/)**Uri Alon, Meital Zilberstein, Omer Levy et al.*79 citations · our summary*
6. **[Google Workloads for Consumer Devices ↗](https://doi.org/10.1145/3296957.3173177)**Amirali Boroumand, Saugata Ghose, Youngsok Kim et al.*74 citations*
7. **[Darwin ↗](https://doi.org/10.1145/3296957.3173193)**Yatish Turakhia, Gill Bejerano, W.J. Dally*70 citations*
8. **[Automated clustering and program repair for introductory programming assignments ↗](https://doi.org/10.1145/3296979.3192387)**Sumit Gulwani, Ivan Radiček, Florian Zuleger*67 citations*
9. **[FirmUp ↗](https://doi.org/10.1145/3296957.3177157)**Yaniv David, Nimrod Partush, Eran Yahav*63 citations*
10. **[VIBNN ↗](https://doi.org/10.1145/3296957.3173212)**Ruizhe Cai, Ao Ren, Ning Liu et al.*56 citations*
11. **[In-Memory Data Parallel Processor ↗](https://doi.org/10.1145/3296957.3173171)**Daichi Fujiki, Scott A. Mahlke, Reetuparna Das*53 citations*
12. **[Tigr ↗](https://doi.org/10.1145/3296957.3173180)**Amir Hossein Nodehi Sabet, Junqiao Qiu, Zhijia Zhao*45 citations*
13. **[A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices ↗](https://doi.org/10.1145/3296957.3173210)**Alexei Colin, Emily Ruppel, Brandon Lucia*38 citations*
14. **[Program synthesis using conflict-driven learning ↗](https://doi.org/10.1145/3296979.3192382)**Yu Feng, Ruben Martins, Osbert Bastani et al.*38 citations*
15. **[Superneurons ↗](https://doi.org/10.1145/3200691.3178491)**Linnan Wang, Jinmian Ye, Yiyang Zhao et al.*38 citations*
16. **[Spatial: a language and compiler for application accelerators ↗](https://doi.org/10.1145/3296979.3192379)**David Koeplinger, Matthew Feldman, Raghu Prabhakar et al.*36 citations*
17. **[VM Live Migration At Scale ↗](https://doi.org/10.1145/3296975.3186415)**Adam Ruprecht, Danny Jones, Dmitry Shiraev et al.*36 citations*
18. **[Mapping spiking neural networks onto a manycore neuromorphic architecture ↗](https://doi.org/10.1145/3296979.3192371)**Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya et al.*33 citations*
19. **[Bridging the gap between deep learning and sparse matrix format selection ↗](https://doi.org/10.1145/3200691.3178495)**Yue Zhao, Jiajia Li, Chunhua Liao et al.*31 citations*
20. **[Accelerating search-based program synthesis using learned probabilistic models ↗](https://doi.org/10.1145/3296979.3192410)**Woosuk Lee, Kihong Heo, Rajeev Alur et al.*28 citations*
21. **[Bounded expectations: resource analysis for probabilistic programs ↗](https://doi.org/10.1145/3296979.3192394)**Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann*28 citations*
22. **[A persistent lock-free queue for non-volatile memory ↗](https://doi.org/10.1145/3200691.3178490)**Michal Friedman, Maurice P. Herlihy, Virendra J. Marathe et al.*26 citations*
23. **[MASK ↗](https://doi.org/10.1145/3296957.3173169)**Rachata Ausavarungnirun, Vance Miller, Joshua Landgraf et al.*25 citations*
24. **[Making Huge Pages Actually Useful ↗](https://doi.org/10.1145/3296957.3173203)**Ashish Panwar, Aravinda Prasad, Kanchi Gopinath*24 citations*
25. **[An Event-Triggered Programmable Prefetcher for Irregular Workloads ↗](https://doi.org/10.1145/3296957.3173189)**Sam Ainsworth, Timothy M. Jones*23 citations*
26. **[CALOREE ↗](https://doi.org/10.1145/3296957.3173184)**Nikita Mishra, Connor Imes, John Lafferty et al.*23 citations*
27. **[MakeCode and CODAL: intuitive and efficient embedded systems programming for education ↗](https://doi.org/10.1145/3299710.3211335)**James Devine, Joe Finney, Peli de Halleux et al.*23 citations*
28. **[A data-driven CHC solver ↗](https://doi.org/10.1145/3296979.3192416)**He Zhu, Stephen Magill, Suresh Jagannathan*22 citations*
29. **[Datasize-Aware High Dimensional Configurations Auto-Tuning of In-Memory Cluster Computing ↗](https://doi.org/10.1145/3296957.3173187)**Zhibin Yu, Zhendong Bei, Xuehai Qian*22 citations*
30. **[Wonderland ↗](https://doi.org/10.1145/3296957.3173208)**Mingxing Zhang, Yongwei Wu, Youwei Zhuo et al.*22 citations*
31. **[Understanding and Auto-Adjusting Performance-Sensitive Configurations ↗](https://doi.org/10.1145/3296957.3173206)**Shu Wang, Chi Li, Henry Hoffmann et al.*21 citations*
32. **[Pinpoint: fast and precise sparse value flow analysis for million lines of code ↗](https://doi.org/10.1145/3296979.3192418)**Qingkai Shi, Xiao Xiao, Rongxin Wu et al.*20 citations*
33. **[VAULT ↗](https://doi.org/10.1145/3296957.3177155)**Meysam Taassori, Ali Reza Shafiee, Rajeev Balasubramonian*20 citations*
34. **[Finding root causes of floating point error ↗](https://doi.org/10.1145/3296979.3192411)**Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner et al.*18 citations*
35. **[Search, align, and repair: data-driven feedback generation for introductory programming exercises ↗](https://doi.org/10.1145/3296979.3192384)**Ke Wang, Rishabh Kumar Singh, Zhendong Su*18 citations*
36. **[Blasting through the Front-End Bottleneck with Shotgun ↗](https://doi.org/10.1145/3296957.3173178)**Rakesh Kumar, Boris Grot, Vijay Nagarajan*17 citations*
37. **[Write-rationing garbage collection for hybrid memories ↗](https://doi.org/10.1145/3296979.3192392)**Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley et al.*17 citations*
38. **[Bayonet: probabilistic inference for networks ↗](https://doi.org/10.1145/3296979.3192400)**Timon Gehr, Saša Misailovíc, Petar Tsankov et al.*16 citations*
39. **[Making pull-based graph processing performant ↗](https://doi.org/10.1145/3200691.3178506)**Samuel Grossman, Heiner Litz, Christos Kozyrakis*16 citations*
40. **[Minnow ↗](https://doi.org/10.1145/3296957.3173197)**Dan Zhang, Xiaoyu Ma, Michael Thomson et al.*16 citations*
41. **[swSpTRSV ↗](https://doi.org/10.1145/3200691.3178513)**Xinliang Wang, Weifeng Liu, Wei Xue et al.*16 citations*
42. **[Certified concurrent abstraction layers ↗](https://doi.org/10.1145/3296979.3192381)**Ronghui Gu, Zhong Shao, Jieung Kim et al.*14 citations*
43. **[EffectiveSan: type and memory error detection using dynamically typed C/C++ ↗](https://doi.org/10.1145/3296979.3192388)**Gregory J. Duck, Roland H. C. Yap*14 citations*
44. **[Interval-based memory reclamation ↗](https://doi.org/10.1145/3200691.3178488)**Haosen Wen, Joseph Izraelevitz, Wentao Cai et al.*14 citations*
45. **[An effective fusion and tile size model for optimizing image processing pipelines ↗](https://doi.org/10.1145/3200691.3178507)**Abhinav Jangda, Uday Kumar Reddy Bondhugula*13 citations*
46. **[Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics ↗](https://doi.org/10.1145/3296979.3192404)**Roshan Dathathri, Gurbinder Gill, Loc Hoang et al.*13 citations*
47. **[Slim NoC ↗](https://doi.org/10.1145/3296957.3177158)**Maciej Besta, Syed Minhaj Hassan, Sudhakar Yalamanchili et al.*13 citations*
48. **[D4: fast concurrency debugging with parallel differential analysis ↗](https://doi.org/10.1145/3296979.3192390)**Bozhen Liu, Jeff Huang*12 citations*
49. **[Frightening Small Children and Disconcerting Grown-ups ↗](https://doi.org/10.1145/3296957.3177156)**Jade Alglave, Luc Maranget, Paul E. McKenney et al.*12 citations*
50. **[Partial control-flow linearization ↗](https://doi.org/10.1145/3296979.3192413)**Simon Moll, Sebastian Hack*12 citations*
51. **[Inferring crypto API rules from code changes ↗](https://doi.org/10.1145/3296979.3192403)**Rumen Paletov, Petar Tsankov, Veselin Raychev et al.*11 citations*
52. **[Persistency for synchronization-free regions ↗](https://doi.org/10.1145/3296979.3192367)**Vaibhav Gogte, Stephan Diestelhorst, William Wang et al.*11 citations*
53. **[Skyway ↗](https://doi.org/10.1145/3296957.3173200)**Khanh Nguyen, Lu Fang, Christian Navasca et al.*11 citations*
54. **[The semantics of transactions and weak memory in x86, Power, ARM, and C++ ↗](https://doi.org/10.1145/3296979.3192373)**Nathan Chong, Tyler Sorensen, John Wickerson*11 citations*
55. **[Probabilistic programming with programmable inference ↗](https://doi.org/10.1145/3296979.3192409)**Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa et al.*10 citations*
56. **[Register optimizations for stencils on GPUs ↗](https://doi.org/10.1145/3200691.3178500)**Prashant Singh Rawat, Fabrice Rastello, Aravind Sukumaran-Rajam et al.*10 citations*
57. **[Verifying that web pages have accessible layout ↗](https://doi.org/10.1145/3296979.3192407)**Pavel Panchekha, Adam T. Geller, Michael D. Ernst et al.*10 citations*
58. **[Communication-avoiding parallel minimum cuts and connected components ↗](https://doi.org/10.1145/3200691.3178504)**Lukas Gianinazzi, Pavel Kalvoda, Alessandro De Palma et al.*9 citations*
59. **[FCatch ↗](https://doi.org/10.1145/3296957.3177161)**Haopeng Liu, Xu Wang, Guangpu Li et al.*9 citations*
60. **[HPVM ↗](https://doi.org/10.1145/3200691.3178493)**Maria Kotsifakou, Prakalp Srivastava, Matthew D. Sinclair et al.*9 citations*
61. **[LTRF ↗](https://doi.org/10.1145/3296957.3173211)**Mohammad Sadrosadati, Amirhossein Mirhosseini, Seyed Borna Ehsani et al.*9 citations*
62. **[MixT: a language for mixing consistency in geodistributed transactions ↗](https://doi.org/10.1145/3296979.3192375)**Mae Milano, Andrew C. Myers*9 citations*
63. **[PMAF: an algebraic framework for static analysis of probabilistic programs ↗](https://doi.org/10.1145/3296979.3192408)**Di Wang, Jan Hoffmann, Thomas Reps*9 citations*
64. **[VeriPhy: verified controller executables from verified cyber-physical system models ↗](https://doi.org/10.1145/3296979.3192406)**Rose Bohrer, Yong Kiam Tan, Stefan Mitsch et al.*9 citations*
65. **[vbench ↗](https://doi.org/10.1145/3296957.3173207)**Andrea Lottarini, Alex Ramírez, Joel Coburn et al.*9 citations*
66. **[Bounding data races in space and time ↗](https://doi.org/10.1145/3296979.3192421)**Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy*8 citations*
67. **[Bridge the Gap between Neural Networks and Neuromorphic Hardware with a Neural Network Compiler ↗](https://doi.org/10.1145/3296957.3173205)**Yu Ji, Youhui Zhang, Wenguang Chen et al.*8 citations*
68. **[Harnessing epoch-based reclamation for efficient range queries ↗](https://doi.org/10.1145/3200691.3178489)**Maya Arbel-Raviv, Trevor Alexander Brown*8 citations*
69. **[Liquid Silicon-Monona ↗](https://doi.org/10.1145/3296957.3173167)**Yue Zha, Jing Li*8 citations*
70. **[Optimizing N-dimensional, winograd-based convolution for manycore CPUs ↗](https://doi.org/10.1145/3200691.3178496)**Zhen Jia, Aleksandar Zlateski, Frédo Durand et al.*8 citations*
71. **[WSMeter ↗](https://doi.org/10.1145/3296957.3173196)**Jae‐Won Lee, Changkyu Kim, Kun Lin et al.*8 citations*
72. **[Advanced automata-based algorithms for program termination checking ↗](https://doi.org/10.1145/3296979.3192405)**Yu‐Fang Chen, Matthias Heizmann, Ondřej Lengál et al.*7 citations*
73. **[Automatic Matching of Legacy Code to Heterogeneous APIs ↗](https://doi.org/10.1145/3296957.3173182)**Philip Ginsbach, Toomas Remmelg, Michel Steuwer et al.*7 citations*
74. **[CURD: a dynamic CUDA race detector ↗](https://doi.org/10.1145/3296979.3192368)**Yuanfeng Peng, Vinod Grover, Joseph L. Devietti*7 citations*
75. **[D is CV ar ↗](https://doi.org/10.1145/3200691.3178502)**Harshitha Menon, Kathryn Mohror*7 citations*
76. **[Designing scalable FPGA architectures using high-level synthesis ↗](https://doi.org/10.1145/3200691.3178527)**Johannes de Fine Licht, Michaela Blott, Torsten Hoefler*7 citations*
77. **[Optimistic Hybrid Analysis ↗](https://doi.org/10.1145/3296957.3177153)**David Andrew Devecsery, Peter M. Chen, Jason Flinn et al.*7 citations*
78. **[Rhine: FRP with type-level clocks ↗](https://doi.org/10.1145/3299711.3242757)**Manuel Bärenz, Ivan Pérez*7 citations*
79. **[FRC: a high-performance concurrent parallel deferred reference counter for C++ ↗](https://doi.org/10.1145/3299706.3210569)**Charles Edison Tripp, David Hyde, Benjamin E. Grossman‐Ponemon*6 citations*
80. **[Gloss ↗](https://doi.org/10.1145/3296957.3173170)**Sumanaruban Rajadurai, Jeffrey Bosboom, Weng‐Fai Wong et al.*6 citations*
81. **[Modularity for decidability of deductive verification with applications to distributed systems ↗](https://doi.org/10.1145/3296979.3192414)**Marcelo Taube, Giuliano Losa, Kenneth L. McMillan et al.*6 citations*
82. **[Polyhedral auto-transformation with no integer linear programming ↗](https://doi.org/10.1145/3296979.3192401)**Aravind Acharya, Uday Kumar Reddy Bondhugula, Albert Cohen*6 citations*
83. **[SPECTR ↗](https://doi.org/10.1145/3296957.3173199)**Amir Masoud Rahmani, Bryan Donyanavard, Tiago Mück et al.*6 citations*
84. **[Shared-memory parallelization of MTTKRP for dense tensors ↗](https://doi.org/10.1145/3200691.3178522)**Koby Hayashi, Grey Ballard, Yujie Jiang et al.*6 citations*
85. **[Static Detection of Event-based Races in Android Apps ↗](https://doi.org/10.1145/3296957.3173173)**Yongjian Hu, Iulian Neamtiu*6 citations*
86. **[User-guided program reasoning using Bayesian inference ↗](https://doi.org/10.1145/3296979.3192417)**Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo et al.*6 citations*
87. **[An Analysis of x86-64 Inline Assembly in C Programs ↗](https://doi.org/10.1145/3296975.3186418)**Manuel Rigger, Stefan Marr, Stephen Kell et al.*5 citations*
88. **[An open-source realtime computational platform (short WIP paper) ↗](https://doi.org/10.1145/3299710.3211344)**Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson et al.*5 citations*
89. **[Automatic Hierarchical Parallelization of Linear Recurrences ↗](https://doi.org/10.1145/3296957.3173168)**Sepideh Maleki, Martin Burtscher*5 citations*
90. **[Branching processes for QuickCheck generators ↗](https://doi.org/10.1145/3299711.3242747)**Agustín Mista, Alejandro Russo, John Hughes*5 citations*
91. **[Devirtualizing Memory in Heterogeneous Systems ↗](https://doi.org/10.1145/3296957.3173194)**Swapnil Haria, Mark D. Hill, Michael M. Swift*5 citations*
92. **[Espresso ↗](https://doi.org/10.1145/3296957.3173201)**Mingyu Wu, Ziming Zhao, Haoyu Li et al.*5 citations*
93. **[Featherlight on-the-fly false-sharing detection ↗](https://doi.org/10.1145/3200691.3178499)**Milind Chabbi, Shasha Wen, Xu Liu*5 citations*
94. **[Griffin ↗](https://doi.org/10.1145/3200691.3178512)**Yang Liu, Jianguo Wang, Steven Swanson*5 citations*
95. **[Locality analysis through static parallel sampling ↗](https://doi.org/10.1145/3296979.3192402)**Dong Chen, Fangzhou Liu, Chen Ding et al.*5 citations*
96. **[Sugar ↗](https://doi.org/10.1145/3296957.3173186)**Zhihao Yao, Zongheng Ma, Yingtong Liu et al.*5 citations*
97. **[Watching for Software Inefficiencies with Witch ↗](https://doi.org/10.1145/3296957.3177159)**Shasha Wen, Xu Liu, John Byrne et al.*5 citations*
98. **[vS ensor ↗](https://doi.org/10.1145/3200691.3178497)**Xiongchao Tang, Jidong Zhai, Xuehai Qian et al.*5 citations*
99. **[DATS - Data Containers for Web Applications ↗](https://doi.org/10.1145/3296957.3173213)**Casen Hunger, Lluís Vilanova, Charalampos Papamanthou et al.*4 citations*
100. **[Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules ↗](https://doi.org/10.1145/3296957.3177160)**Wenwen Wang, Stephen McCamant, Antonia Zhai et al.*4 citations*

**1** [2](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/2/) [3](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/3/) [next →](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/) — ACM SIGPLAN Notices 2018