|
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 abstract (October 2012):
VisualizeSLE: A
Visual Editor for Separation Logic
Entailments (video
demo)
with Soe Lin Myat and Bimlesh Wadhwa
New paper (October 2012):
Constructing Hereditary Worlds
Within Worlds
with Robert Dockins
Poster (APLAS 2012):
VisualizeSLE: A
Visual Editor for Separation Logic
Entailments (abstract)
with Soe Lin Myat and Bimlesh Wadhwa
Publication (POPL 2013):
The Ramifications of Sharing
in Data Structures
with Jules Villard
See also this associated technical
report.
Publication (APLAS 2012):
Decision
Procedures over Sophisticated Fractional
Permissions
with Le Xuan Bach, Cristian Gherghina
Publication (MFPS 2012):
Verifying Time Bounds for
General Function Pointers
with Robert Dockins
I have been invited to be on the program committee for
APLAS 2012!
New paper (June 2012):
An Integrated Logic for
Termination and Non-
Termination Reasoning
with Ton-Chanh Le, Cristian Gherghina, and
Wei-Ngan Chin
Publication (LMCS):
Barriers in Concurrent Separation
Logic: Now with
Tool Support!
with Cristian Gherghina
I have been invited to become the Co-Chair (with
Chin Wei Ngan) for
FTfJP
2012.
Submit a
paper!
New paper (July 2011):
Improving the Compositionality of
Separation
Algebras
Publication (CPP 2011):
Introducing Logic and Formal
Methods with Coq
with Martin Henz
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.
|
