Unbounded-thread program verification using thread-state equations K Athanasiou, P Liu, T Wahl Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 19 | 2016 |
Infinite-state backward exploration of Boolean broadcast programs P Liu, T Wahl 2014 Formal Methods in Computer-Aided Design (FMCAD), 155-162, 2014 | 15 | 2014 |
Verifying asynchronous event-driven programs using partial abstract transformers P Liu, T Wahl, A Lal International Conference on Computer Aided Verification, 386-404, 2019 | 7 | 2019 |
CUBA: interprocedural context-unbounded analysis of concurrent programs P Liu, T Wahl Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 7 | 2018 |
Automatic verification of event-driven control programs: a case study P Liu, G Luo, M Xia, M He The Fourth International Workshop on Advanced Computational Intelligence …, 2011 | 5 | 2011 |
Concolic unbounded-thread reachability via loop summaries P Liu, T Wahl Formal Methods and Software Engineering: 18th International Conference on …, 2016 | 2 | 2016 |
Interprocedural Context-Unbounded Program Analysis Using Observation Sequences P Liu, T Wahl, T Reps ACM Transactions on Programming Languages and Systems (TOPLAS) 42 (4), 1-34, 2020 | 1 | 2020 |
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation P Liu, T Wahl Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017 | 1 | 2017 |
Resource-aware Program Analysis Using Observation Sequences P Liu Northeastern University, 2019 | | 2019 |
CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs (Extended Manuscript) P Liu, T Wahl arXiv preprint arXiv:1804.04766, 2018 | | 2018 |
IJIT: An API for Boolean Program Analysis with Just-in-Time Translation (Extended Technical Report) P Liu, T Wahl arXiv preprint arXiv:1706.03167, 2017 | | 2017 |
Concolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report) P Liu, T Wahl arXiv preprint arXiv:1607.08273, 2016 | | 2016 |
Unbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report) P Liu, T Wahl arXiv preprint arXiv:1505.02637, 2015 | | 2015 |
On-the-fly Parameterized Boolean Program Exploration P Liu, Z Liu | | 2013 |
Accelerating Backward Coverability Analysis using Symbolic Pruning P Liu | | |
BOOLEAN PROGRAM EXPLORATION USING AN ALL-SATSOLVER BACKEND P Liu, T Wahl | | |