Mayur Naik

From MaRDI portal
Revision as of 00:36, 25 September 2023 by Import230924090903 (talk | contribs) (Created automatically from import230924090903)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:2151234

Available identifiers

zbMath Open naik.mayurMaRDI QIDQ2151234

List of research outcomes





PublicationDate of PublicationType
Rethinking static analysis by combining discrete and continuous reasoning2024-04-19Paper
Maximum satisfiability in software analysis: applications and techniques2022-07-01Paper
Code2Inv: a deep learning framework for program verification2021-02-09Paper
Query-guided maximum satisfiability2016-10-24Paper
Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances2015-11-20Paper
Conditional must not aliasing for static race detection2014-09-12Paper
Learning minimal abstractions2014-04-10Paper
Programming Languages and Systems2005-09-13Paper

Research outcomes over time

This page was built for person: Mayur Naik

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2151234&oldid=6657188"
Powered by MediaWiki