Mikail Khan

Home Blog Notes Updates Socials

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...