Computer Science

College of Engineering

Works Published in 2018

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

2018 article

Hybrid theorem proving as a lightweight method for verifying numerical software

PROCEEDINGS OF CORRECTNESS 2018: 2ND IEEE/ACM INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS, pp. 1–8.

Sources: ORCID, Web Of Science
Added: December 12, 2018

2018 conference paper

State-based formal methods in scientific computation

In M. Butler, A. Raschke, T. S. Hoang, & K. Reichl (Eds.), Abstract State Machines, Alloy, B, TLA, VDM, and Z (pp. 392–396).

By: J. Baugh & T. Dyer

Ed(s): M. Butler, A. Raschke, T. Hoang & K. Reichl

Event: at Cham

Source: ORCID
Added: December 6, 2018

2018 journal article

Numerical study on factors influencing typhoon-induced storm surge distribution in Zhanjiang Harbor

Estuarine, Coastal and Shelf Science, 215, 39–51.

By: X. Liu, W. Jiang, B. Yang & J. Baugh

Source: ORCID
Added: December 6, 2018

2018 conference paper

Poster: Automated Program Repair with Canonical Constraints

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 339–341.

By: A. Hill, C. Pasareanu & K. Stolee

Source: NC State University Libraries
Added: December 3, 2018

2018 conference paper

Dazed: Measuring the cognitive load of solving technical interview problems at the whiteboard

Proceedings - International Conference on Software Engineering, 93–96.

By: M. Behroozi, A. Lui, I. Moore, D. Ford & C. Parnin

Sources: NC State University Libraries, ORCID
Added: December 3, 2018

2018 conference paper

Poster: Improving Formation of Student Teams: A Clustering Approach

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 147–148.

By: S. Akbar, E. Gehringer & Z. Hu

Sources: NC State University Libraries, ORCID
Added: December 3, 2018

2018 conference paper

Identifying Security Issues in Software Development: Are Keywords Enough?

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 426–427.

By: P. Morrison, T. Oyetoyan & L. Williams

Source: NC State University Libraries
Added: December 3, 2018

2018 journal article

BUR-GEN: A Bursty Packet Generator for Vehicular Communication Channels

IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 67(11), 10232–10242.

Source: NC State University Libraries
Added: December 3, 2018

2018 journal article

LCD: A Fast Contrastive Divergence Based Algorithm for Restricted Boltzmann Machine

NEURAL NETWORKS, 108, 399–410.

By: L. Ning, R. Pittman & X. Shen

Sources: NC State University Libraries, ORCID
Added: December 3, 2018

2018 conference paper

Characteristics of Defective Infrastructure as Code Scripts in DevOps

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 476–479.

By: A. Rahman

Source: NC State University Libraries
Added: December 3, 2018

2018 conference paper

Poster: Defect Prediction Metrics for Infrastructure as Code Scripts in DevOps

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING - COMPANION (ICSE-COMPANION, 414–415.

By: A. Rahman, J. Stallings & L. Williams

Source: NC State University Libraries
Added: December 3, 2018

2018 conference paper

TScope: Automatic Timeout Bug Identification for Server Systems

15TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING (ICAC 2018), 1–10.

By: J. He, T. Dai & X. Gu

Source: NC State University Libraries
Added: December 3, 2018

2018 conference paper

Identifying How Metacognitive Judgments Influence Student Performance During Learning with MetaTutorIVH

INTELLIGENT TUTORING SYSTEMS, ITS 2018, 10858, 140–149.

By: N. Mudrick, R. Sawyer, M. Price, J. Lester, C. Roberts & R. Azevedo

Source: NC State University Libraries
Added: November 26, 2018

2018 journal article

Choice Poetics by Example

ARTS, 7(3).

By: P. Mawhorter, C. Zegura, A. Gray, A. Jhala, M. Mateas & N. Wardrip-Fruin

Source: NC State University Libraries
Added: November 19, 2018

2018 journal article

Attack surface definitions: A systematic literature review

INFORMATION AND SOFTWARE TECHNOLOGY, 104, 94–103.

By: C. Theisen, N. Munaiah, M. Al-Zyoud, J. Carver, A. Meneely & L. Williams

Source: NC State University Libraries
Added: November 19, 2018

2018 journal article

Guest Editorial for the Special Section from the 9th International Symposium on Search Based Software Engineering

INFORMATION AND SOFTWARE TECHNOLOGY, 104, 194–194.

By: J. Petite & T. Menzies

Source: NC State University Libraries
Added: November 19, 2018

2018 conference paper

Co-Scheduling on Fused CPU-GPU Architectures With Shared Last Level Caches

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 37(11), 2337–2347.

By: M. Damschen, F. Mueller & J. Henkel

Source: NC State University Libraries
Added: November 12, 2018

2018 journal article

Reliability Analysis of Lead-Free Solders in Electronic Packaging Using a Novel Surrogate Model and Kriging Concept

JOURNAL OF ELECTRONIC PACKAGING, 140(4).

By: H. Azizsoltani & A. Haldar

Source: NC State University Libraries
Added: November 12, 2018

2018 conference paper

A Failure Recovery Protocol for Software-Defined Real-Time Networks

IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 37(11), 2222–2232.

Source: NC State University Libraries
Added: November 12, 2018

2018 conference paper

Open-Source Software in Class: Students' Common Mistakes

2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING EDUCATION AND TRAINING (ICSE-SEET), 40–48.

Sources: NC State University Libraries, ORCID
Added: November 5, 2018