Full Name
Aquinas Hobor
(not current staff)
Variants
Hobor, A.
 
 
 
Email
dcsah@nus.edu.sg
 

Publications

Results 1-14 of 14 (Search time: 0.004 seconds).

Issue DateTitleAuthor(s)
12009A fresh look at separation algebras and share accountingDockins, R.; Hobor, A. ; Appel, A.W.
22010A logical mix of approximation and separationHobor, A. ; Dockins, R.; Appel, A.W.
32010A theory of indirection via approximationHobor, A. ; Dockins, R.; Appel, A.W.
42010A theory of indirection via approximationHobor, A. ; Dockinsy, R.; Appel, A.W.
52011Barriers in concurrent separation logicHobor, A. ; Gherghina, C.
62012Barriers in concurrent separation logic: Now with tool support!Hobor, A. ; Gherghina, C.
72020BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety ProofShinde, Shweta ; Wang, Shengyi; Yuan, Pinghai ; Hobor, Aquinas ; Roychoudhury, Abhik ; Saxena, Prateek 
82012Decision procedures over sophisticated fractional permissionsBach, L.X.; Gherghina, C.; Hobor, A. 
91-Jan-2021Functional Correctness of C Implementations of Dijkstra’s, Kruskal’s, and Prim’s AlgorithmsMohan, Anshuman ; Leow, Wei Xiang ; Hobor, Aquinas 
102018Logical reasoning for disjoint permissionsLe X.-B. ; Hobor A. 
112012Proceedings for FTfJP 2012: The 14th Workshop on Formal Techniques for Java-Like Programs - Co-located with ECOOP 2012 and PLDI 2012, Papers Presented at the Workshop: ForewordChin, W.-N. ; Hobor, A. 
129-Aug-2023Smart Learning to Find Dumb ContractsTamer Abdelaziz; Aquinas Hobor 
132013The ramifications of sharing in data structuresHobor, A. ; Villard, J.
1424-Sep-2012Time bounds for general function pointersDockins, R.; Hobor, A.