• Home
• Projects
• Teaching
• Publications
• Curriculum Vitae
• Research Statement

Aquinas Hobor
Lee Kuan Yew
Postdoctoral Fellow

Work address:
NUS School of Computing
Computing 1 #03-25
13 Computing Drive
Singapore 117417

Home address:
45 Mosque Street #04-01
Singapore 059523

Phone:
w: +65 6516-4541
c: +65 8366-3664

Email:

Old email addresses:
Aquinas at verizon.net

Aquinas Hobor

Publications

A Theory of Indirection via Approximation (PDF, BIB)
Aquinas Hobor, Robert Dockins, Andrew W. Appel
To appear at POPL 2010, January 2010.

A Fresh Look at Separation Algebras and Share Accounting (PDF, BIB)
Robert Dockins, Aquinas Hobor, Andrew W. Appel
To appear in APLAS 2009, December 2009.

Oracle Semantics (PDF, PPT : Thesis defense)
Aquinas Hobor
Ph.D. Thesis, Princeton TR-836-08, October 2008.

Comparing Semantic and Syntactic Methods in Mechanized Proof Frameworks (PDF, PPT : by C. J. Bell)
C. J. Bell, Robert Dockins, Aquinas Hobor, Andrew W. Appel, David Walker
Second International Workshop on Proof-Carrying Code (PCC 2008), June 2008.

Multimodal Separation Logic for Reasoning About Operational Semantics (PDF, BIB)
Robert Dockins, Andrew W. Appel, Aquinas Hobor
Twenty-Fourth Conference on Mathematical Foundations of Programming Semantics (MFPS 2008), May 2008.  ENTCS Vol. 218, Oct. 22, 2008, pp. 5-20.

Oracle Semantics for Concurrent Separation Logic (Extended Version) (PDF, PPT : Job Talk)
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
Princeton TR-825-08, June 2008.

Oracle Semantics for Concurrent Separation Logic (PDF, PPT)
Aquinas Hobor, Andrew W. Appel, Francesco Zappa Nardelli
17th European Symposium of Programming (ESOP 2008), pp. 353-367, April 2008.

Co-authors

Andrew W. Appel, C. J. Bell, Robert Dockins, Francesco Zappa Nardelli,
David Walker