Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
Latest Publications

TOTAL DOCUMENTS

77

(FIVE YEARS 77)

H-INDEX

3

(FIVE YEARS 3)

Published By ACM

9781450376136

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying concurrent search structure templates

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386029 ◽

2020 ◽

Author(s):

Siddharth Krishna ◽

Nisarg Patel ◽

Dennis Shasha ◽

Thomas Wies

Keyword(s):

Search Structure

Download Full-text

Reconciling enumerative and deductive program synthesis

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386027 ◽

2020 ◽

Author(s):

Kangjing Huang ◽

Xiaokang Qiu ◽

Peiyuan Shen ◽

Yanjun Wang

Keyword(s):

Program Synthesis ◽

Deductive Program Synthesis

Download Full-text

Predictable accelerator design with time-sensitive affine types

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3385974 ◽

2020 ◽

Author(s):

Rachit Nigam ◽

Sachille Atapattu ◽

Samuel Thomas ◽

Zhijing Li ◽

Theodore Bauer ◽

...

Keyword(s):

Accelerator Design

Download Full-text

NVTraverse: in NVRAM data structures, the destination is more important than the journey

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386031 ◽

2020 ◽

Author(s):

Michal Friedman ◽

Naama Ben-David ◽

Yuanhao Wei ◽

Guy E. Blelloch ◽

Erez Petrank

Keyword(s):

Data Structures

Download Full-text

λPSI: exact inference for higher-order probabilistic programs

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386006 ◽

2020 ◽

Author(s):

Timon Gehr ◽

Samuel Steffen ◽

Martin Vechev

Keyword(s):

Higher Order ◽

Exact Inference ◽

Probabilistic Programs

Download Full-text

Securing smart contract with runtime validation

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3385982 ◽

2020 ◽

Author(s):

Ao Li ◽

Jemin Andrew Choi ◽

Fan Long

Keyword(s):

Smart Contract ◽

Runtime Validation

Download Full-text

Proving almost-sure termination by omega-regular decomposition

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386002 ◽

2020 ◽

Author(s):

Jianhui Chen ◽

Fei He

Keyword(s):

Regular Decomposition

Download Full-text

Constant-time foundations for the new spectre era

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3385970 ◽

2020 ◽

Author(s):

Sunjay Cauligi ◽

Craig Disselkoen ◽

Klaus v. Gleissenthall ◽

Dean Tullsen ◽

Deian Stefan ◽

...

Keyword(s):

Download Full-text

CARAT: a case for virtual memory through compiler- and runtime-based address translation

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3385987 ◽

2020 ◽

Author(s):

Brian Suchy ◽

Simone Campanoni ◽

Nikos Hardavellas ◽

Peter Dinda

Keyword(s):

Virtual Memory ◽

Address Translation

Download Full-text

Efficient handling of string-number conversion

Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation ◽

10.1145/3385412.3386034 ◽

2020 ◽

Author(s):

Parosh Aziz Abdulla ◽

Mohamed Faouzi Atig ◽

Yu-Fang Chen ◽

Bui Phi Diep ◽

Julian Dolby ◽

...

Download Full-text