Dominic Duggan

46 papers A* 1A 7B 2Journal 16Unranked 20
YearRankTypeTitle / Venue / Authors
2017 A conf
Types for Location and Data Security in Cloud Environments.
CSF
Ivan Gazeau, Tom Chothia, Dominic Duggan
2017 J jnl
Types for Location and Data Security in Cloud Environments.
CoRR
Ivan Gazeau, Tom Chothia, Dominic Duggan
2016 — conf
Mobile Device Administration for Secure and Manageable Health Data Collection in Under-Resourced Areas.
ACM DEV
Dominic Duggan, Justice A. Muh, Leonard Ndongo, Jianhua Yao, Lian Yu
2016 — conf
Parameterized Dataflow (Extended Abstract).
QAPL
Dominic Duggan, Jianhua Yao
2013 — conf
Security Correctness for Secure Nested Transactions - Extended Abstract.
TGC
Dominic Duggan, Ye Wu
2013 — conf
The Development and Adoption of an HIV Data Exchange Protocol by Large Global HIV Networks - Lessons Learned and Future Direction.
MedInfo
Firas H. Wehbe, Dominic Duggan, Monique Termote, Jesper Kjær
2012 — conf
Security correctness for secure nested transactions: position paper.
PLAS
Dominic Duggan, Ye Wu
2012 — conf
Sessional dataflow: short paper.
DAMP
Dominic Duggan, Jianhua Yao
2012 A conf
Static Sessional Dataflow.
ECOOP
Dominic Duggan, Jianhua Yao
2011 — conf
Transactional Correctness for Secure Nested Transactions - (Extended Abstract).
TGC
Dominic Duggan, Ye Wu
2008 — conf
Causality and Accountability.
Formal Aspects in Security and Trust
Dominic Duggan, Ye Wu
2007 J jnl
Capability passing processes.
Sci. Comput. Program.
Tom Chothia, Dominic Duggan
2006 — conf
An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract).
SecReT@ICALP
Tom Chothia, Dominic Duggan, Ye Wu
2005 — conf
Capability-Passing Processes.
FOCLASA
Tom Chothia, Dominic Duggan
2005 — conf
Type-Based Distributed Access Control vs. Untyped Attackers.
Formal Aspects in Security and Trust
Tom Chothia, Dominic Duggan
2005 J jnl
Type-based hot swapping of running modules.
Acta Informatica
Dominic Duggan
2004 J jnl
Abstractions for fault-tolerant global computing.
Theor. Comput. Sci.
Tom Chothia, Dominic Duggan
2004 J jnl
Type-based cryptographic operations.
J. Comput. Secur.
Dominic Duggan
2003 — conf
Type-Based Distributed Access Control.
CSFW
Tom Chothia, Dominic Duggan, Jan Vitek
2002 — conf
Abstractions for Fault-Tolerant Global Computing.
F-WAN@ICALP
Dominic Duggan
2002 — conf
Cryptographic Types.
CSFW
Dominic Duggan
2002 J jnl
Object type constructors.
Acta Informatica
Dominic Duggan
2002 J jnl
Open and closed scopes for constrained genericity.
Theor. Comput. Sci.
Dominic Duggan, John Ophel
2002 J jnl
Type-Safe linking with recursive DLLs and shared libraries.
ACM Trans. Program. Lang. Syst.
Dominic Duggan
2002 J jnl
Type-checking multi-parameter type classes.
J. Funct. Program.
Dominic Duggan, John Ophel
2001 J jnl
Finite subtype inference with explicit polymorphism.
Sci. Comput. Program.
Dominic Duggan
2001 J jnl
Higher-Order Substitutions.
Inf. Comput.
Dominic Duggan
2001 A conf
Modular Mixin-Based Inheritance for Application Frameworks.
OOPSLA
Dominic Duggan, Ching-Ching Techaubol
2001 A conf
Type-Based Hot Swapping of Running Modules.
ICFP
Dominic Duggan
2000 A conf
A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.
ECOOP
Dominic Duggan
2000 — conf
Atomic Failure in Wide-Area Computation.
FMOODS
Dominic Duggan
2000 — conf
Sharing in Typed Module Assembly Language.
Types in Compilation
Dominic Duggan
1999 J jnl
Dynamic Typing for Distributed Programming in Polymorphic Languages.
ACM Trans. Program. Lang. Syst.
Dominic Duggan
1999 A conf
Modular Type-Based Reverse Engineering of Parameterized Types in Java Code.
OOPSLA
Dominic Duggan
1998 — conf
A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.
Types in Compilation
Dominic Duggan
1998 — conf
Derivatives: A Construct for Internet Programming.
ICCL Workshop: Internet Programming Languages
Dominic Duggan
1998 B conf
Finite Subtype Inference with Explicit Polymorphism.
SAS
Dominic Duggan
1998 J jnl
Unification with Extended Patterns.
Theor. Comput. Sci.
Dominic Duggan
1996 — conf
A Type-Based Implementation of a Language with Distributed Scope.
Mobile Object Systems
Dominic Duggan
1996 J jnl
Explaining Type Inference.
Sci. Comput. Program.
Dominic Duggan, Frederick Bent
1996 J jnl
Kinded Type Inference for Parametric Overloading.
Acta Informatica
Dominic Duggan, Gordon V. Cormack, John Ophel
1996 A conf
Mixin Modules.
ICFP
Dominic Duggan, Constantinos Sourelis
1994 J jnl
First-Class Stores and Partial Continuations in a Programming Language and Environment.
Comput. Lang.
Gregory F. Johnson, Dominic Duggan
1994 B conf
Logical Closures.
LPAR
Dominic Duggan
1994 — conf
On Abstraction and Sharing in Generic Modules.
COODBSE
Jun Shen, Gordon V. Cormack, Dominic Duggan
1988 A* conf
Stores and Partial Continuations as First-Class Objects in a Language and its Environment.
POPL
Gregory F. Johnson, Dominic Duggan