Submissions by AlexDenisov

Curated list of resources on testing distributed systems

A List of companies that use Formal methods in Software engineering

Yegor Derevenets – On Decompilation (LLVM Social Berlin #9)

Lots of what we programmers learn with years comes from pain not from good will

On Disk IO, Part 3: LSM Trees

Better Software with Entity Systems

Collection of Papers on Database Management Systems

On Disk IO, Part 1: Flavours of IO

Future-proof Reading

We need to talk about that tweet

So you want to build a mutation testing system

Xcode Major Bugs

Mutation Testing and Symbolic Execution (Mull/KLEE)

Mutation Testing Meets Symbolic Execution

Heuristics for Software Engineering

MongoDB Aggregation Framework: Stages Availability Cheatsheet

Full-Text Search Using MongoDB Aggregation Framework

Full Text Search Using MongoDB

Free Software Testing Books, Courses, and Podcasts

Resources about programming practices for writing safety-critical software

Mull Meets Rust: Implementing Mutation Testing System for Rust