Akshatha Shenoy

USI Università della Svizzera italiana

Papers on Lattice

Total citations

Topics

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Distributed Systems & Hardware (1)

Frequent co-authors

Carlo A. Furia (1)

Papers (1)

Jul 1, 2026

USI Università della Svizzera italiana1w ago·also USI -Università della Svizzera italiana

Petrify: Petri-net Based Analysis of Concurrency Properties in Java Bytecode

Petrify achieves a groundbreaking balance between expressiveness and scalability in verifying concurrency properties of Java bytecode, making it applicable to modern programming practices.

Akshatha Shenoy, Carlo A. Furia

Code Generation & Program Synthesis Distributed Systems & Hardware

Search

Akshatha Shenoy

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)