Works Published in 2019

search works

Displaying works 101 - 120 of 222 in total

Sorted by most recent date added to the index first, which may not be the same as publication date order.

2019 journal article

DeepStealth: Game-Based Learning Stealth Assessment with Deep Neural Networks

IEEE Transactions on Learning Technologies.

author keywords: Hidden Markov models; Computational modeling; Games; Predictive models; Task analysis; Adaptation models; Computer science; Computational thinking; deep learning; educational games; game-based learning; stealth assessment
TL;DR: DeepStealth is presented, a deep learning-based stealth assessment framework that yields significant reductions in the feature engineering labor that has previously been required to create stealth assessments and uses end-to-end trainable deep neural network-based evidence models. (via Semantic Scholar)
Source: ORCID
Added: April 17, 2020

2019 article

GraphSSD: Graph Semantics Aware SSD

PROCEEDINGS OF THE 2019 46TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE (ISCA '19), pp. 116–128.

author keywords: SSD; Graphs; Flash storage
TL;DR: This paper proposes a graph semantic aware solid state drive (SSD) framework, called GraphSSD, which is a full system solution for storing, accessing, and performing graph analytics on SSDs and provides a simple programming interface that enables application developers to access graphs as native data in their applications, thereby simplifying the code development. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Source: Web Of Science
Added: April 14, 2020

2019 article

Share, But Be Aware: Security Smells in Python Gists

2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 536–540.

author keywords: GitHub; Gist; Python; Security; Security Smell; Static Analysis; Software Security
TL;DR: This paper finds 13 types of security smells with 4,403 occurrences in 5,822 publicly-available Python Gists and finds no significance relation between the presence of these security smells and the reputation of the Gist author. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: April 14, 2020

2019 article

BARRIERFINDER: Recognizing Ad Hoc Barriers

2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), pp. 323–327.

By: T. Wang n, X. Yu n, Z. Qiu n, G. Jin n & F. Mueller n

author keywords: ad hoc synchronization; barrier; symbolic execution; interprocedural program slicing; Cloud9; LLVM
TL;DR: A framework to automatically identify complex ad hoc synchronizations in full and infer their synchronization relationships and a tool called BarrierFinder, which features various techniques, including program slicing and bounded symbolic execution, to efficiently explore the interleaving space of ad hoc synchronizations within multi-threaded programs and collect execution traces. (via Semantic Scholar)
Source: Web Of Science
Added: April 14, 2020

2019 article

Towards Data-Driven Programming Problem Generation for Mastery Learning

ICER '19 - PROCEEDINGS OF THE 2019 ACM CONFERENCE ON INTERNATIONAL COMPUTING EDUCATION RESEARCH, pp. 339–340.

author keywords: Mastery Learning; Problem Generation; Instructional Support
TL;DR: This work will be in developing and analyzing a programming problem generator for mastery learning that will leverage student data and incorporate methods for instructional design for programming tasks to give students the best problem to practice and achieve proficiency. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (Web of Science)
Source: Web Of Science
Added: April 6, 2020

2019 article

Dynamic Multi-Resolution Data Storage

MICRO'52: THE 52ND ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE, pp. 196–210.

By: Y. Hu*, M. Lokhandwala n, I. Te n & H. Tseng*

author keywords: Approximate Computing; Heterogeneous Computer Architectures/Systems; In-Storage Processing; Intelligent Storage Systems; Near-Data Processing
TL;DR: Varifocal Storage dynamically adjusts the dataset resolution within a storage device, thereby mitigating the performance bottleneck of exchanging/preparing data for approximate compute kernels and offers flexible, efficient support for approximate and exact computing without exceeding the costs of conventional storage systems. (via Semantic Scholar)
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy (OpenAlex)
Source: Web Of Science
Added: March 30, 2020

2019 article

VisibleV8: In-browser Monitoring of JavaScript in the Wild

IMC'19: PROCEEDINGS OF THE 2019 ACM INTERNET MEASUREMENT CONFERENCE, pp. 393–405.

By: J. Jueckstock n & A. Kapravelos n

TL;DR: VisibleV8 is a dynamic analysis framework hosted inside V8, the JS engine of the Chrome browser, that logs native function or property accesses during any JS execution and consistently outperforms equivalent inline instrumentation, and it intercepts accesses impossible to instrument inline. (via Semantic Scholar)
UN Sustainable Development Goal Categories
16. Peace, Justice and Strong Institutions (OpenAlex)
Source: Web Of Science
Added: March 30, 2020

2019 conference paper

Bounded Verification of Sparse Matrix Computations

2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 36–43.

By: T. Dyer n, A. Altuntas* & J. Baugh n

author keywords: sparse matrix formats; state-based formal methods; mechanical verification
TL;DR: To model matrix computations in a declarative language like Alloy, a new idiom is presented for bounded iteration with incremental updates, relying on a formalism called Alloy to show that one model is a refinement of another. (via Semantic Scholar)
UN Sustainable Development Goal Categories
Source: ORCID
Added: March 30, 2020

2019 conference paper

P4PCN: Privacy-Preserving Path Probing for Payment Channel Networks

2019 IEEE Global Communications Conference (GLOBECOM).

Ruozhou Yu

TL;DR: P4PCN is proposed, a cryptographic protocol for anonymous active probing without knowing the identities or public keys of the intermediate nodes, while hiding the locations of sender and recipient as well as any path-related information, which is lightweight and scales with the number of hops a probe explores. (via Semantic Scholar)
Source: ORCID
Added: March 29, 2020

2019 conference paper

Load Balancing for Interdependent IoT Microservices

IEEE INFOCOM 2019 - IEEE Conference on Computer Communications.

Ruozhou Yu

TL;DR: A fully polynomial-time approximation scheme for the QoS-aware load balancing problem, based on a novel abstraction that captures a realization of the application’s internal logic and achieves enhanced QoS compared to heuristic solutions. (via Semantic Scholar)
Source: ORCID
Added: March 29, 2020

2019 journal article

Performance Analysis of Microservice Design Patterns

IEEE INTERNET COMPUTING, 23(6), 19–27.

By: A. Akbulut n & H. Perros n

author keywords: Time factors; Logic gates; Computer architecture; Random access memory; Measurement; Internet; Message systems; Microservices; Design Patterns; Microservices Architecture; Performance Analysis; Software Architecture
TL;DR: In this article, performance results related to query response time, efficient hardware usage, hosting costs, and packet-loss rate are obtained, for three microservice design patterns practiced in the software industry. (via Semantic Scholar)
UN Sustainable Development Goal Categories
9. Industry, Innovation and Infrastructure (Web of Science; OpenAlex)
Source: Web Of Science
Added: March 10, 2020

2019 conference paper

Performance characterization of a DRAM-NVM hybrid memory architecture for HPC applications using intel optane DC persistent memory modules

Proceedings of the International Symposium on Memory Systems - MEMSYS '19. Presented at the the International Symposium.

By: O. Patil n, L. Ionkov*, J. Lee*, F. Mueller n & M. Lang*

Event: the International Symposium

author keywords: NVM; Persistent Memory; Intel Optane DC; Memory Allocation; Hybrid Memory; NUMA; SICM
TL;DR: It is found that Optane-only executions are slower in terms of execution time than DRAM-only and Memory-mode executions by a minimum of 2 to 16% for VPIC and maximum of 6x for LULESH, which means HPC mini-apps can now scale up the their problem size given such a memory system. (via Semantic Scholar)
UN Sustainable Development Goal Categories
7. Affordable and Clean Energy (OpenAlex)
Source: Crossref
Added: March 2, 2020

2019 conference paper

Toward a Responsive Interface to Support Novices in Block-Based Programming

Proceedings - 2019 IEEE Blocks and Beyond Workshop, B and B 2019, 9–13.

TL;DR: The early design and piloting of Prime, a learning environment under development that provides scaffolded support for novices in block-based programming, and analysis of students’ code quality showed that students in the responsive condition achieved higher quality code in later programming tasks. (via Semantic Scholar)
UN Sustainable Development Goal Categories
4. Quality Education (Web of Science; OpenAlex)
Source: ORCID
Added: February 19, 2020

2019 conference paper

Position: IntelliBlox: A Toolkit for Integrating Block-Based Programming into Game-Based Learning Environments

Proceedings - 2019 IEEE Blocks and Beyond Workshop, B and B 2019, 55–58.

Contributors: S. Taylor n, W. Min n, B. Mott n, A. Emerson n, A. Smith n, E. Wiebe n, J. Lester n

TL;DR: IntelliBlox is presented, a Blockly-inspired toolkit for the Unity cross-platform game engine that enables learners to create block-based programs within immersive game-based learning environments. (via Semantic Scholar)
Source: ORCID
Added: February 19, 2020

2019 conference paper

Prime: Engaging STEM undergraduates in computer science with intelligent tutoring systems

ASEE Annual Conference and Exposition, Conference Proceedings. http://www.scopus.com/inward/record.url?eid=2-s2.0-85078800967&partnerID=MN8TOARS

By: J. Lester, K. Boyer, E. Wiebe, B. Mott & A. Smith

Contributors: J. Lester, K. Boyer, E. Wiebe, B. Mott & A. Smith

Source: ORCID
Added: February 19, 2020

2019 conference paper

PASTEL: Evidence-based learning engineering method to create intelligent online textbook at scale

CEUR Workshop Proceedings, 2384, 70–80. http://www.scopus.com/inward/record.url?eid=2-s2.0-85067813785&partnerID=MN8TOARS

By: N. Matsuda & M. Shimmei

Contributors: N. Matsuda & M. Shimmei

Source: ORCID
Added: February 11, 2020

2019 conference paper

In-Place Zero-Space Memory Protection for CNN

In H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox, & R. Garnett (Eds.), Advances in Neural Information Processing Systems Proceedings.

By: H. Guan, L. Ning, Z. Lin, X. Shen, H. Zhou & S. Lim

Ed(s): H. Wallach, H. Larochelle, A. Beygelzimer, F. d'Alché-Buc, E. Fox & R. Garnett

Source: NC State University Libraries
Added: January 25, 2020

2019 conference paper

HiWayLib

Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '19. Presented at the the Twenty-Fourth International Conference.

Event: the Twenty-Fourth International Conference

author keywords: pipeline communication; CPU-GPU system; contention relief; end detection; lazy copy
TL;DR: This work identifies three key issues, namely, slow and error-prone detection of the end of pipeline processing, intensive queue contentions on GPU, and cumbersome inter-device data movements, and integrates all together to form a unified library named HiWayLib. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: January 25, 2020

2019 conference paper

Wootz: a compiler-based framework for fast CNN pruning via composability

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2019. Presented at the the 40th ACM SIGPLAN Conference.

By: H. Guan n, X. Shen n & S. Lim*

Event: the 40th ACM SIGPLAN Conference

author keywords: CNN; network pruning; compiler; composability
TL;DR: A compiler-based framework named Wootz is developed, which, for an arbitrary CNN, automatically generates code that builds a Teacher-Student scheme to materialize composability-based pruning, and a compression-based algorithm is designed to efficiently identify the set of CNN layers to pre-train for maximizing their reuse benefits in CNN pruning. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: January 25, 2020

2019 conference paper

IA-graph based inter-app conflicts detection in open IoT systems

Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems - LCTES 2019. Presented at the the 20th ACM SIGPLAN/SIGBED International Conference.

Event: the 20th ACM SIGPLAN/SIGBED International Conference

TL;DR: This paper provides a new set of definitions and categorizations of the conflicts to more precisely characterize the nature of the problem, and employs a graph representation for formally representing IoT controls and inter-app interplays. (via Semantic Scholar)
Sources: Crossref, ORCID
Added: January 25, 2020

Citation Index includes data from a number of different sources. If you have questions about the sources of data in the Citation Index or need a set of data which is free to re-distribute, please contact us.

Certain data included herein are derived from the Web of Science© and InCites© (2024) of Clarivate Analytics. All rights reserved. You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.