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

TOTAL DOCUMENTS

76
(FIVE YEARS 0)

H-INDEX

8
(FIVE YEARS 0)

Published By ACM Press

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

Towards certified separate compilation for concurrent programs

2019 ◽  
Author(s):  
Hanru Jiang ◽  
Hongjin Liang ◽  
Siyang Xiao ◽  
Junpeng Zha ◽  
Xinyu Feng
Keyword(s):  
Concurrent Programs ◽  
Separate Compilation

scholarly journals Genie: a generator of natural language semantic parsers for virtual assistant commands

2019 ◽  
Author(s):  
Giovanni Campagna ◽  
Silei Xu ◽  
Mehrad Moradshahi ◽  
Richard Socher ◽  
Monica S. Lam
Keyword(s):  
Natural Language ◽  
Natural Language Semantic

scholarly journals A complete formal semantics of x86-64 user-level instruction set architecture

2019 ◽  
Author(s):  
Sandeep Dasgupta ◽  
Daejun Park ◽  
Theodoros Kasampalis ◽  
Vikram S. Adve ◽  
Grigore Roşu
Keyword(s):  
Formal Semantics ◽  
Instruction Set ◽  
Instruction Set Architecture

scholarly journals Type-level computations for Ruby libraries

2019 ◽  
Author(s):  
Milod Kazerounian ◽  
Sankha Narayan Guria ◽  
Niki Vazou ◽  
Jeffrey S. Foster ◽  
David Van Horn
Load More ...
Sign in / Sign up

Export Citation Format

Share Document