AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection

The rapid progress of modern computing systems has led to a growing interest in informative run-time logs. Various log-based anomaly detection techniques have been proposed to ensure software reliability. However, their implementation in the industry has been limited due to the lack of high-quality public log resources as training datasets. While some log datasets are available for anomaly detection, they suffer from limitations in (1) comprehensiveness of log events; (2) scalability over diverse systems; and (3) flexibility of log utility. To address these limitations, we propose AutoLog, the first automated log generation methodology for anomaly detection. AutoLog uses program analysis to generate run-time log sequences without actually running the system. AutoLog starts with probing comprehensive logging statements associated with the call graphs of an application. Then, it constructs execution graphs for each method after pruning the call graphs to find log-related execution paths in a scalable manner. Finally, AutoLog propagates the anomaly label to each acquired execution path based on human knowledge. It generates flexible log sequences by walking along the log execution paths with controllable parameters. Experiments on 50 popular Java projects show that AutoLog acquires significantly more (9x-58x) log events than existing log datasets from the same system, and generates log messages much faster (15x) with a single machine than existing passive data collection approaches. We hope AutoLog can facilitate the benchmarking and adoption of automated log analysis techniques.Comment: The paper has been accepted by ASE 2023 (Research Track

Small-molecule activation of lysosomal TRP channels ameliorates Duchenne muscular dystrophy in mouse models

Duchenne muscular dystrophy (DMD) is a devastating disease caused by mutations in dystrophin that compromise sarcolemma integrity. Currently, there is no treatment for DMD. Mutations in transient receptor potential mucolipin 1 (ML1), a lysosomal Ca2+ channel required for lysosomal exocytosis, produce a DMD-like phenotype. Here, we show that transgenic overexpression or pharmacological activation of ML1 in vivo facilitates sarcolemma repair and alleviates the dystrophic phenotypes in both skeletal and cardiac muscles of mdx mice (a mouse model of DMD). Hallmark dystrophic features of DMD, including myofiber necrosis, central nucleation, fibrosis, elevated serum creatine kinase levels, reduced muscle force, impaired motor ability, and dilated cardiomyopathies, were all ameliorated by increasing ML1 activity. ML1-dependent activation of transcription factor EB (TFEB) corrects lysosomal insufficiency to diminish muscle damage. Hence, targeting lysosomal Ca2+ channels may represent a promising approach to treat DMD and related muscle diseases

Democratizing Digital Microfluidics by a Cloud-based Design and Manufacturing Platform

Akin to the impact that digital microelectronics had on electronic devices for information technology, digital microfluidics (DMF) was anticipated to transform fluidic devices for lab-on-a-chip (LoC) applications. However, despite a wealth of research and publications, electrowetting-on-dielectric (EWOD) DMF has not achieved the anticipated wide adoption, and commercialization has been painfully slow. By identifying the technological and resource hurdles in developing DMF chip and control systems as the culprit, we envision democratizing DMF by building a standardized design and manufacturing platform. To achieve this vision, we introduce a proof-of-concept cloud platform that empowers any user to design, obtain, and operate DMF chips (https://edroplets.org). For chip design, we establish a web-based EWOD chip design platform with layout rules and automated wire routing. For chip manufacturing, we build a web-based EWOD chip manufacturing platform and fabricate four types of EWOD chips (i.e., glass, paper, PCB, and TFT) to demonstrate the foundry service workflow. For chip control, we introduce a compact EWOD control system along with web-based operating software. Although industrial fabrication services are beyond the scope of this work, we hope this perspective will inspire academic and commercial stakeholders to join the initiative toward a DMF ecosystem for the masses

A new species of forest hedgehog (Mesechinus, Erinaceidae, Eulipotyphla, Mammalia) from eastern China

The hedgehog genus Mesechinus (Erinaceidae, Eulipotyphla) is currently comprised of four species, M. dauuricus, M. hughi, M. miodon, and M. wangi. Except for M. wangi, which is found in southwestern China, the other three species are mainly distributed in northern China and adjacent Mongolia and Russia. From 2018 to 2023, we collected seven Mesechinus specimens from Anhui and Zhejiang provinces, eastern China. Here, we evaluate the taxonomic and phylogenetic status of these specimens by integrating molecular, morphometric, and karyotypic approaches. Our results indicate that the Anhui and Zhejiang specimens are distinct from the four previously recognized species and are a new species. We formally described it here as Mesechinus orientalis sp. nov. It is the only Mesechinus species occurring in eastern China and is geographically distant from all known congeners. Morphologically, the new species is most similar to M. hughi, but it is distinguishable from that species by the combination of its smaller size, shorter spines, and several cranial characteristics. Mesechinus orientalis sp. nov. is a sister to the lineage composed of M. hughi and M. wangi from which it diverged approximately 1.10 Ma

OswaldHe/LevelST: Update README

Source code and bitstream for LevelST: Stream-based Accelerator for Sparse Triangular Solve

OswaldHe/LevelST: First Release

Source code and bitstring for LevelST: Stream-based Accelerator for Sparse Triangular Solve