Travelled to:1 × China
1 × India
3 × USA
Collaborated with:T.Kelly Y.Wang S.A.Mahlke M.Kudlur E.Kang S.Tripakis H.Liao A.J.Lee E.A.Rundensteiner S.Thomas H.K.Cho A.Nazeem S.A.Reveliotis
Talks about:deadlock (3) program (3) avoid (3) multithread (2) map (2) represent (1) synthesi (1) platform (1) practic (1) permiss (1)
Person: Stéphane Lafortune
DBLP: Lafortune:St=eacute=phane
Contributed to:
2013
2009
2009
2008
1993
2019Wrote 6 papers:
- CGO-2013-ChoKWLLM #concurrent #source code
- Practical lock/unlock pairing for concurrent programs (HKC, TK, YW, SL, HL, SAM), p. 12.
- CASE-2009-WangLNRKML #concurrent #parallel #source code #thread
- Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
- POPL-2009-WangLKKM #concurrent #formal method
- The theory of deadlock avoidance via discrete control (YW, SL, TK, MK, SAM), pp. 252–263.
- OSDI-2008-WangKKLM #concurrent #named #parallel #source code #thread
- Gadara: Dynamic Deadlock Avoidance for Multithreaded Programs (YW, TK, MK, SL, SAM), pp. 281–294.
- CIKM-1993-LeeRTL #assembly #representation
- An Information Model for Human Genome Map Representation and Assembly (AJL, EAR, ST, SL), pp. 75–84.
- CAV-2019-KangLT #automation #framework #platform #synthesis
- Automated Synthesis of Secure Platform Mappings (EK, SL, ST), pp. 219–237.