Science of Computer Programming. To appear in the Journal of Network and Systems Management. David Walker adapted from Greg Morrisett. Workshop on Hot Topics in Operating Systems. Workshop on the Analysis of System Logs. See this page for a selection of papers organized by topic.
Limin Jia and David Walker. Amal Ahmed and David Walker. From Uggh to Smug. Journal on Functional Programming, 12 1: Ottawa, Canada, June Kathleen Fisher and David Walker. Workshop on Languages for Distributed Algorithms. Incremental inference of Ad Hoc Data Formats. Volume 44, Issue 3.
International Symposium on Software Security. The 17th Annual Static Analysis Symposium. Workshop on Hot Topics in Operating Systems. Workshop on Types in Compilation. Marco Yuen, Marc E. Cork, Ireland, July Matthew Meola and David Walker. Workshop on Computer Security Foundations.
David Walker and Greg Morrisett. Ottawa, Canada, June Enforcement Mechanisms for Run-time Security Policies. Zhu, Kathleen Fisher and David Walker. International Symposium on Software Security.
Stack-Based Typed Assembly Language. Extended technical report issued by Cornell University October at http: From Uggh to Smug. Computer Security Foundations Symposium. I also included references to the Ph. Workshop on Computer Security Foundations. Open Networking Summit, April Volume 44, Issue 3.
August, and David Walker. To appear in the Journal of Network and Systems Management. Workshop on Logical Frameworks and Meta-Logics.
The key insight in this dissertation is that certain data in the program is more important than other data from a reliability or security point of view we call this the critical data.
A Language and Toolkit for Programming with Filestores. Workshop on the Analysis of System Logs. Semantic Foundations for Networks.TOWARDS UNDERSTANDING THE EFFECTSOF INTERMITTENT HARDWARE FAULTSON PROGRAMS Layali Rashid, Karthik Pattabiraman and Sathish Gopalakrishnan DEPARTMENT OF ELECTRICALAND COMPUTER ENGINEERING THE UNIVERSITY OF BRITISH COLUMBIA.
Maryam Raiyat Aliabadi, ARTINALI: Dynamic invariant detection for Cyber-Physical System Security, PhD in Electrical and Computer Engineering with Dr. Karthik Pattabiraman Four speakers from each semi-final round will progress to the 3MT Finals on Thursday, March 16, at PM, Jack Poole Halle, Robert H.
Lee Alumni Centre. Karthik Pattabiraman, PhD thesis, University of Illinois at Urbana-Champaign (UIUC), May Part 1 (Pages 1 – ) Part 2 (Pages – ) Abstract: As computer systems become more and more complex, it becomes harder to ensure that they are dependable i.e.
reliable and secure. Existing dependability techniques do not take into account. Research Topics. The overall goal of my research is to identify important, practical problems in software construction, to study the formal properties of the problematic software, often through the lens of type theory, and to propose novel, effective, and provably correct solutions.
Research Documents. See below for most of my publications (and some work-in-progress), my thesis, most of my technical reports and some selected talks organized chronologically.
Karthik Pattabiraman, Nikhil Swamy, David Walker and Ben Zorn. Computer Security Foundations Symposium. Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy, David Walker, Benjamin G.
Zorn: Modular protections against non- control data attacks. Journal of Computer Security (JCS) 22(5) ().Download