Alexandra Silva

A look into how DIBI models analyze event relationships.

NetKAT simplifies network rule creation and verification for efficient management.

A deep dive into probabilistic programming for handling uncertainty in various applications.

Learn why program termination is crucial for computer programming.

Discover how randomization can improve concurrent programming efficiency.