Large CS1 courses routinely need several versions of the same idea, such as practice items, make ups, and multi-form exams that target the same learning objective. he manual authoring of these isomorphic items is slow, and automatic generation of one shot often wanders off concept, changes difficulty, or produces code that does not run. We address this problem with a verification first, self-healing framework for generating CS1 exercise variants. The design is generator agnostic. In our framework, we use three separate role instances of a Large Language Model (LLM): a Generator that proposes candidate items, an Evaluator that checks them against constraints extracted from the base problem, and a Solver that produces a reference solution. Acceptance is determined only by executable docstring tests (doctests). When tests fail, a lightweight controller turns failure traces into targeted repairs and retries. In short, generation proposes and tests decide.

The anticipated proliferation of smart devices, the "Internet of Things" (IoT), is one of the motivations for some large-scale research efforts aiming to design a new Internet architecture. One such effort is Named-Data Networking (NDN) - a "future internet architecture" research project in the Information-Centric Networking (ICN) area that emphasizes efficient, scalable and secure data distribution through a shift from the host-based addressing of IP to data-centric addressing. Because of its focus on data distribution, NDN has been assumed to be poorly suited for other networking scenarios. We address efficient and secure sensing over NDN, motivated by the convergence of the IoT vision with traditional Building Automation Systems (BAS). We consider several sensing paradigms and demonstrate the use of NDN to securely interact with NDN-enabled sensors. In the process, we address some challenges caused by sensors' intermittent availability, power constraints and asynchronous communication patterns. Our results include concrete protocols that facilitate secure sensor-bound communication over NDN.