Computer Science

Sublinear Zero-Knowledge Arguments for RAM Programs

ADVANCES IN CRYPTOLOGY - EUROCRYPT 2017, PT I, Vol. 10210, pp. 501–531.

SoSharP: Recommending Sharing Policies in Multiuser Privacy Scenarios

IEEE INTERNET COMPUTING, 21(6), 28–36.

Characterizing and Predicting Mental Fatigue during Programming Tasks

2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON EMOTION AWARENESS IN SOFTWARE ENGINEERING (SEMOTION 2017), pp. 32–37.

Who prophets from big data in education? New insights and new challenges

THEORY AND RESEARCH IN EDUCATION, 15(3), 249–271.

Using Bad Learners to Find Good Configurations

ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, pp. 257–267.

Theory-Guided Data Science: A New Paradigm for Scientific Discovery from Data

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 29(10), 2318–2331.

The Tech-Talk Balance: What Technical Interviewers Expect from Technical Candidates

2017 IEEE/ACM 10TH INTERNATIONAL WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE 2017), pp. 43–48.

The Rising Tide Lifts All Boats: The Advancement of Science in Cyber Security (Invited Talk)

ESEC/FSE 2017: PROCEEDINGS OF THE 2017 11TH JOINT MEETING ON FOUNDATIONS OF SOFTWARE ENGINEERING, pp. 1–1.

The Internet of Things and Multiagent Systems: Decentralized Intelligence in Distributed Computing

2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), pp. 1738–1747.

Play in the Museum: Design and Development of a Game-Based Learning Exhibit for Informal Science Education

INTERNATIONAL JOURNAL OF GAMING AND COMPUTER-MEDIATED SIMULATIONS, 9(3), 96–113.

Hytrace: A Hybrid Approach to Performance Bug Diagnosis in Production Cloud Infrastructures

PROCEEDINGS OF THE 2017 SYMPOSIUM ON CLOUD COMPUTING (SOCC '17), pp. 641–641.

Highlights of the ACM Student Research Competition

Williams, L., & Baldwin, D. (2017, November). COMMUNICATIONS OF THE ACM, Vol. 60, pp. 5–5.

Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction

ACM SIGPLAN Notices, 52(6), 33–48.

Fast and Accurate Tracking of Population Dynamics in RFID Systems

2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), pp. 836–846.

EffiSha: A software framework for enabling efficient preemptive scheduling of GPU

ACM SIGPLAN Notices, 52(8), 3–16.

Bridging the gap between memory performance and massive parallelism: The critical role of programming systems innovations (keynote)

ACM SIGPLAN Notices, 52(9), 1–1.

An infrastructure for HPC knowledge sharing and reuse

ACM SIGPLAN Notices, 52(8), 461–462.

A Shifting Framework for Set Queries

IEEE-ACM TRANSACTIONS ON NETWORKING, 25(5), 3116–3131.

A Partial Contour Similarity-Based Approach to Visual Affordances in Habile Agents

IEEE TRANSACTIONS ON COGNITIVE AND DEVELOPMENTAL SYSTEMS, 9(3), 269–280.

A Mechanism for Cooperative Demand-Side Management

2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017), pp. 361–371.