Publications (14)
US Cosmic Visions: New Ideas in Dark Matter 2017: Community Report
Marco Battaglieri, Alberto Belloni, Aaron Chou +248
This white paper summarizes the workshop "U.S. Cosmic Visions: New Ideas in Dark Matter" held at University of Maryland on March 23-25, 2017.
A survey for variable young stars with small telescopes: VIII -- Properties of 1687 Gaia selected members in 21 nearby clusters
Dirk Froebrich, Aleks Scholz, Justyn Campbell-White +60
The Hunting Outbursting Young Stars (HOYS) project performs long-term, optical, multi-filter, high cadence monitoring of 25 nearby young clusters and star forming regions. Utilisin…
A survey for variable stars with small telescopes: IX -- Evolution of Spot Properties on YSOs in IC5070
Carys Herbert, Dirk Froebrich, Siegfried Vanaverbeke +45
We present spot properties on 32 periodic young stellar objects in IC 5070. Long term, 5 yr, light curves in the , , and -bands are obtained through the HOYS (Huntin…
A survey for variable young stars with small telescopes: VI -- Analysis of the outbursting Be stars NSW284, Gaia19eyy, and VES263
Dirk Froebrich, Lynne A. Hillenbrand, Carys Herbert +44
This paper is one in a series reporting results from small telescope observations of variable young stars. Here, we study the repeating outbursts of three likely Be stars based on…
Using Relational Problems to Teach Property-Based Testing
John Wrenn, Tim Nelson, Shriram Krishnamurthi
Context: The success of QuickCheck has led to the development of property-based testing (PBT) libraries for many languages and the process is getting increasing attention. However,…
Grounded Language Design for Lightweight Diagramming for Formal Methods
Siddhartha Prasad, Ben Greenman, Tim Nelson +1
Model finding, as embodied by SAT solvers and similar tools, is used widely, both in embedding settings and as a tool in its own right. For instance, tools like Alloy target SAT to…
Dark Sectors 2016 Workshop: Community Report
Jim Alexander, Marco Battaglieri, Bertrand Echenard +201
This report, based on the Dark Sectors workshop at SLAC in April 2016, summarizes the scientific importance of searches for dark sector dark matter and forces at masses beneath the…
A survey for variable young stars with small telescopes: IV -- Rotation Periods of YSOs in IC5070
Dirk Froebrich, Efthymia Derezea, Aleks Scholz +50
Studying rotational variability of young stars is enabling us to investigate a multitude of properties of young star-disk systems. We utilise high cadence, multi-wavelength optical…
Compiling Stateful Network Properties for Runtime Verification
Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff +2
Networks are difficult to configure correctly, and tricky to debug. These problems are accentuated by temporal and stateful behavior. Static verification, while useful, is ineffect…
Automated, Targeted Testing of Property-Based Testing Predicates
Tim Nelson, Elijah Rivera, Sam Soucie +3
Context: This work is based on property-based testing (PBT). PBT is an increasingly important form of software testing. Furthermore, it serves as a concrete gateway into the abstra…
Little Tricky Logic: Misconceptions in the Understanding of LTL
Ben Greenman, Sam Saarinen, Tim Nelson +1
Context: Linear Temporal Logic (LTL) has been used widely in verification. Its importance and popularity have only grown with the revival of temporal logic synthesis, and with new…
A survey for variable young stars with small telescopes - XI. Spot Lifetimes and Coverage Distributions
Dirk Froebrich, Carys Herbert, Aleks Scholz +47
We present a homogeneous analysis of rotational variability and spot properties in young stellar objects across multiple star-forming regions observed by the Hunting Outbursting Yo…
Conceptual Mutation Testing for Student Programming Misconceptions
Siddhartha Prasad, Ben Greenman, Tim Nelson +1
Context: Students often misunderstand programming problem descriptions. This can lead them to solve the wrong problem, which creates frustration, obstructs learning, and imperils g…
A survey for variable young stars with small telescopes: II -- Mapping a protoplanetary disk with stable structures at 0.15 AU
Jack J. Evitts, Dirk Froebrich, Aleks Scholz +57
The HOYS citizen science project conducts long term, multifilter, high cadence monitoring of large YSO samples with a wide variety of professional and amateur telescopes. We presen…