Research Interests
From SanguineV
This page has all sorts of things related to research done by me, close to me, that I care about, and occasionally that I have nothing to do with but want to share.
My research
I am currently working on my doctorate in computer science at the University of Technology, Sydney (UTS). The (mostly unhelpful) title of which is "Concurrent Pattern Matching".
If you want to know more about my PhD then the doctoral assessment report is available here as well as the slides.
I am currently working on the bondi programming language being developed here at UTS.
Other papers/slides include:
- Concurrent pattern calculus in bondi To be presented at YR-CONCUR the young researcher workshop connected to CONCUR 2010.
- Concurrent Pattern Calculus (long version - with proofs) with Daniele Gorla and Barry Jay. To be presented/appear in proceedings of TCS 2010.
- A Combinatory Account of Internal Structure with Barry Jay, currently under review at the Journal of Symbolic Logic. Old version.
- A presentation on my doctorate at Université Paris Diderot, the slides of which are available here.
- Paper submitted to ESOP'08 (and rejected): Multi-polymorphic programming in bondi
- My honours thesis: Interpreting the Untyped Pattern Calculus in bondi
- Presentation at SAPLING in 2007: Pure Bondi with datatypes and patterns.
