Picture of Alan Jeffrey

Alan Jeffrey

Naperville, IL, USA
Member of Technical Staff

Education

  • PhD, Oxford University, 1992.
  • BSc, Edinburgh University, 1987.

Professional Activities


Selected Articles and Publications

  • Functional Reactive Types. A. S. A. Jeffrey. In Proc. EACSL Computer Science Logic / IEEE Logic in Computer Science. 2014.

  • An Extensible Approach to Session Polymorphism. M. Goto, R. Jagadeesan, A. S. A. Jeffrey, C. Pitcher and J Riely. In Math. Struct. in Comp. Science. 2014. To appear.

  • Functional Reactive Programming with Liveness Guarantees. A. S. A. Jeffrey. In Proc. ACM Int. Conf. Functional Programming. 2013.

  • Validation and Interactivity of Web API Documentation. P. J. Danielsen and A. S. A. Jeffrey. In Proc. IEEE Int. Conf. Web Services. 2013.

  • Causality For Free!: Parametricity Implies Causality for Functional Reactive Programs. A. S. A. Jeffrey. In Proc. ACM Workshop Programming Languages meets Program Verification. 2013.

  • Dependently Typed Web Client Applications: FRP in Agda in HTML5. A. S. A. Jeffrey. In Proc. Practical Aspects of Declarative Languages. 2013.

  • As XDuce is to XML so ? is to RDF: Programming Languages for the Semantic Web. A. S. A. Jeffrey and P. F. Patel-Schneider. In Proc. Off The Beaten Track: Workshop on Underrepresented Problems for Programming Language Researchers. 2012.

  • LTL Types FRP: Linear-time Temporal Logic Propositions as Types, Proofs as Functional Reactive Programs. A. S. A. Jeffrey. In Proc. ACM Workshop Programming Languages meets Program Verification. 2012.

  • The Lax Braided Structure of Streaming I/O. A. S. A. Jeffrey and J. Rathke. In Proc. Conf. Computer Science Logic. 2011.

  • Integrity Constraints for Linked Data. A. S. A. Jeffrey and P. F. Patel-Schneider. In Proc. Int. Workshop Description Logics. 2011.

  • Confidential Safety via Correspondence Assertions. R. Jagadeesan, A. Jeffrey, C. Pitcher and J. Riely. In Proc. Workshop Foundations of Security and Privacy. 2010.

  • Towards a Theory of Accountability and Audit. R. Jagadeesan, A. Jeffrey, C. Pitcher and J. Riely. In Proc. European Symp. Research in Computer Security. Springer-Verlag. 2009. pp. 152-167.

  • Model Checking Firewall Policy Configurations. A. S. A. Jeffrey and T. Samak. In Proc IEEE Int. Symp. Policies for Distributed Systems and Networks. 2009. pp. 60 -67.

  • Stream Firewalling of XML Constraints. M. Benedikt, A. S. A. Jeffrey and R. Ley-Wild. In Proc. ACM SIGMOD Int. Conf. Management of Data. 2008. pp. 487-498.

  • Lambda-RBAC: Programming with Role-Based Access Control. R. Jagadeesan, A. S. A. Jeffrey, C. Pitcher and J. Riely. In Logical Methods In Computer Science. 4 (1). 2008.