-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathpubli.html
140 lines (90 loc) · 6.16 KB
/
publi.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
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8" />
<link rel="stylesheet" type="text/css" href="style.css" />
<title>Dorra Ben Khalifa</title>
</head>
<body>
<div id="wrap">
<div id="header">
<h1><a>Dorra BEN KHALIFA</a></h1>
</div>
<div id="menu">
<ul>
<li><a href="index.html">HOME</a></li>
<li><a href="research.html">RESEARCH</a></li>
<li><a href="publi.html">PUBLICATIONS</a></li>
<li><a href="Teaching.html">TEACHING</a></li>
<li><a href="software.html">SOFTWARE</a></li>
<li><a href="contact.html">CONTACT</a></li>
</ul>
</div>
<div id="menubottom"> </div>
<div id="contentwrap">
<div id="content">
<h3> PhD Thesis </h3>
<ul>
<li><I>Fast and Efficient Bit-Level Precision Tuning. (Analyse statique pour le réglage de la précision numérique).</I>
University of Perpignan, November, 2021. <a href="https://tel.archives-ouvertes.fr/tel-03509266"> [PDF] </a> <a href="PhD_defense.pdf">[Slides]</a></li>
</ul>
<h3>International Peer-Reviewed Conferences </h3>
<ol>
<li value="15"><a href= "https://ieeexplore.ieee.org/document/10708400"><I> Rigorous Floating-Point to Fixed-Point Quantization of Deep Neural Networks on STM32 Micro-controllers.</I></a>
In the 10th IEEE International Conference on Control, Decision and Information Technologies (CoDIT'24). </li>
<li value="14"><a href= "https://dl.acm.org/doi/10.1145/3652032.3657578"><I> Efficient Implementation of Neural Networks Usual Layers on Fixed-Point Architectures.</I></a>
In the 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'24). </li>
<li value="13"><a href= "https://www.computingfrontiers.org/2024/"><I> Compile-Time Optimization of the Energy Consumption of Numerical Computations.</I></a> In the 3rd Annual Compiler Frontiers Workshop (CF'24). </li>
<li value="12"><a href= "https://dl.acm.org/doi/10.1145/3624062.3625122"><I> What Operations can be Performed Directly on Compressed Arrays, and with What Error?</I></a>
In the 9th International Workshop on Data Analysis and Reduction for Big Scientific Data, DRBSD@SC'23 </li>
<li value="11"><a href= "https://ebooks.iospress.nl/volumearticle/69400"><I>Floating to Fixed-Point Conversion of Deep Neural Networks with Guaranteed Error Bounds.</I></a> In the 25th International Conference of the Catalan Association for Artificial Intelligence,
CCIA'23. </li>
<li value="10"><a href= "https://ieeexplore.ieee.org/document/10284265"><I> On the Functional Properties of Automatically Generated Fixed-Point Controllers.</I></a> In the 9th International Conference
on Control, Decision and Information Technologies, CoDIT'23. </li>
<li value="9" ><a href="https://ieeexplore.ieee.org/document/10024631"><I> Toward Increasing Trust in Exascale Simulations.</I></a> In The 4th Annual Workshop on Extreme-Scale Experiment-in-the-Loop Computing, XLOOP@SC'22. </li>
<li value="8" ><a href="https://hal.archives-ouvertes.fr/hal-03701116v1"><I> Fixed-Point Code Synthesis Based on Constraint Generation.</I>
</a> In the Workshop on Design and Architectures for Signal and Image Processing, DASIP'22. </li>
<li value="7"><a href="https://ieeexplore.ieee.org/abstract/document/9804011"><I>Constrained Precision Tuning.</I></a> In the 8th International Conference on Control, Decision and Information Technologies, CoDIT'22. </li>
<li value="6"><a href="https://link.springer.com/chapter/10.1007/978-3-030-88806-0_1"><I>Fast and Efficient Bit-Level Precision Tuning.</I></a>
In the 28th Static Analysis Symposium, SAS'21.</li>
<li value="5"> <a href="https://link.springer.com/chapter/10.1007/978-3-030-86976-2_12"><I> A Study of the Floating-Point Tuning Behaviour on the N-body Problem.
</I></a>In the 21st International Conference on Computational Science and Its Applications, ICCSA'21. </li>
<li value="4"><a href="https://ieeexplore.ieee.org/document/9476943"> <I> An Evaluation of POP Performance for Tuning Numerical Programs in Floating-Point Arithmetic.</I></a>
In the 4th International Conference on Information and Computer Technologies, ICICT'21.
</li>
<li value="3"><a href="https://ieeexplore.ieee.org/abstract/document/9359700"><I>Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices.</I></a>
In the IEEE International Conference on Internet of Things and Intelligence System, IoTaIS'20.</li>
<li value="2"><a href="https://ieeexplore.ieee.org/document/9112133"><I>Precision Tuning and Internet of Things.</I></a>
In the IEEE International Conference on Internet of Things, Embedded Systems and Communications, IINTEC'19.
</li>
</li>
<li value="1"><a href="https://www.semanticscholar.org/search?q=POP%3A%20A%20Tuning%20Assistant%20for%20Mixed-Precision%20Floating-Point%20Computations.&sort=relevance">
<I>POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations.</I></a>
In the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS'19 (Revised Selected Papers).
</li>
</ol>
<h3> Abstracts in International Conferences </h3>
<ul>
<li value="3">
<I>Floating-Point Mixed-Precision Tuning in HPC Landscape.</I></a>
In the 4th International Computational Science And Engineering Conference (ICSEC), October, 2023.</li> </li>
<li value="2">
<I>Managing Performance vs. Accuracy Trade-offs with an Improved Bit-Level Precision Tuning.</I></a>
In the 21th International CMMSE Conference and the First Conference on High Performance Computing (CHPC), July, 2021.</li> <a href="popLncs.pdf"> [PDF] </a> <a href="CMMSE2021.pdf">[Slides]</a> </li>
<li value="1">
<I>Precision Tuning by Static Analysis.</I></a>
In The 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computation, September, 2018.</li> <a href="scan2018template.pdf"> [PDF] </a> </li>
</ul>
<h4>
You can find my list of publications in <a href="https://dblp.uni-trier.de/pid/264/2592.html">DBLP. </a>
</h4>
</div>
<div style="clear: both;"> </div>
</div>
<div id="footer">
<p>© Copyright 2025
</div>
</div>
</body>
</html>