Dominic Duggan

According to our database1, Dominic Duggan
  • authored at least 46 papers between 1988 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Types for Location and Data Security in Cloud Environments.
CoRR, 2017

Types for Location and Data Security in Cloud Environments.
Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

2016
Parameterized Dataflow (Extended Abstract).
Proceedings of the Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, 2016

Mobile Device Administration for Secure and Manageable Health Data Collection in Under-Resourced Areas.
Proceedings of the 7th Annual Symposium on Computing for Development, 2016

2013
Security Correctness for Secure Nested Transactions - Extended Abstract.
Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

The Development and Adoption of an HIV Data Exchange Protocol by Large Global HIV Networks - Lessons Learned and Future Direction.
Proceedings of the MEDINFO 2013, 2013

2012
Sessional dataflow: short paper.
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012

Security correctness for secure nested transactions: position paper.
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

Static Sessional Dataflow.
Proceedings of the ECOOP 2012 - Object-Oriented Programming, 2012

2011
Transactional Correctness for Secure Nested Transactions - (Extended Abstract).
Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

2008
Causality and Accountability.
Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

2007
Capability passing processes.
Sci. Comput. Program., 2007

An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2007

2006
Capability-Passing Processes.
Electr. Notes Theor. Comput. Sci., 2006

2005
Type-based hot swapping of running modules.
Acta Inf., 2005

Type-Based Distributed Access Control vs. Untyped Attackers.
Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

2004
Abstractions for fault-tolerant global computing.
Theor. Comput. Sci., 2004

Type-based cryptographic operations.
Journal of Computer Security, 2004

2003
Type-Based Distributed Access Control.
Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

2002
Type-Safe linking with recursive DLLs and shared libraries.
ACM Trans. Program. Lang. Syst., 2002

Open and closed scopes for constrained genericity.
Theor. Comput. Sci., 2002

Type-checking multi-parameter type classes.
J. Funct. Program., 2002

Abstractions for Fault-Tolerant Global Computing.
Electr. Notes Theor. Comput. Sci., 2002

Object type constructors.
Acta Inf., 2002

Cryptographic Types.
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001
Finite subtype inference with explicit polymorphism.
Sci. Comput. Program., 2001

Higher-Order Substitutions.
Inf. Comput., 2001

Modular Mixin-Based Inheritance for Application Frameworks.
Proceedings of the 2001 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2001

Type-Based Hot Swapping of Running Modules.
Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), 2001

2000
Sharing in Typed Module Assembly Language.
Proceedings of the Types in Compilation, Third International Workshop, 2000

Atomic Failure in Wide-Area Computation.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems IV, 2000

A Mixin-Based, Semantics-Based Approach to Reusing Domain-Specific Programming Languages.
Proceedings of the ECOOP 2000, 2000

1999
Dynamic Typing for Distributed Programming in Polymorphic Languages.
ACM Trans. Program. Lang. Syst., 1999

Modular Type-Based Reverse Engineering of Parameterized Types in Java Code.
Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

1998
Unification with Extended Patterns.
Theor. Comput. Sci., 1998

A Type-Based Semantics for User-Defined Marshalling in Polymorphic Languages.
Proceedings of the Types in Compilation, Second International Workshop, 1998

Finite Subtype Inference with Explicit Polymorphism.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Derivatives: A Construct for Internet Programming.
Proceedings of the Internet Programming Languages, 1998

1996
Explaining Type Inference.
Sci. Comput. Program., 1996

Kinded Type Inference for Parametric Overloading.
Acta Inf., 1996

A Type-Based Implementation of a Language with Distributed Scope.
Proceedings of the Mobile Object Systems, 1996

Mixin Modules.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), 1996

1994
First-Class Stores and Partial Continuations in a Programming Language and Environment.
Comput. Lang., 1994

Logical Closures.
Proceedings of the Logic Programming and Automated Reasoning, 5th International Conference, 1994

On Abstraction and Sharing in Generic Modules.
COODBSE, 1994

1988
Stores and Partial Continuations as First-Class Objects in a Language and its Environment.
Proceedings of the Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages, 1988


  Loading...