More Like this

1. Error messages are classifiers: a process to design and evaluate error messages

   https://doi.org/10.1145/3133850.3133862  

   Wrenn, John; Krishnamurthi, Shriram (January 2017, International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software)

   This paper presents a lightweight process to guide error report authoring. We take the perspective that error reports are really classifiers of program information. They should therefore be subjected to the same measures as other classifiers (e.g., precision and recall). We formalize this perspective as a process for assessing error reports, describe our application of this process to an actual programming language, and present a preliminary study on the utility of the resulting error reports. 

   more » « less
2. Mindful messages: Engineering communications solution

   White, Jessica; Nair, Satish S (November 2024, TeachEngineering.org)

   https://www.teachengineering.org/activities/view/umo-2942-mindful-messages-communication-solutions-activity Students explore how the brain enables communication through spoken and written language and how communication is essential for solving problems. Working in groups, students define a problem related to communication, design a solution using a micro:bit, build a prototype, and then test their designs. Possible communication challenges they might tackle are hearing loss, language barriers, or noisy environments. Students follow specific criteria and constraints as they design and build their prototype. After testing their designs and prototypes, students improve their designs as needed. To wrap up, students exchange prototypes with other groups and test each other’s solutions. This engineering curriculum aligns to Next Generation Science Standards (NGSS). 

   more » « less
3. Contextualizing Rename Decisions using Refactorings and Commit Messages

   https://doi.org/10.1109/SCAM.2019.00017  

   Peruma, Anthony; Mkaouer, Mohamed Wiem; Decker, Michael John; Newman, Christian Donald (September 2019, International Working Conference on Source Code Analysis and Manipulation)
4. Topological Interference Management With Confidential Messages

   https://doi.org/10.1109/TIT.2022.3186238  

   de Dieu Mutangana, Jean; Tandon, Ravi (November 2022, IEEE Transactions on Information Theory)
5. Blockchain Security when Messages are Lost

   https://doi.org/10.1145/3560829.3563557  

   Ameen, Taha; Sankagiri, Suryanarayana; Hajek, Bruce (November 2022, ConsensusDay '22: Proceedings of the 2022 ACM Workshop on Developments in Consensus)

   Security analyses for consensus protocols in blockchain research have primarily focused on the synchronous model, where point-to-point communication delays are upper bounded by a known finite constant. These models are unrealistic in noisy settings, where messages may be lost (i.e. incur infinite delay). In this work, we study the impact of message losses on the security of the proof-of-work longest-chain protocol. We introduce a new communication model to capture the impact of message loss called the 0-∞ model, and derive a region of tolerable adversarial power under which the consensus protocol is secure. The guarantees are derived as a simple bound for the probability that a transaction violates desired security properties. Specifically, we show that this violation probability decays almost exponentially in the security parameter. Our approach involves constructing combinatorial objects from blocktrees, and identifying random variables associated with them that are amenable to analysis. This approach improves existing bounds and extends the known regime for tolerable adversarial threshold in settings where messages may be lost. 

   more » « less