activity
20092021
most citedFast Dual-Radio Cross-Layer Handoffs in Multi-Hop Infrastructure-mode 802.11 Wireless Networks for In-Vehicle Multimedia Infotainment

2 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.PLShow all

2 papers · 1 filter

cs.PL2021

Natural Hoare Logic: Towards formal verification of programs from logical forms of natural language specifications

Jayaraj Poroor

Formal verification provides strong guarantees of correctness of software, which are especially important in safety or security critical systems. Hoare logic is a widely used forma…

cs.PL2020

MotePy: A domain specific language for low-overhead machine learning and data processing

Jayaraj Poroor

A domain specific language (DSL), named MotePy is presented. The DSL offers a high level syntax with low overheads for ML/data processing in time constrained or memory constrained…