Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 87)

H-INDEX

(FIVE YEARS 0)

Published By ACM

9781450383912

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Execution reconstruction: harnessing failure reoccurrences for failure reproduction

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454101 ◽

2021 ◽

Author(s):

Gefei Zuo ◽

Jiacheng Ma ◽

Andrew Quinn ◽

Pramod Bhatotia ◽

Pedro Fonseca ◽

...

Download Full-text

Unqomp: synthesizing uncomputation in Quantum circuits

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454040 ◽

2021 ◽

Author(s):

Anouk Paradis ◽

Benjamin Bichsel ◽

Samuel Steffen ◽

Martin Vechev

Keyword(s):

Quantum Circuits

Download Full-text

Specification synthesis with constrained Horn clauses

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454104 ◽

2021 ◽

Author(s):

Sumanth Prabhu ◽

Grigory Fedyukovich ◽

Kumar Madhukar ◽

Deepak D'Souza

Keyword(s):

Horn Clauses ◽

Specification Synthesis

Download Full-text

Sound probabilistic inference via guide types

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454077 ◽

2021 ◽

Author(s):

Di Wang ◽

Jan Hoffmann ◽

Thomas Reps

Keyword(s):

Probabilistic Inference

Download Full-text

Modular data-race-freedom guarantees in the promising semantics

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454082 ◽

2021 ◽

Author(s):

Minki Cho ◽

Sung-Hwan Lee ◽

Chung-Kil Hur ◽

Ori Lahav

Keyword(s):

Data Race ◽

Modular Data

Download Full-text

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454096 ◽

2021 ◽

Author(s):

Zhiqiang Zuo ◽

Kai Ji ◽

Yifei Wang ◽

Wei Tao ◽

Linzhang Wang ◽

...

Keyword(s):

Control Flow ◽

Efficient Control

Download Full-text

Frequent background polling on a shared thread, using light-weight compiler interrupts

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454107 ◽

2021 ◽

Author(s):

Nilanjana Basu ◽

Claudio Montanari ◽

Jakob Eriksson

Keyword(s):

Light Weight

Download Full-text

Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454027 ◽

2021 ◽

Author(s):

Kyeongmin Cho ◽

Sung-Hwan Lee ◽

Azalea Raad ◽

Jeehoon Kang

Download Full-text

Test-case reduction and deduplication almost for free with transformation-based compiler testing

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454092 ◽

2021 ◽

Author(s):

Alastair F. Donaldson ◽

Paul Thomson ◽

Vasyl Teliman ◽

Stefano Milizia ◽

André Perez Maselco ◽

...

Keyword(s):

Test Case ◽

Compiler Testing

Download Full-text

Central moment analysis for cost accumulators in probabilistic programs

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ◽

10.1145/3453483.3454062 ◽

2021 ◽

Author(s):

Di Wang ◽

Jan Hoffmann ◽

Thomas Reps

Keyword(s):

Central Moment ◽

Moment Analysis ◽

Probabilistic Programs

Download Full-text

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and ImplementationLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM

Execution reconstruction: harnessing failure reoccurrences for failure reproduction

Unqomp: synthesizing uncomputation in Quantum circuits

Specification synthesis with constrained Horn clauses

Sound probabilistic inference via guide types

Modular data-race-freedom guarantees in the promising semantics

JPortal: precise and efficient control-flow tracing for JVM programs with Intel processor trace

Frequent background polling on a shared thread, using light-weight compiler interrupts

Revamping hardware persistency models: view-based and axiomatic persistency models for Intel-x86 and Armv8

Test-case reduction and deduplication almost for free with transformation-based compiler testing

Central moment analysis for cost accumulators in probabilistic programs

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation
Latest Publications