Technical report column

This quarter's Semantics column is devoted to a survey of BI-Logic - the logic of bunched implications - by David Pym. BI-Logics have a broad range of applications, including program verification. In particular they underpin Separation Logic which has ...

Complexity Theory, Game Theory, and Economics, Tim Roughgarden, TR18-001. Which Distribution Distances are Sublinearly Testable?, Constantinos Daskalakis, Gautam Kamath, John Wright, TR18-002. Proving that prBPP = prP is as hard as \almost" proving that ...

Suranga Nanayakkara is an Assistant Professor from the Engineering Product Development Pillar at Singapore University of Technology and Design (SUTD). Before joining SUTD, Suranga was a Postdoctoral Associate at the Fluid Interfaces group, MIT Media ...