Hi, I'm Shefali π©π»βπ» I'm a Software Engineer interested in Systems & Compiler Development. My interests include Linux, C/C++, LLVM/MLIR, operating systems, program analysis, and formal verification. My GitHub Stats π Β My recent blog posts π Connect with me π«