Abhiyan Dhakal

B.E. in Computer Engineering

Kathmandu University School of Engineering · 2021-2026

Linux memory pressure and PSI signal validation

2026-present

• Controlled reruns show PSI before material swap growth under the tested memory-pressure workloads.
• Built controlled workloads and measurement infrastructure for cgroup PSI, reclaim, faults, swap, zswap, zram, and phase-aligned responsiveness measurement.
• Evaluating sustained-PSI guided zram against disk, zswap, and static-zram controls; no policy benefit is claimed yet.

An Empirical Comparison of Embedding Models for Nepali Legal Document Retrieval

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

ICAIL 2026 · 2026 · Short paper - presented 9 June 2026

Compares retrieval behavior rather than treating embedding choice as an implementation detail, with attention to the constraints of Nepali legal text.

Official programme

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

Abhiyan Dhakal, Kausik Paudel, Sanjog Sigdel

arXiv:2509.15292; National Conference on Computer Innovations · 2025 · Preprint

Evaluates three embedding models and documents a practical preliminary-review workflow without claiming ground-truth relevance labels that were not collected.

arXiv · DOI · Code companion

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 · Published

Processes legal documents for retrieval, expands user queries, and evaluates rule-recall, rhetorical-understanding, and interpretation-oriented questions.

DOI · DBLP

PSI Memory-Pressure Experiment Harness

Measurement and workload infrastructure for controlled Linux memory-pressure experiments, developed in the predicomp project.

Records host and cgroup PSI, memory availability, reclaim, faults, swap, zswap, zram, and phase-aligned canary response/service observations in stable experiment output.

Linux · C · PSI · zswap · zram · cgroups

Strata

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

Execution state, notebook serialization, kernel management, environment selection, and terminal interaction.

Rust · TUI · Jupyter · Tree-sitter · Python

admux

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.

PTY management, session persistence, and the boundary between shareable project configuration and machine-local runtime state.

Rust · PTY · Terminal multiplexing · TOML

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.

Full Stack Developer (Part-time)

Peakvoyage · 2024-present

• Designed backend services and MQTT/TLS device-notification flows integrated with AWS IoT Core.
• Integrated FastAPI, TypeScript, PostgreSQL, React, and Three.js across an IoT-backed product stack.

President

Kathmandu University Computer Club · 2025

Led the executive board and programs supporting the university technology community.

Advisor

KU HackFest · 2024-2025

Advised organizers on technical, operational, and financial decisions for a large student hackathon.