R melts brains: an IR for first-class environments and lazy effectful arguments

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F19%3A00335618" target="_blank" >RIV/68407700:21240/19:00335618 - isvavai.cz</a>

Výsledek na webu

<a href="https://dl.acm.org/citation.cfm?id=3359744" target="_blank" >https://dl.acm.org/citation.cfm?id=3359744</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/3359619.3359744" target="_blank" >10.1145/3359619.3359744</a>

Jazyk výsledku

angličtina

Název v původním jazyce

R melts brains: an IR for first-class environments and lazy effectful arguments

Popis výsledku v původním jazyce

The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniques impractical, and thus, compiler optimizations based on them ineffective. We present our work on PIR, an intermediate representation with explicit support for first-class environments and effectful lazy evaluation. We describe two dataflow analyses on PIR: the first enables reasoning about variables and their environments, and the second infers where arguments are evaluated. Leveraging their results, we show how to elide environment creation and inline functions.

Název v anglickém jazyce

R melts brains: an IR for first-class environments and lazy effectful arguments

Popis výsledku anglicky

The R programming language combines a number of features considered hard to analyze and implement efficiently: dynamic typing, reflection, lazy evaluation, vectorized primitive types, first-class closures, and extensive use of native code. Additionally, variable scopes are reified at runtime as first-class environments. The combination of these features renders most static program analysis techniques impractical, and thus, compiler optimizations based on them ineffective. We present our work on PIR, an intermediate representation with explicit support for first-class environments and effectful lazy evaluation. We describe two dataflow analyses on PIR: the first enables reasoning about variables and their environments, and the second infers where arguments are evaluated. Leveraging their results, we show how to elide environment creation and inline functions.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages

ISBN

978-1-4503-6996-1

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

55-66

Název nakladatele

ACM New York

Místo vydání

—

Místo konání akce

Athens

Datum konání akce

20. 10. 2019

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—