arXiv subjects

Jialin Li

Publications and source records attributed to Jialin Li.

139 records · Page 8Linked to original sources

arXiv2022

MapQA: A Dataset for Question Answering on Choropleth Maps

Choropleth maps are a common visual representation for region-specific tabular data and are used in a number of different venues (newspapers, articles, etc). These maps are human-readable but are often challenging to deal with when trying to extract data for screen readers, analyses, or other related tasks. Recent research into Visual-Question Answering (VQA) has studied question answering on human-generated charts (ChartQA), such as bar, line, and pie charts. However, little work has paid attention to understanding maps; general VQA models, and ChartQA models, suffer when asked to perform this task. To facilitate and encourage research in this area, we present MapQA, a large-scale dataset of ~800K question-answer pairs over ~60K map images. Our task tests various levels of map understanding, from surface questions about map styles to complex questions that require reasoning on the underlying data. We present the unique challenges of MapQA that frustrate most strong baseline algorithms designed for ChartQA and general VQA tasks. We also present a novel algorithm, Visual Multi-Output Data Extraction based QA (V-MODEQA) for MapQA. V-MODEQA extracts the underlying structured data from a map image with a multi-output model and then performs reasoning on the extracted data. Our experimental results show that V-MODEQA has better overall performance and robustness on MapQA than the state-of-the-art ChartQA and VQA algorithms by capturing the unique properties in map question answering.

cs.CV↗

arXiv2022

The Case for Accelerating BFT Protocols Using In-Network Ordering

Mission critical systems deployed in data centers today are facing more sophisticated failures. Byzantine fault tolerant (BFT) protocols are capable of masking these types of failures, but are rarely deployed due to their performance cost and complexity. In this work, we propose a new approach to designing high performance BFT protocols in data centers. By re-examining the ordering responsibility between the network and the BFT protocol, we advocate a new abstraction offered by the data center network infrastructure. Concretely, we design a new authenticated ordered multicast primitive (AOM) that provides transferable authentication and non-equivocation guarantees. Feasibility of the design is demonstrated by two hardware implementations of AOM -- one using HMAC and the other using public key cryptography for authentication -- on new-generation programmable switches. We then co-design a new BFT protocol, Matrix, that leverages the guarantees of AOM to eliminate cross-replica coordination and authentication in the common case. Evaluation results show that Matrix outperforms state-of-the-art protocols on both latency and throughput metrics by a wide margin, demonstrating the benefit of our new network ordering abstraction for BFT systems.

cs.DC↗

arXiv2022

Fabrication of Pupil Masks for a New Infrared Exoplanet Imager at Keck Observatory

The Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy (SCALES) is an instrument being designed to perform direct imaging of exoplanets in the mid-infrared (2-5 μm) with the Adaptive Optics System of W.M. Keck Observatory. To eliminate unwanted thermal infrared radiation, SCALES utilizes both a cold stop for excluding background radiation and a vector vortex coronagraph with Lyot stops for starlight suppression. Optimal geometric masks have been designed. We simulate the propagation of light through the Lyot plane and analyze the on-axis images of stars in the K, L, and M band for the performance of the Lyot stops. Additionally, finalized cold stop and Lyot stop designs are presented along with evaluations on the effects of manufacturing tolerances and tilt in pupil planes caused by off-axis parabolic mirror relays.

astro-ph.IM↗

arXiv2022

SCALES for Keck: Optical Design

SCALES is a high-contrast, infrared coronagraphic imager and integral field spectrograph (IFS) to be deployed behind the W.M. Keck Observatory adaptive optics system. A reflective optical design allows diffraction-limited imaging over a large wavelength range (1.0 - 5.0 microns). A microlens array-based IFS coupled with a lenslet reformatter ("slenslit") allow spectroscopy at both low (R = 35 - 250) and moderate (R = 2000 - 6500) spectral resolutions. The large wavelength range, diffraction-limited performance, high contrast coronagraphy and cryogenic operation present a unique optical design challenge. We present the full SCALES optical design, including performance modeling and analysis and manufacturing.

astro-ph.IM↗

arXiv2022

Design of SCALES: A 2-5 Micron Coronagraphic Integral Field Spectrograph for Keck Observatory

We present the design of SCALES (Slicer Combined with Array of Lenslets for Exoplanet Spectroscopy) a new 2-5 micron coronagraphic integral field spectrograph under construction for Keck Observatory. SCALES enables low-resolution (R~50) spectroscopy, as well as medium-resolution (R~4,000) spectroscopy with the goal of discovering and characterizing cold exoplanets that are brightest in the thermal infrared. Additionally, SCALES has a 12x12" field-of-view imager that will be used for general adaptive optics science at Keck. We present SCALES's specifications, its science case, its overall design, and simulations of its expected performance. Additionally, we present progress on procuring, fabricating and testing long lead-time components.

astro-ph.IM↗

arXiv2022

Mixed Fault Tolerance Protocols with Trusted Execution Environment

Blockchain systems are designed, built and operated in the presence of failures. There are two dominant failure models, namely crash fault and Byzantine fault. Byzantine fault tolerance (BFT) protocols offer stronger security guarantees, and thus are widely used in blockchain systems. However, their security guarantees come at a dear cost to their performance and scalability. Several works have improved BFT protocols, and Trusted Execution Environment (TEE) has been shown to be an effective solution. However, existing such works typically assume that each participating node is equipped with TEE. For blockchain systems wherein participants typically have different hardware configurations, i.e., some nodes feature TEE while others do not, existing TEE-based BFT protocols are not applicable. This work studies the setting wherein not all participating nodes feature TEE, under which we propose a new fault model called mixed fault. We explore a new approach to designing efficient distributed fault-tolerant protocols under the mixed fault model. In general, mixed fault tolerance (MFT) protocols assume a network of $n$ nodes, among which up to $f = \frac{n-2}{3}$ can be subject to mixed faults. We identify two key principles for designing efficient MFT protocols, namely, (i) prioritizing non-equivocating nodes in leading the protocol, and (ii) advocating the use of public-key cryptographic primitives that allow authenticated messages to be aggregated. We showcase these design principles by prescribing an MFT protocol, namely MRaft. We implemented a prototype of MRaft using Intel SGX, integrated it into the CCF blockchain framework, conducted experiments, and showed that MFT protocols can obtain the same security guarantees as their BFT counterparts while still providing better performance (both transaction throughput and latency) and scalability.

cs.DC↗

arXiv2022

SimBricks: End-to-End Network System Evaluation with Modular Simulation

Full system "end-to-end" measurements in physical testbeds are the gold standard for network systems evaluation but are often not feasible. When physical testbeds are not available we frequently turn to simulation for evaluation. Unfortunately, existing simulators are insufficient for end-to-end evaluation, as they either cannot simulate all components, or simulate them with inadequate detail. We address this through modular simulation, flexibly combining and connecting multiple existing simulators for different components, including processor and memory, devices, and network, into virtual end-to-end testbeds tuned for each use-case. Our architecture, SimBricks, combines well-defined component interfaces for extensibility and modularity, efficient communication channels for local and distributed simulation, and a co-designed efficient synchronization mechanism for accurate timing across simulators. We demonstrate SimBricks scales to 1000 simulated hosts, each running a full software stack including Linux, and that it can simulate testbeds with existing NIC and switch RTL implementations. We also reproduce key findings from prior work in congestion control, NIC architecture, and in-network computing in SimBricks.

cs.DC↗

arXiv2022

Linear-time Temporal Logic guided Greybox Fuzzing

Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique, its common usage in practice is in "bug finding", that is, finding violations of temporal properties. Motivated by this observation and leveraging the recent progress in fuzzing, we build a greybox fuzzing framework to find violations of Linear-time Temporal Logic (LTL) properties. Our framework takes as input a sequential program written in C/C++, and an LTL property. It finds violations, or counterexample traces, of the LTL property in stateful software systems; however, it does not achieve verification. Our work substantially extends directed greybox fuzzing to witness arbitrarily complex event orderings. We note that existing directed greybox fuzzing approaches are limited to witnessing reaching a location or witnessing simple event orderings like use-after-free. At the same time, compared to model checkers, our approach finds the counterexamples faster, thereby finding more counterexamples within a given time budget. Our LTL-Fuzzer tool, built on top of the AFL fuzzer, is shown to be effective in detecting bugs in well-known protocol implementations, such as OpenSSL and Telnet. We use LTL-Fuzzer to reproduce known vulnerabilities (CVEs), to find 15 zero-day bugs by checking properties extracted from RFCs (for which 12 CVEs have been assigned), and to find violations of both safety as well as liveness properties in real-world protocol implementations. Our work represents a practical advance over software model checkers -- while simultaneously representing a conceptual advance over existing greybox fuzzers. Our work thus provides a starting point for understanding the unexplored synergies between software model checking and greybox fuzzing.

cs.SE↗

arXiv2022

Atomically smooth single-crystalline platform for low-loss plasmonic nanocavities

Nanoparticle-on-mirror plasmonic nanocavities, capable of extreme optical confinement and enhancement, have triggered state-of-the-art progress in nanophotonics and development of applications in enhanced spectroscopies and molecular detection. However, the optical quality factor and thus performance of these nanoconstructs are undermined by the granular polycrystalline metal films used as a mirror. Here, we report an atomically smooth single-crystalline platform for low-loss nanocavities using chemically-synthesized gold microflakes as a mirror. Nanocavities constructed using gold nanorods on such microflakes exhibit a rich structure of plasmonic modes, which are highly sensitive to the thickness of optically-thin (down to ~15 nm) microflakes. The atomically smooth single-crystalline microflakes endow nanocavities with significantly improved quality factor (~2 times) and scattering intensity (~3 times) compared with their counterparts based on deposited films. The developed low-loss nanocavities further allow for the integration with a mature platform of fiber optics, opening opportunities for realizing nanocavity-based miniaturized photonic devices with high performance.

physics.optics↗

arXiv2021

A Cross-Laboratory Comparison Study of Titan Haze Analogs: Surface Energy

In Titan's nitrogen-methane atmosphere, photochemistry leads to the production of complex organic particles, forming Titan's thick haze layers. Laboratory-produced aerosol analogs, or "tholins", are produced in a number of laboratories; however, most previous studies have investigated analogs produced by only one laboratory rather than a systematic, comparative analysis. In this study, we performed a comparative study of an important material property, the surface energy, of seven tholin samples produced in three independent laboratories under a broad range of experimental conditions, and explored their commonalities and differences. All seven tholin samples are found to have high surface energies, and are therefore highly cohesive. Thus, if the surface sediments on Titan are similar to tholins, future missions such as Dragonfly will likely encounter sticky sediments. We also identified a commonality between all the tholin samples: a high dispersive (non-polar) surface energy component of at least 30 mJ/m2. This common property could be shared by the actual haze particles on Titan as well. Given that the most abundant species interacting with the haze on Titan (methane, ethane, and nitrogen) are non-polar in nature, the dispersive surface energy component of the haze particles could be a determinant factor in condensate-haze and haze-lake liquids interactions on Titan. With this common trait of tholin samples, we confirmed the findings of a previous study by Yu et al. (2020) that haze particles are likely good cloud condensation nuclei (CCN) for methane and ethane clouds and would likely be completely wetted by the hydrocarbon lakes on Titan.

astro-ph.IM↗

arXiv2021

Cold Stop and Lyot Stop Designs for a New Infrared Exoplanet Imager at Keck Observatory

Santa Cruz Array of Lenslets for Exoplanet Spectroscopy (SCALES) is an instrument being designed for direct imaging of exoplanets in the infrared with the Adaptive Optics System of the W.M. Keck Observatory. The performance of SCALES will be largely affected by thermal transmission and emission from various sources, including the adaptive optics and instrument structures. The placement of a cold stop and a Lyot stop can preserve maximal and stable throughput while limiting the emission of instrument structures such as primary mirror segment gaps, secondary structures, and spider arms. Here we propose and compare three cold stops, a circular inner mask paired with circular, hexagonal, and serrated outer masks, as well as one Lyot stop design. Taking into account the pupil nutation and mirror emissivity, we model the throughput and the background emission for all designs to optimize the dimensions of the cold stop and the Lyot stop.

astro-ph.IM↗

arXiv2019

Guaranteed Simultaneous Asymmetric Tensor Decomposition via Orthogonalized Alternating Least Squares

Tensor CANDECOMP/PARAFAC (CP) decomposition is an important tool that solves a wide class of machine learning problems. Existing popular approaches recover components one by one, not necessarily in the order of larger components first. Recently developed simultaneous power method obtains only a high probability recovery of top $r$ components even when the observed tensor is noiseless. We propose a Slicing Initialized Alternating Subspace Iteration (s-ASI) method that is guaranteed to recover top $r$ components ($ε$-close) simultaneously for (a)symmetric tensors almost surely under the noiseless case (with high probability for a bounded noise) using $O(\log(\log \frac{1}ε))$ steps of tensor subspace iterations. Our s-ASI method introduces a Slice-Based Initialization that runs $O(1/\log(\frac{λ_r}{λ_{r+1}}))$ steps of matrix subspace iterations, where $λ_r$ denotes the r-th top singular value of the tensor. We are the first to provide a theoretical guarantee on simultaneous orthogonal asymmetric tensor decomposition. Under the noiseless case, we are the first to provide an \emph{almost sure} theoretical guarantee on simultaneous orthogonal tensor decomposition. When tensor is noisy, our algorithm for asymmetric tensor is robust to noise smaller than $\min\{O(\frac{(λ_r - λ_{r+1})ε}{\sqrt{r}}), O(δ_0\frac{λ_r -λ_{r+1}}{\sqrt{d}})\}$, where $δ_0$ is a small constant proportional to the probability of bad initializations in the noisy setting.

stat.ML↗

arXiv2019

Harmonia: Near-Linear Scalability for Replicated Storage with In-Network Conflict Detection

Distributed storage employs replication to mask failures and improve availability. However, these systems typically exhibit a hard tradeoff between consistency and performance. Ensuring consistency introduces coordination overhead, and as a result the system throughput does not scale with the number of replicas. We present Harmonia, a replicated storage architecture that exploits the capability of new-generation programmable switches to obviate this tradeoff by providing near-linear scalability without sacrificing consistency. To achieve this goal, Harmonia detects read-write conflicts in the network, which enables any replica to serve reads for objects with no pending writes. Harmonia implements this functionality at line rate, thus imposing no performance overhead. We have implemented a prototype of Harmonia on a cluster of commodity servers connected by a Barefoot Tofino switch, and have integrated it with Redis. We demonstrate the generality of our approach by supporting a variety of replication protocols, including primary-backup, chain replication, Viewstamped Replication, and NOPaxos. Experimental results show that Harmonia improves the throughput of these protocols by up to 10X for a replication factor of 10, providing near-linear scalability up to the limit of our testbed.

cs.DC↗