Hi there 👋, I'm Nihaal
- I’m a PhD student focussing on Linux kernel security and Static analysis. I work with Prof. Chester Rebeiro and Prof. Madhu Mutyam. My current research is on detecting memory leaks in the Linux kernel using static analysis. A list of memory leaks that we have detected and fixed can be found here⭐.
- I occasionally write and collect interesting git repositories.
Publication
-
Selective Memory Compression for GPU Memory Oversubscription Management
Abdun Nihaal, Madhu Mutyam
Published at International Conference on Parallel Processing (ICPP 24) with all three reproducibility badges (Artifact).
FOSS Contributions 💻
- Patches accepted to Linux kernel
- SARIF.nvim : A Neovim plugin to view SARIF formatted results
- Epub2Sphinx : A tool to convert EPUB files to HTML files. FOSSHack 2021 Winner [Blog post]
- Discovered a new variant of Trojan Source attack
FOSS Meetup Talks 🎤
| Date | Venue | Title | Links |
|---|---|---|---|
| 10 Sep 2023 | TOSSConf 2023 | Text Processing with UNIX tools (in Tamil) | [Video] |
| 29 Jan 2023 | MiniDebConf Villupuram | Contributing to Linux kernel | [Slides] |
| 12 Mar 2022 | ILUGC | Coccinelle | [Slides] |
| 11 Dec 2021 | ILUGC | Trojan Source | [Slides] |
| 11 Sep 2021 | ILUGC | Two uses for Single Board Computers | [Slides] |
| 12 Jun 2021 | ILUGC | RSync | [Slides] [Blog Post] |
| 13 Feb 2021 | ILUGC | Huge pages in Linux | [Slides] |
| 09 Jan 2021 | ILUGC | Managing dotfiles with GNU Stow | [Slides] |
| 10 Oct 2020 | ILUGC | Profiling with BPFTrace | [Slides] |
| 09 Jun 2018 | ILUGC | Make your first Linux kernel patch | [Slides] |
Research 👨🎓
- How to do research?
- Ret : A python tool to automate running experiments and plotting them
- NBench : Port of Parboil 2.5 and Rodinia 3.1 benchmarks to CUDA Unified memory
Course Projects ✍️
- CUDA-sed (GPU Programming course project)
- Verilog generator for Carry Ripple, Carry Lookahead Adders and Wallace Tree Multiplier (CAD for VLSI course assignment)
- Matrix Transpose Accelerator in Bluespec System Verilog (CAD for VLSI project)
- Boolean calculator using Unate Recursive Paradigm (Project for VLSI CAD course on Coursera)
- Reversing Last Level Caches (Secure Processor Microarchitecture Course Project)
CTF writeups and Programming challenges 📊
Silly little games 🎮
- Inter Planetary Internet [Play]
- Left and Right [Play]
- Lost in the Woods [Play] [Blog post]
- Pong using C,SDL2
- TicTacToe in Rust
Silly little projects 🧭
- Chat application built using JavaFx and Java Nio (Client, Server)
- VerilogViz (unfinished) : A tool to visualize circuits written in Verilog
- Spot Backend : Smart India Hackathon 2018 [Blog post]
- Facemash : Facemash using Elo rating system