Baber Rehman

According to our database, Baber Rehman authored at least 7 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Formal Specifications for Data Plane Programs.

Keyu Yuan, Baber Rehman

Proceedings of the 2nd Workshop on Formal Methods Aided Network Operation, 2025

2024

Disjoint Polymorphism with Intersection and Union Types.

Baber Rehman, Bruno C. d. S. Oliveira

Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs, 2024

2023

Correctness-by-Construction Meets Refinement Types.

Baber Rehman

Proceedings of the 25th ACM International Workshop on Formal Techniques for Java-like Programs, 2023

2022

Union Types with Disjoint Switches (Artifact).

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Dagstuhl Artifacts Ser., 2022

Union Types with Disjoint Switches.

Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

2020

The Duality of Subtyping (Artifact).

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Dagstuhl Artifacts Ser., 2020

The Duality of Subtyping.

Bruno C. d. S. Oliveira, Shaobo Cui, Baber Rehman

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020