Login / Signup
Lenny Truong
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Single Source
Programming Language
Strongly Typed
Hardware Designs
Top Venues
CoRR
CAV (1)
SNAPL
</>
Publications
</>
Caleb Donovick
,
Ross Daly
,
Jackson Melchert
,
Lenny Truong
,
Priyanka Raina
,
Pat Hanrahan
,
Clark W. Barrett
PEak: A Single Source of Truth for Hardware Design and Verification.
CoRR
(2023)
Lenny Truong
,
Steven Herbst
,
Rajsekhar Setaluri
,
Makai Mann
,
Ross G. Daly
,
Keyi Zhang
,
Caleb Donovick
,
Daniel Stanley
,
Mark Horowitz
,
Clark W. Barrett
,
Pat Hanrahan
fault: A Python Embedded Domain-Specific Language for Metaprogramming Portable Hardware Verification Components.
CAV (1)
(2020)
Lenny Truong
,
Steven Herbst
,
Rajsekhar Setaluri
,
Makai Mann
,
Ross G. Daly
,
Keyi Zhang
,
Caleb Donovick
,
Daniel Stanley
,
Mark Horowitz
,
Clark W. Barrett
,
Pat Hanrahan
fault: A Python Embedded Domain-Specific Language For Metaprogramming Portable Hardware Verification Components.
CoRR
(2020)
Lenny Truong
,
Pat Hanrahan
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity.
SNAPL
(2019)