Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Chong, Nathan"'
Publikováno v:
Proceedings of 39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'18), ACM, New York, NY, USA. 2018
Weak memory models provide a complex, system-centric semantics for concurrent programs, while transactional memory (TM) provides a simpler, programmer-centric semantics. Both have been studied in detail, but their combined semantics is not well under
Externí odkaz:
http://arxiv.org/abs/1710.04839
The discovery of inductive invariants lies at the heart of static program verification. Presently, many automatic solutions to inductive invariant generation are inflexible, only applicable to certain classes of programs, or unpredictable. An automat
Externí odkaz:
http://arxiv.org/abs/1612.01198
Autor:
Chong, Nathan
This thesis is about scalable formal verification techniques for software. A verification technique is scalable if it is able to scale to reasoning about real (rather than synthetic or toy) programs. Scalable verification techniques are essential for
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.656746
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
BETTS, ADAM1 a.betts@imperial.ac.uk, CHONG, NATHAN1 n.chong10@imperial.ac.uk, DONALDSON, ALASTAIR F.1 alastair.donaldson@imperial.ac.uk, KETEMA, JEROEN1 j.ketema@imperial.ac.uk, QADEER, SHAZ2 qadeer@microsoft.com., THOMSON, PAUL1 paul.thomson11@imperial.ac.uk, WICKERSON, JOHN1 j.wickerson@imperial.ac.uk
Publikováno v:
ACM Transactions on Programming Languages & Systems. May2015, Vol. 37 Issue 3, p10:1-10:49. 49p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM / SIGPLAN Notices; Apr2018, Vol. 53 Issue 4, p211-225, 15p
Autor:
Kashiwagi, Dean T., Chong, Nathan
Proceedings Paper (for Acquisition Research Program) The culture within the Federal Government Acquisitions is based on the Federal Acquisition Regulations (FAR) and its interpretation, often placing organizations/agencies in the cultural environment
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::afaed1ac745ca25cf083655729af0818
https://hdl.handle.net/10945/33248
https://hdl.handle.net/10945/33248
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.