Abstract: Prolog is an expressive declarative language, and it is the ideal language for learning from structured and complex data...

Abstract: Fine-grained concurrent data structures (or FCDs) reduce the granularity of critical sections in both time and space, th...

Abstract: Microsoft research connecting to Labs and Academia

Abstract: Modern software systems are built by composing components drawn from large repositories, whose size and complexity is in...

Abstract: Interaction of embedded systems with their physical environment often imposes timing constraints on the embedded system&...

Abstract: The field of Constraint Programming (CP) is concerned with solving combinatorial optimisation problems, and the associat...

Abstract: Combinatorial explosion of protein states generated by post-translational modifications and complex formation. Rule-base...

Abstract: Research on certifying information flow security for sequential programs has made much progress over the last fifteen ye...

Abstract: Noninterference security (due to Goguen and Meseguer) considers breaches that result from the -interference- that hidden...

Abstract: In this talk we discuss several recent results about min-entropy leakage. We first briefly recall the definitions of min...

Abstract: There is an increasing interest in understanding and analyzing the use of resources in software and hardware systems. Ce...

Abstract: This talk introduces g-leakage, a rich generalization of the min-entropy model of quantitative information flow. In g-le...

Abstract: Effective static analyses must precisely approximate both heap structure and information about values. During the last d...

Abstract: Many useful programming constructions can be expressed as monads. Examples include probabilistic modeling, functional re...

Abstract: Disjointness between resources is an extraordinarily useful property when verifying concurrent programs. Threads that ac...

Abstract: Natural languages like English are rich, complex, and powerful. The highly creative and graceful use of languages like E...

Abstract: Writing correct software is difficult; writing reliable numerical software involving floating-point numbers is even more...

Abstract: Software developers primarily rely on experience and intuition to make development decisions. I will describe speculativ...

Abstract: We consider the problem of specifying combinations of data structures with complex sharing in a manner that is both decl...

Abstract: In the last two decades, program verification and testing have gone a long way from a concept to practical tools which c...

Abstract: Scholz posed in 1952 the problem of characterising the class of spectra (of formulas in first-order logic with equality)...

Abstract: Self-adjusting computation is a language-based approach to writing incremental programs that respond dynamically to inpu...

Abstract: Many interesting program transformations (by Burstall-Darlington, Bird, Pettorossi, and many others) have been published...

Abstract: Most analysis methods for information flow properties, such as noninterference, do not consider temporal restrictions. I...

Abstract: From a programming perspective, Alan Turing’s epochal 1936 paper on computable functions introduced several new co...

Abstract: How to construct a general program obfuscator? We present a novel approach to automatically generating obfuscated code P...

Abstract: Quick overview of: Interpreters, Compilers, and Program Specialisers The Futamura projections (Futamura stated them; 13 ...