Type to search posts and projects to navigate

Open-source frameworks and protocols advancing AI safety, inference optimization, privacy engineering, and distributed systems.

13
Active Projects
5
Technical Disclosures
6
Published Packages

AI & Safety

Activation-level detection of sandbagging, deception, and situational awareness in LLMs. Linear probes achieve 90-96% accuracy across Mistral, Gemma, and Qwen models. Includes steering vectors for runtime behavior control.

90-96% probe accuracy 20% sandbagging reduction via steering 95% code coverage
Python PyTorch Transformers Activation Probing

ARTEMIS

Active

Production-ready multi-agent debate framework. Orchestrates structured debates between AI agents with hierarchical argument generation, jury-based evaluation, and integrated safety monitoring.

86% decision accuracy 102s avg debate time Sandbagging detection built-in
Python LangChain LangGraph MCP

Runtime control of LLM agent behaviors through activation steering vectors. Modifying model outputs at inference time without retraining, demonstrating more calibrated control than traditional prompting.

Python PyTorch LangChain Transformers

Inference Optimization

Reference implementation of LLM inference acceleration techniques. Speculative decoding, tree speculation, EAGLE, Medusa, KV-cache compression, and diffusion efficiency optimizations.

1.10x speedup Exact target distribution 6 major techniques
Python PyTorch LLM Inference Optimization

High-performance GPU kernels for LLM inference operations using OpenAI Triton. Educational implementations demonstrating memory-bandwidth optimization techniques for transformer operations on A100 GPUs.

8.1x faster RMSNorm 88% peak bandwidth INT8 GEMM support
Python Triton CUDA PyTorch

Distributed LLM evaluation framework built on Apache Spark for enterprise-scale model assessment. Handles millions of examples with statistical rigor, integrating seamlessly with Databricks infrastructure.

Multi-provider support Bootstrap confidence intervals LLM-as-judge patterns
Python Apache Spark Databricks MLflow

Distributed Systems

Framework for automated synthesis and verification of distributed systems. Bridges the gap between high-level specifications and provably correct implementations using compositional verification, CEGIS-based synthesis, and constrained RL.

274x speedup Formal verification First synthesis + verification + optimization framework
Python Z3 Solver Reinforcement Learning Formal Methods

SMPP Gateway

Active

Modern Java 21 implementation of the SMPP protocol. Built on Netty with virtual threads for high-performance SMS messaging at scale. The actively maintained replacement for Cloudhopper.

1.8M PDU decodes/sec 25K network round-trips/sec SMPP 3.3/3.4/5.0
Java 21 Netty Virtual Threads Micrometer

Production-ready bridge between SMPP protocol and Apache Kafka. Receives SMS messages via SMPP and publishes to Kafka topics. HTTP/2 REST API aligned with 3GPP TS 29.540 SMSF standards.

Java 21 Apache Kafka SMPP HTTP/2 Kubernetes

High-performance financial message processing tool for ISO 8583 payment protocol. Features CLI, Python SDK, and AI-powered message explanation. Supports all major card networks.

180k+ TPS parsing LLM integration 6 card networks
Python Cython ISO 8583 LLM Integration

Privacy & Protocols

LLMConsent

Active

Privacy-preserving consent management protocol for LLM training data. Enables transparent opt-in/opt-out mechanisms with cryptographic verification for the GenAI era.

Blockchain Smart Contracts Cryptography Privacy Engineering

Open-source blockchain-based protocol for transparent personal data consent management. GDPR-compliant with automated compliance reporting and real-time privacy breach alerts.

Blockchain Smart Contracts Privacy by Design GDPR

Privacy-aware open protocol for non-repudiable location verification. Cryptographically secure location attestation with fully decentralized, tamper-resistant architecture.

Cryptography Distributed Systems Zero-Knowledge Proofs

Live Tools & Documentation

Modern Java SMPP library for enterprise SMS messaging. Production-tested, high-throughput, with comprehensive documentation.

Financial messaging parser for ISO8583 protocol. Used in payment processing and banking integrations.

Other Writing

Interactive reproduction of a theoretical physics treatise on symmetry conservation laws, originally presented at Kshitij 2006, IIT Kharagpur.

All projects are open source and welcome contributions.

Subhadip Mitra