Submissions by pramodbiligiri

Decentralized Exchanges (DEX) with Automated Market Maker (AMM) protocols

Treehouse: A case for carbon-aware datacenter software

Baihe: SysML framework for AI-driven databases

DB-BERT: a database tuning tool that “reads the Manual”

Belonging to Amazon’s Principal Engineering community

From Kepler to Newton: The role of Explainable AI in science discovery

Static Race Detection and Mutex Safety and Liveness for Go programs

Solving probability and statistics problems by Program Synthesis

Measuring source code conciseness across programming languages using compression

AlphaGarden: Learning to autonomously tend a polyculture garden

Measuring mathematical problem solving with the MATH dataset

Tool Slick: Free online productivity tools for developers, DBAs, data scientists