ACM SIGPLAN Notices 2018: all accepted papers
- MAERI ↗Hyoukjun Kwon, Ananda Samajdar, Tushar Krishna217 citations
- Adaptive deep learning model selection on embedded systems ↗Ben Taylor, Vicent Sanz Marco, Willy Wolff et al.102 citations
- BranchScope ↗Dmitry Evtyushkin, Ryan D. Riley, Nael Abu‐Ghazaleh et al.82 citations
- The Architectural Implications of Autonomous Driving ↗Shih-Chieh Lin, Yunqi Zhang, Chang-Hong Hsu et al.82 citations
- A general path-based representation for predicting program propertiesUri Alon, Meital Zilberstein, Omer Levy et al.79 citations · our summary
- Google Workloads for Consumer Devices ↗Amirali Boroumand, Saugata Ghose, Youngsok Kim et al.74 citations
- Darwin ↗Yatish Turakhia, Gill Bejerano, W.J. Dally70 citations
- Automated clustering and program repair for introductory programming assignments ↗Sumit Gulwani, Ivan Radiček, Florian Zuleger67 citations
- FirmUp ↗Yaniv David, Nimrod Partush, Eran Yahav63 citations
- VIBNN ↗Ruizhe Cai, Ao Ren, Ning Liu et al.56 citations
- In-Memory Data Parallel Processor ↗Daichi Fujiki, Scott A. Mahlke, Reetuparna Das53 citations
- Tigr ↗Amir Hossein Nodehi Sabet, Junqiao Qiu, Zhijia Zhao45 citations
- A Reconfigurable Energy Storage Architecture for Energy-harvesting Devices ↗Alexei Colin, Emily Ruppel, Brandon Lucia38 citations
- Program synthesis using conflict-driven learning ↗Yu Feng, Ruben Martins, Osbert Bastani et al.38 citations
- Superneurons ↗Linnan Wang, Jinmian Ye, Yiyang Zhao et al.38 citations
- Spatial: a language and compiler for application accelerators ↗David Koeplinger, Matthew Feldman, Raghu Prabhakar et al.36 citations
- VM Live Migration At Scale ↗Adam Ruprecht, Danny Jones, Dmitry Shiraev et al.36 citations
- Mapping spiking neural networks onto a manycore neuromorphic architecture ↗Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya et al.33 citations
- Bridging the gap between deep learning and sparse matrix format selection ↗Yue Zhao, Jiajia Li, Chunhua Liao et al.31 citations
- Accelerating search-based program synthesis using learned probabilistic models ↗Woosuk Lee, Kihong Heo, Rajeev Alur et al.28 citations
- Bounded expectations: resource analysis for probabilistic programs ↗Van Chan Ngo, Quentin Carbonneaux, Jan Hoffmann28 citations
- A persistent lock-free queue for non-volatile memory ↗Michal Friedman, Maurice P. Herlihy, Virendra J. Marathe et al.26 citations
- MASK ↗Rachata Ausavarungnirun, Vance Miller, Joshua Landgraf et al.25 citations
- Making Huge Pages Actually Useful ↗Ashish Panwar, Aravinda Prasad, Kanchi Gopinath24 citations
- An Event-Triggered Programmable Prefetcher for Irregular Workloads ↗Sam Ainsworth, Timothy M. Jones23 citations
- CALOREE ↗Nikita Mishra, Connor Imes, John Lafferty et al.23 citations
- MakeCode and CODAL: intuitive and efficient embedded systems programming for education ↗James Devine, Joe Finney, Peli de Halleux et al.23 citations
- A data-driven CHC solver ↗He Zhu, Stephen Magill, Suresh Jagannathan22 citations
- Datasize-Aware High Dimensional Configurations Auto-Tuning of In-Memory Cluster Computing ↗Zhibin Yu, Zhendong Bei, Xuehai Qian22 citations
- Wonderland ↗Mingxing Zhang, Yongwei Wu, Youwei Zhuo et al.22 citations
- Understanding and Auto-Adjusting Performance-Sensitive Configurations ↗Shu Wang, Chi Li, Henry Hoffmann et al.21 citations
- Pinpoint: fast and precise sparse value flow analysis for million lines of code ↗Qingkai Shi, Xiao Xiao, Rongxin Wu et al.20 citations
- VAULT ↗Meysam Taassori, Ali Reza Shafiee, Rajeev Balasubramonian20 citations
- Finding root causes of floating point error ↗Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner et al.18 citations
- Search, align, and repair: data-driven feedback generation for introductory programming exercises ↗Ke Wang, Rishabh Kumar Singh, Zhendong Su18 citations
- Blasting through the Front-End Bottleneck with Shotgun ↗Rakesh Kumar, Boris Grot, Vijay Nagarajan17 citations
- Write-rationing garbage collection for hybrid memories ↗Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley et al.17 citations
- Bayonet: probabilistic inference for networks ↗Timon Gehr, Saša Misailovíc, Petar Tsankov et al.16 citations
- Making pull-based graph processing performant ↗Samuel Grossman, Heiner Litz, Christos Kozyrakis16 citations
- Minnow ↗Dan Zhang, Xiaoyu Ma, Michael Thomson et al.16 citations
- swSpTRSV ↗Xinliang Wang, Weifeng Liu, Wei Xue et al.16 citations
- Certified concurrent abstraction layers ↗Ronghui Gu, Zhong Shao, Jieung Kim et al.14 citations
- EffectiveSan: type and memory error detection using dynamically typed C/C++ ↗Gregory J. Duck, Roland H. C. Yap14 citations
- Interval-based memory reclamation ↗Haosen Wen, Joseph Izraelevitz, Wentao Cai et al.14 citations
- An effective fusion and tile size model for optimizing image processing pipelines ↗Abhinav Jangda, Uday Kumar Reddy Bondhugula13 citations
- Gluon: a communication-optimizing substrate for distributed heterogeneous graph analytics ↗Roshan Dathathri, Gurbinder Gill, Loc Hoang et al.13 citations
- Slim NoC ↗Maciej Besta, Syed Minhaj Hassan, Sudhakar Yalamanchili et al.13 citations
- D4: fast concurrency debugging with parallel differential analysis ↗Bozhen Liu, Jeff Huang12 citations
- Frightening Small Children and Disconcerting Grown-ups ↗Jade Alglave, Luc Maranget, Paul E. McKenney et al.12 citations
- Partial control-flow linearization ↗Simon Moll, Sebastian Hack12 citations
- Inferring crypto API rules from code changes ↗Rumen Paletov, Petar Tsankov, Veselin Raychev et al.11 citations
- Persistency for synchronization-free regions ↗Vaibhav Gogte, Stephan Diestelhorst, William Wang et al.11 citations
- Skyway ↗Khanh Nguyen, Lu Fang, Christian Navasca et al.11 citations
- The semantics of transactions and weak memory in x86, Power, ARM, and C++ ↗Nathan Chong, Tyler Sorensen, John Wickerson11 citations
- Probabilistic programming with programmable inference ↗Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa et al.10 citations
- Register optimizations for stencils on GPUs ↗Prashant Singh Rawat, Fabrice Rastello, Aravind Sukumaran-Rajam et al.10 citations
- Verifying that web pages have accessible layout ↗Pavel Panchekha, Adam T. Geller, Michael D. Ernst et al.10 citations
- Communication-avoiding parallel minimum cuts and connected components ↗Lukas Gianinazzi, Pavel Kalvoda, Alessandro De Palma et al.9 citations
- FCatch ↗Haopeng Liu, Xu Wang, Guangpu Li et al.9 citations
- HPVM ↗Maria Kotsifakou, Prakalp Srivastava, Matthew D. Sinclair et al.9 citations
- LTRF ↗Mohammad Sadrosadati, Amirhossein Mirhosseini, Seyed Borna Ehsani et al.9 citations
- MixT: a language for mixing consistency in geodistributed transactions ↗Mae Milano, Andrew C. Myers9 citations
- PMAF: an algebraic framework for static analysis of probabilistic programs ↗Di Wang, Jan Hoffmann, Thomas Reps9 citations
- VeriPhy: verified controller executables from verified cyber-physical system models ↗Rose Bohrer, Yong Kiam Tan, Stefan Mitsch et al.9 citations
- vbench ↗Andrea Lottarini, Alex Ramírez, Joel Coburn et al.9 citations
- Bounding data races in space and time ↗Stephen Dolan, KC Sivaramakrishnan, Anil Madhavapeddy8 citations
- Bridge the Gap between Neural Networks and Neuromorphic Hardware with a Neural Network Compiler ↗Yu Ji, Youhui Zhang, Wenguang Chen et al.8 citations
- Harnessing epoch-based reclamation for efficient range queries ↗Maya Arbel-Raviv, Trevor Alexander Brown8 citations
- Liquid Silicon-Monona ↗Yue Zha, Jing Li8 citations
- Optimizing N-dimensional, winograd-based convolution for manycore CPUs ↗Zhen Jia, Aleksandar Zlateski, Frédo Durand et al.8 citations
- WSMeter ↗Jae‐Won Lee, Changkyu Kim, Kun Lin et al.8 citations
- Advanced automata-based algorithms for program termination checking ↗Yu‐Fang Chen, Matthias Heizmann, Ondřej Lengál et al.7 citations
- Automatic Matching of Legacy Code to Heterogeneous APIs ↗Philip Ginsbach, Toomas Remmelg, Michel Steuwer et al.7 citations
- CURD: a dynamic CUDA race detector ↗Yuanfeng Peng, Vinod Grover, Joseph L. Devietti7 citations
- D is CV ar ↗Harshitha Menon, Kathryn Mohror7 citations
- Designing scalable FPGA architectures using high-level synthesis ↗Johannes de Fine Licht, Michaela Blott, Torsten Hoefler7 citations
- Optimistic Hybrid Analysis ↗David Andrew Devecsery, Peter M. Chen, Jason Flinn et al.7 citations
- Rhine: FRP with type-level clocks ↗Manuel Bärenz, Ivan Pérez7 citations
- FRC: a high-performance concurrent parallel deferred reference counter for C++ ↗Charles Edison Tripp, David Hyde, Benjamin E. Grossman‐Ponemon6 citations
- Gloss ↗Sumanaruban Rajadurai, Jeffrey Bosboom, Weng‐Fai Wong et al.6 citations
- Modularity for decidability of deductive verification with applications to distributed systems ↗Marcelo Taube, Giuliano Losa, Kenneth L. McMillan et al.6 citations
- Polyhedral auto-transformation with no integer linear programming ↗Aravind Acharya, Uday Kumar Reddy Bondhugula, Albert Cohen6 citations
- SPECTR ↗Amir Masoud Rahmani, Bryan Donyanavard, Tiago Mück et al.6 citations
- Shared-memory parallelization of MTTKRP for dense tensors ↗Koby Hayashi, Grey Ballard, Yujie Jiang et al.6 citations
- Static Detection of Event-based Races in Android Apps ↗Yongjian Hu, Iulian Neamtiu6 citations
- User-guided program reasoning using Bayesian inference ↗Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo et al.6 citations
- An Analysis of x86-64 Inline Assembly in C Programs ↗Manuel Rigger, Stefan Marr, Stephen Kell et al.5 citations
- An open-source realtime computational platform (short WIP paper) ↗Pavan Mehrotra, Sabar Dasgupta, Samantha Robertson et al.5 citations
- Automatic Hierarchical Parallelization of Linear Recurrences ↗Sepideh Maleki, Martin Burtscher5 citations
- Branching processes for QuickCheck generators ↗Agustín Mista, Alejandro Russo, John Hughes5 citations
- Devirtualizing Memory in Heterogeneous Systems ↗Swapnil Haria, Mark D. Hill, Michael M. Swift5 citations
- Espresso ↗Mingyu Wu, Ziming Zhao, Haoyu Li et al.5 citations
- Featherlight on-the-fly false-sharing detection ↗Milind Chabbi, Shasha Wen, Xu Liu5 citations
- Griffin ↗Yang Liu, Jianguo Wang, Steven Swanson5 citations
- Locality analysis through static parallel sampling ↗Dong Chen, Fangzhou Liu, Chen Ding et al.5 citations
- Sugar ↗Zhihao Yao, Zongheng Ma, Yingtong Liu et al.5 citations
- Watching for Software Inefficiencies with Witch ↗Shasha Wen, Xu Liu, John Byrne et al.5 citations
- vS ensor ↗Xiongchao Tang, Jidong Zhai, Xuehai Qian et al.5 citations
- DATS - Data Containers for Web Applications ↗Casen Hunger, Lluís Vilanova, Charalampos Papamanthou et al.4 citations
- Enhancing Cross-ISA DBT Through Automatically Learned Translation Rules ↗Wenwen Wang, Stephen McCamant, Antonia Zhai et al.4 citations
This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/