Faculty
Assistant Professor
Karthik Pattabiraman
Fault-tolerant and secure systems, programming languages and compilers, web applications.
Karthik Pattabiraman received his MS and PhD from the University of Illinois at Urbana-Champaign (UIUC) in 2004 and 2009 respectively. Dr. Pattabiraman joined the Department of Electrical and Computer Engineering in 2010 after spending a post-doctoral year at Microsoft Research (Redmond). He has also worked at IBM Research and Los Alamos National Labs, USA.
Dr. Pattabiraman's interests include fault-tolerant and secure computer systems, programming languages, and web applications. Dr. Pattabiraman was awarded the William C. Carter award for the best paper at the IEEE International Conference on Dependable Systems and Networks (DSN), 2008.
Research Areas
Research Groups
- Computer and Software Engineering
- Computing Systems and Networking Research (SyNeRG)
- Secure Systems Engineering (LERSSE)
Courses
| EECE 310 |
Software Engineering Engineering practices for the development of non-trivial software-intensive systems including specification, software design, implementation, verification and validation. Iterative development. Recognized standards, guidelines and models. |
| EECE 320 |
Discrete Structures and Algorithms Discrete mathematics for computer engineering: logic and proofs; discrete structures, such as trees and graphs, and their properties; introduction to algorithms and algorithmic complexity. |
| EECE 417 |
Software Architecture High-level design of software systems, starting from requirements gathering to implementation, architectural styles and idioms, connectors, modeling, and visualization. Real world case studies of software systems and their architecture. |
| EECE 513 |
Fault Tolerant Digital Systems Design and analysis of high-availability and life-critical embedded and commercial systems. Course Outline This course focuses on the design of fault-tolerant and reliable computer systems. In particular, we will attempt to understand the root causes of faults in computer systems and their impact. We will study both traditional and cutting-edge techniques to provide fault-tolerance and error resilience. Finally, we will explore the practical applications of the techniques in the context of real systems deployed in mission-critical settings. |
Latest Publications
| 2010 |
Automated Derivation of Application-specific Error Detectors Using Dynamic Analysis Journal Article | Dependable and Secure Computing, IEEE Transactions on |
| 2010 |
Towards understanding the effects of intermittent hardware faults on programs Conference Paper | Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on |
| 2009 |
An end-to-end approach for the automatic derivation of application-aware error detectors Conference Paper | Dependable Systems Networks, 2009. DSN '09. IEEE/IFIP International Conference on |
| 2009 |
Automated Derivation of Application-Aware Error Detectors using Static Analysis: The Trusted Illiac approach Journal Article | Dependable and Secure Computing, IEEE Transactions on |
| 2009 |
ToleRace: Detecting and Tolerating Asymmetric Races Conference Paper |
| Show more |
Contact
Office: KAIS 4048Electrical and Computer Engineering
The University of British Columbia
4048 - 2332 Main Mall
Vancouver BC V6T 1Z4
Canada
The University of British Columbia
4048 - 2332 Main Mall
Vancouver BC V6T 1Z4
Canada
karthikp [at] ece [dot] ubc [dot] ca
(604) 827-4245
Website:
http://blogs.ubc.ca/karthik
http://blogs.ubc.ca/karthik
