Hi, I'm Arnab, a Cornell CS & Mathematics student and Compiler Engineering Intern at Intel. I build reliable software systems with an emphasis on formal methods, compilers, and programming languages, then carry those ideas into practical tools that people can actually ship and use. I care about correctness, mathematical elegance, sharp developer workflows, and systems that stay maintainable as they grow.
Current Work
Intel
Performance tracking and analysis on the Intel oneAPI C++/C/Fortran compiler (ICX), GCC, and LLVM, focusing on unlocking vectorization. Work spans performance engineering, compiler optimization debugging, and vectorized Intel assembly analysis.
Credentials
Cornell University
Aug 2024 – May 2028
GPA: 3.81/4.0
Emphasis on programming languages, compilers, runtime verification, formal verification, and applied logic. Also majored in mathematics, focused on different logical systems and algebras.
Coursework & Activities
Professional
HRL Laboratories
Built and operated quantum-computing research infrastructure using Python, TypeScript, Vue.js, Docker, GitLab, Artifactory for researchers in secure air-gapped environments, supporting spin-qubit adjacent workflows and improving end-to-end deployment, throughput, and usage organization-wide.
Cornell Course Management System X
Lead for CMSX, Cornell's in-house course management system serving thousands of students across hundreds of courses each semester. Modernizing tightly coupled XML and legacy JSP to modern Java REST APIs and type-safe React frontends.
Cornell University
Led advanced discussions on JVM internals—bytecode execution, JIT/tiered compilation, and hotspot behavior—and taught formal grammars and AST-based language implementation; mentored students building a programming language runtime.
Selected Work
All projects →Owl
Runtime verification for Gleam using sHML-based monitors compiled from a temporal property DSL, with low-overhead BEAM bytecode tracing for distributed actor systems. Capstone for CS 6156.
Fern
A language targeting LLVM IR with Hindley-Milner + Algorithm W type inference, refinement types, trait constraints, row polymorphism, and exhaustive pattern matching.
Bo Nix
Full optimizing compiler for Eta/Rho → x86-64 in Java: lexer through register allocation, ABI-compliant codegen, and language extensions including records and null handling. Capstone for CS 4120.
Guardrails: Atomic
Built a Next.js 15 + TypeScript platform where engineers define distributed-system requirements in a YAML DSL and run a Z3-backed CEGIS loop with GPT-4-guided synthesis/repair until invariants are formally discharged.
Technical Writing
All writing →Type Inference Without Annotations: How Algorithm W Works
Designing Fern: A Language Built on Types
Owl: Runtime Verification for Distributed Gleam Programs
Bo Nix: Building a Compiler for Eta and Rho
Guardrails: Verified Handler Synthesis with CEGIS and Z3
VOX: A Production-Ready Academic Journal Platform