About

Baber Rehman
Programming Languages | Type Theory | Functional Programming
[Github] | [LinkedIn] | [brehman (at) cs.hku.hk]

I hold a PhD in Programming Languages from the University of Hong Kong, where I have been studying until September 2018. I worked under the supervision of Dr. Bruno Oliveira, and my research primarily focuses on the design and implementation of programming languages, with a particular emphasis on the integration of intersection types and union types.

Prior to pursuing my doctoral degree, I gained several years of experience working as a software engineer in a DevOps role. This background has provided me with valuable practical knowledge and insights that I can apply to my current research.

I have a keen interest in exploring the realm of social issues, politics, and religion. In particular, I’m eager to understand the pragmatics and underlying necessity of various political and religious theories. I’m always open to engaging in meaningful discussions on these complex and often nuanced topics. My aim is to gain a deeper, more comprehensive understanding of the rationale and societal implications behind different political and religious perspectives. Abstract of my this research is available here.

Imagine a world where everything is formally verified!

Academics

1. PhD Computer Science (Sep’18 - Aug’23)
   Department of Computer Science,
   The University of Hong Kong.
   Specialization: Programming Languages | Type Theory | Formal Verification
   PS: Type systems are cool!

2. BS Computer Science (Oct’11 - Jun’15)
   PUCIT, University of the Punjab,
   Lahore, Pakistan.

Experience

1. Research Scholar (Sep’18 - Present)
   Department of Computer Science,
   The University of Hong Kong.
   Specialization: Programming Languages | Type Theory | Formal Verification
   

2. Resident Tutor (part-time) (Aug’19 - Oct’23)
   New College, JCSV III, HKU
   Hong Kong.

3. Software Engineer (DevOps) (May’15 - Aug’18)
   CloudPlex PVT LTD,
   Lahore, Pakistan.

4. Intern (Jul’14 - Sep’14)
   Mentor Graphics,
   Lahore, Pakistan.

Teaching

1. Teacher Assistant (Spring’20). Principals of Programming Languages. The University of Hong Kong.
2. Teacher Assistant (Fall’18). Functional Programming. The University of Hong Kong.
3. Visiting Lecturer (Oct’15 - Jun’16). PUCIT, University of the Punjab.
4. Teacher Assistant (Oct’13 - Jun’15). PUCIT, University of the Punjab.

Community Service

Review / Extended Review Committee

• European Conference on Object-Oriented Programming (ECOOP 2024)
• European Conference on Object-Oriented Programming (ECOOP 2023)
• European Conference on Object-Oriented Programming (ECOOP 2022)

Artifact Evaluation Committee

• International Symposium on Software Testing and Analysis (ISSTA 2024)
• European Conference on Object-Oriented Programming (ECOOP 2024)
• Programming Languages Development and Implementation (PLDI 2024)
• Symposium on Principles of Programming Languages (POPL 2024)
• USENIX Annual Technical Conference (ATC 2023)
• USENIX Symposium on Operating Systems Design and Implementation (OSDI 2023)
• European Conference on Object-Oriented Programming (ECOOP 2023)
• Symposium on Principles of Programming Languages (POPL 2023)
• Asian Symposium on Programming Languages and Systems (APLAS 2022)
• European Conference on Object-Oriented Programming (ECOOP 2022)

Miscellaneous

• Student helper PLDI 2021

CV

Download PDF.

Publications

• Disjoint Polymorphism with Intersection and Union Types (In Submission)
  Baber Rehman and Bruno C. d. S. Oliveira
  In 26th Workshop on Formal Techniques for Java-like Programs (FTfJP 2024)

• A Blend of Intersection Types and Union Types [PDF]
  Baber Rehman
  PhD Dissertation (August 2023)

• Determinism with Intersection and Union Types [Abstract] [Poster]
  Baber Rehman and Bruno C. d. S. Oliveira
  In Student Research Competition (ECOOP/ISSTA 2023)

• Type Soundness with Unrestricted Merges (In Submission)
  Baber Rehman and Bruno C. d. S. Oliveira
  In Journal of Functional Programming (JFP 2023)

• Correctness-by-Construction meets Refinement Types [PDF]
  Baber Rehman
  In 25th Workshop on Formal Techniques for Java-like Programs (FTfJP 2023)

• Union Types with Disjoint Switches [PDF]
  Baber Rehman, Xuejing Huang, Ningning Xie and Bruno C. d. S. Oliveira
  In European Conference on Object-Oriented Programming (ECOOP 2022)

• The Duality of Subtyping [PDF]
  Bruno C. d. S. Oliveira, Shaobo Cui and Baber Rehman
  In European Conference on Object-Oriented Programming (ECOOP 2020)

Artifacts

• Union Types with Disjoint Switches (Artifact) [PDF]
  Baber Rehman, Xuejing Huang, Ningning Xie and Bruno C. d. S. Oliveira
  In European Conference on Object-Oriented Programming (ECOOP 2022)

• The Duality of Subtyping (Artifact) [PDF]
  Bruno C. d. S. Oliveira, Shaobo Cui and Baber Rehman
  In European Conference on Object-Oriented Programming (ECOOP 2020)

Unpublished Drafts / Reviews

• Towards the Recognition of Pragmatics and Totality of Religion [PDF]
  Baber Rehman
  Abstract accepted at 18th International Conference on Philosophy

• DevSecOps: Necessity of the Modern Application Infrastructure [PDF]
  Baber Rehman

Contact

Baber Rehman
Department of Computer Science
The University of Hong Kong

Office: Room 426 CYC Building
Email: [brehman (at) cs.hku.hk]