Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,266,211 papers from all fields of science
Search
Sign In
Create Free Account
Programming Language Design and Implementation
Known as:
Symposium on Compiler Optimization
, Conference on programming language design and implementation
, SIGPLAN Symposium on Compiler Construction
Expand
Programming Language Design and Implementation (PLDI) is one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Compiler
Federated Computing Research Conference
International Conference on Functional Programming
Memory management
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
PLDI : U : Property-Based Randomized Test Generation for Android Applications
Peilun Zhang
2018
Corpus ID: 44137567
Mobile apps are stateful and interacting with both complicated framework and also environments like sensor system and network…
Expand
2018
2018
2 The Single-Decree Paxos Algorithm
Á. García-Pérez
,
Alexey Gotsman
,
Yuri Meshman
,
Ilya Sergey
2018
Corpus ID: 3612996
Lamport’s Paxos algorithm is a classic consensus protocol for state machine replication in environments that admit crash failures…
Expand
2017
2017
Fachbereich Informatik und Mathematik Rewriting of Higher-Order-Meta-Expressions with Recursive Bindings
David Sabel
2017
Corpus ID: 96456166
We introduce rewriting of meta-expressions which stem from a meta-language that uses higher-order abstract syntax augmented by…
Expand
Review
2015
Review
2015
More on Improving Reviewing Quality with Double-Blind Reviewing, External Review Committees, Author Response, and in Person Program Committee Meetings
K. McKinley
2015
Corpus ID: 73521174
Peer review is the central mechanism that scientists use to evaluate research manuscripts, artifacts, and individual researchers…
Expand
2009
2009
Practical Static Ownership Inference
Ana L. Milanova
,
Yin Liu
2009
Corpus ID: 18303075
There are many proposals for ownership type systems designed to control aliasing in object-oriented programs. Most systems…
Expand
2007
2007
Multi-tier programming
Matthias Neubauer
2007
Corpus ID: 44493249
Multi-tier applications are traditionally designed in the style of a client-server architecture, forcing different parts of the…
Expand
Review
2005
Review
2005
Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation
Vivek Sarkar
,
Mary W. Hall
ACM-SIGPLAN Symposium on Programming Language…
2005
Corpus ID: 62121849
It is our great pleasure to welcome you to the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation…
Expand
2000
2000
Optimizing the cache performance of non-numeric applications
Chi-Keung Luk
2000
Corpus ID: 60660107
The latency of accessing instructions and data from the memory subsystem is an increasingly crucial performance bottleneck in…
Expand
1997
1997
Operating system extensibility through event capture
T. Pinckney
1997
Corpus ID: 12108902
Empirically, operating systems are inevitably faced with application demands that the operating system cannot adequately handle…
Expand
1993
1993
Reducing The Latency Of Floating-Point Arithmetic Operations
Nhon T. Quach
1993
Corpus ID: 59797603
Floating-point (FP) numbers are used in general-purpose scienti c computation and increasingly in digital signal processing and…
Expand