Rahmadi Trimananda

Registered user since Thu 9 Jul 2020

Name:Rahmadi Trimananda
Country:United States
Affiliation:University of California at Irvine, USA
Research interests:Smart home, IoT devices, software engineering, cybersecurity


VMCAI 2022 Stateful Dynamic Partial Order Reduction for Model Checking Event-Driven Applications that Do Not Terminate
Show activities from other conferences

POPL 2022-profile
View general profile