Martin C. Rinard

From MaRDI portal
Person:1268805

Available identifiers

zbMath Open rinard.martin-cDBLPr/MartinCRinardWikidataQ102250695 ScholiaQ102250695MaRDI QIDQ1268805

List of research outcomes





PublicationDate of PublicationType
Depth-bounded Epistemic Logic2024-02-28Paper
On the complexity of commutativity analysis2024-01-29Paper
On the impact of player capability on congestion games2023-07-28Paper
Depth-bounded epistemic logic2023-05-15Paper
Exploiting verified neural networks via floating point numerical error2022-06-17Paper
Verifying low-dimensional input neural networks via input quantization2022-06-17Paper
The Fast Loaded Dice Roller: A Near-Optimal Exact Sampler for Discrete Probability Distributions2020-03-08Paper
Optimal Approximate Sampling from Discrete Probability Distributions2020-01-13Paper
Randomized accuracy-aware program transformations for efficient approximate computations2015-09-11Paper
Role analysis2015-03-17Paper
Sound input filter generation for integer overflow errors2014-04-10Paper
Reasoning about lock placements2012-06-22Paper
Verification, Model Checking, and Abstract Interpretation2009-05-15Paper
Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic2009-03-06Paper
Using First-Order Theorem Provers in the Jahob Data Structure Verification System2008-04-04Paper
Polynomial Constraints for Sets with Cardinality Bounds2007-09-07Paper
Verification, Model Checking, and Abstract Interpretation2007-02-12Paper
Deciding Boolean algebra with Presburger arithmetic2007-01-30Paper
Automated Deduction – CADE-202006-11-01Paper
Static Analysis2006-10-31Paper
Relational and Kleene-Algebraic Methods in Computer Science2005-12-23Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Verification, Model Checking, and Abstract Interpretation2005-12-06Paper
Static Analysis2005-08-24Paper
https://portal.mardi4nfdi.de/entity/Q48134142004-08-13Paper
https://portal.mardi4nfdi.de/entity/Q44737332004-08-04Paper
https://portal.mardi4nfdi.de/entity/Q44248432003-09-07Paper
https://portal.mardi4nfdi.de/entity/Q44178272003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44066772003-06-26Paper
https://portal.mardi4nfdi.de/entity/Q47791112002-11-24Paper
https://portal.mardi4nfdi.de/entity/Q27640712002-01-22Paper
Lock coarsening: Eliminating lock overhead in automatically parallelized object-based programs1999-03-30Paper
https://portal.mardi4nfdi.de/entity/Q42086251998-09-07Paper
On the Complexity of Commutativity Analysis1997-09-15Paper
TRAFS: A Nonsmooth Convex Optimization Algorithm with $\mathcal{O}\left(\frac{1}{\epsilon}\right)$ Iteration ComplexityN/APaper

Research outcomes over time

This page was built for person: Martin C. Rinard