scholarly journals LooPy: interactive program synthesis with control structures

2021 ◽  
Vol 5 (OOPSLA) ◽  
pp. 1-29
Author(s):  
Kasra Ferdowsifard ◽  
Shraddha Barke ◽  
Hila Peleg ◽  
Sorin Lerner ◽  
Nadia Polikarpova
Keyword(s):  
User Study ◽  
Program Synthesis ◽  
State Graph ◽  
Small Step ◽  
Development Environment ◽  
Large Space ◽  
Control Structures ◽  
Loop Body ◽  
Block Level ◽  
Step Over

One vision for program synthesis, and specifically for programming by example (PBE), is an interactive programmer's assistant, integrated into the development environment. To make program synthesis practical for interactive use, prior work on Small-Step Live PBE has proposed to limit the scope of synthesis to small code snippets, and enable the users to provide local specifications for those snippets. This paradigm, however, does not work well in the presence of loops. We present LooPy, a synthesizer integrated into a live programming environment, which extends Small-Step Live PBE to work inside loops and scales it up to synthesize larger code snippets, while remaining fast enough for interactive use. To allow users to effectively provide examples at various loop iterations, even when the loop body is incomplete, LooPy makes use of live execution , a technique that leverages the programmer as an oracle to step over incomplete parts of the loop. To enable synthesis of loop bodies at interactive speeds, LooPy introduces Intermediate State Graph , a new data structure, which compactly represents a large space of code snippets composed of multiple assignment statements and conditionals. We evaluate LooPy empirically using benchmarks from competitive programming and previous synthesizers, and show that it can solve a wide variety of synthesis tasks at interactive speeds. We also perform a small qualitative user study which shows that LooPy's block-level specifications are easy for programmers to provide.

Integrating Interactive Visualizations of Automatic Debugging Techniques on an Integrated Development Environment

2012 ◽  
Vol 3 (2) ◽  
pp. 42-59
Author(s):  
André Riboira ◽  
Rui Rodrigues ◽  
Rui Abreu ◽  
José Campos
Keyword(s):  
Statistical Analysis ◽  
User Study ◽  
Source Code ◽  
Integrated Development Environment ◽  
Development Environment ◽  
Integrated Development ◽  
Root Cause ◽  
Automated Debugging ◽  
Interactive Visualizations ◽  
Diagnostic Capabilities

Automated debugging techniques based on statistical analysis of historical test executions data have recently received considerable attention due to their diagnostic capabilities. However, the tools that materialize such techniques suffer from a common, rather important shortcoming: the lack of effective diagnostic reports’ visualizations. This limitation prevents the wide adoption of such tools, as it is difficult to understand the diagnostic reports yielded by them. To fill this gap, the authors propose a framework for integrating interactive visualizations of automatic debugging reports in a popular development environment (namely, the Eclipse integrated development environment). The framework, coined GZoltar, provides several important features to aid the developer’s efficiency to find the root cause of observed failures quickly, such as direct links to the source code editor. Furthermore, the authors report on the results of a user study conducted to assess GZoltar‘s effectiveness.

Seti Space Missions

1997 ◽  
Vol 161 ◽  
pp. 761-776 ◽  
Author(s):  
Claudio Maccone
Keyword(s):  
Electromagnetic Waves ◽  
Space Missions ◽  
Gravitational Lens ◽  
The Sun ◽  
Space Antenna ◽  
Focal Distance ◽  
Large Space ◽  
The Earth ◽  
Space Antennas ◽  
New Space

AbstractSETI from space is currently envisaged in three ways: i) by large space antennas orbiting the Earth that could be used for both VLBI and SETI (VSOP and RadioAstron missions), ii) by a radiotelescope inside the Saha far side Moon crater and an Earth-link antenna on the Mare Smythii near side plain. Such SETIMOON mission would require no astronaut work since a Tether, deployed in Moon orbit until the two antennas landed softly, would also be the cable connecting them. Alternatively, a data relay satellite orbiting the Earth-Moon Lagrangian pointL2would avoid the Earthlink antenna, iii) by a large space antenna put at the foci of the Sun gravitational lens: 1) for electromagnetic waves, the minimal focal distance is 550 Astronomical Units (AU) or 14 times beyond Pluto. One could use the huge radio magnifications of sources aligned to the Sun and spacecraft; 2) for gravitational waves and neutrinos, the focus lies between 22.45 and 29.59 AU (Uranus and Neptune orbits), with a flight time of less than 30 years. Two new space missions, of SETI interest if ET’s use neutrinos for communications, are proposed.

Optimal Test Assembly in Practice

2013 ◽  
Vol 221 (3) ◽  
pp. 190-200 ◽  
Author(s):  
Jörg-Tobias Kuhn ◽  
Thomas Kiefer
Keyword(s):  
Particle Physics ◽  
Large Scale ◽  
Block Design ◽  
Linear Optimization ◽  
Mixed Integer ◽  
Optimal Test ◽  
Automated Test Assembly ◽  
Test Assembly ◽  
Block Level ◽  
Mixed Integer Linear Optimization

Several techniques have been developed in recent years to generate optimal large-scale assessments (LSAs) of student achievement. These techniques often represent a blend of procedures from such diverse fields as experimental design, combinatorial optimization, particle physics, or neural networks. However, despite the theoretical advances in the field, there still exists a surprising scarcity of well-documented test designs in which all factors that have guided design decisions are explicitly and clearly communicated. This paper therefore has two goals. First, a brief summary of relevant key terms, as well as experimental designs and automated test assembly routines in LSA, is given. Second, conceptual and methodological steps in designing the assessment of the Austrian educational standards in mathematics are described in detail. The test design was generated using a two-step procedure, starting at the item block level and continuing at the item level. Initially, a partially balanced incomplete item block design was generated using simulated annealing, whereas in a second step, items were assigned to the item blocks using mixed-integer linear optimization in combination with a shadow-test approach.

Remote Heart Beat Monitoring System

2019 ◽  
Vol 7 (1) ◽  
pp. 5-10
Author(s):  
Saman Shahid ◽  
Saima Zafar ◽  
Mansoor Imam ◽  
Muhammad Usman Chishtee ◽  
Haris Ehsan
Keyword(s):  
Heart Diseases ◽  
Cost Effective ◽  
Heart Beat ◽  
The Internet ◽  
Android Application ◽  
Development Environment ◽  
Future Assessment ◽  
Pulse Sensor ◽  
Hospital Visits ◽  
Monitoring Module

There is an increased prevalence of heart diseases in developing countries and continuous monitoring of heart beats is very much important to reduce hospital visits, health costs and complications. The Internet of Things (IoT) equipped with microcontrollers and sensors can give an easy and cost-effective remote health monitoring. We developed a Heart Beat monitoring module based on an android application. The software involved was the Android Application developed using Android Studio, which is the Integrated Development Environment (IDE). This app retrieved the data from the open IoT platform thingspeak.com. A highly sensitive Pulse Sensor was used to measure the heartbeat of the patient automatically. An Arduino Uno microcontroller interfaced with a Wi-Fi module ESP8266 used to transmit pulse reading over the internet using Wi-Fi. The heartbeat was displayed on the LCD of the patient in run-time. The heartbeat in beats per minute (BPM) was plotted against time (minutes). A mounted pulse sensor to the patient had monitored the heartbeat and transmitted it in the form of voltage signal to the microcontroller, which converted it back into a mathematical value. The Arduino transmitted the data onto the thingspeak.com portal, where it was plotted on a graph and the values were stored for future assessment. The user of the app was given a things peak API and the channel number as an access code, through which physician or nurse can accessed the patient’s data. IoT based heartbeat module as an android application can provide a convenient, cost effective and continuous remote measurements for heart patients to help physicians and nurses update. This app can reduce the burden of hospital visits or admissions for elderly patients.

Sign in / Sign up

Export Citation Format

Share Document