Amalee Wilson

According to our database, Amalee Wilson authored at least 6 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Partitioning Strategies for Distributed SMT Solving.

Amalee Wilson, Andres Nötzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett

Proceedings of the Formal Methods in Computer-Aided Design, 2023

2021

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving.

Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2021, 2021

2020

A sparse iteration space transformation framework for sparse tensor algebra.

Ryan Senanayake, Changwan Hong, Ziheng Wang, Amalee Wilson, Stephen Chou, Shoaib Kamil, Saman P. Amarasinghe, Fredrik Kjolstad

Proc. ACM Program. Lang., 2020

Smt-Switch: A Solver-agnostic C++ API for SMT Solving.

Makai Mann, Amalee Wilson, Cesare Tinelli, Clark W. Barrett

Proceedings of the 18th International Workshop on Satisfiability Modulo Theories co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), 2020

Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases.

Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev

Proceedings of the 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, 2020

2019

Blaze-Tasks: A Framework for Computing Parallel Reductions over Tasks.

Peter Pirkelbauer, Amalee Wilson, Christina L. Peterson, Damian Dechev

ACM Trans. Archit. Code Optim., 2019