Weird Machines as Insecure Compilation

Autor: Paykin, Jennifer, Mertens, Eric, Tullsen, Mark, Maurer, Luke, Razet, Benoît, Bakst, Alexander, Moore, Scott

Weird machines---the computational models accessible by exploiting security vulnerabilities---arise from the difference between the model a programmer has in her head of how her program should run and the implementation that actually executes. Previo

Externí odkaz: http://arxiv.org/abs/1911.00157

Predicate Abstraction for Linked Data Structures

Autor: Bakst, Alexander, Jhala, Ranjit

We present Alias Refinement Types (ART), a new approach to the verification of correctness properties of linked data structures. While there are many techniques for checking that a heap-manipulating program adheres to its specification, they often re

Externí odkaz: http://arxiv.org/abs/1505.02298

Sequentialization and Synchronization for Distributed Programs

Autor: Bakst, Alexander Goldberg

Publikováno v: Bakst, Alexander Goldberg. (2017). Sequentialization and Synchronization for Distributed Programs. UC San Diego: Computer Science. Retrieved from: http://www.escholarship.org/uc/item/0hh6k2zn

Distributed systems are essential for building services that can handle the ever increasing number of people and devices connected to the internet as well as the associated growth in data accumulation. However, building distributed programs is hard,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______325::c5fdf93be59c61421d03ee62f810cc49
http://www.escholarship.org/uc/item/0hh6k2zn

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Germany's solar woes dim the promise of green jobs.

Autor: Bakst, Alexander

Publikováno v: Christian Science Monitor. 4/13/2012, pN.PAG. 1p.