Compiling symbolic execution with staging and algebraic effects
Building effective symbolic execution engines poses challenges in multiple dimensions: an
engine must correctly model the program semantics, provide flexibility in symbolic execution …
engine must correctly model the program semantics, provide flexibility in symbolic execution …
[PDF][PDF] Compiling symbolic execution with staging and algebraic effects
G Wei, O Bračevac, S Tan, T Rompf - Proceedings of the ACM on …, 2020 - par.nsf.gov
Authors' address: Guannan Wei, guannanwei@ purdue. edu; Oliver Bračevac, bracevac@
purdue. edu; Shangyin Tan, tan279@ purdue. edu; Tiark Rompf, tiark@ purdue. edu …
purdue. edu; Shangyin Tan, tan279@ purdue. edu; Tiark Rompf, tiark@ purdue. edu …
[PDF][PDF] Compiling Symbolic Execution with Staging and Algebraic Effects
G WEI, O BRAČEVAC, S TAN, T ROMPF - 2020 - bracevac.org
Authors' address: Guannan Wei, guannanwei@ purdue. edu; Oliver Bračevac, bracevac@
purdue. edu; Shangyin Tan, tan279@ purdue. edu; Tiark Rompf, tiark@ purdue. edu …
purdue. edu; Shangyin Tan, tan279@ purdue. edu; Tiark Rompf, tiark@ purdue. edu …
[PDF][PDF] Compiling Symbolic Execution with Staging and Algebraic Effects
G WEI, O BRAČEVAC, S TAN, T ROMPF - 2020 - continuation.passing.style
Symbolic execution is a popular and useful technique for software testing, bug finding,
security, and verification [Baldoni et al. 2018]. The underlying idea is to simultaneously …
security, and verification [Baldoni et al. 2018]. The underlying idea is to simultaneously …
[PDF][PDF] Compiling Symbolic Execution with Staging and Algebraic Effects
G WEI, O BRAČEVAC, S TAN, T ROMPF - 2020 - cs.purdue.edu
Symbolic execution is a popular and useful technique for software testing, bug finding,
security, and verification [Baldoni et al. 2018]. The underlying idea is to simultaneously …
security, and verification [Baldoni et al. 2018]. The underlying idea is to simultaneously …
[PDF][PDF] Compiling Symbolic Execution with Staging and Algebraic Effects
G WEI, O BRAČEVAC, S TAN, T ROMPF - 2020 - cs.purdue.edu
Authors' address: Guannan Wei, guannanwei@ purdue. edu; Oliver Bračevac, bracevac@
purdue. edu; Shangyin Tan, tan279@ purdue. edu; Tiark Rompf, tiark@ purdue. edu …
purdue. edu; Shangyin Tan, tan279@ purdue. edu; Tiark Rompf, tiark@ purdue. edu …
[PDF][PDF] Compiling Symbolic Execution with Staging and Algebraic Effects
G Wei, O Bračevac, S Tan, T Rompf - continuation.passing.style
Compiling Symbolic Execution with Staging and Algebraic Effects Page 1 Compiling Symbolic
Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan …
Execution with Staging and Algebraic Effects Guannan Wei, Oliver Bračevac, Shangyin Tan …