Travelled to:1 × Germany
1 × Hungary
1 × Italy
1 × Norway
1 × Spain
Collaborated with:A.W.Appel J.Villard C.Gherghina X.B.Le S.Wang R.Dockins F.Z.Nardelli Qinxiang Cao Anshuman Mohan A.Sharma A.Costea W.Chin
Talks about:logic (3) structur (2) concurr (2) certifi (2) reason (2) separ (2) data (2) indirect (1) disjoint (1) approxim (1)
Person: Aquinas Hobor
DBLP: Hobor:Aquinas
Contributed to:
2015
2013
2011201020082018
2019Wrote 7 papers:
- FM-2015-SharmaWCHC #infinity #reasoning
- Certified Reasoning with Infinity (AS, SW, AC, AH, WNC), pp. 496–513.
- POPL-2013-HoborV #data type
- The ramifications of sharing in data structures (AH, JV), pp. 523–536.
- ESOP-2011-HoborG #concurrent #logic
- Barriers in Concurrent Separation Logic (AH, CG), pp. 276–296.
- POPL-2010-HoborDA #approximate #formal method
- A theory of indirection via approximation (AH, RD, AWA), pp. 171–184.
- ESOP-2008-HoborAN #concurrent #logic #semantics
- Oracle Semantics for Concurrent Separation Logic (AH, AWA, FZN), pp. 353–367.
- ESOP-2018-LeH #logic #reasoning
- Logical Reasoning for Disjoint Permissions (XBL, AH), pp. 385–414.
- OOPSLA-2019-WangCMH #c #data type #source code
- Certifying graph-manipulating C programs via localizations within data structures (SW, QC, AM, AH), p. 30.