-
Understanding Documentation Use Through Log Analysis: An Exploratory Case Study of Four Cloud Services
Authors:
Daye Nam,
Andrew Macvean,
Brad Myers,
Bogdan Vasilescu
Abstract:
Almost no modern software system is written from scratch, and developers are required to effectively learn to use third-party libraries or software services. Thus, many practitioners and researchers have looked for ways to create effective documentation that supports developers' learning. However, few efforts have focused on how people actually use the documentation. In this paper, we report on an…
▽ More
Almost no modern software system is written from scratch, and developers are required to effectively learn to use third-party libraries or software services. Thus, many practitioners and researchers have looked for ways to create effective documentation that supports developers' learning. However, few efforts have focused on how people actually use the documentation. In this paper, we report on an exploratory, multi-phase, mixed methods empirical study of documentation page-view logs from four cloud-based industrial services. By analyzing page-view logs for over 100,000 users, we find diverse patterns of documentation page visits. Moreover, we show statistically that which documentation pages people visit often correlates with user characteristics such as past experience with the specific product, on the one hand, and with future adoption of the API on the other hand. We discuss the implications of these results on documentation design and propose documentation page-view log analysis as a feasible technique for design audits of documentation, from ones written for software developers to ones designed to support end users (e.g., Adobe Photoshop).
△ Less
Submitted 29 February, 2024; v1 submitted 16 October, 2023;
originally announced October 2023.
-
Selenite: Scaffolding Online Sensemaking with Comprehensive Overviews Elicited from Large Language Models
Authors:
Michael Xieyang Liu,
Tongshuang Wu,
Tianying Chen,
Franklin Mingzhe Li,
Aniket Kittur,
Brad A. Myers
Abstract:
Sensemaking in unfamiliar domains can be challenging, demanding considerable user effort to compare different options with respect to various criteria. Prior research and our formative study found that people would benefit from reading an overview of an information space upfront, including the criteria others previously found useful. However, existing sensemaking tools struggle with the "cold-star…
▽ More
Sensemaking in unfamiliar domains can be challenging, demanding considerable user effort to compare different options with respect to various criteria. Prior research and our formative study found that people would benefit from reading an overview of an information space upfront, including the criteria others previously found useful. However, existing sensemaking tools struggle with the "cold-start" problem -- it not only requires significant input from previous users to generate and share these overviews, but such overviews may also turn out to be biased and incomplete. In this work, we introduce a novel system, Selenite, which leverages Large Language Models (LLMs) as reasoning machines and knowledge retrievers to automatically produce a comprehensive overview of options and criteria to jumpstart users' sensemaking processes. Subsequently, Selenite also adapts as people use it, hel** users find, read, and navigate unfamiliar information in a systematic yet personalized manner. Through three studies, we found that Selenite produced accurate and high-quality overviews reliably, significantly accelerated users' information processing, and effectively improved their overall comprehension and sensemaking experience.
△ Less
Submitted 28 January, 2024; v1 submitted 3 October, 2023;
originally announced October 2023.
-
Using an LLM to Help With Code Understanding
Authors:
Daye Nam,
Andrew Macvean,
Vincent Hellendoorn,
Bogdan Vasilescu,
Brad Myers
Abstract:
Understanding code is challenging, especially when working in new and complex development environments. Code comments and documentation can help, but are typically scarce or hard to navigate. Large language models (LLMs) are revolutionizing the process of writing code. Can they do the same for hel** understand it? In this study, we provide a first investigation of an LLM-based conversational UI…
▽ More
Understanding code is challenging, especially when working in new and complex development environments. Code comments and documentation can help, but are typically scarce or hard to navigate. Large language models (LLMs) are revolutionizing the process of writing code. Can they do the same for hel** understand it? In this study, we provide a first investigation of an LLM-based conversational UI built directly in the IDE that is geared towards code understanding. Our IDE plugin queries OpenAI's GPT-3.5-turbo model with four high-level requests without the user having to write explicit prompts: to explain a highlighted section of code, provide details of API calls used in the code, explain key domain-specific terms, and provide usage examples for an API. The plugin also allows for open-ended prompts, which are automatically contextualized to the LLM with the program being edited. We evaluate this system in a user study with 32 participants, which confirms that using our plugin can aid task completion more than web search. We additionally provide a thorough analysis of the ways developers use, and perceive the usefulness of, our system, among others finding that the usage and benefits differ between students and professionals. We conclude that in-IDE prompt-less interaction with LLMs is a promising future direction for tool builders.
△ Less
Submitted 16 January, 2024; v1 submitted 16 July, 2023;
originally announced July 2023.
-
Recognizing People by Body Shape Using Deep Networks of Images and Words
Authors:
Blake A. Myers,
Lucas Jaggernauth,
Thomas M. Metz,
Matthew Q. Hill,
Veda Nandan Gandi,
Carlos D. Castillo,
Alice J. O'Toole
Abstract:
Common and important applications of person identification occur at distances and viewpoints in which the face is not visible or is not sufficiently resolved to be useful. We examine body shape as a biometric across distance and viewpoint variation. We propose an approach that combines standard object classification networks with representations based on linguistic (word-based) descriptions of bod…
▽ More
Common and important applications of person identification occur at distances and viewpoints in which the face is not visible or is not sufficiently resolved to be useful. We examine body shape as a biometric across distance and viewpoint variation. We propose an approach that combines standard object classification networks with representations based on linguistic (word-based) descriptions of bodies. Algorithms with and without linguistic training were compared on their ability to identify people from body shape in images captured across a large range of distances/views (close-range, 100m, 200m, 270m, 300m, 370m, 400m, 490m, 500m, 600m, and at elevated pitch in images taken by an unmanned aerial vehicle [UAV]). Accuracy, as measured by identity-match ranking and false accept errors in an open-set test, was surprisingly good. For identity-ranking, linguistic models were more accurate for close-range images, whereas non-linguistic models fared better at intermediary distances. Fusion of the linguistic and non-linguistic embeddings improved performance at all, but the farthest distance. Although the non-linguistic model yielded fewer false accepts at all distances, fusion of the linguistic and non-linguistic models decreased false accepts for all, but the UAV images. We conclude that linguistic and non-linguistic representations of body shape can offer complementary identity information for bodies that can improve identification in applications of interest.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
A Large-Scale Survey on the Usability of AI Programming Assistants: Successes and Challenges
Authors:
Jenny T. Liang,
Chenyang Yang,
Brad A. Myers
Abstract:
The software engineering community recently has witnessed widespread deployment of AI programming assistants, such as GitHub Copilot. However, in practice, developers do not accept AI programming assistants' initial suggestions at a high frequency. This leaves a number of open questions related to the usability of these tools. To understand developers' practices while using these tools and the imp…
▽ More
The software engineering community recently has witnessed widespread deployment of AI programming assistants, such as GitHub Copilot. However, in practice, developers do not accept AI programming assistants' initial suggestions at a high frequency. This leaves a number of open questions related to the usability of these tools. To understand developers' practices while using these tools and the important usability challenges they face, we administered a survey to a large population of developers and received responses from a diverse set of 410 developers. Through a mix of qualitative and quantitative analyses, we found that developers are most motivated to use AI programming assistants because they help developers reduce key-strokes, finish programming tasks quickly, and recall syntax, but resonate less with using them to help brainstorm potential solutions. We also found the most important reasons why developers do not use these tools are because these tools do not output code that addresses certain functional or non-functional requirements and because developers have trouble controlling the tool to generate the desired output. Our findings have implications for both creators and users of AI programming assistants, such as designing minimal cognitive effort interactions with these tools to reduce distractions for users while they are programming.
△ Less
Submitted 17 September, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
ScrollTest: Evaluating Scrolling Speed and Accuracy
Authors:
Chaoran Chen,
Brad A. Myers,
Cem Ergin,
Emily Porat,
Sijia Li,
Chun Wang
Abstract:
Scrolling is an essential interaction technique enabling users to display previously off-screen content. Existing evaluation models for scrolling are often entangled with the selection of content, e.g., when scrolling on the phone for reading. Furthermore, some evaluation models overlook whether the user knows the target position. We have developed ScrollTest, a general-purpose evaluation tool for…
▽ More
Scrolling is an essential interaction technique enabling users to display previously off-screen content. Existing evaluation models for scrolling are often entangled with the selection of content, e.g., when scrolling on the phone for reading. Furthermore, some evaluation models overlook whether the user knows the target position. We have developed ScrollTest, a general-purpose evaluation tool for scrolling speed and accuracy that avoids the need for selection. We tested it across four dimensions: 11 different scrolling techniques/devices, 5 frame heights, 13 scrolling distances, and 2 scrolling conditions (i.e., with or without knowing the target position). The results show that flicking and two-finger scrolling are the fastest; flicking is also relatively precise for scrolling to targets already onscreen, but pressing arrow buttons on the scrollbar is the most accurate for scrolling to nearby targets. Mathematical models of scrolling are highly linear when the target position is unknown but like Fitts' law when known.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Wigglite: Low-cost Information Collection and Triage
Authors:
Michael Xieyang Liu,
Andrew Kuznetsov,
Yongsung Kim,
Joseph Chee Chang,
Aniket Kittur,
Brad A. Myers
Abstract:
Consumers conducting comparison shop**, researchers making sense of competitive space, and developers looking for code snippets online all face the challenge of capturing the information they find for later use without interrupting their current flow. In addition, during many learning and exploration tasks, people need to externalize their mental context, such as estimating how urgent a topic is…
▽ More
Consumers conducting comparison shop**, researchers making sense of competitive space, and developers looking for code snippets online all face the challenge of capturing the information they find for later use without interrupting their current flow. In addition, during many learning and exploration tasks, people need to externalize their mental context, such as estimating how urgent a topic is to follow up on, or rating a piece of evidence as a "pro" or "con," which helps scaffold subsequent deeper exploration. However, current approaches incur a high cost, often requiring users to select, copy, context switch, paste, and annotate information in a separate document without offering specific affordances that capture their mental context. In this work, we explore a new interaction technique called "wiggling," which can be used to fluidly collect, organize, and rate information during early sensemaking stages with a single gesture. Wiggling involves rapid back-and-forth movements of a pointer or up-and-down scrolling on a smartphone, which can indicate the information to be collected and its valence, using a single, light-weight gesture that does not interfere with other interactions that are already available. Through implementation and user evaluation, we found that wiggling helped participants accurately collect information and encode their mental context with a 58% reduction in operational cost while being 24% faster compared to a common baseline.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
Crystalline: Lowering the Cost for Developers to Collect and Organize Information for Decision Making
Authors:
Michael Xieyang Liu,
Aniket Kittur,
Brad A. Myers
Abstract:
Developers perform online sensemaking on a daily basis, such as researching and choosing libraries and APIs. Prior research has introduced tools that help developers capture information from various sources and organize it into structures useful for subsequent decision-making. However, it remains a laborious process for developers to manually identify and clip content, maintaining its provenance a…
▽ More
Developers perform online sensemaking on a daily basis, such as researching and choosing libraries and APIs. Prior research has introduced tools that help developers capture information from various sources and organize it into structures useful for subsequent decision-making. However, it remains a laborious process for developers to manually identify and clip content, maintaining its provenance and synthesizing it with other content. In this work, we introduce a new system called Crystalline that attempts to automatically collect and organize information into tabular structures as the user searches and browses the web. It leverages natural language processing to automatically group similar criteria together to reduce clutter as well as passive behavioral signals such as mouse movement and dwell time to infer what information to collect and how to visualize and prioritize it. Our user study suggests that developers are able to create comparison tables about 20% faster with a 60% reduction in operational cost without sacrificing the quality of the tables.
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Understanding How Programmers Can Use Annotations on Documentation
Authors:
Amber Horvath,
Michael Xieyang Liu,
River Hendriksen,
Connor Shannon,
Emma Paterson,
Kazi Jawad,
Andrew Macvean,
Brad A. Myers
Abstract:
Modern software development requires developers to find and effectively utilize new APIs and their documentation, but documentation has many well-known issues. Despite this, developers eventually overcome these issues but have no way of sharing what they learned. We investigate sharing this documentation-specific information through \textit{annotations}, which have advantages over developer forums…
▽ More
Modern software development requires developers to find and effectively utilize new APIs and their documentation, but documentation has many well-known issues. Despite this, developers eventually overcome these issues but have no way of sharing what they learned. We investigate sharing this documentation-specific information through \textit{annotations}, which have advantages over developer forums as the information is contextualized, not disruptive, and is short, thus easy to author. Developers can also author annotations to support their own comprehension. In order to support the documentation usage behaviors we found, we built the Adamite annotation tool, which supports features such as multi-anchoring, annotation types, and pinning. In our user study, we found that developers are able to create annotations that are useful to themselves and are able to utilize annotations created by other developers when learning a new API, with readers of the annotations completing 67% more of the task, on average, than the baseline.
△ Less
Submitted 11 January, 2022; v1 submitted 16 November, 2021;
originally announced November 2021.
-
A Need-finding Study for Understanding Text Entry in Smartphone App Usage
Authors:
Toby Jia-Jun Li,
Brad A. Myers
Abstract:
Text entry makes up about one-fourth of the smartphone interaction events, and is known to be challenging and difficult. However, there has been little study about the characteristics of text entry in the context of smartphone app usage. In this paper, we present a mixed-method in-situ study conducted in 2016 with 17 active smartphone users to better understand text entry in smartphone app usage.…
▽ More
Text entry makes up about one-fourth of the smartphone interaction events, and is known to be challenging and difficult. However, there has been little study about the characteristics of text entry in the context of smartphone app usage. In this paper, we present a mixed-method in-situ study conducted in 2016 with 17 active smartphone users to better understand text entry in smartphone app usage. Our results show 80% of text was entered into communication apps, with different apps exhibiting distinct usage patterns. We found that structured data such as URLs and email addresses are rarely typed but instead are auto-completed or replaced with search, copy-and-paste is rarely used, and sessions of smartphone usage with text entry involve more apps and last longer. We conclude with a discussion about the implications on the development of systems to better support mobile interaction.
△ Less
Submitted 19 June, 2021; v1 submitted 21 May, 2021;
originally announced May 2021.
-
To Reuse or Not To Reuse? A Framework and System for Evaluating Summarized Knowledge
Authors:
Michael Xieyang Liu,
Aniket Kittur,
Brad A. Myers
Abstract:
As the amount of information online continues to grow, a correspondingly important opportunity is for individuals to reuse knowledge which has been summarized by others rather than starting from scratch. However, appropriate reuse requires judging the relevance, trustworthiness, and thoroughness of others' knowledge in relation to an individual's goals and context. In this work, we explore augment…
▽ More
As the amount of information online continues to grow, a correspondingly important opportunity is for individuals to reuse knowledge which has been summarized by others rather than starting from scratch. However, appropriate reuse requires judging the relevance, trustworthiness, and thoroughness of others' knowledge in relation to an individual's goals and context. In this work, we explore augmenting judgements of the appropriateness of reusing knowledge in the domain of programming, specifically of reusing artifacts that result from other developers' searching and decision making. Through an analysis of prior research on sensemaking and trust, along with new interviews with developers, we synthesized a framework for reuse judgements. The interviews also validated that developers express a desire for help with judging whether to reuse an existing decision. From this framework, we developed a set of techniques for capturing the initial decision maker's behavior and visualizing signals calculated based on the behavior, to facilitate subsequent consumers' reuse decisions, instantiated in a prototype system called Strata. Results of a user study suggest that the system significantly improves the accuracy, depth, and speed of reusing decisions. These results have implications for systems involving user-generated content in which other users need to evaluate the relevance and trustworthiness of that content.
△ Less
Submitted 18 February, 2021; v1 submitted 11 February, 2021;
originally announced February 2021.
-
Screen2Vec: Semantic Embedding of GUI Screens and GUI Components
Authors:
Toby Jia-Jun Li,
Lindsay Popowski,
Tom M. Mitchell,
Brad A. Myers
Abstract:
Representing the semantics of GUI screens and components is crucial to data-driven computational methods for modeling user-GUI interactions and mining GUI designs. Existing GUI semantic representations are limited to encoding either the textual content, the visual design and layout patterns, or the app contexts. Many representation techniques also require significant manual data annotation efforts…
▽ More
Representing the semantics of GUI screens and components is crucial to data-driven computational methods for modeling user-GUI interactions and mining GUI designs. Existing GUI semantic representations are limited to encoding either the textual content, the visual design and layout patterns, or the app contexts. Many representation techniques also require significant manual data annotation efforts. This paper presents Screen2Vec, a new self-supervised technique for generating representations in embedding vectors of GUI screens and components that encode all of the above GUI features without requiring manual annotation using the context of user interaction traces. Screen2Vec is inspired by the word embedding method Word2Vec, but uses a new two-layer pipeline informed by the structure of GUIs and interaction traces and incorporates screen- and app-specific metadata. Through several sample downstream tasks, we demonstrate Screen2Vec's key useful properties: representing between-screen similarity through nearest neighbors, composability, and capability to represent user tasks.
△ Less
Submitted 11 January, 2021;
originally announced January 2021.
-
Privacy-Preserving Script Sharing in GUI-based Programming-by-Demonstration Systems
Authors:
Toby Jia-Jun Li,
**gya Chen,
Brandon Canfield,
Brad A. Myers
Abstract:
An important concern in end user development (EUD) is accidentally embedding personal information in program artifacts when sharing them. This issue is particularly important in GUI-based programming-by-demonstration (PBD) systems due to the lack of direct developer control of script contents. Prior studies reported that these privacy concerns were the main barrier to script sharing in EUD. We pre…
▽ More
An important concern in end user development (EUD) is accidentally embedding personal information in program artifacts when sharing them. This issue is particularly important in GUI-based programming-by-demonstration (PBD) systems due to the lack of direct developer control of script contents. Prior studies reported that these privacy concerns were the main barrier to script sharing in EUD. We present a new approach that can identify and obfuscate the potential personal information in GUI-based PBD scripts based on the uniqueness of information entries with respect to the corresponding app GUI context. Compared with the prior approaches, ours supports broader types of personal information beyond explicitly pre-specified ones, requires minimal user effort, addresses the threat of re-identification attacks, and can work with third-party apps from any task domain. Our approach also recovers obfuscated fields locally on the script consumer's side to preserve the shared scripts' transparency, readability, robustness, and generalizability. Our evaluation shows that our approach (1) accurately identifies the potential personal information in scripts across different apps in diverse task domains; (2) allows end-user developers to feel comfortable sharing their own scripts; and (3) enables script consumers to understand the operation of shared scripts despite the obfuscated fields.
△ Less
Submitted 17 April, 2020;
originally announced April 2020.
-
Nanosized Monoatomic Palladium Metallic Glass
Authors:
Dong Sheng He,
Yi Huang,
Benjamin D. Myers,
Dieter Isheim,
Xinyu Fan,
Yunsheng Deng,
Lin Xie,
Shaobo Han,
Yang Qiu,
Li Huang,
Vinayak P. Dravid,
Jiaqing He
Abstract:
Physically vitrifying single-element metallic glass requires ultrahigh cooling rates, which are still unachievable for most of the closest-packed metals. Here, we report a facile synthetic strategy for creating mono-atomic palladium metallic glass nanoparticles with a purity of 99.35 +/- 0.23 at% from palladium-silicon liquid droplets using a cooling rate below 1000 K/s. In-situ environmental tran…
▽ More
Physically vitrifying single-element metallic glass requires ultrahigh cooling rates, which are still unachievable for most of the closest-packed metals. Here, we report a facile synthetic strategy for creating mono-atomic palladium metallic glass nanoparticles with a purity of 99.35 +/- 0.23 at% from palladium-silicon liquid droplets using a cooling rate below 1000 K/s. In-situ environmental transmission electron microscopy directly detected the leaching of silicon. Further hydrogen absorption experiment showed that this palladium metallic glass expanded little upon hydrogen uptake, exhibiting a great potential application for hydrogen separation. Our results provide insight into the formation of mono-atomic metallic glass at nanoscale.
△ Less
Submitted 4 April, 2020;
originally announced April 2020.
-
Can Advanced Type Systems Be Usable? An Empirical Study of Ownership, Assets, and Typestate in Obsidian
Authors:
Michael Coblenz,
Jonathan Aldrich,
Joshua Sunshine,
Brad A. Myers
Abstract:
Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system to rule out some of these vulnerabilities. Although Obsidian was designed to promote usability to make it as easy as possible to write programs, strong type systems can cause a language to be difficult to use. In particu…
▽ More
Some blockchain programs (smart contracts) have included serious security vulnerabilities. Obsidian is a new typestate-oriented programming language that uses a strong type system to rule out some of these vulnerabilities. Although Obsidian was designed to promote usability to make it as easy as possible to write programs, strong type systems can cause a language to be difficult to use. In particular, ownership, typestate, and assets, which Obsidian uses to provide safety guarantees, have not seen broad adoption together in popular languages and result in significant usability challenges. We performed an empirical study with 20 participants comparing Obsidian to Solidity, which is the language most commonly used for writing smart contracts today. We observed that Obsidian participants were able to successfully complete more of the programming tasks than the Solidity participants. We also found that the Solidity participants commonly inserted asset-related bugs, which Obsidian detects at compile time.
△ Less
Submitted 15 October, 2020; v1 submitted 26 March, 2020;
originally announced March 2020.
-
Towards Effective Human-AI Collaboration in GUI-Based Interactive Task Learning Agents
Authors:
Toby Jia-Jun Li,
**gya Chen,
Tom M. Mitchell,
Brad A. Myers
Abstract:
We argue that a key challenge in enabling usable and useful interactive task learning for intelligent agents is to facilitate effective Human-AI collaboration. We reflect on our past 5 years of efforts on designing, develo** and studying the SUGILITE system, discuss the issues on incorporating recent advances in AI with HCI principles in mixed-initiative interactions and multi-modal interactions…
▽ More
We argue that a key challenge in enabling usable and useful interactive task learning for intelligent agents is to facilitate effective Human-AI collaboration. We reflect on our past 5 years of efforts on designing, develo** and studying the SUGILITE system, discuss the issues on incorporating recent advances in AI with HCI principles in mixed-initiative interactions and multi-modal interactions, and summarize the lessons we learned. Lastly, we identify several challenges and opportunities, and describe our ongoing work
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Generalized Fishburn numbers and torus knots
Authors:
Colin Bijaoui,
Hans U. Boden,
Beckham Myers,
Robert Osburn,
William Rushworth,
Aaron Tronsgard,
Shaoyang Zhou
Abstract:
Andrews and Sellers recently initiated the study of arithmetic properties of Fishburn numbers. In this paper, we prove prime power congruences for generalized Fishburn numbers. These numbers are the coefficients in the $1-q$ expansion of the Kontsevich-Zagier series $\mathscr{F}_{t}(q)$ for the torus knots $T(3,2^t)$, $t \geq 2$. The proof uses a strong divisibility result of Ahlgren, Kim and Love…
▽ More
Andrews and Sellers recently initiated the study of arithmetic properties of Fishburn numbers. In this paper, we prove prime power congruences for generalized Fishburn numbers. These numbers are the coefficients in the $1-q$ expansion of the Kontsevich-Zagier series $\mathscr{F}_{t}(q)$ for the torus knots $T(3,2^t)$, $t \geq 2$. The proof uses a strong divisibility result of Ahlgren, Kim and Lovejoy and a new "strange identity" for $\mathscr{F}_{t}(q)$.
△ Less
Submitted 2 October, 2020; v1 submitted 3 February, 2020;
originally announced February 2020.
-
PLIERS: A Process that Integrates User-Centered Methods into Programming Language Design
Authors:
Michael Coblenz,
Gauri Kambhatla,
Paulette Koronkevich,
Jenna L. Wise,
Celeste Barnaby,
Joshua Sunshine,
Jonathan Aldrich,
Brad A. Myers
Abstract:
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: they have high iteration costs, programmers require significant learning time, and user performance has high variance. To address these problems, we adapted both formative and summative HCI methods to make them more suitable for pr…
▽ More
Programming language design requires making many usability-related design decisions. However, existing HCI methods can be impractical to apply to programming languages: they have high iteration costs, programmers require significant learning time, and user performance has high variance. To address these problems, we adapted both formative and summative HCI methods to make them more suitable for programming language design. We integrated these methods into a new process, PLIERS, for designing programming languages in a user-centered way. We evaluated PLIERS by using it to design two new programming languages. Glacier extends Java to enable programmers to express immutability properties effectively and easily. Obsidian is a language for blockchains that includes verification of critical safety properties. Summative usability studies showed that programmers were able to program effectively in both languages after short training periods.
△ Less
Submitted 25 August, 2020; v1 submitted 10 December, 2019;
originally announced December 2019.
-
Obsidian: Typestate and Assets for Safer Blockchain Programming
Authors:
Michael Coblenz,
Reed Oei,
Tyler Etzel,
Paulette Koronkevich,
Miles Baker,
Yannick Bloem,
Brad A. Myers,
Joshua Sunshine,
Jonathan Aldrich
Abstract:
Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support transactions that transform the state. Unfortunately, bugs in many smart contracts have been exploited by hackers. Obsidian is a novel programming lang…
▽ More
Blockchain platforms are coming into broad use for processing critical transactions among participants who have not established mutual trust. Many blockchains are programmable, supporting smart contracts, which maintain persistent state and support transactions that transform the state. Unfortunately, bugs in many smart contracts have been exploited by hackers. Obsidian is a novel programming language with a type system that enables static detection of bugs that are common in smart contracts today. Obsidian is based on a core calculus, Silica, for which we proved type soundness. Obsidian uses typestate to detect improper state manipulation and uses linear types to detect abuse of assets. We describe two case studies that evaluate Obsidian's applicability to the domains of parametric insurance and supply chain management, finding that Obsidian's type system facilitates reasoning about high-level states and ownership of resources. We compared our Obsidian implementation to a Solidity implementation, observing that the Solidity implementation requires much boilerplate checking and tracking of state, whereas Obsidian does this work statically.
△ Less
Submitted 8 September, 2019;
originally announced September 2019.
-
Interactive Task and Concept Learning from Natural Language Instructions and GUI Demonstrations
Authors:
Toby Jia-Jun Li,
Marissa Radensky,
Justin Jia,
Kirielle Singarajah,
Tom M. Mitchell,
Brad A. Myers
Abstract:
Natural language programming is a promising approach to enable end users to instruct new tasks for intelligent agents. However, our formative study found that end users would often use unclear, ambiguous or vague concepts when naturally instructing tasks in natural language, especially when specifying conditionals. Existing systems have limited support for letting the user teach agents new concept…
▽ More
Natural language programming is a promising approach to enable end users to instruct new tasks for intelligent agents. However, our formative study found that end users would often use unclear, ambiguous or vague concepts when naturally instructing tasks in natural language, especially when specifying conditionals. Existing systems have limited support for letting the user teach agents new concepts or explaining unclear concepts. In this paper, we describe a new multi-modal domain-independent approach that combines natural language programming and programming-by-demonstration to allow users to first naturally describe tasks and associated conditions at a high level, and then collaborate with the agent to recursively resolve any ambiguities or vagueness through conversations and demonstrations. Users can also define new procedures and concepts by demonstrating and referring to contents within GUIs of existing mobile apps. We demonstrate this approach in PUMICE, an end-user programmable agent that implements this approach. A lab study with 10 users showed its usability.
△ Less
Submitted 6 January, 2020; v1 submitted 30 August, 2019;
originally announced September 2019.
-
Nanoscale electrical conductivity imaging using a nitrogen-vacancy center in diamond
Authors:
Amila Ariyaratne,
Dolev Bluvstein,
Bryan A. Myers,
Ania C. Bleszynski Jayich
Abstract:
The electrical conductivity of a material can feature subtle, nontrivial, and spatially-varying signatures with critical insight into the material's underlying physics. Here we demonstrate a conductivity imaging technique based on the atom-sized nitrogen-vacancy (NV) defect in diamond that offers local, quantitative, and noninvasive conductivity imaging with nanoscale spatial resolution. We monito…
▽ More
The electrical conductivity of a material can feature subtle, nontrivial, and spatially-varying signatures with critical insight into the material's underlying physics. Here we demonstrate a conductivity imaging technique based on the atom-sized nitrogen-vacancy (NV) defect in diamond that offers local, quantitative, and noninvasive conductivity imaging with nanoscale spatial resolution. We monitor the spin relaxation rate of a single NV center in a scanning probe geometry to quantitatively image the magnetic fluctuations produced by thermal electron motion in nanopatterned metallic conductors. We achieve 40-nm scale spatial resolution of the conductivity and realize a 25-fold increase in imaging speed by implementing spin-to-charge conversion readout of a shallow NV center. NV-based conductivity imaging can probe condensed-matter systems in a new regime, and as a model example, we project readily achievable imaging of nanoscale phase separation in complex oxides.
△ Less
Submitted 26 December, 2017;
originally announced December 2017.
-
Double-quantum spin-relaxation limits to coherence of near-surface nitrogen-vacancy centers
Authors:
Bryan A. Myers,
Amila Ariyaratne,
Ania C. Bleszynski Jayich
Abstract:
We probe the relaxation dynamics of the full three-level spin system of near-surface nitrogen-vacancy (NV) centers in diamond to define a $T_{1}$ relaxation time that helps resolve the $T_{2} \leq 2T_{1}$ coherence limit of the NV's subset qubit superpositions. We find that double-quantum spin relaxation via electric field noise dominates $T_{1}$ of near-surface NVs at low applied magnetic fields.…
▽ More
We probe the relaxation dynamics of the full three-level spin system of near-surface nitrogen-vacancy (NV) centers in diamond to define a $T_{1}$ relaxation time that helps resolve the $T_{2} \leq 2T_{1}$ coherence limit of the NV's subset qubit superpositions. We find that double-quantum spin relaxation via electric field noise dominates $T_{1}$ of near-surface NVs at low applied magnetic fields. Furthermore, we differentiate $1/f^α$ spectra of electric and magnetic field noise using a novel noise-spectroscopy technique, with broad applications in probing surface-induced decoherence at material interfaces.
△ Less
Submitted 8 July, 2016;
originally announced July 2016.
-
Deterministic formation of highly coherent nitrogen-vacancy centers using a focused electron irradiation technique
Authors:
Claire A. McLellan,
Bryan A. Myers,
Stephan Kraemer,
Kenichi Ohno,
David D. Awschalom,
Ania C. Bleszynski Jayich
Abstract:
We demonstrate fully three-dimensional and patterned localization of nitrogen-vacancy (NV) centers in diamond with coherence times in excess of 1 ms. Nitrogen δ-do** during CVD diamond growth vertically confines nitrogen to 4 nm while electron irradiation with a transmission electron microscope (TEM) laterally confines vacancies to less than 1 μm. We characterize the effects of electron energy a…
▽ More
We demonstrate fully three-dimensional and patterned localization of nitrogen-vacancy (NV) centers in diamond with coherence times in excess of 1 ms. Nitrogen δ-do** during CVD diamond growth vertically confines nitrogen to 4 nm while electron irradiation with a transmission electron microscope (TEM) laterally confines vacancies to less than 1 μm. We characterize the effects of electron energy and dose on NV formation. Importantly, our technique enables the formation of reliably high-quality NV centers inside diamond nanostructures, with applications in quantum information and sensing.
△ Less
Submitted 29 December, 2015;
originally announced December 2015.
-
Two-dimensional nanoscale imaging of gadolinium spins via scanning probe relaxometry with a single spin in diamond
Authors:
Matthew Pelliccione,
Bryan A. Myers,
Laetitia Pascal,
Ananda Das,
Ania C. Bleszynski Jayich
Abstract:
Spin-labeling of molecules with paramagnetic ions is an important approach for determining molecular structure, however current ensemble techniques lack the sensitivity to detect few isolated spins. In this Letter, we demonstrate two-dimensional nanoscale imaging of paramagnetic gadolinium compounds using scanning relaxometry of a single nitrogen vacancy (NV) center in diamond. Gadopentetate dimeg…
▽ More
Spin-labeling of molecules with paramagnetic ions is an important approach for determining molecular structure, however current ensemble techniques lack the sensitivity to detect few isolated spins. In this Letter, we demonstrate two-dimensional nanoscale imaging of paramagnetic gadolinium compounds using scanning relaxometry of a single nitrogen vacancy (NV) center in diamond. Gadopentetate dimeglumine attached to an atomic force microscope tip is controllably interacted with and detected by the NV center, by virtue of the fact that the NV exhibits fast relaxation in the fluctuating magnetic field generated by electron spin flips in the gadolinium. Using this technique, we demonstrate a reduction in the $T_1$ relaxation time of the NV center by over two orders of magnitude, probed with a spatial resolution of 20 nm. Our result exhibits the viability of the technique for imaging individual spins attached to complex nanostructures or biomolecules, along with studying the magnetic dynamics of isolated spins.
△ Less
Submitted 8 September, 2014;
originally announced September 2014.
-
Three-dimensional localization of spins in diamond using 12C implantation
Authors:
Kenichi Ohno,
F. Joseph Heremans,
Charles F. de las Casas,
Bryan. A. Myers,
Benjamín J. Aleman,
Ania C. Bleszynski Jayich,
David D. Awschalom
Abstract:
We demonstrate three-dimensional localization of a single nitrogen-vacancy (NV) center in diamond by combining nitrogen do** during growth with a post-growth 12C implantation technique that facilitates vacancy formation in the crystal. We show that the NV density can be controlled by the implantation dose without necessitating increase of the nitrogen incorporation. By implanting a large 12C dos…
▽ More
We demonstrate three-dimensional localization of a single nitrogen-vacancy (NV) center in diamond by combining nitrogen do** during growth with a post-growth 12C implantation technique that facilitates vacancy formation in the crystal. We show that the NV density can be controlled by the implantation dose without necessitating increase of the nitrogen incorporation. By implanting a large 12C dose through nanoscale apertures, we can localize an individual NV center within a volume of (~180 nm)**3 at a deterministic position while reproducibly preserving a coherence time (T2) > 300 μs. Our approach enables integration of NV centers into diamond nanostructures to realize scalable spin-sensing devices as well as coherent spin coupling mediated by photons and phonons.
△ Less
Submitted 28 May, 2014;
originally announced May 2014.
-
Dynamic strain-mediated coupling of a single diamond spin to a mechanical resonator
Authors:
Preeti Ovartchaiyapong,
Kenneth W. Lee,
Bryan A. Myers,
Ania C. Bleszynski Jayich
Abstract:
The development of hybrid quantum systems is central to the advancement of emerging quantum technologies, including quantum information science and quantum-assisted sensing. The recent demonstration of high quality single-crystal diamond resonators has led to significant interest in a hybrid system consisting of nitrogen-vacancy center spins that interact with the resonant phonon modes of a macros…
▽ More
The development of hybrid quantum systems is central to the advancement of emerging quantum technologies, including quantum information science and quantum-assisted sensing. The recent demonstration of high quality single-crystal diamond resonators has led to significant interest in a hybrid system consisting of nitrogen-vacancy center spins that interact with the resonant phonon modes of a macroscopic mechanical resonator through crystal strain. However, the nitrogen-vacancy spin-strain interaction has not been well characterized. Here, we demonstrate dynamic, strain-mediated coupling of the mechanical motion of a diamond cantilever to the spin of an embedded nitrogen-vacancy center. Via quantum control of the spin, we quantitatively characterize the axial and transverse strain sensitivities of the nitrogen-vacancy ground state spin. The nitrogen-vacancy center is an atomic scale sensor and we demonstrate spin-based strain imaging with a strain sensitivity of 3 10^(-6) strain Hz^(-1/2). Finally, we show how this spin-resonator system could enable coherent spin-phonon interactions in the quantum regime.
△ Less
Submitted 10 June, 2014; v1 submitted 17 March, 2014;
originally announced March 2014.
-
Probing surface noise with depth-calibrated spins in diamond
Authors:
Bryan A. Myers,
Matthieu C. Dartiailh,
Kenichi Ohno,
Ananda Das,
David D. Awschalom,
Ania C. Bleszynski Jayich
Abstract:
Sensitive nanoscale magnetic resonance imaging (MRI) of target spins using nitrogen-vacancy (NV) centers in diamond will require a quantitative understanding of dominant noise at the surface. We probe this noise by applying dynamical decoupling to shallow NVs at calibrated depths. Results support a model of NV dephasing by a surface bath of electronic spins having a correlation rate of 200 kHz, mu…
▽ More
Sensitive nanoscale magnetic resonance imaging (MRI) of target spins using nitrogen-vacancy (NV) centers in diamond will require a quantitative understanding of dominant noise at the surface. We probe this noise by applying dynamical decoupling to shallow NVs at calibrated depths. Results support a model of NV dephasing by a surface bath of electronic spins having a correlation rate of 200 kHz, much faster than that of the bulk N spin bath. Our method of combining nitrogen delta-do** growth and nanoscale depth imaging paves a way for studying spin noise present in diverse material surfaces.
△ Less
Submitted 21 February, 2014;
originally announced February 2014.
-
Simulating the Synchronizing Behavior of High-Frequency Trading in Multiple Markets
Authors:
Benjamin Myers,
Austin Gerig
Abstract:
Nearly one-half of all trades in financial markets are executed by high-speed, autonomous computer programs -- a type of trading often called high-frequency trading (HFT). Although evidence suggests that HFT increases the efficiency of markets, it is unclear how or why it produces this outcome. Here we create a simple model to study the impact of HFT on investors who trade similar securities in di…
▽ More
Nearly one-half of all trades in financial markets are executed by high-speed, autonomous computer programs -- a type of trading often called high-frequency trading (HFT). Although evidence suggests that HFT increases the efficiency of markets, it is unclear how or why it produces this outcome. Here we create a simple model to study the impact of HFT on investors who trade similar securities in different markets. We show that HFT can improve liquidity by allowing more transactions to take place without adversely affecting pricing or volatility. In the model, HFT synchronizes the prices of the securities, which allows buyers and sellers to find one another across markets and increases the likelihood of competitive orders being filled.
△ Less
Submitted 17 November, 2013;
originally announced November 2013.
-
Structural and magnetic properties of the new cobaltate series (BaSr)4-xLa2xCo4O15
Authors:
V. O. Garlea,
R. **,
E. Garlea,
G. Ehlers,
E. Mamontov,
D. B. Myers,
F. Xie,
R. Custelcean
Abstract:
We report the structural and magnetic properties of a new class of cobaltates with the chemical formula (BaSr)4-xLa2xCo4O15 (x = 0, 0.5 and 1). These compounds crystallize in a hexagonal structure in which cobalt ions are distributed among two distinct crystallographic sites with different oxygen coordination. Three Co-O tetrahedra and one octahedron are linked by shared oxygen atoms to form Co4O1…
▽ More
We report the structural and magnetic properties of a new class of cobaltates with the chemical formula (BaSr)4-xLa2xCo4O15 (x = 0, 0.5 and 1). These compounds crystallize in a hexagonal structure in which cobalt ions are distributed among two distinct crystallographic sites with different oxygen coordination. Three Co-O tetrahedra and one octahedron are linked by shared oxygen atoms to form Co4O15 clusters, which are packed together into a honeycomb-like network. Partial substitution of Sr and/or Ba atoms by La allows one to adjust the degree of Co valence mixing, but all compositions remain subject to a random distribution of charge. Magnetic susceptibility together with neutron scattering measurements reveal that all studied specimens are characterized by competing ferro- and antiferro-magnetic exchange interactions that give rise to a three dimensional Heisenberg spin-glass state. Neutron spectroscopy shows a clear trend of slowing down of spin-dynamics upon increasing La concentration, suggesting a reduction in charge randomness in the doped samples.
△ Less
Submitted 13 September, 2012;
originally announced September 2012.
-
Engineering shallow spins in diamond with nitrogen delta-do**
Authors:
Kenichi Ohno,
F. Joseph Heremans,
Lee C. Bassett,
Bryan A. Myers,
David M. Toyli,
Ania C. Bleszynski Jayich,
Christopher J. Palmstrom,
David D. Awschalom
Abstract:
We demonstrate nanometer-precision depth control of nitrogen-vacancy (NV) center creation near the surface of synthetic diamond using an in situ nitrogen delta-do** technique during plasma-enhanced chemical vapor deposition. Despite their proximity to the surface, doped NV centers with depths (d) ranging from 5 - 100 nm display long spin coherence times, T2 > 100 \mus at d = 5 nm and T2 > 600 \m…
▽ More
We demonstrate nanometer-precision depth control of nitrogen-vacancy (NV) center creation near the surface of synthetic diamond using an in situ nitrogen delta-do** technique during plasma-enhanced chemical vapor deposition. Despite their proximity to the surface, doped NV centers with depths (d) ranging from 5 - 100 nm display long spin coherence times, T2 > 100 \mus at d = 5 nm and T2 > 600 \mus at d \geq 50 nm. The consistently long spin coherence observed in such shallow NV centers enables applications such as atomic-scale external spin sensing and hybrid quantum architectures.
△ Less
Submitted 11 July, 2012;
originally announced July 2012.
-
High quality factor single-crystal diamond mechanical resonators
Authors:
P. Ovartchaiyapong,
L. M. A. Pascal,
B. A. Myers,
P. Lauria,
A. C. Bleszynski Jayich
Abstract:
Single-crystal diamond is a promising material for MEMs devices because of its low mechanical loss, compatibility with extreme environments, and built-in interface to high-quality spin centers. But its use has largely been limited by challenges in processing and growth. We demonstrate a wafer bonding-based technique to form diamond on insulator, from which we make single-crystal diamond micromecha…
▽ More
Single-crystal diamond is a promising material for MEMs devices because of its low mechanical loss, compatibility with extreme environments, and built-in interface to high-quality spin centers. But its use has largely been limited by challenges in processing and growth. We demonstrate a wafer bonding-based technique to form diamond on insulator, from which we make single-crystal diamond micromechanical resonators with mechanical quality factors as high as 338,000 at room temperature. Variable temperature measurements down to 10 K reveal a nonmonotonic dependence of quality factor on temperature. These resonators enable integration of single-crystal diamond into MEMs technology for classical and quantum applications.
△ Less
Submitted 19 June, 2012;
originally announced June 2012.
-
Nanomechanical Measurements of Magnetostriction and Magnetic Anisotropy in (Ga,Mn)As
Authors:
S. C. Masmanidis,
H. X. Tang,
E. B. Myers,
Mo Li,
K. De Greve,
G. Vermeulen,
W. Van Roy,
M. L. Roukes
Abstract:
A (Ga,Mn)As nanoelectromechanical resonator is used to obtain the first direct measurement of magnetostriction in a dilute magnetic semiconductor. Field-dependent magnetoelastic stress induces shifts in resonance frequency that can be discerned with a high resolution electromechanical transduction scheme. By monitoring the field dependence, the magnetostriction and anisotropy field constants can…
▽ More
A (Ga,Mn)As nanoelectromechanical resonator is used to obtain the first direct measurement of magnetostriction in a dilute magnetic semiconductor. Field-dependent magnetoelastic stress induces shifts in resonance frequency that can be discerned with a high resolution electromechanical transduction scheme. By monitoring the field dependence, the magnetostriction and anisotropy field constants can be simultaneously mapped over a wide range of temperatures. These results, when compared with theoretical predictions, appear to provide insight into a unique form of magnetoelastic behavior mediated by holes.
△ Less
Submitted 9 May, 2005;
originally announced May 2005.
-
Thermally-Activated Magnetic Reversal Induced by a Spin-Polarized Current
Authors:
E. B. Myers,
F. J. Albert,
J. C. Saneky,
E. Bonet,
R. A. Buhrman,
D. C. Ralph
Abstract:
We have measured the statistical properties of magnetic reversal in nanomagnets driven by a spin-polarized current. Like reversal induced by a magnetic field, spin-transfer-driven reversal near room temperature exhibits the properties of thermally-activated escape over an effective barrier. However, the spin-transfer effect produces qualitatively different behaviors than an applied magnetic fiel…
▽ More
We have measured the statistical properties of magnetic reversal in nanomagnets driven by a spin-polarized current. Like reversal induced by a magnetic field, spin-transfer-driven reversal near room temperature exhibits the properties of thermally-activated escape over an effective barrier. However, the spin-transfer effect produces qualitatively different behaviors than an applied magnetic field. We discuss an effective current vs. field phase diagram. If the current and field are tuned so that their effects oppose one another, the magnet can be driven superparamagnetic.
△ Less
Submitted 23 March, 2002;
originally announced March 2002.
-
The Role of Spin-Dependent Interface Scattering in Generating Current-Induced Torques in Magnetic Multilayers
Authors:
Xavier Waintal,
Edward B. Myers,
Piet W. Brouwer,
D. C. Ralph
Abstract:
We present a calculation of current-induced torques in metallic magnetic multilayers derived from the spin-dependent transmission and reflection properties of the magnetic layers. A scattering formalism is employed to calculate the torques in a magnetic-nonmagnetic-magnetic trilayer, for currents perpendicular to the layers, in both the ballistic and diffusive regimes.
We present a calculation of current-induced torques in metallic magnetic multilayers derived from the spin-dependent transmission and reflection properties of the magnetic layers. A scattering formalism is employed to calculate the torques in a magnetic-nonmagnetic-magnetic trilayer, for currents perpendicular to the layers, in both the ballistic and diffusive regimes.
△ Less
Submitted 9 June, 2000; v1 submitted 15 May, 2000;
originally announced May 2000.
-
Current-driven Magnetization Reversal and Spin Wave Excitations in Co/Cu/Co Pillars
Authors:
J. A. Katine,
F. J. Albert,
R. A. Buhrman,
E. B. Myers,
D. C. Ralph
Abstract:
Using thin film pillars ~100 nm in diameter, containing two ferromagnetic Co layers of different thicknesses separated by a paramagnetic Cu spacer, we examine effects of torques due to spin-polarized currents flowing perpendicular to the layers. In accordance with spin-transfer theory, spin-polarized electrons flowing from the thin to the thick Co layer can switch the magnetic moments of the lay…
▽ More
Using thin film pillars ~100 nm in diameter, containing two ferromagnetic Co layers of different thicknesses separated by a paramagnetic Cu spacer, we examine effects of torques due to spin-polarized currents flowing perpendicular to the layers. In accordance with spin-transfer theory, spin-polarized electrons flowing from the thin to the thick Co layer can switch the magnetic moments of the layers antiparallel, while a reversed electron flow causes switching to a parallel state. When large magnetic fields are applied, the current no longer fully reverses the magnetic moment, but instead stimulates spin-wave excitations.
△ Less
Submitted 16 August, 1999;
originally announced August 1999.
-
Tunneling Via Individual Electronic States in Ferromagnetic Nanoparticles
Authors:
S. Gueron,
Mandar M. Deshmukh,
E. B. Myers,
D. C. Ralph
Abstract:
We measure electron tunneling via discrete energy levels in ferromagnetic cobalt particles less than 4 nm in diameter, using non-magnetic electrodes. Due to magnetic anisotropy, the energy of each tunneling resonance shifts as an applied magnetic field rotates the particle's magnetic moment. We see both spin-increasing and decreasing tunneling transitions, but we do not observe the spin degenera…
▽ More
We measure electron tunneling via discrete energy levels in ferromagnetic cobalt particles less than 4 nm in diameter, using non-magnetic electrodes. Due to magnetic anisotropy, the energy of each tunneling resonance shifts as an applied magnetic field rotates the particle's magnetic moment. We see both spin-increasing and decreasing tunneling transitions, but we do not observe the spin degeneracy at small magnetic fields seen previously in non-magnetic materials. The tunneling spectrum is denser than predicted for independent electrons, possibly due to spin-wave excitations.
△ Less
Submitted 27 September, 1999; v1 submitted 17 April, 1999;
originally announced April 1999.