Write a Blog >>
PLDI 2021
Sun 20 - Sat 26 June 2021 Virtual Conference

This program is tentative and subject to change.

Fri 25 Jun 2021 13:55 - 14:00 at PLDI-A - Talks 6A: Language Implementation
Sat 26 Jun 2021 01:55 - 02:00 at PLDI-A - Talks 6A: Language Implementation

Object Oriented Programming has flourished in many areas ranging from web-oriented microservices, data processing, to databases. However, while representing domain entities as objects is appealing to developers, it leads to data fragmentation, resulting in high memory footprint and poor locality.

To improve memory footprint and memory locality, embedding the payload of an object into another (object inlining) has been proposed, however, with severe limitations. We argue that object inlining is mostly useful to optimize objects in the application data-path and that such objects have value semantics, unlocking great potential for inlining objects.

We propose value fields, an abstraction which allows fields to be marked as having value semantics. We take advantage of the closed-world assumption provided by GraalVM Native Image to implement Object inlining. Results show that using value fields requires minimal to no effort from developers and leads to improvements in throughput of up to 3x, memory footprint of up to 40%, and GC pause times of up to 35%.

This program is tentative and subject to change.

Conference Day
Fri 25 Jun

Displayed time zone: Eastern Time (US & Canada) change

13:30 - 14:05
Talks 6A: Language ImplementationPLDI at PLDI-A +12h
13:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof MaziarzMicrosoft, Tom EllisMicrosoft, Alan LawrenceMicrosoft, Andrew FitzgibbonMicrosoft, Simon Peyton JonesMicrosoft
DOI
13:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen HuUniversity of Sydney, David ZhaoUniversity of Sydney, Herbert JordanInnsbruck University, Bernhard ScholzUniversity of Sydney
DOI
13:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan KandemirPennsylvania State University, Xulong TangUniversity of Pittsburgh, Hui ZhaoUniversity of North Texas, Jihyun RyooPennsylvania State University, Mustafa KarakoyTUBITAK-BILGEM
DOI
13:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. LimRutgers University, Santosh NagarakatteRutgers University
DOI Pre-print
13:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC SivaramakrishnanIIT Madras, Stephen DolanOCaml Labs, Leo WhiteJane Street, Tom KellyOCaml Labs, Sadiq JafferOpsian and OCaml Labs, Anil MadhavapeddyUniversity of Cambridge
Link to publication DOI
13:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo BrunoINESC-ID / IST, ULisboa, Vojin JovanovicOracle Labs, Christian WimmerOracle Labs, Gustavo AlonsoETH Zurich
DOI
14:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian ErdwegJGU Mainz, Tamás SzabóJGU Mainz; Workday, André PacakJGU Mainz
DOI

Conference Day
Sat 26 Jun

Displayed time zone: Eastern Time (US & Canada) change

01:30 - 02:05
Talks 6A: Language ImplementationPLDI at PLDI-A
01:30
5m
Talk
Hashing Modulo Alpha-Equivalence
PLDI
Krzysztof MaziarzMicrosoft, Tom EllisMicrosoft, Alan LawrenceMicrosoft, Andrew FitzgibbonMicrosoft, Simon Peyton JonesMicrosoft
DOI
01:35
5m
Talk
An Efficient Interpreter for Datalog by De-specializing Relations
PLDI
Xiaowen HuUniversity of Sydney, David ZhaoUniversity of Sydney, Herbert JordanInnsbruck University, Bernhard ScholzUniversity of Sydney
DOI
01:40
5m
Talk
Distance-in-Time versus Distance-in-Space
PLDI
Mahmut Taylan KandemirPennsylvania State University, Xulong TangUniversity of Pittsburgh, Hui ZhaoUniversity of North Texas, Jihyun RyooPennsylvania State University, Mustafa KarakoyTUBITAK-BILGEM
DOI
01:45
5m
Talk
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
PLDI
Jay P. LimRutgers University, Santosh NagarakatteRutgers University
DOI Pre-print
01:50
5m
Talk
Retrofitting Effect Handlers onto OCaml
PLDI
KC SivaramakrishnanIIT Madras, Stephen DolanOCaml Labs, Leo WhiteJane Street, Tom KellyOCaml Labs, Sadiq JafferOpsian and OCaml Labs, Anil MadhavapeddyUniversity of Cambridge
Link to publication DOI
01:55
5m
Talk
Compiler-Assisted Object Inlining with Value Fields
PLDI
Rodrigo BrunoINESC-ID / IST, ULisboa, Vojin JovanovicOracle Labs, Christian WimmerOracle Labs, Gustavo AlonsoETH Zurich
DOI
02:00
5m
Talk
Concise, Type-Safe, and Efficient Structural Diffing
PLDI
Sebastian ErdwegJGU Mainz, Tamás SzabóJGU Mainz; Workday, André PacakJGU Mainz
DOI