This paper presents the design and implementation of Juniper: a functional reactive programming language (FRP) targeting the Arduino and related microcontroller systems. Juniper provides a number of high level features, including parametric polymorph...
Feb 2, 2026 · Purchasing Power, an employee purchase program, gives you access to the things you need when it matters most. No surprises. For over 20 years people have been raving about our …
We present XPath Agent, a production-ready XPath programming agent specifically designed for web crawling and web GUI testing. A key feature of XPath Agent is its ability to automatically generate XPath queries from a set of sampled web pages using a...
We present methods to synthesize cooperative strategies for multi-vehicle control problems using mixed integer linear programming. Complex multi-vehicle control problems are expressed as mixed logical dynamical systems. Optimal strategies for these...
Social Security pays benefits to disabled workers and their dependents as well as the families of deceased workers. We administer the Supplemental Security Income program, a program based on …
A great variety of static analyses that compute safety properties of single-thread programs have now been developed. This paper presents a systematic method to extend a class of such static analyses, so that they handle programs with multiple POSIX...
Reactive answer set programming has paved the way for incorporating online information into operative solving processes. Although this technology was originally devised for dealing with data streams in dynamic environments, like assisted living and c...
A system of bots that collects clips automatically via custom made filters, lets you easily browse these clips, and puts them together into a compilation video ready to be uploaded straight to any social media platform. Full VPS support is provided, along with…
DAN's programs and services help create a safer experience for divers across the world.
In the paper, a program strength model was proposed to evaluate the performance of countries across different Olympic events. The model assessed how strong a country's program was in each event and also factored in the influence of past Olympic perfo...
Based on the analysis of approaches to the definition of professional competencies of IT students the competence in programming of bachelor of informatics is proposed. Due to the standard of training in 040302 "Informatics" and Computing Curricula 20...
Background: Compilers tend to produce cryptic and uninformative error messages, leaving programmers confused and requiring them to spend precious time to resolve the underlying error. To find help, programmers often take to online question-and-answer...
Compiler error messages serve as an initial resource for programmers dealing with compilation errors. However, previous studies indicate that they often lack sufficient targeted information to resolve code issues. Consequently, programmers typically...
Prior work shows that program-aided reasoning, in which large language models (LLMs) are combined with programs written in programming languages such as Python, can significantly improve accuracy on various reasoning tasks. However, while accuracy is...
The Cryogenic Apparatus for Precision Tests of Argon Interactions with Neutrino (CAP- TAIN) program is designed to make measurements of scientific importance to long-baseline neutrino physics and physics topics that will be explored by large undergro...
Twenty-seven years ago, E. Freuder highlighted that "Constraint programming represents one of the closest approaches computer science has yet made to the Holy Grail of programming: the user states the problem, the computer solves it". Nowadays, CP us...
Austin Junior Forum is a non-profit volunteer organization supporting women, children, and the elderly in Austin through community service and fundraising. Our Teddy Bear Program provides stuffed …
Proving only over source code that programs do not leak sensitive data leaves a gap between reasoning and reality that can only be filled by accounting for the behaviour of the compiler. Furthermore, software does not always have the luxury of limiti...
Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based...
Gradually typed programming languages, which allow for soundly mixing static and dynamically typed programming styles, present a strong challenge for metatheorists. Even the simplest sound gradually typed languages feature at least recursion and erro...