-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
172 lines (168 loc) · 6.83 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
<title> Deyaaeldeen Almahallawi </title>
<link rel="stylesheet" href="deyaa_files/mystyle.css" type="text/css" media="screen">
</head>
<body>
<script type="text/javascript">
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','//www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-45985341-1', 'indiana.edu');
ga('send', 'pageview');
</script>
<table class="maintable" align="center" border="0">
<tbody><tr>
<td style="width:20px;"> </td>
<td width="440px"><br><br><br>
<div class="titletext"> Deyaaeldeen Almahallawi </div>
<div class="subtitletext"> Ph.D. Student </div>
<br>
<a class="headerlink" href="http://www.soic.indiana.edu/"><strong>School of Informatics and Computing</strong></a> <br>
<a class="headerlink" href="http://www.iub.edu/"><strong>Indiana University Bloomington</strong></a>
<br><br>
<table border="0" cellpadding="0" cellspacing="0" >
<tbody>
<tr>
<td><img src="deyaa_files/images/envelope.png"></td>
<td> <a class="contact"
href="mailto:[email protected]">[email protected]</a> <a class="contact"
href="public.txt">(Public
Key) </a></td>
</tr>
<tr>
<td><img src="deyaa_files/images/placemark.png" alt=""></td>
<td> <a class="contact" href="http://goo.gl/Ws6ZfR"> Lindley Hall 328 </a>
<tr><td></td><td> <a class="contact" href="http://goo.gl/Ws6ZfR"> 150 S. Woodlawn Ave. <br> Bloomington, IN 47405, USA </a></td>
</tr>
<tr><td></td><td>
<div class="text">
[ <a class="headerlink" href="resume.pdf">Resume</a> ]
[ <a class="headerlink" href="https://github.com/deyaaeldeen">Github</a> ]
[ <a class="headerlink" href="https://twitter.com/DeyaaEldeen">Twitter</a> ]
</div>
</td>
</td>
</tr>
</tbody>
</table>
</td>
</tr>
<tr>
<td width="20px"> </td>
<td colspan="2">
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<div class="subtitletext"> News </div>
<br>
<table>
<tr>
<th></th>
<th></th>
</tr>
<tr>
<td valign="top"><div class="text"> 05/09/2015 </div></td>
<td valign="top"><div class="text"> Our paper "Towards Absolutely Efficient Gradually Typed Languages" accepted in </div>
<div class="text"> STOP '15 </div></td>
</tr>
<tr>
<td><div class="text">06/16/2014 </div></td>
<td><div class="text">Attended OPLSS 2014 </div></td>
</tr>
<tr>
<td><div class="text">01/22/2014 </div></td>
<td><div class="text">Attended PLMW and POPL 2014 </div></td>
</tr>
</table>
<hr width="98%" align="center">
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<div class="subtitletext"> Overview </div>
<br>
<div class="text"> I am a Ph.D. student in Computer Science at Indiana University working with
Prof. <a class="headerlink" href="http://wphomes.soic.indiana.edu/jsiek/">Jeremy Siek</a> on efficient
compilation of gradually-typed programs.
Prior to graduate school, I was working at
<a class="headerlink" href="http://www.mesclabs.com/">MESC for Research and Development</a>,
an Egyptian start up, advised by
<a class="headerlink" href="http://www.helwan.edu.eg/university/staff/Dr.WaleedYousef/">Dr. Waleed Yousef</a>
and obtained my B.Sc. from Helwan University advised by
<a class="headerlink" href="http://www.helwan.edu.eg/university/staff/Dr.MohamedNabil/">Dr. Mohamed Alaggan</a>.
</div>
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<div class="subtitletext">Publications</div> <br>
<div class="text">
<ul>
<li>
<a class="headerlink" href="http://2015.ecoop.org/event/stop2015-towards-absolutely-efficient-gradually-typed-languages">Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, and Jeremy Siek. "Towards Absolutely Efficient Gradually Typed Languages" Scripts to Programs (STOP) 2015</a>
</li>
</ul>
</div>
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<div class="subtitletext">Research</div> <br>
<div class="text">
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:
<ul>
<li><b>Efficient Gradual Typing</b><br> 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. </li>
<li><b>Benchmarking register allocation algorithms
in <a class="headlink"
href="http://llvm.org/">LLVM</a></b><br> 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.</li>
</ul>
<br><br>
</div>
<div class="subtitletext">Teaching</div> <br>
<div class="text">
<table border="0">
<tr>
<th></th>
<th></th>
</tr>
<tr>
<td>Fall 2015</td>
<td><a class="headerlink" href="http://homes.soic.indiana.edu/classes/fall2015/csci/p538-ralhill/">P538 Computer Networks</a></td>
</tr>
<tr>
<td>Spring 2015</td>
<td>P423/P523 Compilers
<a class="hyperlink" href="Teaching/p423/lec.html">Slides</a></td>
</tr>
<tr>
<td>Fall 2014</td>
<td><a class="headerlink" href="http://www.cs.indiana.edu/classes/c211/">C211 Introduction to Computer Science</a></td>
</tr>
</table>
<br>
</div>
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<hr width="98%" align="center">
<img src="deyaa_files/spacer.gif" width="100%" height="8px" alt="">
<br><br>
<div align="center"> <font size="-1" color="#606860"> Last Updated: 09-16-2015 </font> </div>
<p>
</p>
</td>
<td width="20px"> </td>
</tr>
</tbody>
</table>
</body>
</html>