I agree that this site is using cookies. You can find further informations here.
X
Truong, Lenny
7  results:
Search for persons X
?
1

fault: A Python Embedded Domain-Specific Language for Metap..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar... - p. 403-414 , 2020
Link: https://doi.org/10.1007/..
 
?
2

PEak: A Single Source of Truth for Hardware Design and Veri..:

Donovick, Caleb ; Daly, Ross ; Melchert, Jackson...
http://arxiv.org/abs/2308.13106.  , 2023
Link: http://arxiv.org/abs/230..
 
?
3

fault: A Python Embedded Domain-Specific Language For Metap..:

Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar...
http://arxiv.org/abs/2006.11669.  , 2020
Link: http://arxiv.org/abs/200..
 
?
4

fault: A Python Embedded Domain-Specific Language for Metap..:

Truong, Lenny ; Herbst, Steven ; Setaluri, Rajsekhar...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363199/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
5

A Golden Age of Hardware Description Languages: Applying Pr..:

Truong, Lenny ; Hanrahan, Pat
Is Part Of LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019).  , 2019
Link: https://doi.org/10.4230/..
 
?
6

Anterior Cruciate Ligament Rehabilitation for the 10- to 18..:

van Melick, Nicky ; Dietvorst, Martijn ; van Oort, Maaike I.A.M....
Orthopaedic Journal of Sports Medicine.  11 (2023)  7 - p. , 2023
Link: https://doi.org/10.1177/..
 
?
7

Anterior Cruciate Ligament Rehabilitation for the 10- to 18..:

van Melick, Nicky ; Dietvorst, Martijn ; van Oort, Maaike I.A.M...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10363891/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
1-7