Zobrazeno 1 - 10
of 51
pro vyhledávání: '"NEWTON, RYAN R."'
Recent work showed that compiling functional programs to use dense, serialized memory representations for recursive algebraic datatypes can yield significant constant-factor speedups for sequential programs. But serializing data in a maximally dense
Externí odkaz:
http://arxiv.org/abs/2107.00522
Applications in many domains are based on a series of traversals of tree structures, and fusing these traversals together to reduce the total number of passes over the tree is a common, important optimization technique. In applications such as compil
Externí odkaz:
http://arxiv.org/abs/1904.07061
Autor:
Vazou, Niki, Tondwalkar, Anish, Choudhury, Vikraman, Scott, Ryan G., Newton, Ryan R., Wadler, Philip, Jhala, Ranjit
We introduce Refinement Reflection, a new framework for building SMT-based deductive verifiers. The key idea is to reflect the code implementing a user-defined function into the function's (output) refinement type. As a consequence, at uses of the fu
Externí odkaz:
http://arxiv.org/abs/1711.03842
Autor:
Bernardy, Jean-Philippe, Boespflug, Mathieu, Newton, Ryan R., Jones, Simon Peyton, Spiwack, Arnaud
Linear type systems have a long and storied history, but not a clear path forward to integrate with existing languages such as OCaml or Haskell. In this paper, we study a linear type system designed with two crucial properties in mind: backwards-comp
Externí odkaz:
http://arxiv.org/abs/1710.09756
A key part of implementing high-level languages is providing built-in and default data structures. Yet selecting good defaults is hard. A mutable data structure's workload is not known in advance, and it may shift over its lifetime - e.g., between re
Externí odkaz:
http://arxiv.org/abs/1708.02318
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Communications of the ACM; Jun2014, Vol. 57 Issue 6, p56-63, 8p, 1 Color Photograph, 1 Diagram, 3 Charts
Autor:
Vollmer, Michael, Spall, Sarah, Chamith, Buddhika, Sakka, Laith, Koparkar, Chaitanya, Kulkarni, Milind, Tobin-Hochstadt, Sam, Newton, Ryan R.
When written idiomatically in most programming languages, programs that traverse and construct trees operate over pointer-based data structures, using one heap object per-leaf and per-node. This representation is efficient for random access and shape
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::70c32bfd2d883f74d6b73c3e69aadd0a
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.