Papers from the Temporal Aspects Project

Aspect Languages

• Open Bisimulation for Aspects. R. Jagadeesan, C. Pitcher, J. Riely. In Proc. Sixth International Conference on Aspect-Oriented Software Development (AOSD), 2007. pp. 107--120. Available on-line. (long version with proofs.)

• Typing For a Minimal Aspect Language. P. Hui, J. Riely. In Foundations of Aspect-Oriented Languages (FOAL), 2007. Available on-line.

• Typed Parametric Polymorphism for Aspects. Radha Jagadeesan, Alan Jeffrey and James Riely. In Science of Computer Programming. Volume 63, Issue 3, 2006. pp. 267--296. Available on-line.

• Temporal Aspects as Security Automata. P. Hui and J. Riely. In Foundations of Aspect-Oriented Languages (FOAL). 2006. pp. 19--28. Available on-line.

• muABC: A Minimal Aspect Calculus. G. Bruns, R. Jagadeesan, A. S. A. Jeffrey and J. Riely. In Proc. Concur. Springer-Verlag. 2004. pp. 209--224. Available on-line.

• A Calculus of Untyped Aspect-Oriented Programs. R. Jagadeesan, A. S. A. Jeffrey and J. Riely. In Proc. European Conf. Object-Oriented Programming. Springer-Verlag. 2003. pp. 415--427. Available on-line.

(Access) Control in Security

• TAPIDO: Trust and Authorization via Provenance and Integrity in Distributed Objects. Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely. To appear in ESOP'08 17th European Symposium on Programming. 2008. Extended version of ESOP paper with type and effect system and results available on-line.

  Do As I SaY! Programmatic Access Control with Explicit Identities. Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely. In Computer Security Foundations Symposium (CSF). 2007. Extended version of CSF paper with several typos and minor bugs fixed available on-line.

• Specifications of A High-level Conflict-Free Firewall Policy Language for Multi-domain Networks. Bin Zhang, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher. In Proc. ACM symposium on access control models and technologies (SACMAT), 2007. Available on-line.

• Games for Controls. K. Chatterjee, R. Jagadeesan, and C. Pitcher. In Computer Security Foundations Workshop (CSFW). 2006. Available on-line.

• Lambda-RBAC: Programmatic Role-Based Access Control. R. Jagadeesan, A. Jeffrey, C. Pitcher, and J. Riely. In 33rd International Colloquium on Automata, Languages and Programming (ICALP). 2006. Available on-line.

• Timed Constraint Programming: A Declarative Approach to Usage Control. R. Jagadeesan, W. Marrero, C. Pitcher, and V. Saraswat In The Proceedings of Principles and Practice of Declarative Programming (PPDP). 2005. Available on-line.

Related Work

• A Theory of Memory Models. V. A. Saraswat, R. Jagadeesan, M. Maged, C. von Praun. In The ACM SIGPLAN 2007 Symposium on Principles and Practice of Parallel Programming. Available on-line.

• Approximate Reasoning for Real-Time Probabilistic Processes. V. Gupta and R. Jagadeesan and P. Panangaden. In Logical Methods in Computer Science. Vol 2 (1:4) 2006. pp. 1--23. Preliminary version In the Proceedings of 2004 First IEEE conference QEST. Available on-line.

• Concurrent Clustered Programming. V. Saraswat and R. Jagadeesan. In The Proceedings of the 2005 International Conference on Concurrency Theory. Available on-line.

• A Fully Abstract May Testing Semantics for Concurrent Objects. A. S. A. Jeffrey and J. Rathke. In Theoretical Computer Science. Volume 338, Number 1-3, 2005. pp. 17-63. Available on-line.

• Full Abstraction for Polymorphic Pi-Calculus. A. S. A. Jeffrey and J. Rathke. In Proc. Foundations of Software Science and Computation Structures. 2005. Springer-Verlag. pp. 266-281. Available on-line. Full version to appear in Theoretical Computer Science.

• Java Jr.: Fully Abstract Trace Semantics for a Core Java Language. A. S. A. Jeffrey and J. Rathke. In Proc. European Symposium on Programming. 2005. Available on-line.