BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × United Kingdom
Collaborated with:
G.Parlato S.L.Torre B.Fischer A.L.Ferrara P.Madhusudan O.Inverso P.Schrammel B.F.0002
Talks about:
program (3) lazi (3) unbound (2) context (2) tool (2) seq (2) interleav (1) contribut (1) administr (1) sequenti (1)

Person: Truc L. Nguyen

DBLP DBLP: Nguyen:Truc_L=

Contributed to:

TACAS 20152015
CAV 20142014
ASE 20152015
ASE 20172017

Wrote 4 papers:

TACAS-2015-Nguyen0TP #bound #c #contest #lazy evaluation #source code
Unbounded Lazy-CSeq: A Lazy Sequentialization Tool for C Programs with Unbounded Context Switches — (Competition Contribution) (TLN, BF, SLT, GP), pp. 461–463.
CAV-2014-FerraraMNP #data access #named #policy #verification
Vac — Verifier of Administrative Role-Based Access Control Policies (ALF, PM, TLN, GP), pp. 184–191.
ASE-2015-InversoN0TP #bound #concurrent #model checking #multi #named #thread
Lazy-CSeq: A Context-Bounded Model Checking Tool for Multi-threaded C-Programs (OI, TLN, BF, SLT, GP), pp. 807–812.
ASE-2017-NguyenS0TP #concurrent #parallel #source code
Parallel bug-finding in concurrent programs via reduced interleaving instances (TLN, PS, BF0, SLT, GP), pp. 753–764.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.