-
Torsional Force Microscopy of Van der Waals Moirés and Atomic Lattices
Authors:
Mihir Pendharkar,
Steven J. Tran,
Gregory Zaborski Jr.,
Joe Finney,
Aaron L. Sharpe,
Rupini V. Kamat,
Sandesh S. Kalantre,
Marisa Hocking,
Nathan J. Bittner,
Kenji Watanabe,
Takashi Taniguchi,
Bede Pittenger,
Christina J. Newcomb,
Marc A. Kastner,
Andrew J. Mannix,
David Goldhaber-Gordon
Abstract:
In a stack of atomically-thin Van der Waals layers, introducing interlayer twist creates a moiré superlattice whose period is a function of twist angle. Changes in that twist angle of even hundredths of a degree can dramatically transform the system's electronic properties. Setting a precise and uniform twist angle for a stack remains difficult, hence determining that twist angle and map** its s…
▽ More
In a stack of atomically-thin Van der Waals layers, introducing interlayer twist creates a moiré superlattice whose period is a function of twist angle. Changes in that twist angle of even hundredths of a degree can dramatically transform the system's electronic properties. Setting a precise and uniform twist angle for a stack remains difficult, hence determining that twist angle and map** its spatial variation is very important. Techniques have emerged to do this by imaging the moiré, but most of these require sophisticated infrastructure, time-consuming sample preparation beyond stack synthesis, or both. In this work, we show that Torsional Force Microscopy (TFM), a scanning probe technique sensitive to dynamic friction, can reveal surface and shallow subsurface structure of Van der Waals stacks on multiple length scales: the moirés formed between bi-layers of graphene and between graphene and hexagonal boron nitride (hBN), and also the atomic crystal lattices of graphene and hBN. In TFM, torsional motion of an AFM cantilever is monitored as it is actively driven at a torsional resonance while a feedback loop maintains contact at a set force with the sample surface. TFM works at room temperature in air, with no need for an electrical bias between the tip and the sample, making it applicable to a wide array of samples. It should enable determination of precise structural information including twist angles and strain in moiré superlattices and crystallographic orientation of VdW flakes to support predictable moiré heterostructure fabrication.
△ Less
Submitted 20 December, 2023; v1 submitted 17 August, 2023;
originally announced August 2023.
-
Using human-in-the-loop synthesis to author functional reactive programs
Authors:
Julie L Newcomb,
Rastislav Bodik
Abstract:
Programs that respond to asynchronous events are challenging to write; they are difficult to reason about and tricky to test and debug. Because these programs can have a huge space of possible input timings and interleaving, the programmer may easily miss corner cases. We propose applying synthesis to aid programmers in creating programs more easily and with a higher degree of confidence in their…
▽ More
Programs that respond to asynchronous events are challenging to write; they are difficult to reason about and tricky to test and debug. Because these programs can have a huge space of possible input timings and interleaving, the programmer may easily miss corner cases. We propose applying synthesis to aid programmers in creating programs more easily and with a higher degree of confidence in their correctness. We have written an efficient encoding of functional reactive programming (FRP) semantics based on functional programming over lists lifted in Rosette. We demonstrate that this technique is state-of-the-art by first comparing its performance against two existing synthesis tools that produce list manipulation programs, and then by synthesizing a suite of benchmarks given complete specifications. We also propose an interactive tool in which a programmer provides some initial partial specification in the form of input/output examples or invariants; the tool finds ambiguity in the specification by synthesizing two candidate programs and gives the user an input that distinguishes them; the user updates the specification and continues iterating until the correct program is found. As evaluation, we demonstrate the use of the tool on a suite of benchmarks from the web programming and Internet of Things domains and walk through a sample interaction on a realistic web benchmark, showing that we can converge on the target program with a tractable number of interactions. As future work, we discuss encoding additional FRP languages to in order to explore metalinguistic features, strategies for decomposition that would allow the synthesis of larger programs, and improved programmer tools such as a GUI to more easily elicit specifications.
△ Less
Submitted 24 September, 2019;
originally announced September 2019.
-
Using SyGuS to Synthesize Reactive Motion Plans
Authors:
Sarah Chasins,
Julie L. Newcomb
Abstract:
We present an approach for synthesizing reactive robot motion plans, based on compilation to Syntax-Guided Synthesis (SyGuS) specifications. Our method reduces the motion planning problem to the problem of synthesizing a function that can choose the next robot action in response to the current state of the system. This technique offers reactivity not by generating new motion plans throughout dep…
▽ More
We present an approach for synthesizing reactive robot motion plans, based on compilation to Syntax-Guided Synthesis (SyGuS) specifications. Our method reduces the motion planning problem to the problem of synthesizing a function that can choose the next robot action in response to the current state of the system. This technique offers reactivity not by generating new motion plans throughout deployment, but by synthesizing a single program that causes the robot to reach its target from any system state that is consistent with the system model. This approach allows our tool to handle environments with adversarial obstacles. This work represents the first use of the SyGuS formalism to solve robot motion planning problems. We investigate whether using SyGuS for a bounded two-player reachability game is practical at this point in time.
△ Less
Submitted 22 November, 2016;
originally announced November 2016.
-
SMaSH: A Benchmarking Toolkit for Human Genome Variant Calling
Authors:
Ameet Talwalkar,
Jesse Liptrap,
Julie Newcomb,
Christopher Hartl,
Jonathan Terhorst,
Kristal Curtis,
Ma'ayan Bresler,
Yun S. Song,
Michael I. Jordan,
David Patterson
Abstract:
Motivation: Computational methods are essential to extract actionable information from raw sequencing data, and to thus fulfill the promise of next-generation sequencing technology. Unfortunately, computational tools developed to call variants from human sequencing data disagree on many of their predictions, and current methods to evaluate accuracy and computational performance are ad-hoc and inco…
▽ More
Motivation: Computational methods are essential to extract actionable information from raw sequencing data, and to thus fulfill the promise of next-generation sequencing technology. Unfortunately, computational tools developed to call variants from human sequencing data disagree on many of their predictions, and current methods to evaluate accuracy and computational performance are ad-hoc and incomplete. Agreement on benchmarking variant calling methods would stimulate development of genomic processing tools and facilitate communication among researchers.
Results: We propose SMaSH, a benchmarking methodology for evaluating human genome variant calling algorithms. We generate synthetic datasets, organize and interpret a wide range of existing benchmarking data for real genomes, and propose a set of accuracy and computational performance metrics for evaluating variant calling methods on this benchmarking data. Moreover, we illustrate the utility of SMaSH to evaluate the performance of some leading single nucleotide polymorphism (SNP), indel, and structural variant calling algorithms.
Availability: We provide free and open access online to the SMaSH toolkit, along with detailed documentation, at smash.cs.berkeley.edu.
△ Less
Submitted 5 January, 2014; v1 submitted 31 October, 2013;
originally announced October 2013.