gregory m. malecha
gmalecha {at} eecs.harvard.edu School of Engineering and Applied Sciences, Harvard Universitypublications
gregory malecha
05.10.2009 00:28:47
Certified Programming
- Ryan Wisnesky, Gregory Malecha, Greg Morrisett. "Certified Web Services in Ynot", at International Workshop on Automated Specification and Verification of Web Systems, July 17, 2009.
- Ryan Wisnesky, Gregory Malecha, Greg Morrisett. "Certified Systems Development in Ynot", at New England Programming Language Seminar, March 9, 2009.
Hardware Description Languages
- Cherif Salama, Gregory Malecha, and Walid Taha (Rice University), Jim Grundy and John O’Leary (Intel), "Static Consistency Checking for Verilog Wire Interconnects", in proceedings of ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM), 2009, Savannah, GA, USA
- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, and Walid Taha (Rice University), Jim Grundy and John O'Leary (Intel), "Synthesizable High Level Hardware Descriptions", in Partial Evaluation and Program Manipulation (PEPM), 2008, San Francisco, CA, USA.
- Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, and Walid Taha (Rice University), Jim G rundy and John O'Leary (Intel), "Formalizing and Enhancing Verilog", in Technology and Talent for the 21st Century (TECHCON), 2007, Austin, TX, USA.
- Cherif Andraos, Jennifer Gillenwater, Gregory Malecha, Angela Yun Zhu, and Walid Taha (Rice University), Jim Grundy and John O'Leary (Intel), "Synthesizable Verilog" in Workshop on Hardware Design and Functional Languages (HFL), 2007, Braga, Portugal.