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

TOTAL DOCUMENTS

55
(FIVE YEARS 0)

H-INDEX

12
(FIVE YEARS 0)

Published By ACM Press

9781450356985
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Crellvm: verified credible compilation for LLVM

2018 ◽  
Author(s):  
Jeehoon Kang ◽  
Yoonseung Kim ◽  
Youngju Song ◽  
Juneyoung Lee ◽  
Sanghoon Park ◽  
...  

Write-rationing garbage collection for hybrid memories

2018 ◽  
Author(s):  
Shoaib Akram ◽  
Jennifer B. Sartor ◽  
Kathryn S. McKinley ◽  
Lieven Eeckhout
Keyword(s):  
Garbage Collection

scholarly journals Heartbeat scheduling: provable efficiency for nested parallelism

2018 ◽  
Author(s):  
Umut A. Acar ◽  
Arthur Charguéraud ◽  
Adrien Guatto ◽  
Mike Rainey ◽  
Filip Sieczkowski
Keyword(s):  
Nested Parallelism

scholarly journals GPU code optimization using abstract kernel emulation and sensitivity analysis

2018 ◽  
Author(s):  
Changwan Hong ◽  
Aravind Sukumaran-Rajam ◽  
Jinsung Kim ◽  
Prashant Singh Rawat ◽  
Sriram Krishnamoorthy ◽  
...  
Keyword(s):  
Sensitivity Analysis ◽  
Code Optimization ◽  
Abstract Kernel

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

2018 ◽  
Author(s):  
Brandon Bohrer ◽  
Yong Kiam Tan ◽  
Stefan Mitsch ◽  
Magnus O. Myreen ◽  
André Platzer
Keyword(s):  
Physical System ◽  
Cyber Physical System ◽  
System Models

Guarded impredicative polymorphism

2018 ◽  
Author(s):  
Alejandro Serrano ◽  
Jurriaan Hage ◽  
Dimitrios Vytiniotis ◽  
Simon Peyton Jones

scholarly journals Locality analysis through static parallel sampling

2018 ◽  
Author(s):  
Dong Chen ◽  
Fangzhou Liu ◽  
Chen Ding ◽  
Sreepathi Pai
Keyword(s):  
Parallel Sampling
Load More ...
Sign in / Sign up

Export Citation Format

Share Document