Elamur Research⌕
☰
home / 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

1 2 3

  1. Graph partitioning applied to DAG scheduling to reduce NUMA effects ↗Isaac Sánchez Barrera, Marc Casas, Miquel Moretó et al.4 citations
  2. High-performance genomic analysis framework with in-memory computing ↗Xueqi Li, Guangming Tan, Bingchen Wang et al.4 citations
  3. Lazygraph ↗Lei Wang, Liangji Zhuang, Junhang Chen et al.4 citations
  4. On-stack replacement, distilled ↗Daniele Cono D’Elia, Camil Demetrescu4 citations
  5. Optimizing RAID/SSD controllers with lifetime extension for flash-based SSD array ↗Lei Han, Zhaoyan Shen, Zili Shao et al.4 citations
  6. PAM ↗Yihan Sun, Daniel Ferizovic, Guy E. Belloch4 citations
  7. gMig ↗Jiacheng Ma, Xiao Zheng, Yaozu Dong et al.4 citations
  8. CUBA: interprocedural Context-UnBounded Analysis of concurrent programs ↗Peizun Liu, Thomas Wahl3 citations
  9. Cache-tries ↗Aleksandar Prokopec3 citations
  10. Crellvm: verified credible compilation for LLVM ↗Jeehoon Kang, Yoonseung Kim, Youngju Song et al.3 citations
  11. DAMN ↗Alex Markuze, Igor Smolyar, Adam Morrison et al.3 citations
  12. Exploiting Dynamic Thermal Energy Harvesting for Reusing in Smartphone with Mobile Applications ↗Yuting Dai, Tao Li, Benyong Liu et al.3 citations
  13. Filtering Translation Bandwidth with Virtual Caching ↗Hongil Yoon, Jason Lowe-Power, Gurindar S. Sohi3 citations
  14. GPU code optimization using abstract kernel emulation and sensitivity analysis ↗Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim et al.3 citations
  15. Heartbeat scheduling: provable efficiency for nested parallelism ↗Umut A. Acar, Arthur Charguéraud, Adrien Guatto et al.3 citations
  16. High-coverage, unbounded sound predictive race detection ↗Jake Roemer, Kaan Genç, Michael D. Bond3 citations
  17. Incremental inference for probabilistic programs ↗Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr et al.3 citations
  18. Juggler ↗Mehmet Esat Belviranli, Seyong Lee, Jeffrey S. Vetter et al.3 citations
  19. LATR ↗Mohan Kumar Kumar, Steffen Maaß, Sanidhya Kashyap et al.3 citations
  20. Safe privatization in transactional memory ↗Artem Khyzha, Hagit Attiya, Alexey Gotsman et al.3 citations
  21. SecureMR ↗Yao Dong, Ana Milanova, Julian Dolby3 citations
  22. SmoothOperator ↗Chang-Hong Hsu, Qingyuan Deng, Jason Mars et al.3 citations
  23. Statistical Reconstruction of Class Hierarchies in Binaries ↗Omer Katz, Noam Rinetzky, Eran Yahav3 citations
  24. StrongBox ↗Bernard M. Dickens, Haryadi S. Gunawi, Ariel J. Feldman et al.3 citations
  25. Suggesting valid hole fits for typed-holes (experience report) ↗Matthías Páll Gissurarson3 citations
  26. Symbolic reasoning for automatic signal placement ↗Kostas Ferles, Jacob Van Geffen, Işıl Dillig et al.3 citations
  27. V erified FT ↗James R. Wilcox, Cormac Flanagan A, Stephen N. Freund3 citations
  28. Active learning of points-to specifications ↗Osbert Bastani, Rahul R. Sharma, Alex Aiken et al.2 citations
  29. Dynamic vertical memory scalability for OpenJDK cloud applications ↗Rodrigo Bruno, Paulo A. V. Ferreira, Ruslan Synytsky et al.2 citations
  30. HHVM JIT: a profile-guided, region-based compiler for PHP and Hack ↗Guilherme de Lima Ottoni2 citations
  31. Hardware-software co-optimization of memory management in dynamic languages ↗Mohamed Ismail, G. Edward Suh2 citations
  32. Hierarchical memory management for mutable state ↗Adrien Guatto, Sam Westrick, Ram Raghunathan et al.2 citations
  33. Hop, Skip, & Jump ↗Kunshan Wang, Stephen Michael Blackburn, Antony L. Hosking et al.2 citations
  34. Improving Dynamically-Generated Code Performance on Dynamic Binary Translators ↗Wenwen Wang, Jiacheng Wu, Xiaoli Gong et al.2 citations
  35. Inferring type rules for syntactic sugar ↗Justin Lee Pombrio, Shriram Krishnamurthi2 citations
  36. Potluck ↗Peizhen Guo, Wenjun Hu2 citations
  37. Putting in all the stops: execution control for JavaScript ↗Samuel Baxter, Rachit Nigam, Joe Gibbs Politz et al.2 citations
  38. Static serializability analysis for causal consistency ↗Lucas Brutschy, Dimitar I. Dimitrov, Péter Müller et al.2 citations
  39. Time Dilation and Contraction for Programmable Analog Devices with Jaunt ↗Sara Achour, Martin Rinard2 citations
  40. mPart: miss-ratio curve guided partitioning in key-value stores ↗Daniel Byrne, Nilufer Onder, Zhenlin Wang2 citations
  41. A microbenchmark to study GPU performance models ↗Vasily M. Volkov1 citation
  42. A promise checked is a promise kept: inspection testing ↗Joachim Breitner1 citation
  43. A scalable queue for work distribution on GPUs ↗Bernhard Kerbl, Jörg Müller, Michael Kenzel et al.1 citation
  44. Coherent explicit dictionary application for Haskell ↗Thomas Winant, Dominique Devriese1 citation
  45. Demon ↗Yu Xu, Jianguo Yao, Yaozu Dong et al.1 citation
  46. Deriving via: or, how to turn hand-written instances into an anti-pattern ↗Baldur Blöndal, Andres Löh, Ryan G. Scott1 citation
  47. Detailed heap profiling ↗Stuart Byma, James R. Larus1 citation
  48. Distributed garbage collection for general graphs ↗Steven R. Brandt, Hari Krishnan, Costas Busch A et al.1 citation
  49. Efficient shuffle management with SCache for DAG computing frameworks ↗Zhouwang Fu, Tao Song, Zhengwei Qi et al.1 citation
  50. Embedding invertible languages with binders: a case of the FliPpr language ↗Kazutaka Matsuda, Meng Wang1 citation
  51. Enhancing computation-to-core assignment with physical location information ↗Orhan Kislal, Jagadish Kotra, Xulong Tang et al.1 citation
  52. Generic programming of all kinds ↗Alejandro Serrano, Victor Cacciari Miraldo1 citation
  53. Hardware Multithreaded Transactions ↗Jordan Fix, Nayana Prasad Nagendra, Sotiris Apostolakis et al.1 citation
  54. Layrub ↗Bo Liu, Wenbin Jiang, Hai Jin et al.1 citation
  55. NEOFog ↗Kaisheng Ma, Xueqing Li, Mahmut Kandemir et al.1 citation
  56. Practical concurrent traversals in search trees ↗Dana Drachsler-Cohen, Martin Vechev, Eran Yahav1 citation
  57. Ryū: fast float-to-string conversion ↗Ulf Adams1 citation
  58. SIMD code generation for stencils on brick decompositions ↗Tuowen Zhao, Mary W. Hall, Protonu Basu et al.1 citation
  59. SOFRITAS ↗Christian DeLozier, Ariel Eizenberg, Brandon Lucia et al.1 citation
  60. SWOOP: software-hardware co-design for non-speculative, execute-ahead, in-order cores ↗Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson et al.1 citation
  61. Theorem proving for all: equational reasoning in liquid Haskell (functional pearl) ↗Niki Vazou, Joachim Breitner, Rose Kunkel et al.1 citation
  62. Typed closure conversion for the calculus of constructions ↗William J. Bowman, Amal Ahmed1 citation
  63. Verification of coarse-grained reconfigurable arrays through random test programs ↗Bernhard Egger, Eunjin Song, Hochan Lee et al.1 citation
  64. iReplayer: in-situ and identical record-and-replay for multithreaded applications ↗Hongyu Liu, Sam Silvestro, Wei Wang et al.1 citation
  65. A high-performance multicore IO manager based on libuv (experience report) ↗Han Dong, Tao He
  66. A memory-bounded, deterministic and terminating semantics for the synchronous programming language Céu ↗Rodrigo Costa Mesquita Santos, Guilherme F. Lima, Francisco Sant’Anna et al.
  67. A predictable synchronisation algorithm ↗Stefan C. Reif, Wolfgang Schröder‐Preikschat
  68. A scalable distance-1 vertex coloring algorithm for power-law graphs ↗Jesun Firoz, Marcin Zalewski, Andrew Lumsdaine
  69. AutoBench: comparing the time performance of Haskell programs ↗Martin A. T. Handley, Graham Hutton
  70. Autobahn 2.0: minimizing bangs while maintaining performance (system demonstration) ↗Marilyn Sun, Kathleen Fisher
  71. Automated code acceleration targeting heterogeneous openCL devices ↗Heinrich Riebler, Gavin Vaz, Tobias Kenter et al.
  72. BLeak: automatically debugging memory leaks in web applications ↗John Vilk, Emery D. Berger
  73. Balanced double queues for GC work-stealing on weak memory models ↗Michihiro Horie, Hiroshi Horii, Kazunori Ogata et al.
  74. Calling-to-reference context translation via constraint-guided CFL-reachability ↗Cheng Cai, Qirun Zhang, Zhiqiang Zuo et al.
  75. Compositionality in scenario-aware dataflow: a rendezvous perspective ↗Mladen Skelin, Marc C. W. Geilen
  76. DLibOS ↗Stephen Mallon, Vincent Gramoli, Guillaume Jourjon
  77. Decoupling address generation from loads and stores to improve data access energy efficiency ↗Michael Stokes, Ryan Baird, Zhaoxiang Jin et al.
  78. Deep neural networks compiler for a trace-based accelerator (short WIP paper) ↗Andre Xian Ming Chang, Aliasger Zaidy, Lukasz Burzawa et al.
  79. Efficient parallel determinacy race detection for two-dimensional dags ↗Yifan Xu, I-Ting Angelina Lee, Kunal Agrawal
  80. Fast PokeEMU ↗Qiuchen Yan, Stephen McCamant
  81. FlashR ↗Da Zheng, Disa Mhembere, Joshua T Vogelstein et al.
  82. Ghosts of departed proofs (functional pearl) ↗Matt Noonan
  83. Guarded impredicative polymorphism ↗Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis et al.
  84. Improving typeclass relations by being open ↗Guido Martínez, Mauro Jaskelioff, Guido De Luca
  85. JSCore: architectural support for accelerating JavaScript execution (short WIP paper) ↗Gaurav Chadha
  86. OMR: out-of-core MapReduce for large data sets ↗Gurneet Kaur, Keval Vora, Sai Charan Koduru et al.
  87. Performance challenges in modular parallel programs ↗Umut A. Acar, Vitaly Aksenov, Arthur Charguéraud et al.
  88. Performance modeling for GPUs using abstract kernel emulation ↗Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim et al.
  89. Prediction and bounds on shared cache demand from memory access interleaving ↗Jacob Brock, Chen Ding, Rahman Lavaee et al.
  90. Quantifying and reducing execution variance in STM via model driven commit optimization ↗Girish Mururu, Ada Gavrilovska, Santosh Pande
  91. Quantum Computing is Getting Real ↗Frederic T. Chong
  92. Reducing the burden of parallel loop schedulers for many-core processors ↗Mahwish Arif, Hans Vandierendonck
  93. Reducing transaction aborts by looking to the future ↗Nachshon Cohen, Erez Petrank, James R. Larus
  94. Register-based implementation of the sparse general matrix-matrix multiplication on GPUs ↗Junhong Liu, Xin He, Weifeng Liu et al.
  95. Revealing parallel scans and reductions in sequential loops through function reconstruction ↗Peng Jiang, Gagan Agrawal
  96. Stamp-it , amortized constant-time memory reclamation in comparison to five other schemes ↗Manuel Pöter, Jesper Larsson Träff
  97. Statically relating program properties for efficient verification (short WIP paper) ↗Bharti Chimdyalwar, Priyanka Darke
  98. Strong trylocks for reader-writer locks ↗Andreia Correia, Pedro Ramalhete
  99. Sulong, and Thanks for All the Bugs ↗Manuel Rigger, Roland Schatz, René Mayrhofer et al.
  100. The Thoralf plugin: for your fancy type needs ↗Divesh Otwani, Richard A. Eisenberg

1 2 3

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-sigplan-notices/2018/papers/page/2/