Demo Data from EDBT 2026 / reviewers in the wild / expert
Mohamed Ismail
dblp:90/2222
· DBLP profile ↗
14ranked-venue papers
6as first author
1since 2021 · last 2022
0000-0003-3820-1345ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 5 · 3 first-authorComputer networks · 4Artificial intelligence and machine learning · 2 · 1 first-authorSoftware engineering, systems software and programming languages · 2 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 1 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
2 papers |
Embedded and real-time systems · 57% Memory systems · 24% Processor architecture and microarchitecture · 19% |
Topics — the 5 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Memory systems
cache |
0.2 | 1 | 2015 | Improving worst-case cache performance through selective bypassing and register-indexed cache · DAC 2015 |
Embedded and real-time systems › worst-case execution time analysis
cache analysis |
0.2 | 1 | 2015 | Improving worst-case cache performance through selective bypassing and register-indexed cache · DAC 2015 |
Embedded and real-time systems
runtime monitoring |
0.2 | 1 | 2015 | Run-time monitoring with adjustable overhead using dataflow-guided filtering · HPCA 2015 |
Embedded and real-time systems
worst-case execution time analysis |
0.2 | 1 | 2015 | Improving worst-case cache performance through selective bypassing and register-indexed cache · DAC 2015 |
Memory systems
cache design |
0.1 | 1 | 2015 | Improving worst-case cache performance through selective bypassing and register-indexed cache · DAC 2015 |
Methods — techniques the papers use, named apart from their topics
static analysis · 0.2selective bypassing · 0.2filtering · 0.2dataflow analysis · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | 3D Object Detection for Aerial Platforms via Edge Computing: An Experimental EvaluationabstractLiDAR is rapidly emerging as a central sensor in many applications involving autonomous navigation. However, the execution of state-of-the-art neural models for the analysis of point clouds produced by LiDARs necessitates considerable computing power, energy and memory. As a consequence, real-time analysis – e.g., 3D object detection – on resource-constrained mobile platforms such as Unmanned Aerial Vehicles (UAV) is often impractical. In this paper, we evaluate the feasibility of real-time LiDAR-based object detection for UAVs using measures and data obtained from a real-world deployment. First, we demonstrate that state-of-the-art neural models for 3D object detection cannot be executed even in relatively powerful embedded computers suitable for airborne drones, such as the NVIDIA Jetson Nano. Then, we focus our attention on edge computing, where the UAV offloads the execution of the analysis model to a compute-capable device (an edge server) positioned at the network edge. The key challenge is that point clouds generated by LiDARs have a large size (1.2MB per point cloud frame). We evaluate the overall capture-to-output delay of a remote analysis loop experimentally for WiFi and using expected data rate for cellular LTE environments. Finally, we evaluate the performance of 3D object detection on available datasets for autonomous vehicles and emphasize the challenges posed by the ability of UAVs to move in the 3D space. With our LiDAR-UAV system, we achieved detections with averages of 86% accuracy, 71.6% precision, and 55.14% recall outputted with an average end-to-end delay of 1920ms. Alexander Lianides, Isaac Chan, Mohamed Ismail, Ian Harshbarger, Marco Levorato, Davide Callegaro, Sharon L. G. Contreras |
DCOSS | 3 |
| 2020 | Efficient nursery sizing for managed languages on multi-core processors with shared cachesabstractIn modern programming languages, automatic memory management has become a standard feature for allocating and freeing memory. In this paper, we show that the performance of today’s managed languages can degrade significantly due to cache contention among multiple concurrent applications that share a cache. To address this problem, we propose to change the programs’ memory access patterns by adjusting the nursery size. We propose Dynamic Nursery Allocator (DNA), an online dynamic scheme that automatically adjusts the nursery sizes of multiple managed-language programs running concurrently without any prior knowledge or offline profiling. The experimental results on a native Intel machine show that DNA can significantly improve the system throughput by 16.3% on average and as much as 73% over today’s nursery sizing scheme when four applications run concurrently sharing the last-level cache. Mohamed Ismail, G. Edward Suh |
CGO | 1 |
| 2018 | Hardware-software co-optimization of memory management in dynamic languagesabstractDynamic programming languages are becoming increasingly popular, yet often show a significant performance slowdown compared to static languages. In this paper, we study the performance overhead of automatic memory management in dynamic languages. We propose to improve the performance and memory bandwidth usage of dynamic languages by co-optimizing garbage collection overhead and cache performance for newly-initialized and dead objects. Our study shows that less frequent garbage collection results in a large number of cache misses for initial stores to new objects. We solve this problem by directly placing uninitialized objects into on-chip caches without off-chip memory accesses. We further optimize the garbage collection by reducing unnecessary cache pollution and write-backs through partial tracing that invalidates dead objects between full garbage collections. Experimental results on PyPy and V8 show that less frequent garbage collection along with our optimizations can significantly improve the performance of dynamic languages. Mohamed Ismail, G. Edward Suh |
ISMM | 1 |
| 2016 | Towards an analytical model of NAND flash memory and the impact on channel decodingabstractThe underlying models of sources of noise in flash memory are exploited to compute an accurate distribution of the threshold voltage of a cell after cancelling cell to cell interference (CCI). We analytically express the mean and variance of this voltage solely as a function of number of P/E cycles, retention time and data eliminating the read overhead of the adaptive estimation methods. To reduce the computational difficulty in hardware, we approximate the accurate distribution by a moment matched Gaussian mixture and we validate this approximation by comparing the soft decision decoding performance of both models. To gain more error correction advantage, we model the residual CCI as an additional Gaussian noise term. Hachem Yassine, Justin P. Coon, Mohamed Ismail, Henry Fletcher |
ICC | 3 |
| 2015 | Improving worst-case cache performance through selective bypassing and register-indexed cacheabstractWorst-case execution time (WCET) analysis is a critical part of designing real-time systems that require strict timing guarantees. Data caches have traditionally been challenging to analyze in the context of WCET due to the unpredictability of memory access patterns. In this paper, we present a novel register-indexed cache structure that is designed to be amenable to static analysis. This is based on the idea that absolute addresses may not be known, but by using relative addresses, analysis may be able to guarantee a number of hits in the cache. In addition, we observe that keeping unpredictable memory accesses in caches can increase or decrease WCET depending on the application. Thus, we explore selectively bypassing caches in order to provide lower WCET. Our experimental results show reductions in WCET of up to 35% over the state-of-the-art static analysis. Mohamed Ismail, Daniel Lo, G. Edward Suh |
DAC | 1 |
| 2015 | Run-time monitoring with adjustable overhead using dataflow-guided filteringabstractRecent studies have proposed various parallel runtime monitoring techniques to improve the reliability, security, and debugging capabilities of computer systems. However, these run-time monitors can introduce large performance and energy overheads, especially for flexible systems that support a range of monitors. In this paper, we introduce a hardware dataflow tracking engine that enables adjustable overhead through partial monitoring. This allows a trade-off to be made between monitoring coverage and overhead. This dataflow engine can also be extended to filter out monitoring operations associated with null metadata in order to reduce overhead. Given this architecture, we investigate how the dropping decisions should be made for partial monitoring and show that there exist interesting policy decisions depending on the target application of partial monitoring. Our experimental results show that overhead can be reduced significantly by trading off coverage. For example, for monitoring techniques with average overheads of 2–6x, the proposed architecture is able to reduce overhead to 1.5x while still achieving 14–85% average coverage. Daniel Lo, Tao Chen 0045, Mohamed Ismail, G. Edward Suh |
HPCA | 3 |
| 2014 | Slack-aware opportunistic monitoring for real-time systemsabstractRecent studies have shown that run-time monitoring is a promising approach for improving the security and reliability of computer systems. In this paper, we present a framework and architecture for applying run-time monitoring to hard real-time systems. In this framework, monitoring is only performed when enough dynamic slack exists in order to ensure that the monitoring does not impact the timing guarantees of tasks. If the slack is insufficient, a dropping operation is run which minimizes the timing impact on the task while ensuring that no false positives occur. We present a novel hardware architecture that can perform this dropping operation in a single cycle, matching the throughput of the task being monitored. Thus, run-time monitoring is able to be applied opportunistically, with no impact on the worst-case execution time of tasks. Our experimental results for three different monitoring techniques verify that timing is never violated and that false positives never occur. In addition, on average, 15-66% of monitoring coverage is achieved with no impact on the worst-case execution times of tasks depending on the monitoring technique. With an FPGA-based monitor, this average coverage of monitoring ranged from 62-86% depending on the monitoring technique. Daniel Lo, Mohamed Ismail, Tao Chen 0045, G. Edward Suh |
RTAS | 2 |
| 2012 | Fast development of hardware-based run-time monitors through architecture framework and high-level synthesisabstractRecent work has shown that hardware-based runtime monitoring techniques can significantly enhance security and reliability of computing systems with minimal performance and energy overheads. However, the cost and time for implementing such a hardware-based mechanism presents a major challenge in deploying the run-time monitoring techniques in real systems. This paper addresses this design complexity problem through a common architecture framework and high-level synthesis. Similar to customizable processors such as Tensilica Xtensa where designers only need to write a small piece of code that describes a custom instruction, our framework enables designers to only specify monitoring operations. The framework provides common functions such as collecting a trace of execution, maintaining meta-data, and interfacing with software. To further reduce the design complexity, we also explore using a high-level synthesis tool (Cadence C-to-Silicon) so that hardware monitors can be described in a high-level language (SystemC) instead of in RTL such as Verilog and VHDL. To evaluate our approach, we implemented a set of monitors including soft-error checking, uninitialized memory checking, dynamic information flow tracking, and array boundary checking in our framework. Our results suggest that our monitor framework can greatly reduce the amount of code that needs to be specified for each extension and the high-level synthesis can achieve comparable area, performance, and power consumption to handwritten RTL. Mohamed Ismail, G. Edward Suh |
ICCD | 1 |
| 2010 | ASCM: An accelerated soft c-means clustering algorithmabstractThe advantages of soft c-means over its hard and fuzzy versions render it more attractive to use in a wide variety of applications. Its main merit lies in its relatively higher convergence speed, which is more obvious in the presence of huge high dimensional data. This work presents a new approach to accelerate the convergence of the original soft c-means. It is mainly based on an iterative optimization approach and a relaxation technique. Several low and high dimensional datasets are used to evaluate the performance of the proposed approach. Experimental results show up to 70% improvement over the original soft and fuzzy c-means algorithms. Tameem Adel, Mohamed Ismail |
ISDA | 2 |
| 2010 | Low latency low power bit flipping algorithms for LDPC decodingabstractLow Density Parity Check (LDPC) codes have been adopted in a number of wired and wireless communication standards due to their improved error correcting ability and relatively simple decoder structure. However, for very high throughput systems operating in the multi-Gb/s range conventional decoding methods based on message passing are limited, due largely to the sheer volume of messages being exchanged. Thus, simpler decoding methods have been proposed such as bit flipping permitting efficient and fast hardware implementation. This paper presents two new bit flipping algorithm designed to reduce latency and power consumption. For a small loss in bit error rate performance (0.5 dB) we show how the application of an early stopping criteria uses 89% fewer iterations compared to a similar published algorithm. We also present a method for reducing power consumption by placing processing elements into a quiescent state based on a bit-local metric. Using this technique we show a potential reduction in power consumption of 76%. Mohamed Ismail, Justin P. Coon, Simon Armour, Taskin Koçak, Joe McGeehan |
PIMRC | 1 |
| 2009 | Fountain code design for data multicast with side informationabstractFountain codes are a robust solution for data multicasting to a large number of receivers which experience variable channel conditions and different packet loss rates. However, the standard fountain code design becomes inefficient if all receivers have access to some side information correlated with the source information. We focus our attention on the cases where the correlation of the source and side information can be modelled by a binary erasure channel (BEC) or by a binary input additive white Gaussian noise channel (BIAWGNC). We analyse the performance of fountain codes in data multicasting with side information for these cases, derive bounds on their performance and provide a fast and robust linear programming optimization framework for code parameters. We demonstrate that systematic Raptor code design can be employed as a possible solution to the problem at the cost of higher encoding/decoding complexity, as it reduces the side information scenario to a channel coding problem. However, our results also indicate that a simpler solution, non-systematic LT and Raptor codes, can be designed to perform close to the information theoretic bounds. Dino Sejdinovic, Robert J. Piechocki, Angela Doufexi, Mohamed Ismail |
IEEE Trans. Wirel. Commun. | 4 |
| 2008 | Rate Adaptive Binary Erasure Quantization with Dual Fountain CodesabstractIn this contribution, duals of fountain codes are introduced and their use for lossy source compression is investigated. It is shown both theoretically and experimentally that the source coding dual of the binary erasure channel coding problem, binary erasure quantization, is solved at a nearly optimal rate with application of duals of LT and raptor codes by a belief propagation-like algorithm which amounts to a graph pruning procedure. Furthermore, this quantizing scheme is rate adaptive, i.e., its rate can be modified on-the-fly in order to adapt to the source distribution, very much like LT and raptor codes are able to adapt their rate to the erasure probability of a channel. Dino Sejdinovic, Robert J. Piechocki, Angela Doufexi, Mohamed Ismail |
GLOBECOM | 4 |
| 2008 | Fountain Coding with Decoder Side InformationabstractIn this contribution, we consider the application of digital fountain (DF) codes to the problem of data transmission when side information is available at the decoder. The side information is modelled as a "virtual" channel output when original information sequence is the input. For two cases of the system model, which model both the virtual and the actual transmission channel either as a binary erasure channel or as a binary input additive white Gaussian noise (BIAWGN) channel, we propose methods of enhancing the design of standard non-systematic DF codes by optimizing their output degree distribution based on the side information assumption. In addition, a systematic Raptor design has been employed as a possible solution to the problem. Dino Sejdinovic, Robert J. Piechocki, Angela Doufexi, Mohamed Ismail |
ICC | 4 |
| 1997 | Between recognition and synthesis - 300 bits/second speech coding
Mohamed Ismail, Keith Ponting |
EUROSPEECH | 1 |