Follow

Submissions from 2016

PDF

Projects in Geospatial Data Analysis: Spring 2016, Robert Crimi, Elanor Hoak, Ishita Srivastava, Jesse Wisniewski, Jonathan Blackstock, Keerthi Chikalbettu Pai, Melissa Bica, Michelle Bray, Mikhail Chowdhury, Monal Narasimhamurthy, Nika Shafranov, Sachin Muralidhara, Satchel Spencer, Saurabh Sood, and Caleb Phillips

Submissions from 2015

PDF

Projects in Geospatial Data Analysis: Spring 2015, Mohammad Alasmary, Landon Bedell, Tom Erickson, Joshua Ferge, Taylor Graham, Amir Kashpazha, Hannah Keller, Hui Soon Kim, David Levin, John Raesly, Forrest Tagg Ridler, Stephen Thoma, and Caleb Phillips

Submissions from 2014

PDF

SocialDining: Design and Analysis of a Group Recommendation Application in a Mobile Context, Mike Gartrell, Khaled Alanezi, Lei Tian, Richard Han, Qin Lv, and Shivakant Mishra

Submissions from 2013

PDF

Impact of Smartphone Position on Sensor Values and Context Discovery, Khaled Alanezi and Shivakant Mishra

PDF

Identifying Event Context Using Anchor Information in Online Social Networks, Hansu Gu, Mike Gartrell, Liang Zhang, and Qin Lv

PDF

ioCane: A Smart-Phone and Sensor-Augmented Mobility Aid for the Blind, Ben Leduc-Mills, Halley Profita, Shashank Bharadwaj, and Patrick Cromer

PDF

CU CS Computing Survey Results - Fall 2013, Andy Sayler and Dirk C. Grunwald

Submissions from 2012

PDF

MyShield: Protecting Mobile Device Data via Security Circles ; CU-CS-1091-12, Rodney Beede, Donald Warbritton, and Richard Han

PDF

Projects in Chaotic Dynamics: Spring 2012 ; CU-CS-1095-12, Elizabeth Bradley

PDF

Measuring Enforcement Windows with Symbolic Trace Interpretation: What Well-Behaved Programs Say ; CU-CS-1093-12, Devin Coughlin, Bor-Yuh Evan Chang, Amer Diwan, and Jeremy Siek

PDF

A Bayesian Treatment of Social Links in Recommender Systems ; CU-CS-1092-12, Mike Gartrell, Ulrich Paquet, and Ralf Herbrich

PDF

Description of the Reachability Set Adaptive Mesh Algorithm ; CU-CS-1090-12, Erik Komendera

PDF

Invariant Generation for Parametrized Systems Using Self-Reflection, Alejandro Sanchez, Sriram Sankaranarayanan, Cesar Sanchez, and Bor-Yuh Evan Chang

Submissions from 2011

PDF

Iterated Function System Models in Data Analysis: Detection and Separation ; CU-CS-1087-11, Zachary Alexander, Elizabeth Bradley, Joshua Garland, and James Meiss

PDF

The Flow-Insensitive Precision of Andersen's Analysis in Practice ; CU-CS-1083-11, Sam Blackshear, Bor-Yuh Evan Chang, Sriram Sankaranarayanan, and Manu Sridharan

PDF

Projects in Chaotic Dynamics: Spring 2011 ; CU-CS-1081-11, Elizabeth Bradley

PDF

MPIEcho: A Framework for Transparent MPI Task Replication ; CU-CS-1082-11, Guy Cobb, Barry Rountree, Henry Tufo, and Martin Schulz

PDF

SocialNews: Enhancing Online News Recommendations by Leveraging Social Network Information ; CU-CS-1084-11, Mike Gartrell, Richard Han, Qin Lv, and Shivakant Mishra

PDF

Assembly by Intelligent Scaffolding ; CU-CS-1080-11, Erik Komendera, Dustin Reishus, and Nikolaus Correll

PDF

Irregular Spot Detection and Tracking: Automatically Geo-Temporal Tracking of Supra-Glacial Lakes on the Greenland Ice Sheet ; CU-CS-1078-11, Yu-Li Liang and Qin Lv

PDF

MyZone: A Next-Generation Online Social Network ; CU-CS-1089-11, Alireza Mahdian, John Black, Richard Han, and Shivakant Mishra

PDF

Path Planning with Forests of Random Trees: Parallelization with Super Linear Speedup ; CU-CS-1079-11, Michael Otte and Nikolaus Correll

PDF

Strange Beta: An Assistance System for Indoor Rock Climbing Route Setting Using Chaotic Variations and Machine Learning ; CU-CS-1088-11, Caleb Phillips, Lee Becker, and Elizabeth Bradley

PDF

Food Redistribution as Optimization ; CU-CS-1085-11, Caleb Phillips, Rhonda Hoenigman, Becky Higbee, and Tom Reed

PDF

The Stability of the Longley-Rice Irregular Terrain Model for Typical Problems ; CU-CS-1086-11, Caleb Phillips, Douglas Sicker, and Dirk C. Grunwald

PDF

SafeVchat: Detecting Obscene Content and Misbehaving Users in Online Video Chat Services ; CU-CS-1077-11, Xinyu Xing, Yu-Li Liang, Hanqiang Cheng, and Jianxun Dang

Submissions from 2010

PDF

Rethinking Anonymity for Social Networks ; CU-CS-1065-10, Aaron Beach, Mike Gartrell, and Richard Han

PDF

CAwbWeb: Towards a Standardized Programming Framework to Enable a Context-Aware Web ; CU-CS-1063-10, Aaron Beach, Mike Gartrell, Richard Han, and Shivakant Mishra

PDF

Projects in Chaotic Dynamics: Spring 2010 ; CU-CS-1066-10, Elizabeth Bradley

PDF

A Confidence System for Solving Real-World Problems with Argumentation ; CU-CS-1060-10, Laura Rassbach de Vesine

PDF

Access Nets: Modeling Access to Physical Spaces ; CU-CS-1076-10, Robert Frohardt, Bor-Yuh Evan Chang, and Sriram Sankaranarayanan

PDF

Integrating Wikipedia and Facebook Context into Collaborative E-Brainstorming ; CU-CS-1073-10, Mike Gartrell, Aaron Beach, Jai Ramanarayanankrishnaniyer, and Xinyu Xing

PDF

The Internet Ecosystem - The Potential for Discrimination ; CU-CS-1062-10, Dirk C. Grunwald

PDF

Detecting Phases in Cache-miss Traces with Wavelets ; CU-CS-1071-10, Stephen Heck

PDF

Don't They Do That? Interdisciplinary Iterative Design of a Personal Health Application for Older Adults ; CU-CS-1064-10, Danish Khan, Katie Siek, Jane Meyers, and Leah Haverhals

PDF

Battery System Modeling and User Study for Emerging Green-Energy Transportation ; CU-CS-1061-10, Kun Li, Jie Wu, Yifei Jiang, and Li Shang

PDF

GPS Assisted Broadcasting in Mobile Ad-Hoc Networks ; CU-CS-1074-10, Alireza Mahdian, Chris GauthierDickey, Mario Lopez, and Shivakant Mishra

PDF

Recurrence Plots in Analysis of Computer Systems ; CU-CS-1067-10, Amber Roche

PDF

GRATIS: Free Bits In The Network ; CU-CS-1075-10, Dola Saha, Aveek Dutta, Dirk C. Grunwald, and Douglas Sicker

PDF

Multiple Object 3D-Mapping using a Physics Simulator ; CU-CS-1069-10, Neeti Wagle and Nikolaus Correll

PDF

Intrusions into Privacy in Video Chat Environments: Attacks and Countermeasures ; CU-CS-1068-10, Xinyu Xing, Jianxun Dang, Richard Han, and Xue Liu

PDF

The Design, Implementation and Performance Evaluation of Xylophone: A Scalable QoS-enabled WiFi Locator Service ; CU-CS-1072-10, Xinyu Xing, Jianxun Dang, Shivakant Mishra, and Xue Liu

PDF

Wireless Networking Optimizations for Studying Algorithm Interactions ; CU-CS-1070-10, Gary Yee, Caleb Phillips, Dirk C. Grunwald, and Douglas Sicker

Submissions from 2009

PDF

Challenges in Deploying Steerable Wireless Testbeds ; CU-CS-1058-09, Eric Anderson, Caleb Phillips, Gary Yee, and Douglas Sicker

PDF

Secure SocialAware: A Security Framework for Mobile Social Networking Applications ; CU-CS-1054-09, Aaron Beach, Mike Gartrell, Baishakhi Ray, and Richard Han

PDF

SocialFusion: Context-Aware Inference and Recommendation By Fusing Mobile, Sensor, and Social Data ; CU-CS-1059-09, Aaron Beach, Mike Gartrell, Xinyu Xing, and Richard Han

PDF

Preliminary Investigations on Stochastic Information Control Nets ; CU-CS-1055-09, Clarence A. Ellis and Kwang-Hoon Kim

PDF

Efficient Social Website Crawling Using Cluster Graph ; CU-CS-1056-09, Yifei Jiang and Qin Lv

PDF

Strange Beta: Chaotic Variations for Indoor Rock Climbing Route Setting ; CU-CS-1057-09, Caleb Phillips and Elizabeth Bradley

Submissions from 2008

PDF

Modeling Environmental Effects on Directionality in Wireless Networks ; CU-CS-1044-08, Eric Anderson, Caleb Phillips, Dirk C. Grunwald, and Douglas Sicker

PDF

X-Layer: An Experimental Implementation of a Cross-Layer Network Protocol Stack for Wireless Sensor Networks ; CU-CS-1051-08, Aaron Beach, Mike Gartrell, Saroch Panichsakul, and Li Chen

PDF

A Concurrent Acknowledgement Scheme for Broadcast Messages in Wireless Networks ; CU-CS-1046-08, Aveek Dutta, Dola Saha, Dirk C. Grunwald, and Douglas Sicker

PDF

PIV Analysis of Forcing a Planar Jet Using a Loudspeaker ; CU-CS-1043-08, Nathan Farrell

PDF

A Non-negative Matrix Factorization Framework for Combining Multiple Image Segmentations ; CU-CS-1050-08, Soumya Ghosh, Joseph Pfeiffer III, and Jane Mulligan

PDF

A Consistency Checking Optimization Algorithm for Memory-Intensive Transactions ; CU-CS-1049-08, Justin Gottschlich, Daniel Connors, and Jeremy Siek

PDF

An Intentional Library Approach to Lock-Aware Transactional Memory ; CU-CS-1048-08, Justin Gottschlich, Daniel Connors, Dwight Winkler, and Jeremy Siek

PDF

Impact of Non-stationary Workload on Resource Reservation Based Slack Reclamation ; CU-CS-1053-09, Wang-ting Lin and Gary J. Nutt

PDF

Observer Effect and Measurement Bias in Performance Analysis ; CU-CS-1042-08, Todd Mytkowicz, Peter Sweeney, Matthias Hauswirth, and Amer Diwan

PDF

New Techniques for Path Planning in Image Space ; CU-CS-1052-09, Michael Otte, Dan Knights, Joseph Pfeiffer III, and Jane Mulligan

PDF

Avalon: Facilitating the Use of the Internet for Older Adults ; CU-CS-1041-08, Vivian Phinney, Leonid Meltreger, Steve Carroll, and Katie Siek

PDF

Calvin: A System for Automating Cosmogenic Isotope Dating ; CU-CS-1040-08, Laura Rassbach

PDF

Exploring the Design Space of Higher-Order Casts ; CU-CS-1047-08, Jeremy Siek, Ronald Garcia, and Walid Taha

PDF

Gradual Typing with Unification-Based Inference ; CU-CS-1039-08, Jeremy Siek and Manish Vachharajani

Submissions from 2007

PDF

Low-Resource Routing Attacks Against Anonymous Systems ; CU-CS-1025-07, Kevin Bauer, Damon McCoy, Dirk C. Grunwald, and Tadayoshi Kohno

PDF

FastForward for Efficient Pipeline Parallelism ; CU-CS-1028-07, John Giacomoni, Tipp Moseley, and Manish Vachharajani

PDF

Harnessing Chip-Multiprocessors with Concurrent Threaded Pipelines ; CU-CS-1024-07, John Giacomoni and Manish Vachharajani

PDF

FastForward for Concurrent Threaded Pipelines ; CU-CS-1023-07, John Giacomoni, Manish Vachharajani, and Tipp Moseley

PDF

Towards Physically Rendered Environments ; CU-CS-1033-07, Veljko Krunic and Richard Han

PDF

Building a Prototype Analog Computer for Exact-1-in-3-SAT ; CU-CS-1035-07, Michael G. Main

PDF

Enhanced Server Fault Tolerance for Improved User Experience ; CU-CS-1037-08, Manish Marwah, Shivakant Mishra, and Christof Fetzer

PDF

Shining Light in Dark Places: A Study of Anonymous Network Usage ; CU-CS-1032-07, Damon McCoy, Kevin Bauer, Dirk C. Grunwald, and Parisa Tabriz

PDF

Experimental Evidence of Chaotic Dynamics in Computer Hardware ; CU-CS-1031-07, Todd Mytkowicz, Elizabeth Bradley, and Amer Diwan

PDF

An HMM Applied to Semi-Online Program Phase Analysis ; CU-CS-1034-07, Michael Otte and Scott Richardson

PDF

Local Path Planning in Image Space for Autonomous Robot Navigation in Unstructured Environments ; CU-CS-1030-07, Michael Otte, Scott Richardson, Jane Mulligan, and Gregory Grudic

PDF

Using Binary Classifiers to Augment Stereo Vision for Enhanced Autonomous Robot Navigation ; CU-CS-1027-07, Michael Procopio, Thomas Strohmann, Adam Bates, and Greg Grudic

PDF

Arguing About Radioisotope Dating ; CU-CS-1026-07, Laura Rassbach, Elizabeth Bradley, Kenneth Anderson, and Christopher Zweck

PDF

Program Metamorphosis ; CU-CS-1036-07, Christoph Reichenbach and Amer Diwan

PDF

AIR: Advancement through Interactive Radio ; CU-CS-1006-06, Revi Sterling, John O'Brien, and John Bennett

Submissions from 2006

PDF

Dealing with Failures During Failure Recovery of Distributed Systems ; CU-CS-1009-06, Naveed Arshad, Dennis Heimbigner, and Alexander L. Wolf

PDF

Jamming and Sensing of Encrypted Wireless Ad Hoc Networks ; CU-CS-1005-06, Timothy Brown, Jesse James, and Amita Sethi

PDF

A Wireless Flit-Based OpNET Model ; CU-CS-1011-06, Michael Buettner and Dirk C. Grunwald

PDF

X-MAC: A Short Preamble MAC Protocol for Duty-Cycled Wireless Sensor Networks ; CU-CS-1008-06, Michael Buettner, Gary Yee, Eric Anderson, and Richard Han

PDF

Applying Automated Memory Analysis to Improve Iterative Algorithms ; CU-CS-1012-06, John Dennis and Elizabeth R. Jessup

PDF

FShm: High-Rate Frame Manipulation in Kernel and User-Space ; CU-CS-1015-06, John Giacomoni, John Bennett, Antonio Carzaniga, and Manish Vachharajani

PDF

SensorFlock: A Mobile System of Networked Micro-Air Vehicles ; CU-CS-1018-06, Ahmad Bilal Hasan, Bill Pisano, Saroch Panichsakul, and Pete Gray

PDF

A Tamper-Resistant Programming Language System ; CU-CS-1010-06, Dennis Heimbigner

PDF

Fine Grain Spam Suppression Using Reachback ; CU-CS-1016-06, Dennis Heimbigner

PDF

NodeMD: Diagnosing Node-Level Faults in Remote Wireless Systems ; CU-CS-1017-06, Veljko Krunic, Eric Trumpler, and Richard Han

PDF

Building on the BACKSLASH Algorithm ; CU-CS-1022-06, Wang-ting Lin and Gary J. Nutt

PDF

Fault-Tolerant and Scalable TCP Splice and Web Server Architecture ; CU-CS-1003-06, Manish Marwah and Shivakant Mishra

PDF

Revitalizing the Computer Science Curriculum ; CU-CS-1020-06, Gary J. Nutt

PDF

Dynamics-Informed Data Assimilation in a Point-Vortex Model ; CU-CS-1007-06, Natalie Ross, Elizabeth Bradley, and Jean Hertzberg

PDF

Simulation-Based Testing of Distributed Systems ; CU-CS-1004-06, Matthew Rutherford, Antonio Carzaniga, and Alexander L. Wolf

PDF

WeebleVideo -- Wide Angle Field-of-View Video Sensor Networks ; CU-CS-1019-06, Pushkar Sambhoos, Ahmad Bilal Hasan, Richard Han, and Tom Lookabaugh

PDF

Gradual Typing for Objects: Isabelle Formalization ; CU-CS-1021-06, Jeremy Siek and Walid Taha

PDF

Recording Real Worlds for Playback in a Virtual Exercise Environment ; CU-CS-1013-06, Wei Xu, John Penners, and Jane Mulligan

Submissions from 2005

PDF

A Comparison of Planning Based Models for Component Reconfiguration ; CU-CS-995-05, Naveed Arshad and Dennis Heimbigner

PDF

Tools Designed Specifically for Information Space Organization ; CU-CS-998-05, Stephen Davies and Roger King

PDF

Building the Memex Sixty Years Later: Trends and Directions in Personal Knowledge Bases ; CU-CS-997-05, Stephen Davies, Javier Velez-Morales, and Roger King

PDF

Secure Code Distribution in Dynamically Programmable Wireless Sensor Networks ; CU-CS-1000-05, Jing Deng, Richard Han, and Shivakant Mishra