Martin C. Rinard

Available identifiers

zbMath Open rinard.martin-cDBLPr/MartinCRinardWikidataQ102250695 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
Depth-bounded epistemic logic	2023-05-15	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
TRAFS: A Nonsmooth Convex Optimization Algorithm with $\mathcal{O}\left(\frac{1}{\epsilon}\right)$ Iteration Complexity	N/A	Paper

Research outcomes over time

This page was built for person: Martin C. Rinard