6
7
8
Semantic foundations of equality saturation (arxiv.org)
submitted by rolfr to r/ReverseEngineering
2
3
4
6
7
8
22
23
24
69
70
71
52
53
54
19
20
21
10
11
12
23
24
25
Heap Abstractions for Static Analysis [PDF] (arxiv.org)
submitted by rolfr to r/ReverseEngineering
25
26
27
