Martin C. Rinard

Available identifiers

zbMath Open rinard.martin-cWikidataQ102250695 ScholiaQ102250695MaRDI QIDQ1268805

List of research outcomes

Publication	Date of Publication	Type
Depth-bounded Epistemic Logic	2024-02-28	Paper
On the complexity of commutativity analysis	2024-01-29	Paper
On the impact of player capability on congestion games	2023-07-28	Paper
Exploiting verified neural networks via floating point numerical error	2022-06-17	Paper
Verifying low-dimensional input neural networks via input quantization	2022-06-17	Paper
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions	2020-03-08	Paper
Optimal Approximate Sampling from Discrete Probability Distributions	2020-01-13	Paper
Randomized accuracy-aware program transformations for efficient approximate computations	2015-09-11	Paper
Role analysis	2015-03-17	Paper
Sound input filter generation for integer overflow errors	2014-04-10	Paper
Reasoning about Lock Placements	2012-06-22	Paper
Verification, Model Checking, and Abstract Interpretation	2009-05-15	Paper
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic	2009-03-06	Paper
Using First-Order Theorem Provers in the Jahob Data Structure Verification System	2008-04-04	Paper
Polynomial Constraints for Sets with Cardinality Bounds	2007-09-07	Paper
Verification, Model Checking, and Abstract Interpretation	2007-02-12	Paper
Deciding Boolean algebra with Presburger arithmetic	2007-01-30	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Static Analysis	2006-10-31	Paper
Relational and Kleene-Algebraic Methods in Computer Science	2005-12-23	Paper
Theory and Applications of Satisfiability Testing	2005-12-15	Paper
Verification, Model Checking, and Abstract Interpretation	2005-12-06	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813414	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4473733	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4424843	2003-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q4417827	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4406677	2003-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4779111	2002-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q2764071	2002-01-22	Paper
Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs	1999-03-30	Paper
https://portal.mardi4nfdi.de/entity/Q4208625	1998-09-07	Paper
On the Complexity of Commutativity Analysis	1997-09-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Martin C. Rinard