Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450356985

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Accelerating search-based program synthesis using learned probabilistic models

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192410 ◽

2018 ◽

Cited By ~ 13

Author(s):

Woosuk Lee ◽

Kihong Heo ◽

Rajeev Alur ◽

Mayur Naik

Keyword(s):

Probabilistic Models ◽

Program Synthesis

Download Full-text

Partial control-flow linearization

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192413 ◽

2018 ◽

Cited By ~ 9

Author(s):

Simon Moll ◽

Sebastian Hack

Keyword(s):

Control Flow ◽

Partial Control

Download Full-text

Mapping spiking neural networks onto a manycore neuromorphic architecture

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192371 ◽

2018 ◽

Cited By ~ 2

Author(s):

Chit-Kwan Lin ◽

Andreas Wild ◽

Gautham N. Chinya ◽

Tsung-Han Lin ◽

Mike Davies ◽

...

Keyword(s):

Neural Networks ◽

Spiking Neural Networks ◽

Neuromorphic Architecture

Download Full-text

Write-rationing garbage collection for hybrid memories

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192392 ◽

2018 ◽

Cited By ~ 14

Author(s):

Shoaib Akram ◽

Jennifer B. Sartor ◽

Kathryn S. McKinley ◽

Lieven Eeckhout

Keyword(s):

Garbage Collection

Download Full-text

Heartbeat scheduling: provable efficiency for nested parallelism

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192391 ◽

2018 ◽

Cited By ~ 6

Author(s):

Umut A. Acar ◽

Arthur Charguéraud ◽

Adrien Guatto ◽

Mike Rainey ◽

Filip Sieczkowski

Keyword(s):

Nested Parallelism

Download Full-text

HHVM JIT: a profile-guided, region-based compiler for PHP and Hack

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192374 ◽

2018 ◽

Cited By ~ 6

Author(s):

Guilherme Ottoni

Download Full-text

GPU code optimization using abstract kernel emulation and sensitivity analysis

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192397 ◽

2018 ◽

Cited By ~ 3

Author(s):

Changwan Hong ◽

Aravind Sukumaran-Rajam ◽

Jinsung Kim ◽

Prashant Singh Rawat ◽

Sriram Krishnamoorthy ◽

...

Keyword(s):

Sensitivity Analysis ◽

Code Optimization ◽

Abstract Kernel

Download Full-text

Crellvm: verified credible compilation for LLVM

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192377 ◽

2018 ◽

Cited By ~ 6

Author(s):

Jeehoon Kang ◽

Yoonseung Kim ◽

Youngju Song ◽

Juneyoung Lee ◽

Sanghoon Park ◽

...

Download Full-text

Guarded impredicative polymorphism

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192389 ◽

2018 ◽

Cited By ~ 4

Author(s):

Alejandro Serrano ◽

Jurriaan Hage ◽

Dimitrios Vytiniotis ◽

Simon Peyton Jones

Download Full-text

VeriPhy: verified controller executables from verified cyber-physical system models

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 ◽

10.1145/3192366.3192406 ◽

2018 ◽

Cited By ~ 18

Author(s):

Brandon Bohrer ◽

Yong Kiam Tan ◽

Stefan Mitsch ◽

Magnus O. Myreen ◽

André Platzer

Keyword(s):

Physical System ◽

Cyber Physical System ◽

System Models

Download Full-text

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Accelerating search-based program synthesis using learned probabilistic models

Partial control-flow linearization

Mapping spiking neural networks onto a manycore neuromorphic architecture

Write-rationing garbage collection for hybrid memories

Heartbeat scheduling: provable efficiency for nested parallelism

HHVM JIT: a profile-guided, region-based compiler for PHP and Hack

GPU code optimization using abstract kernel emulation and sensitivity analysis

Crellvm: verified credible compilation for LLVM

Guarded impredicative polymorphism

VeriPhy: verified controller executables from verified cyber-physical system models

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018
Latest Publications