Searcharxiv⌕ Search

arXiv subjects

Yue Niu

Publications and source records attributed to Yue Niu.

33 records · Page 2Linked to original sources

SPEC2: SPECtral SParsE CNN Accelerator on FPGAs

To accelerate inference of Convolutional Neural Networks (CNNs), various techniques have been proposed to reduce computation redundancy. Converting convolutional layers into frequency domain significantly reduces the computation complexity of the sliding window operations in space domain. On the other hand, weight pruning techniques address the redundancy in model parameters by converting dense convolutional kernels into sparse ones. To obtain high-throughput FPGA implementation, we propose SPEC2 -- the first work to prune and accelerate spectral CNNs. First, we propose a systematic pruning algorithm based on Alternative Direction Method of Multipliers (ADMM). The offline pruning iteratively sets the majority of spectral weights to zero, without using any handcrafted heuristics. Then, we design an optimized pipeline architecture on FPGA that has efficient random access into the sparse kernels and exploits various dimensions of parallelism in convolutional layers. Overall, SPEC2 achieves high inference throughput with extremely low computation complexity and negligible accuracy degradation. We demonstrate SPEC2 by pruning and implementing LeNet and VGG16 on the Xilinx Virtex platform. After pruning 75% of the spectral weights, SPEC2 achieves 0% accuracy loss for LeNet, and <1% accuracy loss for VGG16. The resulting accelerators achieve up to 24x higher throughput, compared with the state-of-the-art FPGA implementations for VGG16.

cs.CV↗

Federated Learning of Large Models at the Edge via Principal Sub-Model Training

Federated Learning (FL) is emerging as a popular, promising decentralized learning framework that enables collaborative training among clients, with no need to share private data between them or to a centralized server. However, considering many edge clients do not have sufficient computing, memory, or communication capabilities, federated learning of large models still faces significant bottlenecks. To keep such weak but crucial clients in the loop, prior works either consider a heterogeneous-client setting where clients train models with different sizes; or offload training to the server. However, the heterogeneous-client setting requires some clients to train full model, which is not aligned with the resource-constrained setting; while the latter ones break privacy promises in FL when sharing intermediate representations or labels with the server. To overcome these limitations, in this work, we formulate a realistic, but much less explored, cross-device FL setting in which no client can train a full large model nor is willing to share any intermediate information with the remote server. Under such a formulation, we develop a principal sub-model (PriSM) training methodology to collaboratively train a full large model, while assigning each client a small sub-model that is a probabilistic low-rank approximation to the full server model. When creating sub-models, PriSM first performs a principal kernel analysis in the orthogonal kernel space to obtain importance of each kernel. Then, PriSM adopts a novel importance-aware sampling process to select a subset of kernels (i.e., a kernel with high importance is assigned with a higher sampling probability). This sampling process ensures each sub-model is still a low-rank approximation to the full model, while all sub-models together achieve nearly full coverage on the principal kernels.

cs.LG↗

mL-BFGS: A Momentum-based L-BFGS for Distributed Large-Scale Neural Network Optimization

Quasi-Newton methods still face significant challenges in training large-scale neural networks due to additional compute costs in the Hessian related computations and instability issues in stochastic training. A well-known method, L-BFGS that efficiently approximates the Hessian using history parameter and gradient changes, suffers convergence instability in stochastic training. So far, attempts that adapt L-BFGS to large-scale stochastic training incur considerable extra overhead, which offsets its convergence benefits in wall-clock time. In this paper, we propose mL-BFGS, a lightweight momentum-based L-BFGS algorithm that paves the way for quasi-Newton (QN) methods in large-scale distributed deep neural network (DNN) optimization. mL-BFGS introduces a nearly cost-free momentum scheme into L-BFGS update and greatly reduces stochastic noise in the Hessian, therefore stabilizing convergence during stochastic optimization. For model training at a large scale, mL-BFGS approximates a block-wise Hessian, thus enabling distributing compute and memory costs across all computing nodes. We provide a supporting convergence analysis for mL-BFGS in stochastic settings. To investigate mL-BFGS potential in large-scale DNN training, we train benchmark neural models using mL-BFGS and compare performance with baselines (SGD, Adam, and other quasi-Newton methods). Results show that mL-BFGS achieves both noticeable iteration-wise and wall-clock speedup.

cs.LG↗

A metalanguage for cost-aware denotational semantics

We present two metalanguages for developing $\textit{synthetic cost-aware denotational semantics}$ of programming languages. Extending the recent work of Niu et al. [2022] on $\textbf{calf}$, a dependent type theory for both cost and behavioral verification, we define two metalanguages, $\textbf{calf}^\star$ and $\textbf{calf}^ω$, for studying cost-aware metatheory. $\textbf{calf}^\star$ is an extension of $\textbf{calf}$ with universes and inductive types, and $\textbf{calf}^ω$ is a an extension of $\textbf{calf}^\star$ with unbounded iteration. We construct denotational models of the simply-typed lambda calculus and Modernized Algol, a language with first-order store and while loops, and show that they satisfy a $\textit{cost-aware}$ generalization of the classic Plotkin-type computational adequacy theorem. Moreover, by developing our proofs in a synthetic language of $\textit{phase-separated}$ constructions of intension and extension, our results easily $\textit{restrict}$ to the corresponding extensional theorems. Our work provides a positive answer to the conjecture raised in Niu et al. [2022] and in light of $\textit{op. cit.}$'s work on algorithm analysis, contributes a metalanguage for doing both cost-aware programming and verification and cost-aware metatheory of programming languages.

cs.PL↗

3LegRace: Privacy-Preserving DNN Training over TEEs and GPUs

Leveraging parallel hardware (e.g. GPUs) for deep neural network (DNN) training brings high computing performance. However, it raises data privacy concerns as GPUs lack a trusted environment to protect the data. Trusted execution environments (TEEs) have emerged as a promising solution to achieve privacy-preserving learning. Unfortunately, TEEs' limited computing power renders them not comparable to GPUs in performance. To improve the trade-off among privacy, computing performance, and model accuracy, we propose an \emph{asymmetric} model decomposition framework, \AsymML{}, to (1) accelerate training using parallel hardware; and (2) achieve a strong privacy guarantee using TEEs and differential privacy (DP) with much less accuracy compromised compared to DP-only methods. By exploiting the low-rank characteristics in training data and intermediate features, \AsymML{} asymmetrically decomposes inputs and intermediate activations into low-rank and residual parts. With the decomposed data, the target DNN model is accordingly split into a \emph{trusted} and an \emph{untrusted} part. The trusted part performs computations on low-rank data, with low compute and memory costs. The untrusted part is fed with residuals perturbed by very small noise. Privacy, computing performance, and model accuracy are well managed by respectively delegating the trusted and the untrusted part to TEEs and GPUs. We provide a formal DP guarantee that demonstrates that, for the same privacy guarantee, combining asymmetric data decomposition and DP requires much smaller noise compared to solely using DP without decomposition. This improves the privacy-utility trade-off significantly compared to using only DP methods without decomposition. Furthermore, we present a rank bound analysis showing that the low-rank structure is preserved after each layer across the entire model.

cs.CR↗

A cost-aware logical framework

We present $\textbf{calf}$, a $\textbf{c}$ost-$\textbf{a}$ware $\textbf{l}$ogical $\textbf{f}$ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of \emph{phase distinctions}, we argue that the cost structure of programs motivates a phase distinction between $\textit{intension}$ and $\textit{extension}$. Armed with this technology, we contribute a synthetic account of cost structure as a computational effect in which cost-aware programs enjoy an internal noninterference property: input/output behavior cannot depend on cost. As a full-spectrum dependent type theory, $\textbf{calf}$ presents a unified language for programming and specification of both cost and behavior that can be integrated smoothly with existing mathematical libraries available in type theoretic proof assistants. We evaluate $\textbf{calf}$ as a general framework for cost analysis by implementing two fundamental techniques for algorithm analysis: the $\textit{method of recurrence relations}$ and $\textit{physicist's method for amortized analysis}$. We deploy these techniques on a variety of case studies: we prove a tight, closed bound for Euclid's algorithm, verify the amortized complexity of batched queues, and derive tight, closed bounds for the sequential and $\textit{parallel}$ complexity of merge sort, all fully mechanized in the Agda proof assistant. Lastly we substantiate the soundness of quantitative reasoning in $\textbf{calf}$ by means of a model construction.

cs.PL↗

Cost-Aware Type Theory

Although computational complexity is a fundamental aspect of program behavior, it is often at odds with common type theoretic principles such as function extensionality, which identifies all functions with the same $\textit{input-output}$ behavior. We present a computational type theory called $\mathbf{CATT}$ that has a primitive notion of cost (the number of evaluation steps). We introduce a new dependent function type "funtime" whose semantics can be viewed as a cost-aware version of function extensionality. We prove a collection of lemmas for $\mathbf{CATT}$, including a novel introduction rule for the new funtime type. $\mathbf{CATT}$ can be simultaneously viewed as a framework for analyzing computational complexity of programs and as the beginnings of a semantic foundation for characterizing feasible mathematical proofs.

cs.PL↗

Naturally occurring van der Waals materials

The exfoliation of two naturally occurring van der Waals minerals, graphite and molybdenite, arouse an unprecedented level of interest by the scientific community and shaped a whole new field of research: 2D materials research. Several years later, the family of van der Waals materials that can be exfoliated to isolate 2D materials keeps growing, but most of them are synthetic. Interestingly, in nature plenty of naturally occurring van der Waals minerals can be found with a wide range of chemical compositions and crystal structures whose properties are mostly unexplored so far. This Perspective aims to provide an overview of different families of van der Waals minerals to stimulate their exploration in the 2D limit.

cond-mat.mtrl-sci↗

Polarization-sensitive and broadband photodetection based on a mixed-dimensionality TiS3/Si p-n junction

The capability to detect the polarization state of light is crucial in many day-life applications and scientific disciplines. Novel anisotropic two-dimensional materials such as TiS3 combine polarization sensitivity, given by the in-plane optical anisotropy, with excellent electrical properties. Here we demonstrate the fabrication of a monolithic polarization sensitive broadband photodetector based on a mixed-dimensionality TiS3/Si p-n junction. The fabricated devices show broadband responsivity up to 1050 nm, a strong sensitivity to linearly polarized illumination with difference between the two orthogonal polarization states up to 350 % and a good detectivity and fast response time. The discussed devices can be used as building blocks to fabricate more complex polarization sensitive systems such as polarimeters.

physics.app-ph↗

Mechanical and liquid phase exfoliation of cylindrite: a natural van der Waals superlattice with intrinsic magnetic interactions

We report the isolation of thin flakes of cylindrite, a naturally occurring van der Waals superlattice, by means of mechanical and liquid phase exfoliation. We find that this material is a heavily doped p-type semiconductor with a narrow gap (<0.85 eV) with intrinsic magnetic interactions that are preserved even in the exfoliated nanosheets. Due to its environmental stability and high electrical conductivity, cylindrite can be an interesting alternative to the existing two-dimensional magnetic materials.

physics.app-ph↗

Towards Air Stability of Ultra-Thin GaSe Devices: Avoiding Environmental and Laser-Induced Degradation by Encapsulation

Gallium selenide (GaSe) is a novel two-dimensional material, which belongs to the layered III-VIA semiconductors family and attracted interest recently as it displays single-photon emitters at room temperature and strong optical non-linearity. Nonetheless, few-layer GaSe is not stable under ambient conditions and it tends to degrade over time. Here we combine atomic force microscopy, Raman spectroscopy and optoelectronic measurements in photodetectors based on thin GaSe to study its long-term stability. We found that the GaSe flakes exposed to air tend to decompose forming firstly amorphous selenium and Ga2Se3 and subsequently Ga2O3. While the first stage is accompanied by an increase in photocurrent, in the second stage we observe a decrease in photocurrent which leads to the final failure of GaSe photodetectors. Additionally, we found that the encapsulation of the GaSe photodetectors with hexagonal boron nitride (h-BN) can protect the GaSe from degradation and can help to achieve long-term stability of the devices.

cond-mat.mtrl-sci↗

Thickness-Dependent Differential Reflectance Spectra of Monolayer and Few-Layer MoS2, MoSe2, WS2 and WSe2

The research field of two dimensional (2D) materials strongly relies on optical microscopy characterization tools to identify atomically thin materials and to determine their number of layers. Moreover, optical microscopy-based techniques opened the door to study the optical properties of these nanomaterials. We presented a comprehensive study of the differential reflectance spectra of 2D semiconducting transition metal dichalcogenides (TMDCs), MoS2, MoSe2, WS2, and WSe2, with thickness ranging from one layer up to six layers. We analyzed the thickness-dependent energy of the different excitonic features, indicating the change in the band structure of the different TMDC materials with the number of layers. Our work provided a route to employ differential reflectance spectroscopy for determining the number of layers of MoS2, MoSe2, WS2, and WSe2.

cond-mat.mtrl-sci↗

Photodiodes based in La0.7Sr0.3MnO3/single layer MoS2 hybrid vertical heterostructures

The fabrication of artificial materials by stacking of individual two-dimensional (2D) materials is amongst one of the most promising research avenues in the field of 2D materials. Moreover, this strategy to fabricate new man-made materials can be further extended by fabricating hybrid stacks between 2D materials and other functional materials with different dimensionality making the potential number of combinations almost infinite. Among all these possible combinations, mixing 2D materials with transition metal oxides can result especially useful because of the large amount of interesting physical phenomena displayed separately by these two material families. We present a hybrid device based on the stacking of a single layer MoS2 onto a lanthanum strontium manganite (La0.7Sr0.3MnO3) thin film, creating an atomically thin device. It shows a rectifying electrical transport with a ratio of 103, and a photovoltaic effect with Voc up to 0.4 V. The photodiode behaviour arises as a consequence of the different doping character of these two materials. This result paves the way towards combining the efforts of these two large materials science communities.

cond-mat.mes-hall↗

Lithography-free electrical transport measurements on 2D materials by direct microprobing

We present a method to carry out electrical and opto-electronic measurements on 2D materials using carbon fiber microprobes to directly make electrical contacts to the 2D materials without damaging them. The working principle of this microprobing method is illustrated by measuring transport in MoS2 flakes in vertical (transport in the out-of-plane direction) and lateral (transport within the crystal plane) configurations, finding performances comparable to those reported for MoS2 devices fabricated by conventional lithographic process. We also show that this method can be used with other 2D materials.

physics.ins-det↗

Micro-reflectance and transmittance spectroscopy: a versatile and powerful tool to characterize 2D materials

Optical spectroscopy techniques such as differential reflectance and transmittance have proven to be very powerful techniques to study 2D materials. However, a thorough description of the experimental setups needed to carry out these measurements is lacking in the literature. We describe a versatile optical microscope setup to carry out differential reflectance and transmittance spectroscopy in 2D materials with a lateral resolution of ~1 micron in the visible and near-infrared part of the spectrum. We demonstrate the potential of the presented setup to determine the number of layers of 2D materials and to characterize their fundamental optical properties such as excitonic resonances. We illustrate its performance by studying mechanically exfoliated and chemical vapor-deposited transition metal dichalcogenide samples.

cond-mat.mes-hall↗