Aquinas Hobor: Home

As of October 23, 2011, I have become a Lecturer at National University of Singapore's School of Computing. I was a Lee Kuan Yew Postdoctoral Fellow from October 23, 2008 - October 22, 2011.

Since I have been in Singapore I have been refining some of the semantic techniques developed in my thesis, particularly models for higher-order separation logics.

I have also been investigating other aspects of concurrency, and have been thinking about program logics for weak memory models.

News

New paper (Janurary 2012):
A Specification Logic for Termination Reasoning
with Ton-Chanh Le, Cristian Gherghina, and
Wei-Ngan Chin

I have been invited to become the Co-Chair (with Chin Wei Ngan) for FTfJP 2012. Submit a paper!

New paper (September 2011):
Barriers in Concurrent Separation Logic: Now with
Tool Support!
with Cristian Gherghina

New paper (July 2011):
Improving the Compositionality of Separation
Algebras

Publication (CPP 2011):
Introducing Logic and Formal Methods with Coq
with Martin Henz

New paper (June 2011):
Verifying Time Bounds for General Function Pointers
with Robert Dockins

Software release (12/8/2010): MSL v0.3
with Robert Dockins and Andrew W. Appel

Publication (ESOP 2011):
Barriers in Concurrent Separation Logic
with Cristian Gherghina

Tutorial presentation (APLAS 2010, 11/28/10):
Developing and Mechanizing Semantic Models for
Program Logics
with Robert Dockins
(associated with A Logical Mix of Approximation and
Separation)

Publication (Dagstuhl Seminar 10351):
A Theory of Termination via Indirection
with Robert Dockins

Publication (APLAS 2010, 11/28/10):
A Logical Mix of Approximation and Separation
with Robert Dockins and Andrew W. Appel
(associated with Developing and Mechanizing
Semantic Models for Program Logics)

Publication (POPL 2010, 1/21/10):
A Theory of Indirection via Approximation
with Robert Dockins and Andrew W. Appel

Publication (APLAS 2009, 12/15/09):
A Fresh Look at Separation Algebras and Share
Accounting
with Robert Dockins and Andrew W. Appel

On October 17th, 2008, I successfully achieved escape velocity from the Department of Computer Science at Princeton University when I defended my PhD thesis, in which I developed a modular semantic model for concurrency.