Searcharxiv⌕ Search

arXiv subjects

Ben Keller

Publications and source records attributed to Ben Keller.

44 records · Page 3Linked to original sources

HEAT: Hardware-Efficient Automatic Tensor Decomposition for Transformer Compression

Transformers have attained superior performance in natural language processing and computer vision. Their self-attention and feedforward layers are overparameterized, limiting inference speed and energy efficiency. Tensor decomposition is a promising technique to reduce parameter redundancy by leveraging tensor algebraic properties to express the parameters in a factorized form. Prior efforts used manual or heuristic factorization settings without hardware-aware customization, resulting in poor hardware efficiencies and large performance degradation. In this work, we propose a hardware-aware tensor decomposition framework, dubbed HEAT, that enables efficient exploration of the exponential space of possible decompositions and automates the choice of tensorization shape and decomposition rank with hardware-aware co-optimization. We jointly investigate tensor contraction path optimizations and a fused Einsum mapping strategy to bridge the gap between theoretical benefits and real hardware efficiency improvement. Our two-stage knowledge distillation flow resolves the trainability bottleneck and thus significantly boosts the final accuracy of factorized Transformers. Overall, we experimentally show that our hardware-aware factorized BERT variants reduce the energy-delay product by 5.7x with less than 1.1% accuracy loss and achieve a better efficiency-accuracy Pareto frontier than hand-tuned and heuristic baselines.

cs.LG↗

CCAT-prime: The Optical Design for the Epoch of Reionization Spectrometer

The Epoch of Reionization Spectrometer (EoR-Spec) will be an instrument module for the Prime-Cam receiver on the CCAT-prime Collaboration's Fred Young Submillimeter Telescope (FYST), a 6-m primary mirror Crossed Dragone telescope. With its Fabry-Perot interferometer (FPI), EoR-Spec will step through frequencies between 210 and 420 GHz to perform line intensity mapping of the 158 $μ$m [CII] line in aggregates of star-forming galaxies between redshifts of 3.5 and 8 to trace the evolution of structure in the universe during the epoch of reionization. Here we present the optical design of the module including studies of the optical quality and other key parameters at the image surface. In order to achieve the required resolving power (R$\sim$100) with the FPI, it is important to have a highly collimated beam at the Lyot stop of the system; the optimization process to achieve this goal with four lenses instead of three as used in other Prime-Cam modules is outlined. As part of the optimization, we test the effect of replacing some of the aspheric lenses with biconic lenses in this Crossed Dragone design and find that the biconic lenses tend to improve the image quality across the focal plane of the module.

astro-ph.IM↗

CCAT-prime: Optical and cryogenic design of the 850 GHz module for Prime-Cam

Prime-Cam is a first-generation instrument for the Cerro Chajnantor Atacama Telescope-prime (CCAT-prime) Facility. The 850$~$GHz module for Prime-Cam will probe the highest frequency of all the instrument modules. We describe the parameter space of the 850$~$GHz optical system between the F$λ$ spacing, beam size, pixel sensitivity, and detector count. We present the optimization of an optical design for the 850$~$GHz instrument module for CCAT-prime. We further describe the development of the cryogenic RF chain design to accommodate $>$30 readout lines to read 41,400 kinetic inductance detectors (KIDs) within the cryogenic testbed.

astro-ph.IM↗

CCAT-prime: Characterization of the First 280 GHz MKID Array for Prime-Cam

The Prime-Cam receiver on the Fred Young Submillimeter Telescope for the CCAT-prime project aims to address important astrophysical and cosmological questions with sensitive broadband, polarimetric, and spectroscopic measurements. The primary frequency bands in development include 280, 350, and 850 GHz for the polarization-sensitive broadband channels and 210--420 GHz for the spectrometers. Microwave kinetic inductance detectors (MKIDs) are a natural choice of detector technology for the simplicity in multiplexed readout needed for large format arrays at these high frequencies. We present here the initial lab characterization of the feedhorn-coupled 280 GHz polarimetric MKID array, and outline the plans for the subsequent MKID arrays and the development of the testbed to characterize them.

astro-ph.IM↗

CCAT-prime: Design of the Mod-Cam receiver and 280 GHz MKID instrument module

Mod-Cam is a first light and commissioning instrument for the CCAT-prime project's six-meter aperture Fred Young Submillimeter Telescope (FYST), currently under construction at 5600 m on Cerro Chajnantor in Chile's Atacama Desert. Prime-Cam, a first-generation science instrument for FYST, will deliver over ten times greater mapping speed than current and near-term facilities for unprecedented 280-850 GHz broadband and spectroscopic measurements with microwave kinetic inductance detectors (MKIDs). CCAT-prime will address a suite of science goals, from Big Bang cosmology to star formation and galaxy evolution over cosmic time. Mod-Cam deployment on FYST with a 280 GHz instrument module containing MKID arrays is planned for early science observations in 2024. Mod-Cam will be used to test instrument modules for Prime-Cam, which can house up to seven instrument modules. We discuss the design and status of the 0.9 m diameter, 1.8 m long Mod-Cam receiver and 40 cm diameter 280 GHz instrument module, with cold stages at 40 K, 4 K, 1 K, and 100 mK. We also describe the instrument module's cryogenic readout designs to enable the readout of more than 10,000 MKIDs across 18 networks.

astro-ph.IM↗

Verifying High-Level Latency-Insensitive Designs with Formal Model Checking

Latency-insensitive design mitigates increasing interconnect delay and enables productive component reuse in complex digital systems. This design style has been adopted in high-level design flows because untimed functional blocks connected through latency-insensitive interfaces provide a natural communication abstraction. However, latency-insensitive design with high-level languages also introduces a unique set of verification challenges that jeopardize functional correctness. In particular, bugs due to invalid consumption of inputs and deadlocks can be difficult to detect and debug with dynamic simulation methods. To tackle these two classes of bugs, we propose formal model checking methods to guarantee that a high-level latency-insensitive design is unaffected by invalid input data and is free of deadlock. We develop a well-structured verification wrapper for each property to automatically construct the corresponding formal model for checking. Our experiments demonstrate that the formal checks are effective in realistic bug scenarios from high-level designs.

cs.LO↗

MAVIREC: ML-Aided Vectored IR-DropEstimation and Classification

Vectored IR drop analysis is a critical step in chip signoff that checks the power integrity of an on-chip power delivery network. Due to the prohibitive runtimes of dynamic IR drop analysis, the large number of test patterns must be whittled down to a small subset of worst-case IR vectors. Unlike the traditional slow heuristic method that select a few vectors with incomplete coverage, MAVIREC uses machine learning techniques -- 3D convolutions and regression-like layers -- for accurately recommending a larger subset of test patterns that exercise worst-case scenarios. In under 30 minutes, MAVIREC profiles 100K-cycle vectors and provides better coverage than a state-of-the-art industrial flow. Further, MAVIREC's IR drop predictor shows 10x speedup with under 4mV RMSE relative to an industrial flow.

cs.AR↗

Clumpy high-z galaxies as a testbed for feedback-regulated galaxy formation

We study the dependence of fragmentation in massive gas-rich galaxy disks at $z > 1$ on feedback model and hydrodynamical method, employing the GASOLINE2 SPH code and the lagrangian mesh-less code GIZMO in finite mass mode. We compare non-cosmological galaxy disk runs with standard blastwave supernovae (SN)feedback, which introduces delayed cooling in order to drive winds, and runs with the new superbubble SN feedback, which produces winds naturally by modelling the detailed physics of SN-driven bubbles and leads to efficient self-regulation of star formation. We find that, with blastwave feedback, massive star forming clumps form in comparable number and with very similar masses in GASOLINE2 and GIZMO. The typical masses are in the range $10^7-10^8 M_{\odot}$, lower than in most previous works, while giant clumps with masses above $10^9 M_{\odot}$ are exceedingly rare. With superbubble feedback, instead, massive bound star forming clumps do not form because galaxies never undergo a phase of violent disk instability. Only sporadic, unbound star forming overdensities lasting only a few tens of Myr can arise that are triggered by perturbations of massive satellite companions. We conclude that there is a severe tension between explaining massive star forming clumps observed at $z > 1$ primarily as the result of disk fragmentation driven by gravitational instability and the prevailing view of feedback-regulated galaxy formation. The link between disk stability and star formation efficiency should thus be regarded as a key testing ground for galaxy formation theory.

astro-ph.GA↗