Mikail Khan
Notes
More rigorous notes on papers, probably on programming languages or functional programming. Some of these are for my own reference, but others might be useful to others.
egg: Fast and Extensible Equality Saturation
2024-05-30
e-graph, vsa
egg: Fast and Extensible Equality Saturation
I was just skimming this to understand ...
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...