Omer Tripp

From MaRDI portal
Person:526763

Available identifiers

zbMath Open tripp.omerMaRDI QIDQ526763

List of research outcomes





PublicationDate of PublicationType
Synthesizing precise and useful commutativity conditions2020-11-02Paper
Automatic generation of precise and useful commutativity conditions2019-09-16Paper
Z3str2: an efficient solver for strings, regular expressions, and length constraints2017-05-15Paper
Using Abstract Interpretation to Correct Synchronization Faults2017-02-21Paper
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications2015-02-04Paper
Learning minimal abstractions2014-04-10Paper

Research outcomes over time

This page was built for person: Omer Tripp

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