Results 51 to 60 of about 634,474 (205)

Assistance or Disruption? Exploring and Evaluating the Design and Trade-offs of Proactive AI Programming Support [PDF]

AI programming tools enable powerful code generation, and recent prototypes attempt to reduce user effort with proactive AI agents, but their impact on programming workflows remains unexplored. We introduce and evaluate Codellaborator, a design probe LLM agent that initiates programming assistance based on editor activities and task context.
arxiv   +1 more source

Exploring Communication Dynamics: Eye-tracking Analysis in Pair Programming of Computer Science Education [PDF]

Pair programming is widely recognized as an effective educational tool in computer science that promotes collaborative learning and mirrors real-world work dynamics. However, communication breakdowns within pairs significantly challenge this learning process.
arxiv   +1 more source

Limits on Optical Counterparts to the Repeating Fast Radio Burst 20180916B from High-speed Imaging with Gemini-North/‘Alopeke

The Astrophysical Journal
We report on contemporaneous optical observations at ≈10 ms timescales from the fast radio burst (FRB) 20180916B of two repeat bursts (FRB 20201023 and FRB 20220908) taken with the ‘Alopeke camera on the Gemini-North telescope.
Charles D. Kilpatrick, Nicolas Tejos, Bridget C. Andersen, J. Xavier Prochaska, Consuelo Núñez, Emmanuel Fonseca, Zachary Hartman, Steve B. Howell, Tom Seccull, Shriharsh P. Tendulkar   +9 more
doaj   +1 more source

Specification and Inference of Trace Refinement Relations [PDF]

arXiv, 2019
Modern software is constantly changing. Researchers and practitioners are increasingly aware that verification tools can be impactful if they embrace change through analyses that are compositional and span program versions. Reasoning about similarities and differences between programs goes back to Benton, who introduced state-based refinement relations,
arxiv  

The New Horizons Extended Mission Target: Arrokoth Search and Discovery

The Planetary Science Journal
Following the Pluto flyby of the New Horizons spacecraft, the mission provided a unique opportunity to explore the Kuiper Belt in situ. The possibility existed to fly by a Kuiper Belt object (KBO), as well as to observe additional objects at distances ...
Marc W. Buie, John R. Spencer, Simon B. Porter, Susan D. Benecchi, Alex H. Parker, S. Alan Stern, Michael Belton, Richard P. Binzel, David Borncamp, Francesca DeMeo, S. Fabbro, Cesar Fuentes, Hisanori Furusawa, Tetsuharu Fuse, Pamela L. Gay, Stephen Gwyn, Matthew J. Holman, H. Karoji, J. J. Kavelaars, Daisuke Kinoshita, Satoshi Miyazaki, Matt Mountain, Keith S. Noll, David J. Osip, Jean-Marc Petit, Neill I. Reid, Scott S. Sheppard, Mark Showalter, Andrew J. Steffl, Ray E. Sterner, Akito Tajitsu, David J. Tholen, David E. Trilling, Harold A. Weaver, Anne J. Verbiscer, Lawrence H. Wasserman, Takuji Yamashita, Toshifumi Yanagisawa, Fumi Yoshida, Amanda M. Zangari   +39 more
doaj   +1 more source

Constraining Near-simultaneous Radio Emission from Short Gamma-Ray Bursts Using CHIME/FRB

The Astrophysical Journal
We use the Canadian Hydrogen Intensity Mapping Experiment (CHIME) Fast Radio Burst (FRB) Project to search for FRBs that are temporally and spatially coincident with gamma-ray bursts (GRBs) occurring between 2018 July 7 and 2023 August 3.
Alice P. Curtin, Sloane Sirota, Victoria M. Kaspi, Shriharsh P. Tendulkar, Mohit Bhardwaj, Amanda M. Cook, Wen-Fai Fong, B. M. Gaensler, Robert A. Main, Kiyoshi W. Masui, Daniele Michilli, Ayush Pandhi, Aaron B. Pearlman, Paul Scholz, Kaitlyn Shin   +14 more
doaj   +1 more source

Complexity of Fractran and Productivity [PDF]

arXiv, 2009
In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarantee that every finite part of the result can be evaluated in finitely many steps. This is known as productivity.
arxiv  

Can LLMs Reason About Program Semantics? A Comprehensive Evaluation of LLMs on Formal Specification Inference [PDF]

arXiv
Large Language Models (LLMs) are increasingly being used to automate programming tasks. Yet, LLMs' capabilities in reasoning about program semantics are still inadequately studied, leaving significant potential for further exploration. This paper introduces FormalBench, a comprehensive benchmark designed to evaluate LLMs' reasoning abilities on program
arxiv  

MPISE: Symbolic Execution of MPI Programs [PDF]

arXiv, 2014
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection for MPI programs have the shortage of providing both input and non-determinism coverage, leading to missed bugs. In this paper, we employ symbolic execution to ensure the input
arxiv  

SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic [PDF]

arXiv, 2019
We introduce a new dynamic analysis technique to discover invariants in separation logic for heap-manipulating programs. First, we use a debugger to obtain rich program execution traces at locations of interest on sample inputs. These traces consist of heap and stack information of variables that point to dynamically allocated data structures. Next, we
arxiv