Tatlock - PDFSEARCH.IO - Document Search Engine

Tatlock
Results: 15

#	Item
1	S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2018-10-18 11:22:47 Software engineering Computer programming Computing Method Object-oriented programming Data types High-level programming languages Dynamic dispatch Polymorphism Virtual method table Method overriding Objective-C
2	Programming and Proving with Distributed Protocols ILYA SERGEY, University College London, UK JAMES R. WILCOX, University of Washington, USA ZACHARY TATLOCK, University of Washington, USA Distributed systems play a cruci Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2017-11-17 18:47:23
3	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English
4	Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock Add to Reading List Source URL: goto.ucsd.edu - Date: 2012-07-16 15:42:58
5	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic
6	S AFE D ISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks Dongseok Jang Zachary Tatlock Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2013-12-28 00:32:24 Method Object-oriented programming Data types Cross-platform software Virtual method table Dynamic dispatch Polymorphism Method overriding Objective-C Dangling pointer Control flow Pointer
7	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, and Adam Chlipala, MIT CSAIL; Zachary Tatlock, University of Washington https://www.usenix.org/conference/osdi14/techni Add to Reading List Source URL: www.usenix.org Language: English - Date: 2016-02-20 13:36:33
8	Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: verdi.uwplse.org Language: English - Date: 2016-03-16 22:46:45 Fault-tolerant computer systems Computing Mathematics Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Cognitive science
9	Establishing Browser Security Guarantees through Formal Shim Verification Dongseok Jang UC San Diego Zachary Tatlock Add to Reading List Source URL: goto.ucsd.edu - Date: 2012-07-16 15:42:58
10	Jitk: A Trustworthy In-Kernel Interpreter Infrastructure Xi Wang, David Lazar, Nickolai Zeldovich, Adam Chlipala, Zachary Tatlock MIT CSAIL and University of Washington Abstract Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-01-09 21:48:48 Virtual machines Programming language implementation Linux Linux kernel Kernel Just-in-time compilation Interpreter Proof-carrying code JIT spraying System software Software Computer architecture

UPDATE