Nick Giannarakis
University of Wisconsin–Madison(US)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Security and Verification in Computing, Parallel Computing and Optimization Techniques, Software System Performance and Reliability
Most-Cited Works
- → Taming release-acquire consistency(2016)90 cited
- → Micro-Policies: Formally Verified, Tag-Based Security Monitors(2015)51 cited
- → A verified, efficient embedding of a verifiable assembly language(2019)34 cited
- → Meta-F $$^\star $$ : Proof Automation with SMT, Tactics, and Metaprograms(2019)31 cited
- → NV: an intermediate language for verification of network control planes(2020)24 cited
- → Efficient Verification of Network Fault Tolerance via Counterexample-Guided Refinement(2019)16 cited
- → ProbNV: probabilistic verification of network control planes(2021)7 cited
- → Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms(2018)6 cited
- → NV(2019)2 cited