-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
540 lines (446 loc) · 41.6 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
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
<!DOCTYPE html>
<!--[if IE 8]> <html lang="en" class="ie8"> <![endif]-->
<!--[if IE 9]> <html lang="en" class="ie9"> <![endif]-->
<!--[if !IE]><!-->
<html lang="en">
<!--<![endif]-->
<head>
<!-- Ali Shokri -->
<title>Ali Shokri</title>
<!-- Meta -->
<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<meta name="description" content="Responsive HTML5 Website landing Page for Developers">
<meta name="author" content="3rd Wave Media">
<link rel="shortcut icon" href="favicon.ico">
<link href='https://fonts.googleapis.com/css?family=Lato:300,400,300italic,400italic' rel='stylesheet' type='text/css'>
<link href='https://fonts.googleapis.com/css?family=Montserrat:400,700' rel='stylesheet' type='text/css'>
<!-- Global CSS -->
<link rel="stylesheet" href="assets/plugins/bootstrap/css/bootstrap.min.css">
<!-- Plugins CSS -->
<link rel="stylesheet" href="assets/plugins/font-awesome/css/font-awesome.css">
<!-- github acitivity css -->
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/octicons/2.0.2/octicons.min.css">
<link rel="stylesheet" href="https://caseyscarborough.github.io/github-activity/github-activity-0.1.0.min.css">
<!-- Theme CSS -->
<!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
<script src="https://oss.maxcdn.com/libs/respond.js/1.4.2/respond.min.js"></script>
<![endif]-->
<link rel="stylesheet" href="assets/css/academicons.min.css" />
<link id="theme-style" rel="stylesheet" href="assets/css/styles.css">
</head>
<body>
<!-- ******HEADER****** -->
<header id="home" class="header">
<div class="container" style="margin-left:10px;">
<div class="row align-items-center">
<img style="height:5.5cm" class="profile-image img-responsive pull-left" src="assets/images/Ali-Circle.png" alt="Ali Shokri" />
<div class="profile-content pull-left">
<h1 class="name">Ali Shokri</h1>
<h4>Ph.D. in Computer Science</h4>
<h4>Postdoctoral Associate</h4>
<h4>Bradley dept. of ECE, Virginia Tech</h4>
<ul class="social list-inline">
<!--li><a href="#"><i class="fa fa-twitter"></i></a></li>
<li><a href="#"><i class="fa fa-google-plus"></i></a></li-->
<li><a href="https://www.linkedin.com/in/a-shokri/" target="_blank"><i class="fa fa-linkedin"></i></a></li>
<li><a href="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/a-shokri" target="_blank"><i class="fa fa-github-alt"></i></a></li>
<li><a href="https://www.youtube.com/channel/UCtCCu9ItFzYtDrxVpxzv1LA" target="_blank"><i class="fa fa-hacker-news"></i></a></li>
<li><a href="assets/Ali Shokri-CV-A-2023.pdf" target="_blank"><i class="fa fa-file-pdf-o"></i></a></li>
<li><a href="https://scholar.google.com/citations?hl=en&user=2bRaz-QAAAAJ&view_op=list_works&sortby=pubdate" target="_blank"><i class="fa ai ai-google-scholar ai-3x"></i></a></li>
</ul>
</div><!--//profile-->
<!--a class="btn btn-cta-primary pull-right" href="#" target="_blank"><i class="fa fa-paper-plane"></i> Contact Me</a-->
</div><!--//container-->
</div>
<div class="row align-items-center">
<div class="navbar">
<a class="nav-link active" href="#" onclick="navigation('about');">
<i class="fa fa-home"></i>
Home
</a>
<a class="nav-link " href="#" onclick="navigation('research');">
<i class="fa fa-copy"></i>
Research
</a>
<a class="nav-link " href="#" onclick="navigation('publications');">
<i class="fa fa-copy"></i>
Publications
</a>
<a class="nav-link " href="#" onclick="navigation('services');">
<i class="fa fa-globe"></i>
Services
</a>
<a class="nav-link " href="#" onclick="navigation('awards');">
<i class="fa fa-trophy"></i>
Awards
</a>
<a class="nav-link " href="#" onclick="navigation('education');">
<i class="fa fa-graduation-cap"></i>
Education
</a>
<a class="nav-link " href="#" onclick="navigation('experience');">
<i class="fa fa-briefcase"></i>
Experience
</a>
</div><!--//profile-->
</div>
</header><!--//header-->
<div class="container sections-wrapper py-5">
<div class="row">
<div class="primary col-lg-9">
<section id="about" class="about section">
<div class="section-inner">
<h2 class="heading">About Me</h2>
<div class="content">
<p>I am a postdoc associate in the <a href="https://www.ssrg.ece.vt.edu">Systems Software Research Group</a>, Bradley Department of Electrical and Computer Engineering at <a href="https://ece.vt.edu/">Virginia Tech</a>, VA, USA, working with Prof. <a href="https://binoyravindran.github.io/">Binoy Ravindran</a> on the intersection of security, program analysis, and formal methods. I received my Ph.D. in Computing and Information Sciences from <a href="https://rit.edu/">Rochester Institute of Technology (RIT)</a>, NY, USA, in 2023, under the supervision of <a href="https://www.se.rit.edu/~mehdi/" target="_blank">Dr. Mirakhorli</a> with the focus on program synthesis and program analysis. In particular, my dissertation aimed at pushing the boundary of program synthesis and supporting a wide range of software developers with inter-procedural program synthesis.</p>
<p>My <a href="https://ieeexplore.ieee.org/document/9678705" target="_blank">paper</a> on program synthesis is the <b>First-place Award Winner</b> of the <i>Research Competition</i> at the 36th IEEE/ACM International Conference on Automated Software Engineering (<a href="https://conf.researchr.org/home/ase-2021">ASE’21</a>).
</p>
<p>During my Ph.D., as a Research Intern, I had the privilege to collaborate with brilliant researchers at <a href="https://www.google.com">Google</a> (Fall 2022) and <a href="https://www.parc.com">PARC</a> (Spring 2022).
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="news" class="about section">
<div class="section-inner">
<h2 class="heading">News & Announcements</h2>
<div class="content">
<p> <b><i style="color:#ea6c11;font-size:16px">Aug 2023:</i></b> I will be serving the <a href="https://conf.researchr.org/track/saner-2024/saner-2024-papers">SANER'24</a> as a PC member of the Research track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Aug 2023:</i></b> I've joined the ECE department of Virginia Tech (among the top four best ECEs in the US!) as a postdoc associate to expand my research domain to formal-oriented software security.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Jul 2023:</i></b> I successfully defended my Ph.D. dissertation!</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Feb 2023:</i></b> We have filed two inventions and patent out of my work on program synthesis and program analysis.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Dec 2022:</i></b> Successfully defended my Ph.D. proposal, getting ready for the dissertation defense in the near future.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Dec 2022:</i></b> I will be serving the <a href="https://conf.researchr.org/home/msr-2023">MSR'23</a> as a Junior PC of the Research track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Aug 2022:</i></b> I’ve started a new position as a Research Intern at <a href="https://www.google.com">Google</a> to work on Google's Large Language Models (LLM) for AI-assisted software development and software synthesis.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">May 2022:</i></b> I’ve finished my Research Internship at <a href="https://www.parc.com">PARC</a>, aiming at registering two inventions and 2 papers as outcomes of my contribution.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Mar 2022:</i></b> I will be serving the <a href="https://conf.researchr.org/track/icse-2023/icse-2023-SRC">ICSE'23</a> as a PC member of the Research Competition track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Feb 2022:</i></b> I will be serving the <a href="https://conf.researchr.org/track/issta-2022/issta-2022-tool-demonstrations">ISSTA'22</a> as a PC member of the Tool Demo track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Feb 2022:</i></b> I’ve joined the Palo Alto Research Center (<a href="https://www.parc.com">PARC</a>) as a Research Intern, Software Synthesis.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Jan 2022:</i></b> I will be serving the <a href="https://www.ieee-scam.org/2022/#cfpresearchtrack">SCAM'22</a> as a PC member of the Research track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Jan 2022:</i></b> I will be serving the <a href="https://pldi22.sigplan.org/track/pldi-2022-PLDI-Research-Artifacts">PLDI'22</a> as a PC member of the Research Artifact track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Jan 2022:</i></b> I will be serving the <a href="https://cyprusconferences.org/icsme2022/tool-demo-track/">ICSME'22</a> as a PC member of the Tool Demo track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Dec 2021:</i></b> I will be serving the <a href="https://conf.researchr.org/track/ase-2022/ase-2022-student-research-competition">ASE'22</a> as a PC member of the Research Competition track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Dec 2021:</i></b> I will be serving the <a href="https://conf.researchr.org/track/icpc-2022/icpc-2022-research">ICPC'22</a> as a PC member of the Research track.</p>
<p> <b><i style="color:#ea6c11;font-size:16px">Nov 2021:</i></b> My research won the Research Competition Award at <a href="https://conf.researchr.org/track/ase-2021/ase-2021-student-research-competition">ASE'21</a>.</p>
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="research" class="latest section">
<div class="section-inner">
<h2 class="heading">Latest Research Projects</h2>
<div class="content">
<div class="item featured text-center">
<h3 class="title">Software Synthesis (Ongoing Project)</h3>
<p class="summary">
Generating a sound and correct program based on user's intention.
<!--a onclick="document.getElementById('div-lrp-1').hidden = !document.getElementById('div-lrp-1').hidden;"> More Details >> </a-->
</p>
<div class="featured-image" id="div-lrp-1">
<img class="img-responsive project-image" style="width:60%; margin:auto" src="assets/images/projects/Project_ProgramSynthesis.png" alt="project name" />
<div class="desc text-left">
<p>
Program Synthesis refers to techniques and approaches that automatically generate a program based on a specification described by the programmer or end-user.
In this research project, we aim to find ways to improve programmers’ productivity in producing software while preserving the quality of the code.
</p>
</div><!--//desc-->
<a class="btn btn-cta-secondary" href="https://design.se.rit.edu/programs/software-synthesis/" target="_blank"><i class="fa fa-external-link"></i>Project Website</a>
</div><!--//featured-image-->
</div><!--//item-->
<div class="item featured text-center">
<h3 class="title">FQN and Dependency Resolver (Ongoing Project)</h3>
<p class="summary">
Finding the correct FQN and related Dependency for identifiers in a code snippet.
<!--a onclick="document.getElementById('div-lrp-2').hidden = !document.getElementById('div-lrp-2').hidden;"> More Details >> </a-->
</p>
<div class="featured-image" id="div-lrp-2">
<!--img class="img-responsive project-image" style="width:90%; margin:auto" src="#" alt="project name" /-->
<div class="desc text-left">
<p>
Borrowing code snippets from Q&A forums and open sourced programs is a common practice followed by pogram developers. However, to be able to
make the final code compilable, the programmer needs to add correct "import" (i.e., fully qualified names) for the types included in the code snippet.
In this project, we aim to help programmers not only identifying the correct FQN for each identifier, but also to find the correct dependency for each FQN.
</p>
</div><!--//desc-->
<a class="btn btn-cta-secondary" href="#" target="_blank"><i class="fa fa-external-link"></i>Project Website (TBD)</a>
</div><!--//featured-image-->
</div><!--//item-->
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="publications" class="latest section">
<div class="section-inner">
<h2 class="heading">Selected Papers</h2>
<div class="content">
<div class="item row">
<a class="col-md-4 col-sm-4 col-xs-12" href="#" target="_blank">
<img class="img-responsive project-image" style="width:6cm; height:3cm;" src="assets/images/projects/Paper_IPSynth-ASE21.png" alt="project name" />
</a>
<div class="desc col-md-8 col-sm-8 col-xs-12">
<h3 class="title"><a href="https://ieeexplore.ieee.org/document/9678705" target="_blank">A Program Synthesis Approach for Adding Architectural Tactics to An Existing Code Base</a></h3>
<p>In this paper, we introduce a novel program synthesis approach for architectural tactic implementation task. This paper is accepted in the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021) and is on its way to be published.</br><img src="assets/images/icons/trophy2.png" style="width:.7cm"> This paper won the research competition award at ASE'21.</p>
<p>
<a class="more-link" href="https://ieeexplore.ieee.org/document/9678705" target="_blank"><i class="ai ai-ieee ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://youtu.be/JH3uT0ZupUg" target="_blank"><i class="fa fa-video-camera" style="font-size:20px"></i></a>
<a class="more-link" href="https://doi.org/10.1109/ASE51524.2021.9678705" target="_blank"><i class="ai ai-doi ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://arxiv.org/abs/2108.07117" target="_blank"><i class="fa fa-print" style="font-size:20px"></i></a>
</p>
</div><!--//desc-->
</div><!--//item-->
<div class="item row">
<a class="col-md-4 col-sm-4 col-xs-12" href="#" target="_blank">
<img class="img-responsive project-image" style="width:6cm; height:3cm;" src="assets/images/projects/Paper_DepRes.png" alt="project name" />
</a>
<div class="desc col-md-8 col-sm-8 col-xs-12">
<h3 class="title"><a href="https://arxiv.org/abs/2108.01165" target="_blank">DepRes: A Tool for Resolving Fully Qualified Names and Their Dependencies</a></h3>
<p>One important barrier in front of static program analyzers is to correctly identify fully qualified names (FQN) of identifiers in a code snippet, as well as third-party libraries used in the code. Moreover, resolving the correct versioin of liibraries plays an important role in an accurate program analysis task. In this paper, we introduce a learning-based approach to address such needs.</p>
<p>
<a class="more-link" href="https://arxiv.org/abs/2108.01165" target="_blank"><i class="fa fa-print" style="font-size:20px"></i></a>
</p>
</div><!--//desc-->
</div><!--//item-->
<div class="item row">
<a class="col-md-4 col-sm-4 col-xs-12" href="#" target="_blank">
<img class="img-responsive project-image" style="width:6cm" src="assets/images/projects/Paper_ArCodeTool_ICPC21.png" alt="project name" />
</a>
<div class="desc col-md-8 col-sm-8 col-xs-12">
<h3 class="title"><a href="https://ieeexplore.ieee.org/document/9462989" target="_blank">ArCode: A Tool for Supporting Architectural Concerns Comprehension and Implementation</a></h3>
<p>Based on our <a href="https://ieeexplore.ieee.org/document/9426773" target="_blank">ArCode</a> ICSA21 paper, we implemented a tool as a plugin for IntelliJ IDEA. This tool aims to realize ArCode approach and support programmers in practice. This paper is accepted in 29th IEEE/ACM International Conference on Program Comprehension (ICPC 2021) and is on its way to be published by June 2021.</p>
<p>
<a class="more-link" href="https://ieeexplore.ieee.org/document/9462989" target="_blank"><i class="ai ai-ieee ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://youtu.be/d744pBOY7i4" target="_blank"><i class="fa fa-video-camera" style="font-size:20px"></i></a>
<a class="more-link" href="https://doi.org/10.1109/ICPC52881.2021.00056" target="_blank"><i class="ai ai-doi ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://arxiv.org/abs/2103.06735" target="_blank"><i class="fa fa-print" style="font-size:20px"></i></a>
</p>
</div><!--//desc-->
</div><!--//item-->
<div class="item row">
<a class="col-md-4 col-sm-4 col-xs-12" href="#" target="_blank">
<img class="img-responsive project-image" style="width:6cm" src="assets/images/projects/Paper_ArCode.png" alt="project name" />
</a>
<div class="desc col-md-8 col-sm-8 col-xs-12">
<h3 class="title"><a href="https://ieeexplore.ieee.org/document/9426773" target="_blank">ArCode: Facilitating the Use of Application Frameworks to Implement Tactics and Patterns</a></h3>
<p>Programmers and software designers are increasingly incorporating framework APIs to correctly implement architectures and tactics. However, based on studies, they can not rely on frameworks' documentations nor available tutorials. In this paper, we introduce ArCode, an approach that learns the correct usage of APIs from a limited code samples. This paper is accepted in 2021 IEEE International Conference on Software Architecture (ICSA) and is on its way to be published by May 2021</p>
<p>
<a class="more-link" href="https://ieeexplore.ieee.org/document/9426773" target="_blank"><i class="ai ai-ieee ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://youtu.be/dzugRQKKGZc" target="_blank"><i class="fa fa-video-camera" style="font-size:20px"></i></a>
<a class="more-link" href="https://doi.org/10.1109/ICSA51549.2021.00021" target="_blank"><i class="ai ai-doi ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://arxiv.org/abs/2102.08372" target="_blank"><i class="fa fa-print" style="font-size:20px"></i></a>
</p>
</div><!--//desc-->
</div><!--//item-->
<div class="item row">
<a class="col-md-4 col-sm-4 col-xs-12" href="#" target="_blank">
<img class="img-responsive project-image" style="width:5cm" src="assets/images/projects/Paper_Sherlock.png" alt="project name" />
</a>
<div class="desc col-md-8 col-sm-8 col-xs-12">
<h3 class="title"><a href="https://ieeexplore.ieee.org/abstract/document/9307656" target="_blank">SHERLOCK: An integrated environment to facilitate the rapid and continuous certification of software systems</a></h3>
<p>Establishing links between concerns needed to be addressed, artifacts, and evidences in a software system is crucial for software certification tasks. Tracing these links though is not a trivial process. In this paper, we introduce SHERLOCK, an integrated environment that facilitate the rapid and continuous certification of software systems. This paper is published as a preceeding of 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)</p>
<p>
<a class="more-link" href="https://ieeexplore.ieee.org/document/9426773" target="_blank"><i class="ai ai-ieee ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://youtu.be/Zy8uKGi7Cd0" target="_blank"><i class="fa fa-video-camera" style="font-size:20px"></i></a>
<a class="more-link" href="https://doi.org/10.1109/ISSREW51248.2020.00087" target="_blank"><i class="ai ai-doi ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://www.researchgate.net/publication/347564228_Towards_Automated_Evidence_Generation_for_Rapid_and_Continuous_Software_Certification" target="_blank"><i class="fa fa-print" style="font-size:20px"></i></a>
</p>
</div><!--//desc-->
</div><!--//item-->
<!--div class="item row">
<a class="col-md-4 col-sm-4 col-xs-12" href="#" target="_blank">
<img class="img-responsive project-image" style="width:6cm" src="assets/images/projects/Paper_ModularRobot.png" alt="project name" />
</a>
<div class="desc col-md-8 col-sm-8 col-xs-12">
<h3 class="title"><a href="https://ieeexplore.ieee.org/abstract/document/7367822" target="_blank">A Meta-module Approach for Cluster Flow Locomotion of Modular Robots</a></h3>
<p>Modular robots are composed of smaller connected semi-independent parts called modules. Each module has a degree of authority to make decision and act upon that. To perform meaningful actions and accomplish a task, all modules need to cooperate, make a distributive decisions, and make moves without getting disconnected from the robot. In this project, we introduce a novel approach for grouping modules into groups of three and planning paths for each group as the final outcome would be the locomotion of the modular robot.</p>
<a class="more-link" href="https://ieeexplore.ieee.org/abstract/document/7367822" target="_blank"><i class="ai ai-ieee ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://doi.org/10.1109/ICRoM.2015.7367822" target="_blank"><i class="ai ai-doi ai-2x" style="font-size:20px"></i></a>
<a class="more-link" href="https://www.researchgate.net/publication/308807065_A_meta-module_approach_for_cluster_flow_locomotion_of_modular_robots" target="_blank"><i class="fa fa-print" style="font-size:20px"></i></a>
</p>
</div><!--//desc-->
</div--><!--//item-->
<a class="btn btn-cta-secondary" href="https://scholar.google.com/citations?hl=en&user=2bRaz-QAAAAJ&view_op=list_works&sortby=pubdate" target="_blank"><i class="fa fa-external-link"></i>Full Publication List</a>
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="experience" class="experience section">
<div class="section-inner">
<h2 class="heading">Work Experience</h2>
<div class="content">
Please find an overview of my experiences as follows:
<img style="width:100%; margin:auto" src="assets/images/Experience_Overview.png" alt="Experience Overview" />
<br>
You may find more deails of my work experience from my <a href="assets/Ali Shokri-CV-A-2023.pdf" target="_blank">CV</a>.
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="services" class="experience section">
<div class="section-inner">
<h2 class="heading">Contributions to SE Community</h2>
<div class="content">
<div class="item">
<h3 class="title">Paper Reviewer - <span class="place">Conferences/Journals</span></h3>
<p>
<ul>
<li>Reviewer for the IEEE Transactions on Software Engineering (<a href="https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=32">TSE</a>)</li>
<li>Reviewer for the IEEE Software Journal (<a href="https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=52">IEEE Softw.</a>)</li>
<li>Reviewer for the Journal of Systems & Software (<a href="https://www.journals.elsevier.com/journal-of-systems-and-software">JSS</a>)</li>
<li>Reviewer for the e-Informatica Software Engineering Journal (<a href="https://www.e-informatyka.pl">EISEJ</a>)</li>
<li>Sub-reviewer for ACM Transactions on Software Engineering and Methodology (<a href="https://dl.acm.org/journal/tosem">ToSEM</a>)</li>
<li>Sub-reviewer at 42nd International Conference on Software Engineering (<a href="https://conf.researchr.org/home/icse-2020">ICSE 2020</a>)</li>
</ul>
</p>
</div><!--//item-->
<div class="item">
<h3 class="title">PC Member - <span class="place">Conferences</span></h3>
<p>
<ul>
<li>31st IEEE International Conference on Software Analysis, Evolution, and Reengineering (<a href="https://conf.researchr.org/track/saner-2024/saner-2024-papers">SANER'24</a> Research Track)</li>
<li>20th International Conference on Mining Software Repository (<a href="https://conf.researchr.org/home/msr-2023">MSR'23</a> Junior PC Track)</li>
<li>45th International Conference on Software Engineering (<a href="https://conf.researchr.org/track/icse-2023/icse-2023-SRC">ICSE'23</a> Research Competition Track)</li>
<li>37th IEEE/ACM International Conference on Automated Software Engineering (<a href="https://conf.researchr.org/track/ase-2022/ase-2022-student-research-competition">ASE'22</a> SRC)</li>
<li>22nd IEEE International Working Conference on Source Code Analysis and Manipulation (<a href="https://www.ieee-scam.org/2022/#cfpresearchtrack">SCAM'22</a> Research Track)</li>
<li>38th IEEE International Conference on Software Maintenance and Evaluation (<a href="https://cyprusconferences.org/icsme2022/tool-demo-track/">ICSME'22</a> Tool Demo)</li>
<li>31st ACM SIGSOFT International Symposium on Software Testing and Analysis (<a href="https://conf.researchr.org/track/issta-2022/issta-2022-tool-demonstrations">ISSTA'22</a> Tool Demo Track)</li>
<li>43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (<a href="https://pldi22.sigplan.org/track/pldi-2022-PLDI-Research-Artifacts">PLDI'22</a> Research Artifact)</li>
<li>30th IEEE/ACM International Conference on Program Comprehension (<a href="https://conf.researchr.org/committee/icpc-2022/icpc-2022-research-program-committee">ICPC'22</a> Research Track)</li>
<li>37th International Conference on Software Maintenance and Evolution (<a href="https://icsme2021.github.io/ProgramCommittee.html">ICSME'21</a> Tool Demo)</li>
<li>35th European Conference on Object-Oriented Programming (<a href="https://2021.ecoop.org/track/ecoop-2021-ecoop-artifacts">ECOOP'21</a> Artifact Evaluation)</li>
</ul>
</p>
</div><!--//item-->
<div class="item">
<h3 class="title">Lecturer - <span class="place">Academic/Industry</span></h3>
<p>
<ul>
<li>RIT <a href="https://www.se.rit.edu/~swen-610/index.html">SWEN-610</a> - Graduate Level Course (Guest Lecturer): Foundation of Software Engineering (An Introduction to Program Synthesis - <a href="https://www.youtube.com/watch?v=wvbqBAWnMgY">Video</a>)</li>
<li>Design Patterns (<a href="https://www.melat.ir">Melat Insurance Co.</a>)</li>
<li>Java Programming (<a href="https://www.raydana.com">Raydana Co.</a>)</li>
</ul>
</p>
</div><!--//item-->
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="education" class="education section">
<div class="section-inner">
<h2 class="heading">Education</h2>
<div class="content">
<div class="item">
<h3 class="title"><i class="fa fa-graduation-cap"></i> Ph.D. Computer Science</h3>
<h4 class="university">Rochester Institute of Technology<span class="year"> (2023)</span></h4>
</div><!--//item-->
<div class="item">
<h3 class="title"><i class="fa fa-graduation-cap"></i> M.Sc. Information Technology</h3>
<h4 class="university">Tarbiat Modares University<span class="year"> (2014)</span></h4>
</div><!--//item-->
<div class="item">
<h3 class="title"><i class="fa fa-graduation-cap"></i> B.Sc. Software Engineering</h3>
<h4 class="university">University of Tehran<span class="year"> (2007)</span></h4>
</div><!--//item-->
<div class="item">
I was fortunate enough to be able to attend a couple of great PhD level summer schools:
<h4 class="university">International Software Architecture PhD School<span class="year"> (2021)</span></h4>
<h4 class="university">PL+HCI “Swimmer” School<span class="year"> (2020)</span></h4>
</div><!--//item-->
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
<section id="awards" class="education section">
<div class="section-inner">
<h2 class="heading">Awards</h2>
<div class="content">
<div class="item">
<h3 class="title"><img src="assets/images/icons/trophy2.png" style="width:.7cm"> ASE'21 Research Competition</h3>
<h4 class="university">The winner of the Research Competition at ACM <a href="https://conf.researchr.org/track/ase-2021/ase-2021-student-research-competition">ASE'21</a>, an A* conference in the field of software engineering.<span class="year"> (2021)</span></h4>
</div><!--//item-->
<div class="item">
<h3 class="title"><img src="assets/images/icons/Award2.png" style="width:.7cm"> Data61 Research Scholarship</h3>
<h4 class="university">Recipient of a prestigious scholarship for conducting my research at <a href="https://data61.csiro.au/">Data61</a>, a world leader in data science research and engineering.<span class="year"> (2018)</span></h4>
</div><!--//item-->
<div class="item">
<h3 class="title"><img src="assets/images/icons/Award2.png" style="width:.7cm"> University of Melbourne</h3>
<h4 class="university">Admitted as a fully funded PhD student at the <a href="https://www.unimelb.edu.au/">University of Melbourne</a> (worldwide ranked 25th) with a prestigious fellowship.<span class="year"> (2018)</span></h4>
</div><!--//item-->
<div class="item">
<h3 class="title"><img src="assets/images/icons/Award2.png" style="width:.7cm"> Monash University</h3>
<h4 class="university">Admitted as a PhD student at <a href="https://www.monash.edu.au/">Monash University</a> (worldwide ranked 40th) as a PhD student.<span class="year"> (2017)</span></h4>
</div><!--//item-->
</div><!--//content-->
</div><!--//section-inner-->
</section><!--//section-->
</div><!--//primary-->
<div class="secondary col-lg-3">
<aside class="info aside section">
<div class="section-inner static" style="border:0px; background:transparent">
<h2 class="heading sr-only">Basic Information</h2>
<div class="content">
<ul class="list-unstyled">
<li><i class="fa fa-map-marker"></i><span class="sr-only">Location:</span>Blacksburg, VA, US</li>
<li><i class="fa fa-link"></i><span class="sr-only">Website:</span><a href="https://a-shokri.github.io">https://a-shokri.github.io</a></li>
<li><i class="fa fa-github"></i><span class="sr-only">Github:</span><a href="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/a-shokri">https://github.com/a-shokri</a></li>
<li><i class="fa fa-envelope-o"></i><span class="sr-only">Email:</span>ashokri at vt dot edu</li>
</ul>
</div><!--//content-->
</div><!--//section-inner-->
</aside><!--//aside-->
<!--aside class="languages aside section">
<div class="section-inner">
<h2 class="heading">Languages</h2>
<div class="content">
<ul class="list-unstyled">
<li class="item">
<span class="title"><strong>Persian:</strong></span>
<span class="level">Native Speaker <br class="visible-xs"/><i class="fa fa-star"></i> <i class="fa fa-star"></i> <i class="fa fa-star"></i> <i class="fa fa-star"></i> <i class="fa fa-star"></i> </span>
</li>
<li class="item">
<span class="title"><strong>English:</strong></span>
<span class="level">Professional Proficiency <br class="visible-sm visible-xs"/><i class="fa fa-star"></i> <i class="fa fa-star"></i> <i class="fa fa-star"></i> <i class="fa fa-star"></i></span>
</li>
<li class="item">
<span class="title"><strong>Arabic:</strong></span>
<span class="level">Limited Working Proficiency <br class="visible-sm visible-xs"/><i class="fa fa-star"></i> <i class="fa fa-star"></i> </span>
</li>
</ul>
</div>
</div><
</aside-->
<!--//section-->
</div><!--//secondary-->
</div><!--//row-->
</div><!--//masonry-->
<!-- Javascript -->
<script type="text/javascript" src="assets/plugins/jquery-1.11.1.min.js"></script>
<script type="text/javascript" src="assets/plugins/jquery-migrate-1.2.1.min.js"></script>
<script type="text/javascript" src="assets/plugins/bootstrap/js/bootstrap.min.js"></script>
<script type="text/javascript" src="assets/plugins/jquery-rss/dist/jquery.rss.min.js"></script>
<!-- github activity plugin -->
<script type="text/javascript" src="https://cdnjs.cloudflare.com/ajax/libs/mustache.js/0.7.2/mustache.min.js"></script>
<script type="text/javascript" src="https://caseyscarborough.github.io/github-activity/github-activity-0.1.0.min.js"></script>
<!-- custom js -->
<script type="text/javascript" src="assets/js/main.js"></script>
<script>function navigation(menuId) {
var els = document.getElementsByTagName("section");
for (var i = 0; i < els.length; i++) {
var isStatic = false;
var classLists = els[i].classList;
for (var j = 0; j < classLists.length; j++) {
if (classLists[j] == "static")
isStatic = true;
}
if (isStatic)
continue;
if (els[i].id == menuId || (els[i].id == "news" && menuId == "about"))
els[i].style.display = "block";
else
els[i].style.display = "none";
}
}
navigation("about");</script>
</body>
</html>