EDBT 2026 Demo / reviewers in the wild / expert
Michael Pan
dblp:90/6609
· DBLP profile ↗
6ranked-venue papers
2as first author
4since 2021 · last 2023
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Applied, interdisciplinary, general and emerging computing · 3 · 1 first-author · 3 since 2021Systems, architecture and hardware · 1Security and privacy · 1 · 1 first-authorSoftware engineering, systems software and programming languages · 1 · 1 first-authorDatabases, data management, data science and information retrieval · 1 · 1 since 2021
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
1 paper |
Storage systems · 100% | |
| Interdisciplinary, comprehensive, and emerging computing
1 paper |
Bioinformatics and computational biology · 100% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Bioinformatics and computational biology
systems biology |
0.7 | 1 | 2023 | BondGraphs.jl: composable energy-based modelling in systems biology · Bioinform. 2023 |
Storage systems › key-value storage
compaction strategy |
0.6 | 1 | 2022 | Spooky: Granulating LSM-Tree Compactions Correctly · Proc. VLDB Endow. 2022 |
Storage systems
key-value storage |
0.6 | 1 | 2022 | Spooky: Granulating LSM-Tree Compactions Correctly · Proc. VLDB Endow. 2022 |
Storage systems › key-value storage
LSM-tree |
0.6 | 1 | 2022 | Spooky: Granulating LSM-Tree Compactions Correctly · Proc. VLDB Endow. 2022 |
Storage systems › flash and SSD › flash memory management › garbage collection
write amplification |
0.6 | 1 | 2022 | Spooky: Granulating LSM-Tree Compactions Correctly · Proc. VLDB Endow. 2022 |
Storage systems
flash and SSD |
0.2 | 1 | 2022 | Spooky: Granulating LSM-Tree Compactions Correctly · Proc. VLDB Endow. 2022 |
Storage systems › flash and SSD › flash memory management
garbage collection |
0.2 | 1 | 2022 | Spooky: Granulating LSM-Tree Compactions Correctly · Proc. VLDB Endow. 2022 |
Methods — techniques the papers use, named apart from their topics
thermodynamic constraint enforcement · 0.7bond graph formalism · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | BondGraphs.jl: composable energy-based modelling in systems biologyabstractSUMMARY: BondGraphs.jl is a Julia implementation of bond graphs. Bond graphs provide a modelling framework that describes energy flow through a physical system and by construction enforce thermodynamic constraints. The framework is widely used in engineering and has recently been shown to be a powerful approach for modelling biology. Models are mutable, hierarchical, multiscale, and multiphysics, and BondGraphs.jl is compatible with the Julia modelling ecosystem. AVAILABILITY AND IMPLEMENTATION: BondGraphs.jl is freely available under the MIT license. Source code and documentation can be found at https://github.com/jedforrest/BondGraphs.jl. Joshua Forrest, Vijay Rajagopal, Michael P. H. Stumpf, Michael Pan |
Bioinform. | 4 |
| 2022 | Spooky: Granulating LSM-Tree Compactions CorrectlyabstractModern storage engines and key-value stores have come to rely on the log-structured merge-tree (LSM-tree) as their core data structure. LSM-tree operates by gradually merge-sorting data across levels of exponentially increasing capacities in storage. A crucial design dimension of LSM-tree is its compaction granularity. Some designs perform Full Merge , whereby entire levels get compacted at once. Others perform Partial Merge , whereby smaller groups of files with overlapping key ranges are compacted independently. This paper shows that both strategies exhibit serious flaws. With Full Merge, space-amplification is exorbitant. The reason is that while compacting the LSM-tree's largest level, there must be at least twice as much storage space as data to store both the original and new files until the compaction is finished. On the other hand, Partial Merge exhibits excessive write-amplification. The reason is twofold. (1) The files getting compacted typically do not have perfectly overlapping key ranges, and so some non-overlapping data is superfluously rewritten in each compaction. (2) Files with different lifetimes become interspersed within the SSD leading to high SSD garbage-collection overheads. As the data size grows, these problems grow in magnitude. We introduce Spooky, a novel compaction granulation method to address these problems. Spooky partitions data at the largest level into equally sized files, and it partitions data at smaller levels based on the file boundaries at the largest level. This allows merging one group of perfectly overlapping files at a time to limit space-amplification and compaction overheads. At the same time, Spooky writes larger though fewer files simultaneously so that files with different lifetimes do not become as interspersed within the SSD. This cheapens garbage-collection. We show empirically that Spooky achieves >2x lower space-amplification than Full Merge and >2x lower write-amplification than Partial Merge at the same time. Niv Dayan, Tamar Weiss Orzech, Shmuel Dashevsky, Michael Pan, Edward Bortnikov, Moshe Twitto |
Proc. VLDB Endow. | 4 |
| 2021 | Modular assembly of dynamic models in systems biologyabstractIt is widely acknowledged that the construction of large-scale dynamic models in systems biology requires complex modelling problems to be broken up into more manageable pieces. To this end, both modelling and software frameworks are required to enable modular modelling. While there has been consistent progress in the development of software tools to enhance model reusability, there has been a relative lack of consideration for how underlying biophysical principles can be applied to this space. Bond graphs combine the aspects of both modularity and physics-based modelling. In this paper, we argue that bond graphs are compatible with recent developments in modularity and abstraction in systems biology, and are thus a desirable framework for constructing large-scale models. We use two examples to illustrate the utility of bond graphs in this context: a model of a mitogen-activated protein kinase (MAPK) cascade to illustrate the reusability of modules and a model of glycolysis to illustrate the ability to modify the model granularity. Michael Pan, Peter J. Gawthrop, Joseph Cursons, Edmund J. Crampin |
PLoS Comput. Biol. | 1 |
| 2021 | Hierarchical semantic composition of biosimulation models using bond graphsabstractSimulating complex biological and physiological systems and predicting their behaviours under different conditions remains challenging. Breaking systems into smaller and more manageable modules can address this challenge, assisting both model development and simulation. Nevertheless, existing computational models in biology and physiology are often not modular and therefore difficult to assemble into larger models. Even when this is possible, the resulting model may not be useful due to inconsistencies either with the laws of physics or the physiological behaviour of the system. Here, we propose a general methodology for composing models, combining the energy-based bond graph approach with semantics-based annotations. This approach improves model composition and ensures that a composite model is physically plausible. As an example, we demonstrate this approach to automated model composition using a model of human arterial circulation. The major benefit is that modellers can spend more time on understanding the behaviour of complex biological and physiological systems and less time wrangling with model composition. Niloofar Shahidi, Michael Pan, Soroush Safaei, Kenneth Tran, Edmund J. Crampin, David P. Nickerson |
PLoS Comput. Biol. | 2 |
| 2008 | Adaptive Neighbor Caching for Fast BSS Transition Using IEEE 802.11k Neighbor ReportabstractHandoff latency is a severe bottleneck impacting the service continuity for voice and multimedia applications in WLAN. IEEE 802.11k neighbor report defines the neighbor APs which are potential transition candidates for the roaming target. But the selection method for the roaming target AP is left undefined. Several schemes have been proposed for fast handoff with neighbor APpsilas information. However, these schemes result in huge redundant transition messages overheads in the WLAN and require high computing power for the AAA (Authentication, Authorization, and Access control) server. In this paper, we propose an adaptive neighbor caching (ANC) method to achieve higher handoff prediction accuracy for selecting proper candidate APs in the Neighbor Report. An adaptive predictability index is introduced for selecting those potential roaming APs, which can mitigate the scanning latency and the pre-authentication key distribution message overhead in the WLAN as well as computing loading for the AAA server. Simulation results present up to 83.5% of transition messages are reduced in comparison to the Proactive Neighbor Caching (PNC), 56.4% of candidate AP selection accuracy is improved and 37.5% of transition messages are reduced in comparison to the Selective Neighbor Caching (SNC). Ching-Hwa Yu, Michael Pan, Sheng-De Wang |
ISPA | 2 |
| 2005 | Local Repair Mechanisms for On-Demand Routing in Mobile Ad hoc NetworksabstractWith the dynamic and mobile nature of ad hoc wireless networks, links may fail due to topological changes by mobile nodes. As the degree of mobility increases, the wireless network would suffer more link errors. Ad hoc routing protocols that use broadcast to discover routes may become inefficient due to frequent failures of intermediate connections in an end-to-end communication. When an intermediate link breaks, it is beneficial to discover a new route locally without resorting to an end-to-end route discovery. Based on the concept of localizing the route request query, we propose an efficient approach to repair error links quickly. The approach can apply to the ad hoc on-demand distance vector (AODV) routing protocol. As an enhancement to AODV, the proposed approach leads to two routing protocols, called AODV-LRQ and AODV-LRT, which are aimed to efficiently repair the link errors. To evaluate the effects of the route repair, we define a factor, called bonus gain, as the ratio between the throughput increment to the routing overhead increment. Simulation results show that the proposed methods can get high bonus gain, that is, it can maintain the throughput as well as reduce the routing overheads. Michael Pan, Sheng-Yan Chuang, Sheng-De Wang |
PRDC | 1 |