Get started
Author

Juin-Yeu Joseph Lu

Observed name: Juin-Yeu Lu
Observed institution: Syracuse University
OpenAlex ID: A5033908708
TSOtool
2004 · Sudheendra Hangal, Durgam Vahia, et al. · ACM SIGARCH Computer Architecture News · 103
TSOtool: a program for verifying memory systems using the memory consistency model
2004 · S. Hangal, D. Vahia, et al. · Proceedings - International Symposium on Computer Architecture/Proceedings · 36
Linking HOL to a VLSI CAD System
1993 · Juin-Yeu Joseph Lu, Shiu‐Kai Chin · 6
Generating designs using an Algorithmic Register Transfer Language with formal semantics
1994 · Juin-Yeu Lu, Shiu-Kai Chin · Lecture notes in computer science · 2
Works count: 4
Citation count: 147
H-index: 3
I10-index: 2
Year
Topic
Type