Roman Manevich

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Harnessing static analysis to help learn pseudo-inverses of string manipulating procedures for automatic test generation	2020-08-05	Paper
From shape analysis to termination analysis in linear time Computer Aided Verification	2019-05-03	Paper
A shape analysis for optimizing parallel graph programs Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2014-04-10	Paper
Heap Decomposition for Concurrent Shape Analysis Static Analysis	2008-08-28	Paper
Thread Quantification for Concurrent Shape Analysis Computer Aided Verification	2008-07-15	Paper
Abstract Counterexample-Based Refinement for Powerset Domains Program Analysis and Compilation, Theory and Practice	2007-09-24	Paper
Shape Analysis by Graph Decomposition Tools and Algorithms for the Construction and Analysis of Systems	2007-09-03	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2007-02-12	Paper
Verification, Model Checking, and Abstract Interpretation Lecture Notes in Computer Science	2005-12-06	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 1948397 (Why is no real title available?)	2003-07-13	Paper

Research outcomes over time

This page was built for person: Roman Manevich