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

TOTAL DOCUMENTS

87

(FIVE YEARS 87)

H-INDEX

0

(FIVE YEARS 0)

Published By ACM

9781450383912

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Symbolic Boolean derivatives for efficiently solving extended regular expression constraints

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

10.1145/3453483.3454066 ◽

2021 ◽

Author(s):

Caleb Stanford ◽

Margus Veanes ◽

Nikolaj Bjørner

Keyword(s):

Regular Expression

Download Full-text

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 ◽

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):

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