Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Chajed, Tej"'
This paper lays a practical foundation for using abstract interpretation with an abstract domain that consists of sets of quantified first-order logic formulas. This abstract domain seems infeasible at first sight due to the complexity of the formula
Externí odkaz:
http://arxiv.org/abs/2405.10308
Autor:
Chajed, Tej
Critical systems software such as the file system is challenging to make correct due to the combination of concurrency in the implementation for good performance and the requirement to preserve data even on crash, where the whole computer stops and r
Autor:
Chajed, Tej
Thesis: S.M. in Computer Science, Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2017.
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 67-71).
Systems
Cataloged from PDF version of thesis.
Includes bibliographical references (pages 67-71).
Systems
Externí odkaz:
http://hdl.handle.net/1721.1/108986
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.
Autor:
Chajed, Tej1 tchajed@mit.edu, Haogang Chen1 hchen@csail.mit.edu, Chlipala, Adam1 adamc@csail.mit.edu, Kaashoek, M. Frans1 kaashoek@csail.mit.edu, Zeldovich, Nickolai1 nickolai@csail.mit.edu, Ziegler, Daniel1 dmz@mit.edu
Publikováno v:
Communications of the ACM. Apr2017, Vol. 60 Issue 4, p75-84. 10p. 2 Diagrams, 6 Charts, 1 Graph.
