2 citations · 2 across the 3 of their papers we have counts for
3 papers
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…
cs.NI2009★ 2 cited
Fast Dual-Radio Cross-Layer Handoffs in Multi-Hop Infrastructure-mode 802.11 Wireless Networks for In-Vehicle Multimedia Infotainment
Jayaraj Poroor, Sriram Karunagaran, Sudharsan Sundararajan +1
Minimizing handoff latency and achieving near-zero packet loss is critical for delivering multimedia infotainment applications to fast-moving vehicles that are likely to encounter…