Curriculum vitae

Abhiyan Dhakal

Research interests

Operating systems · Memory and resource management · Systems performance · Resource-efficient computing

Education

B.E. in Computer Engineering

Kathmandu University School of Engineering · Dec 2021 – May 2026

Department of Computer Science and Engineering

CGPA: 3.70/4.00

Publications & Manuscripts

An Empirical Comparison of Embedding Models for Nepali Legal Document Retrieval

Abhiyan Dhakal, Pranish Kafle, Kausik Paudel, Sugat Sujakhu, Anita Jadhari, Prakash Poudyal

ICAIL 2026, 2026 · Short paper · presented June 2026 · publication forthcoming

An Artificial Intelligence Driven Semantic Similarity-Based Pipeline for Rapid Literature

Abhiyan Dhakal, Kausik Paudel, Sanjog Sigdel

National Conference on Computer Innovations (NCCI), 2025 · Published paper

Feasibility of Artificial Intelligence Driven Analysis in the Context of Nepalese Legal System

Abhiyan Dhakal, Sugat Sujakhu, Pranish Kafle, Kausik Paudel, Prakash Poudyal

Proceedings of ICAIL 2025, pp. 498-499, 2025 · Demonstration paper

Research experience

Linux Memory Pressure and Compressed-Memory Management

Independent Research · 2026–present

  • Formulated and led a controlled systems study asking whether a PSI-triggered bounded-reclaim intervention can preserve foreground responsiveness when compressed swap is already available.
  • Built the experimental harness for cgroup v2 isolation, sustained memory pressure, PSI-triggered actions, zram/zswap telemetry, page-fault and reclaim measurement, and phase-aligned foreground latency traces.
  • Selected a 96 MiB reclaim request through a 16-case pilot, then ran 180 confirmatory cases across nine 1-vCPU Linux VMs and four pressure regimes with compute and SQLite workloads.
  • Found a 6.2% reduction in compute p99 response time versus static zram, while SQLite showed no statistically distinguishable improvement; the result establishes workload dependence rather than a general benefit.

Nepali Legal Information Retrieval

Dec 2024–Jun 2026

  • Conducted first-author research at Kathmandu University’s Information and Language Processing Research Lab under the supervision of Dr. Prakash Poudyal.
  • Developed and evaluated a retrieval-augmented system for Nepali legal information, covering statutory-document processing, vector retrieval, query expansion, and evaluation across rule-recall, rhetorical, and interpretation-oriented queries.
  • Extended the work into a comparative retrieval study of ten embedding models over 1,023 statutory sections and 200 expert-validated queries, using ranking-based metrics to characterize model behavior in a low-resource language setting.

Automated Scientific Literature Retrieval

2025

  • Developed an end-to-end pipeline that generates search terms from research descriptions, retrieves open-access literature, and ranks candidate papers using semantic similarity.
  • Evaluated TF-IDF, all-MiniLM-L6-v2, and SPECTER2 and developed score-distribution-based thresholds for automated preliminary screening.

Projects

admux

Rust · PTY · Terminal multiplexing · TOML

A Rust terminal multiplexer centered on declarative project layouts, persistent sessions, and best-effort workspace restoration. It grew from an earlier tmux session helper, Smart Session Manager.

  • Built a daemon-backed terminal multiplexer with persistent PTY sessions, windows, panes, split layouts, copy mode, mouse support, and tmux-style navigation.
  • Designed project-scoped admux.toml manifests and save/restore workflows that separate shareable workspace configuration from machine-local runtime snapshots.
  • Implemented workspace aliases, existing-session attachment, configurable keybindings, scrollback restoration, and best-effort command replay across sessions.

Strata

Rust · TUI · Jupyter · Tree-sitter · Python

A Rust notebook interface for exploratory Python work, using a human-editable Markdown format with Jupyter import/export and checkpointed runtime state.

  • Designed a human-editable, Git-friendly .smd notebook format with round-trip Jupyter .ipynb import and export.
  • Implemented asynchronous Python, Bash, and JavaScript execution, environment selection, busy-state handling, and checkpoint sidecars for runtime and interface state.
  • Added Tree-sitter highlighting, Python LSP activation, image-aware outputs, themes, and regression coverage for serialization, execution, checkpoints, and TUI interaction.

Professional Experience

Backend Engineer · TestMigo

Oct 2025 - Present

  • Build and maintain backend services and APIs supporting MockVisa products, with responsibility for production reliability, system architecture, and data flows.
  • Manage deployments and infrastructure, including server configuration and CI/CD; diagnose production issues involving backend services, databases, integrations, and application infrastructure.

DevOps Engineer (Freelance) · Navodaya Education Innovation Center

2025-present

  • Operated VPS deployment infrastructure and Nginx routing, with responsibility for server hardening and reliable release workflows.
  • Designed continuous-delivery workflows for services running in a research and innovation environment.

Leadership

National Conference on Computer Innovations (NCCI 2025)

Student Conference Coordinator, 2025

  • Coordinated organization of a university research conference bringing together student researchers, faculty, and external participants.
  • Contributed to conference operations, paper/program coordination, and execution.

Kathmandu University Computer Club (KUCC)

Executive Member (2023–24) · Vice President & Treasurer (2024–25) · President (2025)

  • Progressed through three executive terms, taking responsibility for club finances, executive planning, and the coordination of technical and student-community programs.
  • Helped organize technical events and workshops for students inside and outside Kathmandu University, coordinating contributors with different technical and operational responsibilities.

Technical skills

Programming: Rust · C · Python · TypeScript · Bash

Operating systems: Linux · cgroup v2 · PSI · zram/zswap · PTYs · process and session management

Research methods: controlled experiments · workload design · tail-latency analysis · bootstrap inference · reproducible evaluation · information-retrieval evaluation

Infrastructure: Git · Docker · PostgreSQL · Nginx · AWS

Languages

Nepali (native); English (IELTS Academic: 7.5 overall).