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

TOTAL DOCUMENTS

(FIVE YEARS 76)

H-INDEX

(FIVE YEARS 8)

Published By ACM Press

9781450367127

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Lightweight multi-language syntax transformation with parser parser combinators

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

10.1145/3314221.3314589 ◽

2019 ◽

Cited By ~ 2

Author(s):

Rijnard van Tonder ◽

Claire Le Goues

Download Full-text

A typed, algebraic approach to parsing

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

10.1145/3314221.3314625 ◽

2019 ◽

Cited By ~ 3

Author(s):

Neelakantan R. Krishnaswami ◽

Jeremy Yallop

Keyword(s):

Algebraic Approach

Download Full-text

Towards certified separate compilation for concurrent programs

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

10.1145/3314221.3314595 ◽

2019 ◽

Cited By ~ 4

Author(s):

Hanru Jiang ◽

Hongjin Liang ◽

Siyang Xiao ◽

Junpeng Zha ◽

Xinyu Feng

Keyword(s):

Concurrent Programs ◽

Separate Compilation

Download Full-text

An inductive synthesis framework for verifiable reinforcement learning

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

10.1145/3314221.3314638 ◽

2019 ◽

Cited By ~ 5

Author(s):

He Zhu ◽

Zikang Xiong ◽

Stephen Magill ◽

Suresh Jagannathan

Keyword(s):

Reinforcement Learning ◽

Inductive Synthesis

Download Full-text

Continuously reasoning about programs using differential Bayesian inference

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

10.1145/3314221.3314616 ◽

2019 ◽

Cited By ~ 3

Author(s):

Kihong Heo ◽

Mukund Raghothaman ◽

Xujie Si ◽

Mayur Naik

Keyword(s):

Bayesian Inference

Download Full-text

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

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

10.1145/3314221.3314594 ◽

2019 ◽

Cited By ~ 6

Author(s):

Giovanni Campagna ◽

Silei Xu ◽

Mehrad Moradshahi ◽

Richard Socher ◽

Monica S. Lam

Keyword(s):

Natural Language ◽

Natural Language Semantic

Download Full-text

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

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

10.1145/3314221.3314601 ◽

2019 ◽

Cited By ~ 8

Author(s):

Sandeep Dasgupta ◽

Daejun Park ◽

Theodoros Kasampalis ◽

Vikram S. Adve ◽

Grigore Roşu

Keyword(s):

Formal Semantics ◽

Instruction Set ◽

Instruction Set Architecture

Download Full-text

Type-level computations for Ruby libraries

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

10.1145/3314221.3314630 ◽

2019 ◽

Cited By ~ 4

Author(s):

Milod Kazerounian ◽

Sankha Narayan Guria ◽

Niki Vazou ◽

Jeffrey S. Foster ◽

David Van Horn

Download Full-text

Effective floating-point analysis via weak-distance minimization

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

10.1145/3314221.3314632 ◽

2019 ◽

Cited By ~ 2

Author(s):

Zhoulai Fu ◽

Zhendong Su

Keyword(s):

Floating Point ◽

Point Analysis ◽

Distance Minimization

Download Full-text

SLING: using dynamic analysis to infer program invariants in separation logic

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

10.1145/3314221.3314634 ◽

2019 ◽

Cited By ~ 3

Author(s):

Ton Chanh Le ◽

Guolong Zheng ◽

ThanhVu Nguyen

Keyword(s):

Dynamic Analysis ◽

Separation Logic ◽

Program Invariants

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Lightweight multi-language syntax transformation with parser parser combinators

A typed, algebraic approach to parsing

Towards certified separate compilation for concurrent programs

An inductive synthesis framework for verifiable reinforcement learning

Continuously reasoning about programs using differential Bayesian inference

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

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

Type-level computations for Ruby libraries

Effective floating-point analysis via weak-distance minimization

SLING: using dynamic analysis to infer program invariants in separation logic

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