BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Ben Keller

Ben Keller contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
astro-ph.IMastro-ph.COFormal Languages and Automata TheoryHardware ArchitectureLogic in Computer Sciencephysics.ins-det

Trust snapshot

Quick read

Trust 19 - UnverifiedVerification L1Unclaimed author
5works
0followers
6topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

5 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access