Gregory Malecha
Gregory Malecha
Not Affiliated
No verified email - Homepage
Title
Cited by
Cited by
Year
Effective interactive proofs for higher-order imperative programs
A Chlipala, G Malecha, G Morrisett, A Shinnar, R Wisnesky
ACM SIGPLAN Notices 44 (9), 79-90, 2009
1212009
Toward a verified relational database management system
G Malecha, G Morrisett, A Shinnar, R Wisnesky
ACM SIGPLAN Notices 45 (1), 237-248, 2010
1032010
Preliminary design of the SAFE platform
A DeHon, B Karel, TF Knight Jr, G Malecha, B Montagu, R Morisset, ...
Proceedings of the 6th Workshop on Programming Languages and Operating …, 2011
252011
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
252011
Compositional Computational Reflection
G Malecha, A Chlipala, T Braibant
Interactive Theorem Proving, 0
24*
Hardware support for safety interlocks and introspection
U Dhawan, A Kwon, E Kadric, C Hritcu, BC Pierce, JM Smith, A DeHon, ...
Draft, July, 2012
222012
Extensible and Efficient Automation Through Reflective Tactics
G Malecha, J Bengtson
European Symposium on Programming Languages, 532-559, 2016
172016
Towards verification of hybrid systems in a foundational proof assistant
D Ricketts, G Malecha, MM Alvarez, V Gowda, S Lerner
Formal Methods and Models for Codesign (MEMOCODE), 2015 ACM/IEEE …, 2015
172015
Formal verification of stability properties of cyber-physical systems
M Chan, D Ricketts, S Lerner, G Malecha
Proc. CoqPL’16, 2016
162016
Synthesizable high level hardware descriptions: using statically typed two-level languages to guarantee Verilog synthesizability
J Gillenwater, G Malecha, C Salama, AY Zhu, W Taha, J Grundy, ...
Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and …, 2008
162008
Automated Software Winnowing
G Malecha, A Gehani, N Shankar
152015
Extensible Proof Engineering in Intensional Type Theory
G Malecha
Harvard University, 2015
132015
Towards foundational verification of cyber-physical systems
G Malecha, D Ricketts, MM Alvarez, S Lerner
Cyber-Physical Systems Workshop (SOSCYPS), Science of Security for, 1-5, 2016
122016
Mechanized verification with sharing
G Malecha, G Morrisett
International Colloquium on Theoretical Aspects of Computing, 245-259, 2010
112010
Maximum Entropy Part-of-Speech Tagging in NLTK
G Malecha, I Smith
unpublished course-related report, 2010
112010
Static consistency checking for Verilog wire interconnects
C Salama, G Malecha, W Taha, J Grundy, J O’Leary
Higher Order and Symbolic Computation 24 (1), 81, 2012
102012
Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions ()
C Salama, G Malecha, W Taha, J Grundy, J O’Leary
LISP and symbolic computation 24 (1-2), 81-114, 2012
10*2012
Static consistency checking for Verilog wire interconnects
C Salama, G Malecha, W Taha, J Grundy, J O’Leary
Higher-Order and Symbolic Computation 24 (1-2), 81-114, 2011
102011
Static consistency checking for Verilog wire interconnects: Using dependent types to check the sanity of Verilog descriptions
C Salama, G Malecha, W Taha, J Grundy, J O'Leary
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
10*2009
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
Proceedings, 5th International Workshop on Automated Specification and …, 2010
92010
The system can't perform the operation now. Try again later.
Articles 1–20