About

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

I am pursuing PhD at the Department of Computer Science, University of Hong Kong, since September 2018. I am working under the supervision of Dr. Bruno Oliveira. My research area revolves around type systems. Mainly, I am working with the integration of intersection types and union types. I have a few years of experience working as a software engineer (DevOps).

I read about social issues, politics, and religion. Specifically, I wish to understand the pragmatics and necessity of political and religious theories. I am always open for such kind of (meaningful) discussions. 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.
   Field of study: Programming Languages | Type Theory
   PS: Type systems are cool!

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

Experience

1. Resident Tutor (part-time) (Aug’19 - Present)
   New College, JCSV III, HKU
   Hong Kong.

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

3. 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 2023)
• European Conference on Object-Oriented Programming (ECOOP 2022)

Artifact Evaluation Committee

• 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

• 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]