Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleNovember 2024
MuDP: multi-granularity data placement for uniform loops on SPM-DRAM architectures to minimize latency
Frontiers of Computer Science: Selected Publications from Chinese Universities (FCS), Volume 19, Issue 5https://doi.org/10.1007/s11704-023-3566-yAbstractScratch-pad memory (SPM) has been widely used in embedded systems because it allows software-controlled data placement. By designing data placement strategies, optimal solutions with minimal memory access latency for loops on SPM-DRAM architecture ...
- research-articleSeptember 2024
Sparse Symbolic Loop Execution (Registered Report)
FUZZING 2024: Proceedings of the 3rd ACM International Fuzzing WorkshopPages 61–69https://doi.org/10.1145/3678722.3685535Dynamic symbolic execution is a powerful program analysis technique but is often limited by the path-explosion problem, particularly in the presence of heavily branching loops. In this paper, we introduce sparse symbolic loop execution (SSLE), a novel ...
- educational-resourcesOctober 2023
Lottery and the Wealth Gap
This assignment helps students gain experience and proficiency with lists, loops, and random number generators. Students will learn how to think through and write branching logic, plot data, and modularize their code. Through this assignment, students ...
- abstractMarch 2023
Mozart Musical Dice Game
SIGCSE 2023: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 2Page 1275https://doi.org/10.1145/3545947.3573219A Musikalisches Würfelspiel (musical dice game) is a process for generating music by concatenating a random sequence of precomposed musical fragments. In this programming assignment, students "compose" a Viennese waltz in the style of Mozart by playing a ...
- posterJuly 2020
Why and when are loops useful in genetic programming?
GECCO '20: Proceedings of the 2020 Genetic and Evolutionary Computation Conference CompanionPages 247–248https://doi.org/10.1145/3377929.3389919Executing a code segment repeatedly using loops is crucial for human programmers to write complex software. Similarly, in genetic programming, mechanisms that enable the multiple executions of a group of instructions seem to be useful in increasing the ...
-
- tutorialJuly 2019
Central Control over Distributed Asynchronous Systems: A Tutorial on Software-Defined Networks and Consistent Network Updates
PODC '19: Proceedings of the 2019 ACM Symposium on Principles of Distributed ComputingPages 547–548https://doi.org/10.1145/3293611.3338024This tutorial will give an introduction to a topic that lies at the intersection of distributed computing and networking, and combines asynchronous distributed systems with central control, namely consistent updates in Software-Defined Networks (SDNs). ...
- research-articleFebruary 2019
Non-Programming Activities for Engagement with Foundational Concepts in Introductory Programming
SIGCSE '19: Proceedings of the 50th ACM Technical Symposium on Computer Science EducationPages 1136–1142https://doi.org/10.1145/3287324.3287468Programming-in a text-based or visual language-is a complex activity that novices find difficult to learn. In this paper, we present an experience report on how novel activities designed for early conceptual exploration can support middle school ...
- posterFebruary 2018
A "Loopy" Encounter: Teaching Elementary Students the Concept of Loops (Abstract Only)
SIGCSE '18: Proceedings of the 49th ACM Technical Symposium on Computer Science EducationPage 1099https://doi.org/10.1145/3159450.3162306Loops are a fundamental concept in computing and well known to be difficult for novices. Recent research shows that the open-ended learning approach often used in teaching block-based programming can be insufficient to help young students gain a solid ...
- research-articleMarch 2017
Towards a Compiler for Reals
ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 39, Issue 2Article No.: 8, Pages 1–28https://doi.org/10.1145/3014426Numerical software, common in scientific computing or embedded systems, inevitably uses a finite-precision approximation of the real arithmetic in which most algorithms are designed. In many applications, the roundoff errors introduced by finite-...
- research-articleMarch 2017
Measuring Student Learning in Introductory Block-Based Programming: Examining Misconceptions of Loops, Variables, and Boolean Logic
SIGCSE '17: Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science EducationPages 267–272https://doi.org/10.1145/3017680.3017723Programming in block-based environments is a key element of introductory computer science (CS) curricula in K-12 settings. Past research conducted in the context of text-based programming points to several challenges related to novice learners' ...
- research-articleApril 2015
Block Programs: Improving Efficiency of Verifiable Computation for Circuits with Repeated Substructures
ASIA CCS '15: Proceedings of the 10th ACM Symposium on Information, Computer and Communications SecurityPages 405–416https://doi.org/10.1145/2714576.2714631In the cloud computing paradigm, clients outsource computation to professional service providers. However, service providers may be error-prone or otherwise not entirely trustworthy, and therefore oftentimes the returned results need to be thoroughly ...
- research-articleJanuary 2015
Bluetooth Vehicle Trajectory by Fusing Bluetooth and Loops: Motorway Travel Time Statistics
IEEE Transactions on Intelligent Transportation Systems (TITS), Volume 16, Issue 1Pages 113–122https://doi.org/10.1109/TITS.2014.2328373Loop detectors are widely used on the motorway networks where they provide point speed and traffic volumes. Models have been proposed for temporal and spatial generalization of speed for average travel time estimation. Advancement in technology provides ...
- posterJune 2014
Learning computer programming: a study of the effectiveness of a COAC#
ITiCSE '14: Proceedings of the 2014 conference on Innovation & technology in computer science educationPage 333https://doi.org/10.1145/2591708.2602652The learning of computer programming is difficult for many students, particularly to learn Iterative Control Structures and Data Structures. In order to improve the understanding of Loops, Strings and Arrays, a tool called COAC# was developed, to show ...
- research-articleJune 2014
Author's retrospective for array privatization for parallel execution of loops
ACM International Conference on Supercomputing 25th Anniversary VolumePages 21–23https://doi.org/10.1145/2591635.2591648Array privatization, as a program transform to increase the opportunity for loop parallelization, was introduced at a time when numerical programs dominated the parallel computing world. Today, with parallel processors becoming ubiquitous, the computer ...
- tutorialMay 2014
Using a COAC# for CS1
WCCCE '14: Proceedings of the Western Canadian Conference on Computing EducationArticle No.: 10, Pages 1–3https://doi.org/10.1145/2597959.2597971One of the topics that should be covered in a CS1 course is Iterative Control Structures. This is an important but difficult topic for novice students who, for the first time, are learning a programming language. To improve the understanding of loops, a ...
- ArticleDecember 2013
Review on Feature Extraction Technique for Handwritten Marathi Compound Character Recognition
ICETET '13: Proceedings of the 2013 6th International Conference on Emerging Trends in Engineering and TechnologyPages 113–114https://doi.org/10.1109/ICETET.2013.33This paper give a short review on feature extraction technique for Handwritten Marathi Compound Character recognition. The ultimate goal of designing a handwriting recognition system with an accuracy rate of 100% is quite illusionary, because even human ...
- ArticleDecember 2012
Automatic Refactoring of Legacy Fortran Code to the Array Slicing Notation
- Chandrasehar Rajaseharan,
- Wen Jun Tan,
- Wai Teng Tang,
- Stephen John Turner,
- Shyh-Hao Kuo,
- Rick Siow Mong Goh,
- Weng-Fai Wong
ICPADS '12: Proceedings of the 2012 IEEE 18th International Conference on Parallel and Distributed SystemsPages 698–699https://doi.org/10.1109/ICPADS.2012.101There are many legacy Fortran programs still in use today, especially scientific codes which were written decades ago. Many of these codes use explicit DO-loops in programs that tend to clutter the code and make it harder to understand and maintain. ...
- ArticleApril 2012
Evolving high-level imperative program trees with strongly formed genetic programming
EuroGP'12: Proceedings of the 15th European conference on Genetic ProgrammingPages 1–12https://doi.org/10.1007/978-3-642-29139-5_1We present a set of extensions to Montana's popular Strongly Typed Genetic Programming system that introduce constraints on the structure of program trees. It is demonstrated that these constraints can be used to evolve programs with a naturally ...
- ArticleSeptember 2011
Program Analysis Too Loopy? Set the Loops Aside
SCAM '11: Proceedings of the 2011 IEEE 11th International Working Conference on Source Code Analysis and ManipulationPages 15–24https://doi.org/10.1109/SCAM.2011.22Among the many obstacles in efficient and sound program analysis, loops may be the most prevalent. In program analyses that traverse paths, loops introduce a variable, possibly infinite, number of paths. This paper looks at whether loops could be ...
- rfcSeptember 2011
RFC 6368: Internal BGP as the Provider/Customer Edge Protocol for BGP/MPLS IP Virtual Private Networks (VPNs)
This document defines protocol extensions and procedures for BGP Provider/Customer Edge router iteration in BGP/MPLS IP VPNs. These extensions and procedures have the objective of making the usage of the BGP/MPLS IP VPN transparent to the customer ...