Education
Ph.D. in
Electrical and Computer Engineering:
Carnegie
Mellon University, Pittsburgh, PA.
2006
M.S. in
Electrical and Computer Engineering:
Carnegie
Mellon University, Pittsburgh, PA.
2004
M.S. in
Computer Science: December, 2002.
University of Pittsburgh, Pittsburgh, PA.
B.A. in Economics:
Davidson College, Davidson NC. 1999. Focus: Economics, Finance and Banking.
Talk
Current Research
Non-determinism, a lack of reproducible behavior of the same
component/process across different computers/environments, in replicated,
fault-tolerant systems is an inevitable part of the real-world. Current
fault-tolerant practices assume purely deterministic behavior, thus failing to
address real applications. This research aims to develop a comprehensive model
of nondeterministic behavior by applying program analysis, which has been
largely under utilized in fault-tolerance. This research is a part of larger
effort, MEAD (www.ece.cmu.edu/~mead),
to build real-time, fault-tolerant middleware systems. Current research
accomplishments include the development of tools to automatically identify and
correct sources of non-determinism in middleware applications. This research has
facilitated gaining insight into the application’s behavior and, thus, reduced
the overheads that are normally associated with eliminating non-determinism.
This approach is intentionally non-transparent to the programmer, thereby
serving to educate application developers on the pitfalls of any non-determinism
that might be introduced into their code and allowing them to choose how to
handle the problem of non-determinism, based on the associated overheads.
Long-term research goals are to apply program analysis to other dependability
issues, such as network partitioning, in distributed systems.
Masters Research
Dynamic Compiler Optimization – Identified phases in program execution and
developed optimization schemes to best fit specific phases. Developed a system
of filters that minimize the amount of information that needs to be collected
based on desired characteristics. Developed binary modification tool in order to
implement filters for profiling and optimization.
Publications/Workshops
Living Realistically with Nondeterminism in Fault-Tolerant Replicated
Applications. J. Slember and P. Narasimhan, OMG Real-time Workshop,
Washington D.C., July 2005
MEAD: Support for Real-Time Fault-Tolerant CORBA. P. Narasimhan, T. A.
Dumitras, A. M. Paulos, S. M. Pertet, C. F. Reverte, J. G. Slember and
D. Srivastava, Concurrency and Computation: Practice and Experience,
vol. 17, no. 12, 2005, pp. 1527-1545; Copyright 2005 John Wiley and
Sons.
Using Program Analysis to Identify and Compensate for Nondeterminism in Fault-Tolerant,
Replicated Systems. Joseph G. Slember and Priya Narasimhan. In Proceedings of
the 23rd Symposium on Reliable Distributed Systems, October
2004, Florianopolis, Brazil.
Phase
Identification in Application Execution. Joseph
G. Slember. Masters Project Thesis, University of
Pittsburgh
, December 2002,
Pittsburgh, PA.
Testing
the Portability of Desktop Applications to a Networked Embedded System. Michael
W. Bigrigg and Joseph G. Slember. Workshop on Reliable Embedded Systems, in
conjunction with the 20th IEEE Symposium on Reliable Distributed Systems,
October 2001,
New Orleans, LA.
System
Adaptation Based on Analysis of Program Reliability Michael W. Bigrigg, Joseph
G. Slember and Jacob J. Vos. PDL Workshop for Reliable Embedded Systems,
October 2001.
Other papers
pending..... check back soon
