Gregory Malecha
Gregory Malecha
Not Affiliated
Keine bestätigte E-Mail-Adresse - Startseite
Zitiert von
Zitiert von
Toward a verified relational database management system
G Malecha, G Morrisett, A Shinnar, R Wisnesky
ACM SIGPLAN Notices 45 (1), 237-248, 2010
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
Trace-based verification of imperative programs with I/O
G Malecha, G Morrisett, R Wisnesky
Journal of Symbolic Computation 46 (2), 95-118, 2011
Automated Software Winnowing
G Malecha, A Gehani, N Shankar
Hardware support for safety interlocks and introspection
U Dhawan, A Kwon, E Kadric, C Hritcu, BC Pierce, JM Smith, A DeHon, ...
Draft, July, 2012
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
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
Compositional Computational Reflection
G Malecha, A Chlipala, T Braibant
Interactive Theorem Proving, 0
Extensible and Efficient Automation Through Reflective Tactics
G Malecha, J Bengtson
European Symposium on Programming Languages, 532-559, 2016
Formal verification of stability properties of cyber-physical systems
M Chan, D Ricketts, S Lerner, G Malecha
Proc. CoqPL’16, 2016
Extensible Proof Engineering in Intensional Type Theory
G Malecha
Harvard University, 2015
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
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
Maximum Entropy Part-of-Speech Tagging in NLTK
G Malecha, I Smith
unpublished course-related report, 2010
Certified web services in Ynot
R Wisnesky, GM Malecha, JG Morrisett
Proceedings, 5th International Workshop on Automated Specification and …, 2010
Mechanized verification with sharing
G Malecha, G Morrisett
International Colloquium on Theoretical Aspects of Computing, 245-259, 2010
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
Modular deductive verification of sampled-data systems
D Ricketts, G Malecha, S Lerner
Proceedings of the 13th International Conference on Embedded Software, 17, 2016
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
MirrorShard: Proof by Computational Reflection with Verified Hints
G Malecha, A Chlipala, T Braibant, P Hulin, EZ Yang
arXiv preprint arXiv:1305.6543, 2013
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20