Mikail Khan
Notes
Notes about various concepts, mostly in Programming Languages or Functional Programming
Duet - Combining TDP and bottom-up enumeration for program synthesis
2023-05-18
synthesis
[Combining the top-down propagation and bottom-up enumeration for inductive program synthesis](https://dl.acm.org/doi/10.1145/34343...
Symbolic execution with SymCC - Don't interpret, compile!
2023-02-01
interpreters, symbolic-execution
Symbolic execution with SymCC - Don't interpret, compile!
This paper desc...
QSym - A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
2022-12-30
interpreters, symbolic-execution
[QSym - A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing](https://www.usenix.org/system/files/conference/usenixsec...
DART - Directed Automated Random Testing
2022-12-25
interpreters, symbolic-execution
DART - Directed Automated Random Testing
This paper describe...
CUTE - A Concolic Unit Testing Engine for C
2022-12-24
interpreters, symbolic-execution
CUTE - A Concolic Unit Testing Engine for C
This paper desc...