Follow
Gregory Malecha
Gregory Malecha
Not Affiliated
No verified email - Homepage
Title
Cited by
Cited by
Year
Toward a verified relational database management system
G Malecha, G Morrisett, A Shinnar, R Wisnesky
ACM SIGPLAN Notices 45 (1), 237-248, 2010
1312010
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
1262009
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
332011
Automated Software Winnowing
G Malecha, A Gehani, N Shankar
302015
Hardware support for safety interlocks and introspection
U Dhawan, A Kwon, E Kadric, C Hritcu, BC Pierce, JM Smith, A DeHon, ...
Draft, July, 2012
292012
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
272015
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
272011
Compositional Computational Reflection
G Malecha, A Chlipala, T Braibant
Interactive Theorem Proving, 0
26*
Extensible and Efficient Automation Through Reflective Tactics
G Malecha, J Bengtson
European Symposium on Programming Languages, 532-559, 2016
212016
Formal verification of stability properties of cyber-physical systems
M Chan, D Ricketts, S Lerner, G Malecha
Proc. CoqPL’16, 2016
192016
Extensible Proof Engineering in Intensional Type Theory
G Malecha
Harvard University, 2015
182015
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
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
Maximum Entropy Part-of-Speech Tagging in NLTK
G Malecha, I Smith
unpublished course-related report, 2010
132010
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
Proceedings, 5th International Workshop on Automated Specification and …, 2010
132010
Mechanized verification with sharing
G Malecha, G Morrisett
International Colloquium on Theoretical Aspects of Computing, 245-259, 2010
112010
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
102009
Modular deductive verification of sampled-data systems
D Ricketts, G Malecha, S Lerner
Proceedings of the 13th International Conference on Embedded Software, 17, 2016
82016
A more precise security type system for dynamic security tests
G Malecha, S Chong
Proceedings of the 5th ACM SIGPLAN Workshop on Programming Languages and …, 2010
72010
MirrorShard: Proof by Computational Reflection with Verified Hints
G Malecha, A Chlipala, T Braibant, P Hulin, EZ Yang
arXiv preprint arXiv:1305.6543, 2013
62013
The system can't perform the operation now. Try again later.
Articles 1–20