Amalee Wilson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2020–2025
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FMCAD | Per-Instance Subproblem Generation for Strategy Selection in SMT. | Amalee Wilson, Nina Narodytska, Clark W. Barrett, Haoze Wu |
| 2023 | FMCAD | Partitioning Strategies for Distributed SMT Solving. | Amalee Wilson, Andres Ntzli, Andrew Reynolds, Byron Cook, Cesare Tinelli, Clark W. Barrett |
| 2021 | SAT | 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 |
| 2020 | SBAC-PAD | Optimized Transactional Data Structure Approach to Concurrency Control for In-Memory Databases. | Christina L. Peterson, Amalee Wilson, Peter Pirkelbauer, Damian Dechev |