| Publication | Date of Publication | Type |
|---|
A categorical interpretation of Landin's correspondence principle
Lecture Notes in Computer Science | 2023-04-28 | Paper |
Comments on summing over bordisms in TQFT
Journal of High Energy Physics | 2023-01-31 | Paper |
| A simple semantics and static analysis for stack inspection | 2021-06-21 | Paper |
A simple semantics and static analysis for stack inspection
(available as arXiv preprint) | 2021-06-21 | Paper |
Hyperkähler isometries of K3 surfaces
Journal of High Energy Physics | 2021-03-29 | Paper |
Relational logic with framing and hypotheses
(available as arXiv preprint) | 2018-04-19 | Paper |
| scientific article; zbMATH DE number 6811485 (Why is no real title available?) | 2017-11-22 | Paper |
Orthogonality tests with de-trended data: interpreting Monte-Carlo results using Nagar expansions
Economics Letters | 2017-11-09 | Paper |
A logic for information flow in object-oriented programs
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2017-08-21 | Paper |
A modular, polyvariant and type-based closure analysis
Proceedings of the second ACM SIGPLAN international conference on Functional programming | 2017-08-21 | Paper |
Testing for panel cointegration using common correlated effects estimators
Journal of Time Series Analysis | 2017-07-21 | Paper |
A theory of slicing for probabilistic control flow graphs
Lecture Notes in Computer Science | 2016-06-10 | Paper |
Specifying and verifying concurrent algorithms with histories and subjectivity
Programming Languages and Systems | 2016-04-26 | Paper |
Do we reject rational expectations models too often?: Interpreting evidence using Nagar expansions
Economics Letters | 2016-01-01 | Paper |
What you lose is what you leak: information leakage in declassification policies
Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
On automation in the verification of software barriers: experience report
Journal of Automated Reasoning | 2015-06-23 | Paper |
Representation independence, confinement and access control (extended abstract)
Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-03-17 | Paper |
Modular reasoning about heap paths via effectively propositional formulas
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2014-04-10 | Paper |
Local reasoning for global invariants. I: Region logic
Journal of the ACM | 2014-02-17 | Paper |
Local reasoning for global invariants. II: Dynamic boundaries
Journal of the ACM | 2014-02-17 | Paper |
Decision procedures for region logic
Lecture Notes in Computer Science | 2012-06-15 | Paper |
Modelling declassification policies using abstract domain completeness
Mathematical Structures in Computer Science | 2011-12-08 | Paper |
Dynamic boundaries: information hiding by second order framing with first order assertions
Programming Languages and Systems | 2010-05-04 | Paper |
Ownership confinement ensures representation independence for object-oriented programs
Journal of the ACM | 2008-12-21 | Paper |
A logic for information flow analysis with an application to forward slicing of simple imperative programs
Science of Computer Programming | 2007-01-22 | Paper |
| scientific article; zbMATH DE number 2242599 (Why is no real title available?) | 2006-01-02 | Paper |
Programming Languages and Systems
Lecture Notes in Computer Science | 2005-09-13 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Static Analysis
Lecture Notes in Computer Science | 2005-08-24 | Paper |
Some cautions on the use of panel methods for integrated series of macroeconomic data
Econometrics Journal | 2005-07-04 | Paper |
Stack-based access control and secure information flow
Journal of Functional Programming | 2005-05-03 | Paper |
Stackability in the simply-typed call-by-value lambda calculus
Science of Computer Programming | 2000-07-05 | Paper |
| Co-integration, Error Correction, and the Econometric Analysis of Non-Stationary Data | 1998-11-25 | Paper |
Error-correction Mechanism Tests for Cointegration in a Single-equation Framework
Journal of Time Series Analysis | 1998-08-09 | Paper |
Estimating Intertemporal Quadratic Adjustment Cost Models with Integrated Series
International Economic Review | 1991-01-01 | Paper |
