Gregory Malecha

2009
2	EE	Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O'Leary: Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions. PEPM 2009: 121-130
2008
1	EE	Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O'Leary: Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee verilog synthesizability. PEPM 2008: 41-50

Coauthor Index

1	Jennifer Gillenwater	[1]
2	Jim Grundy	[1] [2]
3	John O'Leary	[1] [2]
4	Cherif Salama	[1] [2]
5	Walid Taha	[1] [2]
6	Angela Yun Zhu	[1]