Dynamic asynchronous iterations.
Matthew L. Daggitt and Timothy G. Griffin.
Journal of Parallel and Distributed Computing.
Volume 164, June 2022, Pages 168-177.
Detecting Unsafe BGP Policies in a Flexible World.
Debbie Perouli (Purdue University),
Timothy G. Griffin (University of Cambridge),
Olaf Maennel (Loughborough University),
Sonia Fahmy (Purdue University),
Cristel Pelsser (IIJ, Japan),
Alexander Gurney (University of Pennsylvania),
Iain Phillips (Loughborough University).
ICNP 2012.
Reducing the Complexity of BGP Stability Analysis with Hybrid Combinatorial-Algebraic Models.
Debbie Perouli,
Stefano Vissicchio,
Alexander Gurney,
Olaf Maennel,
Timothy G. Griffin,
Iain Phillips,
Sonia Fahmy,
and Cristel Pelsser
WRiPE 2012.
Rate Limiting in an Event-Driven BGP Speaker.
Euan D. Harris, Timothy G. Griffin.
IEEE Journal on Selected Areas of Communications (JSAC).
OCTOBER 2010, VOLUME 28, NUMBER 8.
Pages 1287 -- 1298.
An architecture for metarouting.
John N. Billings, Philip J. Taylor, Timothy G. Griffin.
Routing in Next Generation Workshop (RiNG), Madrid, December 2007.
TIE Breaking: Tunable Interdomain Egress Selection.
R. Teixeira, T. Griffin, M. G. C. Resende, and J. Rexford.
IEEE/ACM Transactions on Networking, vol. 15, no. 4, August 2007
(earlier version: in proceedings of CoNEXT, October 2005).
TIE Breaking: Tunable Interdomain Egress Selection.
Renata Teixeira (UCSD),
Timothy G. Griffin,
Jennifer Rexford (Princeton),
Mauricio G. C. Resende (AT&T Research).
Co-Next 2005.
A Comparison Between Two Session Maintenance Protocols.
Ana Cavalli (INT Paris), Timothy G. Griffin and Dario Vieira (INT Paris)
AICT/SAPIR/ELETE 2005,
July, Lisbon, Portugal.
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.
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.
Here is a precursor paper, complete with a rejection letter from LICS89.
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.