TIE Breaking: Tunable Interdomain Egress Selection.
Renata Teixeira (UCSD),
Timothy G. Griffin,
Jennifer Rexford (Princeton),
Mauricio G. C. Resende (AT&T Research).
To appear in Co-Next 2005.
Network Sensitivity to Hot Potato Disruptions.
Renata Teixeira (UCSD),
Timothy G. Griffin,
Geoff Voelker (UCSD),
Aman Shaikh (AT&T Research).
SIGCOMM 2004.
IP Forwarding Anamolies and Improving their Detection Using Multiple Data Sources.
Matthew Roughan (School of Mathematical Sciences, University of Adelaide),
Timothy G. Griffin,
Z. Morley Mao (University of Michigan),
Albert Greenberg (AT&T Research),
Brian Freeman (AT&T Labs).
SIGCOMM 2004 Workshop: Network Troubleshooting: Research, Theory and Operations Practice Meet Malfunctioning Reality.
Dynamics of Hot-Potato Routing in IP Networks.
Renata Teixeira (UCSD),
Aman Shaikh (UCSC),
Timothy G. Griffin,
Jennifer Rexford (AT&T Research)
SIGMETRICS 2004.
Combining Routing and Traffic Data for Detection of IP Forwarding Anomalies.
Matthew Roughan,
Timothy G. Griffin, Z. Morley Mao, Albert Greenberg, and Brian Freeman.
Poster paper, Proceedings of ACM SIGMETRICS 2004 (full version [PDF])
Proceedings of ACM SIGCOMM NeTs Workshop, Portland, OR, August 2004
A Framework For Using Redundant Data to Optimize Read-Intensive Database Applications.
Timothy G. Griffin, Richard Hull, Bharat Kumar, Daniel Lieuwen, and Gang Zhou.
Second International Workshop on Real-Time Databases (RTDB'97)
Published as Chapter 4 of
Real-Time Database and Information Systems --- Research Advances. Edited by Azer Bestavros and Victor Fay-Wolfe.Kluwer, 1997
Verifiable Properties of Database Transactions.
Michael Benedikt, Timothy G. Griffin, and Leonid Libkin.
Proceedings of the 1996 ACM-SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'96).
Algorithms for Deferred View Maintenance.
Latha S. Colby, Timothy G. Griffin,Leonid Libkin, Inderpal Singh Mumick, and Howard Trickey.
Proceedings of the 1996 ACM-SIGMOD International Conference on Management of Data (SIGMOD'96).
An Algebraic Approach to Supporting Multiple Deferred Views.
Latha S. Colby and Timothy G. Griffin.
Proceedings of the Workshop on Materialized Views: Techniques and Applications.
June 7, 1996. Montreal, Canada.
Incremental Maintenance of Views with Duplicates.
Timothy G. Griffin and Leonid Libkin.
Proceedings of the 1995 ACM-SIGMOD International Conference on Management of Data,
ACM Press, 1995, pages 328-339.
A tool for developing safe and efficient database transactions.
Sandra Corrico, Bryan Ewbank, Timothy G. Griffin, John Meale, and Howard Trickey.
XV International Switching Symposium of the World Telecomminications Congress.
April, 1995. Pages 173--177.
Integrity Maintenance in a Telecommunications Switch.
Timothy G. Griffin and Howard Trickey.
IEEE Data Engineering Bulletin, Special Issue on Database Constraint Management,
17(2) : 43--46, 1994.
Logic and Programming Languages
A Formulae-as-Types Notion of Control.
Timothy G. Griffin.
Proceedings of the Seventeenth ACM/SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL),
January 1990.
Notational definitions --- a formal account.
Timothy G. Griffin.
Proceedings of the Third
Symposium on Logic in Computer Science (LICS),
July 1988.
EFS --- An Interactive Environment for Formal Systems.
Timothy G. Griffin.
Ninth Conference on Automated Deduction,
May 1988,
Lecture Notes in Computer Science 310,
Springer-Verlag.