Amalee Wilson

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 8

Top Topics

Weighted Max Sat

Distributed Constraint Satisfaction Problems

Update Transactions

Top Venues

Proc. ACM Program. Lang.

Publications

Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett
Partitioning Strategies for Distributed SMT Solving. CoRR (2023)
Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett
Partitioning Strategies for Distributed SMT Solving. FMCAD (2023)
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. SAT (2021)
Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman P. Amarasinghe, Fredrik Kjolstad
A sparse iteration space transformation framework for sparse tensor algebra. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett
Smt-Switch: a solver-agnostic C++ API for SMT Solving. CoRR (2020)
Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev
Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. SBAC-PAD (2020)
Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett
Smt-Switch: A Solver-agnostic C++ API for SMT Solving. SMT (2020)
Peter Pirkelbauer, Amalee Wilson, Christina L. Peterson, Damian Dechev
Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks. ACM Trans. Archit. Code Optim. 15 (4) (2019)