Computer Science

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients

Journal of Symbolic Computation, 47(1), 1–15.

An automated approach to assessing the quality of code reviews

Proceedings of the 2012 ASEE Annual Conference and Exposition. Presented at the 2012 ASEE Annual Conference and Exposition, San Antonio, TX.

Automatic quality assessment for peer reviews of student work

Proceedings of the 2012 ASEE Annual Conference and Exposition. Presented at the 2012 ASEE Annual Conference and Exposition, San Antonio, TX.

Scalable concurrent and parallel mark

Proceedings of the 2012 international symposium on Memory Management - ISMM '12. Presented at the the 2012 international symposium.

The Collie

Proceedings of the 2012 international symposium on Memory Management - ISMM '12. Presented at the the 2012 international symposium.

A word-order based graph representation for relevance identification

Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12. Presented at the the 21st ACM international conference.

The effects of construction related costs on the optimization of steel frames

Structural Engineering and Mechanics, 43(1), 31–51.

Materialized views

Boston, [Massachusetts]: now Pub.

Packet aggregation based back-pressure scheduling in multi-hop wireless networks

2012 ieee wireless communications and networking conference (wcnc), 1263–1268.

Enhanced security of random seed DSSS algorithms against seed jamming attacks

2012 ieee global communications conference (globecom), 801–806.

A fast path-based ILP formulation for offline RWA in mesh optical networks

2012 ieee global communications conference (globecom), 2990–2995.

Static task partitioning for locked caches in multi-core real-time systems

Cases'12: proceedings of the 2012 ACM International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 161–170.

Scheduling cloud capacity for time- varying customer demand

2012 IEEE 1st International Conference on Cloud Networking (cloudnet).

Hierarchical classifier-regression ensemble for multi-phase non-linear dynamic system response prediction: Application to climate analysis

12th IEEE International Conference on Data Mining Workshops (ICDMW 2012), 781–788.

Scalable traffic grooming in optical networks

2012 asia communications and photonics conference (acp).

Multimodal analysis of the implicit affective channel in computer-mediated textual communication

ICMI '12: Proceedings of the ACM International Conference on Multimodal Interaction, 145–152.

End-to-end delay percentiles for video traces using a MAP2 approximation

2012 15th International Telecommunications Network Strategy and Planning Symposium (NETWORKS).

Detection and correction of silent data corruption for large-scale high-performance computing

International conference for high performance computing networking.

Byte-precision level of detail processing for variable precision analytics

International conference for high performance computing networking.

The collie: A wait-free compacting collector

ACM SIGPLAN Notices, 47(11), 85–95.