---
title: "ACM SIGPLAN Notices 2018 — all accepted papers, page 2"
description: "All 206 papers of ACM SIGPLAN Notices 2018 · page 2 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/page/2/"
---
[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/page/2/)

[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](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/) / page 2

# ACM SIGPLAN Notices 2018: all accepted papers

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

[← prev](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/) [1](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/) **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/3/)

101. **[Graph partitioning applied to DAG scheduling to reduce NUMA effects ↗](https://doi.org/10.1145/3200691.3178535)**Isaac Sánchez Barrera, Marc Casas, Miquel Moretó et al.*4 citations*
102. **[High-performance genomic analysis framework with in-memory computing ↗](https://doi.org/10.1145/3200691.3178511)**Xueqi Li, Guangming Tan, Bingchen Wang et al.*4 citations*
103. **[Lazygraph ↗](https://doi.org/10.1145/3200691.3178508)**Lei Wang, Liangji Zhuang, Junhang Chen et al.*4 citations*
104. **[On-stack replacement, distilled ↗](https://doi.org/10.1145/3296979.3192396)**Daniele Cono D’Elia, Camil Demetrescu*4 citations*
105. **[Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD array ↗](https://doi.org/10.1145/3299710.3211338)**Lei Han, Zhaoyan Shen, Zili Shao et al.*4 citations*
106. **[PAM ↗](https://doi.org/10.1145/3200691.3178509)**Yihan Sun, Daniel Ferizovic, Guy E. Belloch*4 citations*
107. **[gMig ↗](https://doi.org/10.1145/3296975.3186414)**Jiacheng Ma, Xiao Zheng, Yaozu Dong et al.*4 citations*
108. **[CUBA: interprocedural Context-UnBounded Analysis of concurrent programs ↗](https://doi.org/10.1145/3296979.3192419)**Peizun Liu, Thomas Wahl*3 citations*
109. **[Cache-tries ↗](https://doi.org/10.1145/3200691.3178498)**Aleksandar Prokopec*3 citations*
110. **[Crellvm: verified credible compilation for LLVM ↗](https://doi.org/10.1145/3296979.3192377)**Jeehoon Kang, Yoonseung Kim, Youngju Song et al.*3 citations*
111. **[DAMN ↗](https://doi.org/10.1145/3296957.3173175)**Alex Markuze, Igor Smolyar, Adam Morrison et al.*3 citations*
112. **[Exploiting Dynamic Thermal Energy Harvesting for Reusing in Smartphone with Mobile Applications ↗](https://doi.org/10.1145/3296957.3173188)**Yuting Dai, Tao Li, Benyong Liu et al.*3 citations*
113. **[Filtering Translation Bandwidth with Virtual Caching ↗](https://doi.org/10.1145/3296957.3173195)**Hongil Yoon, Jason Lowe-Power, Gurindar S. Sohi*3 citations*
114. **[GPU code optimization using abstract kernel emulation and sensitivity analysis ↗](https://doi.org/10.1145/3296979.3192397)**Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim et al.*3 citations*
115. **[Heartbeat scheduling: provable efficiency for nested parallelism ↗](https://doi.org/10.1145/3296979.3192391)**Umut A. Acar, Arthur Charguéraud, Adrien Guatto et al.*3 citations*
116. **[High-coverage, unbounded sound predictive race detection ↗](https://doi.org/10.1145/3296979.3192385)**Jake Roemer, Kaan Genç, Michael D. Bond*3 citations*
117. **[Incremental inference for probabilistic programs ↗](https://doi.org/10.1145/3296979.3192399)**Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr et al.*3 citations*
118. **[Juggler ↗](https://doi.org/10.1145/3200691.3178492)**Mehmet Esat Belviranli, Seyong Lee, Jeffrey S. Vetter et al.*3 citations*
119. **[LATR ↗](https://doi.org/10.1145/3296957.3173198)**Mohan Kumar Kumar, Steffen Maaß, Sanidhya Kashyap et al.*3 citations*
120. **[Safe privatization in transactional memory ↗](https://doi.org/10.1145/3200691.3178505)**Artem Khyzha, Hagit Attiya, Alexey Gotsman et al.*3 citations*
121. **[SecureMR ↗](https://doi.org/10.1145/3200691.3178520)**Yao Dong, Ana Milanova, Julian Dolby*3 citations*
122. **[SmoothOperator ↗](https://doi.org/10.1145/3296957.3173190)**Chang-Hong Hsu, Qingyuan Deng, Jason Mars et al.*3 citations*
123. **[Statistical Reconstruction of Class Hierarchies in Binaries ↗](https://doi.org/10.1145/3296957.3173202)**Omer Katz, Noam Rinetzky, Eran Yahav*3 citations*
124. **[StrongBox ↗](https://doi.org/10.1145/3296957.3173183)**Bernard M. Dickens, Haryadi S. Gunawi, Ariel J. Feldman et al.*3 citations*
125. **[Suggesting valid hole fits for typed-holes (experience report) ↗](https://doi.org/10.1145/3299711.3242760)**Matthías Páll Gissurarson*3 citations*
126. **[Symbolic reasoning for automatic signal placement ↗](https://doi.org/10.1145/3296979.3192395)**Kostas Ferles, Jacob Van Geffen, Işıl Dillig et al.*3 citations*
127. **[V erified FT ↗](https://doi.org/10.1145/3200691.3178514)**James R. Wilcox, Cormac Flanagan A, Stephen N. Freund*3 citations*
128. **[Active learning of points-to specifications ↗](https://doi.org/10.1145/3296979.3192383)**Osbert Bastani, Rahul R. Sharma, Alex Aiken et al.*2 citations*
129. **[Dynamic vertical memory scalability for OpenJDK cloud applications ↗](https://doi.org/10.1145/3299706.3210567)**Rodrigo Bruno, Paulo A. V. Ferreira, Ruslan Synytsky et al.*2 citations*
130. **[HHVM JIT: a profile-guided, region-based compiler for PHP and Hack ↗](https://doi.org/10.1145/3296979.3192374)**Guilherme de Lima Ottoni*2 citations*
131. **[Hardware-software co-optimization of memory management in dynamic languages ↗](https://doi.org/10.1145/3299706.3210566)**Mohamed Ismail, G. Edward Suh*2 citations*
132. **[Hierarchical memory management for mutable state ↗](https://doi.org/10.1145/3200691.3178494)**Adrien Guatto, Sam Westrick, Ram Raghunathan et al.*2 citations*
133. **[Hop, Skip, & Jump ↗](https://doi.org/10.1145/3296975.3186412)**Kunshan Wang, Stephen Michael Blackburn, Antony L. Hosking et al.*2 citations*
134. **[Improving Dynamically-Generated Code Performance on Dynamic Binary Translators ↗](https://doi.org/10.1145/3296975.3186413)**Wenwen Wang, Jiacheng Wu, Xiaoli Gong et al.*2 citations*
135. **[Inferring type rules for syntactic sugar ↗](https://doi.org/10.1145/3296979.3192398)**Justin Lee Pombrio, Shriram Krishnamurthi*2 citations*
136. **[Potluck ↗](https://doi.org/10.1145/3296957.3173185)**Peizhen Guo, Wenjun Hu*2 citations*
137. **[Putting in all the stops: execution control for JavaScript ↗](https://doi.org/10.1145/3296979.3192370)**Samuel Baxter, Rachit Nigam, Joe Gibbs Politz et al.*2 citations*
138. **[Static serializability analysis for causal consistency ↗](https://doi.org/10.1145/3296979.3192415)**Lucas Brutschy, Dimitar I. Dimitrov, Péter Müller et al.*2 citations*
139. **[Time Dilation and Contraction for Programmable Analog Devices with Jaunt ↗](https://doi.org/10.1145/3296957.3173179)**Sara Achour, Martin Rinard*2 citations*
140. **[mPart: miss-ratio curve guided partitioning in key-value stores ↗](https://doi.org/10.1145/3299706.3210571)**Daniel Byrne, Nilufer Onder, Zhenlin Wang*2 citations*
141. **[A microbenchmark to study GPU performance models ↗](https://doi.org/10.1145/3200691.3178536)**Vasily M. Volkov*1 citation*
142. **[A promise checked is a promise kept: inspection testing ↗](https://doi.org/10.1145/3299711.3242748)**Joachim Breitner*1 citation*
143. **[A scalable queue for work distribution on GPUs ↗](https://doi.org/10.1145/3200691.3178526)**Bernhard Kerbl, Jörg Müller, Michael Kenzel et al.*1 citation*
144. **[Coherent explicit dictionary application for Haskell ↗](https://doi.org/10.1145/3299711.3242752)**Thomas Winant, Dominique Devriese*1 citation*
145. **[Demon ↗](https://doi.org/10.1145/3296975.3186416)**Yu Xu, Jianguo Yao, Yaozu Dong et al.*1 citation*
146. **[Deriving via: or, how to turn hand-written instances into an anti-pattern ↗](https://doi.org/10.1145/3299711.3242746)**Baldur Blöndal, Andres Löh, Ryan G. Scott*1 citation*
147. **[Detailed heap profiling ↗](https://doi.org/10.1145/3299706.3210564)**Stuart Byma, James R. Larus*1 citation*
148. **[Distributed garbage collection for general graphs ↗](https://doi.org/10.1145/3299706.3210572)**Steven R. Brandt, Hari Krishnan, Costas Busch A et al.*1 citation*
149. **[Efficient shuffle management with SCache for DAG computing frameworks ↗](https://doi.org/10.1145/3200691.3178510)**Zhouwang Fu, Tao Song, Zhengwei Qi et al.*1 citation*
150. **[Embedding invertible languages with binders: a case of the FliPpr language ↗](https://doi.org/10.1145/3299711.3242758)**Kazutaka Matsuda, Meng Wang*1 citation*
151. **[Enhancing computation-to-core assignment with physical location information ↗](https://doi.org/10.1145/3296979.3192386)**Orhan Kislal, Jagadish Kotra, Xulong Tang et al.*1 citation*
152. **[Generic programming of all kinds ↗](https://doi.org/10.1145/3299711.3242745)**Alejandro Serrano, Victor Cacciari Miraldo*1 citation*
153. **[Hardware Multithreaded Transactions ↗](https://doi.org/10.1145/3296957.3173172)**Jordan Fix, Nayana Prasad Nagendra, Sotiris Apostolakis et al.*1 citation*
154. **[Layrub ↗](https://doi.org/10.1145/3200691.3178528)**Bo Liu, Wenbin Jiang, Hai Jin et al.*1 citation*
155. **[NEOFog ↗](https://doi.org/10.1145/3296957.3177154)**Kaisheng Ma, Xueqing Li, Mahmut Kandemir et al.*1 citation*
156. **[Practical concurrent traversals in search trees ↗](https://doi.org/10.1145/3200691.3178503)**Dana Drachsler-Cohen, Martin Vechev, Eran Yahav*1 citation*
157. **[Ryū: fast float-to-string conversion ↗](https://doi.org/10.1145/3296979.3192369)**Ulf Adams*1 citation*
158. **[SIMD code generation for stencils on brick decompositions ↗](https://doi.org/10.1145/3200691.3178537)**Tuowen Zhao, Mary W. Hall, Protonu Basu et al.*1 citation*
159. **[SOFRITAS ↗](https://doi.org/10.1145/3296957.3173192)**Christian DeLozier, Ariel Eizenberg, Brandon Lucia et al.*1 citation*
160. **[SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores ↗](https://doi.org/10.1145/3296979.3192393)**Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson et al.*1 citation*
161. **[Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) ↗](https://doi.org/10.1145/3299711.3242756)**Niki Vazou, Joachim Breitner, Rose Kunkel et al.*1 citation*
162. **[Typed closure conversion for the calculus of constructions ↗](https://doi.org/10.1145/3296979.3192372)**William J. Bowman, Amal Ahmed*1 citation*
163. **[Verification of coarse-grained reconfigurable arrays through random test programs ↗](https://doi.org/10.1145/3299710.3211342)**Bernhard Egger, Eunjin Song, Hochan Lee et al.*1 citation*
164. **[iReplayer: in-situ and identical record-and-replay for multithreaded applications ↗](https://doi.org/10.1145/3296979.3192380)**Hongyu Liu, Sam Silvestro, Wei Wang et al.*1 citation*
165. **[A high-performance multicore IO manager based on libuv (experience report) ↗](https://doi.org/10.1145/3299711.3242759)**Han Dong, Tao He
166. **[A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu ↗](https://doi.org/10.1145/3299710.3211334)**Rodrigo Costa Mesquita Santos, Guilherme F. Lima, Francisco Sant’Anna et al.
167. **[A predictable synchronisation algorithm ↗](https://doi.org/10.1145/3200691.3178533)**Stefan C. Reif, Wolfgang Schröder‐Preikschat
168. **[A scalable distance-1 vertex coloring algorithm for power-law graphs ↗](https://doi.org/10.1145/3200691.3178521)**Jesun Firoz, Marcin Zalewski, Andrew Lumsdaine
169. **[AutoBench: comparing the time performance of Haskell programs ↗](https://doi.org/10.1145/3299711.3242749)**Martin A. T. Handley, Graham Hutton
170. **[Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration) ↗](https://doi.org/10.1145/3299711.3264734)**Marilyn Sun, Kathleen Fisher
171. **[Automated code acceleration targeting heterogeneous openCL devices ↗](https://doi.org/10.1145/3200691.3178534)**Heinrich Riebler, Gavin Vaz, Tobias Kenter et al.
172. **[BLeak: automatically debugging memory leaks in web applications ↗](https://doi.org/10.1145/3296979.3192376)**John Vilk, Emery D. Berger
173. **[Balanced double queues for GC work-stealing on weak memory models ↗](https://doi.org/10.1145/3299706.3210570)**Michihiro Horie, Hiroshi Horii, Kazunori Ogata et al.
174. **[Calling-to-reference context translation via constraint-guided CFL-reachability ↗](https://doi.org/10.1145/3296979.3192378)**Cheng Cai, Qirun Zhang, Zhiqiang Zuo et al.
175. **[Compositionality in scenario-aware dataflow: a rendezvous perspective ↗](https://doi.org/10.1145/3299710.3211339)**Mladen Skelin, Marc C. W. Geilen
176. **[DLibOS ↗](https://doi.org/10.1145/3296957.3173209)**Stephen Mallon, Vincent Gramoli, Guillaume Jourjon
177. **[Decoupling address generation from loads and stores to improve data access energy efficiency ↗](https://doi.org/10.1145/3299710.3211340)**Michael Stokes, Ryan Baird, Zhaoxiang Jin et al.
178. **[Deep neural networks compiler for a trace-based accelerator (short WIP paper) ↗](https://doi.org/10.1145/3299710.3211333)**Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa et al.
179. **[Efficient parallel determinacy race detection for two-dimensional dags ↗](https://doi.org/10.1145/3200691.3178515)**Yifan Xu, I-Ting Angelina Lee, Kunal Agrawal
180. **[Fast PokeEMU ↗](https://doi.org/10.1145/3296975.3186417)**Qiuchen Yan, Stephen McCamant
181. **[FlashR ↗](https://doi.org/10.1145/3200691.3178501)**Da Zheng, Disa Mhembere, Joshua T Vogelstein et al.
182. **[Ghosts of departed proofs (functional pearl) ↗](https://doi.org/10.1145/3299711.3242755)**Matt Noonan
183. **[Guarded impredicative polymorphism ↗](https://doi.org/10.1145/3296979.3192389)**Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis et al.
184. **[Improving typeclass relations by being open ↗](https://doi.org/10.1145/3299711.3242751)**Guido Martínez, Mauro Jaskelioff, Guido De Luca
185. **[JSCore: architectural support for accelerating JavaScript execution (short WIP paper) ↗](https://doi.org/10.1145/3299710.3211343)**Gaurav Chadha
186. **[OMR: out-of-core MapReduce for large data sets ↗](https://doi.org/10.1145/3299706.3210568)**Gurneet Kaur, Keval Vora, Sai Charan Koduru et al.
187. **[Performance challenges in modular parallel programs ↗](https://doi.org/10.1145/3200691.3178516)**Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud et al.
188. **[Performance modeling for GPUs using abstract kernel emulation ↗](https://doi.org/10.1145/3200691.3178524)**Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim et al.
189. **[Prediction and bounds on shared cache demand from memory access interleaving ↗](https://doi.org/10.1145/3299706.3210565)**Jacob Brock, Chen Ding, Rahman Lavaee et al.
190. **[Quantifying and reducing execution variance in STM via model driven commit optimization ↗](https://doi.org/10.1145/3200691.3178530)**Girish Mururu, Ada Gavrilovska, Santosh Pande
191. **[Quantum Computing is Getting Real ↗](https://doi.org/10.1145/3296957.3177152)**Frederic T. Chong
192. **[Reducing the burden of parallel loop schedulers for many-core processors ↗](https://doi.org/10.1145/3200691.3178517)**Mahwish Arif, Hans Vandierendonck
193. **[Reducing transaction aborts by looking to the future ↗](https://doi.org/10.1145/3200691.3178518)**Nachshon Cohen, Erez Petrank, James R. Larus
194. **[Register-based implementation of the sparse general matrix-matrix multiplication on GPUs ↗](https://doi.org/10.1145/3200691.3178529)**Junhong Liu, Xin He, Weifeng Liu et al.
195. **[Revealing parallel scans and reductions in sequential loops through function reconstruction ↗](https://doi.org/10.1145/3200691.3178523)**Peng Jiang, Gagan Agrawal
196. **[Stamp-it , amortized constant-time memory reclamation in comparison to five other schemes ↗](https://doi.org/10.1145/3200691.3178532)**Manuel Pöter, Jesper Larsson Träff
197. **[Statically relating program properties for efficient verification (short WIP paper) ↗](https://doi.org/10.1145/3299710.3211341)**Bharti Chimdyalwar, Priyanka Darke
198. **[Strong trylocks for reader-writer locks ↗](https://doi.org/10.1145/3200691.3178519)**Andreia Correia, Pedro Ramalhete
199. **[Sulong, and Thanks for All the Bugs ↗](https://doi.org/10.1145/3296957.3173174)**Manuel Rigger, Roland Schatz, René Mayrhofer et al.
200. **[The Thoralf plugin: for your fancy type needs ↗](https://doi.org/10.1145/3299711.3242754)**Divesh Otwani, Richard A. Eisenberg

[← prev](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/) [1](https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/) **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/3/)

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