Deyaaeldeen Almahallawi
Ph.D. Student

School of Informatics and Computing
Indiana University Bloomington (Public Key)
Lindley Hall 328
150 S. Woodlawn Ave.
Bloomington, IN 47405, USA
[ Resume ] [ Github ] [ Twitter ]

Our paper "Towards Absolutely Efficient Gradually Typed Languages" accepted in
STOP '15
Attended OPLSS 2014
Attended PLMW and POPL 2014


I am a Ph.D. student in Computer Science at Indiana University working with Prof. Jeremy Siek on efficient compilation of gradually-typed programs. Prior to graduate school, I was working at MESC for Research and Development, an Egyptian start up, advised by Dr. Waleed Yousef and obtained my B.Sc. from Helwan University advised by Dr. Mohamed Alaggan.


I am generally interested in compilers, compiler correctness, gradual typing, dependent types, and program verification. Here are my currently active projects, in no particular order:
  • Efficient Gradual Typing
    There is a tension between enabling interoperability between static and dynamic regions and achieving efficiency, especially in static regions of code. The purpose of our present work is to study the essential efficiency of gradual typing by constructing a prototype compiler in which we can implement approaches to minimizing overheads and carefully evaluate their impact on efficiency through empirical studies.
  • Benchmarking register allocation algorithms in LLVM
    Back-end optimizations, including register allocation, are a critical part of an optimizing compiler. The goal of the project is to implement many register allocation algorithms and heuristics in LLVM and evaluate them in terms of many performance factors including compilation time, execution time, and code size.


Fall 2015 P538 Computer Networks
Spring 2015 P423/P523 Compilers Slides
Fall 2014 C211 Introduction to Computer Science

Last Updated: 09-16-2015