Research Publications

[ # ] [ A-C ] [ D-G ] [ H-L ] [ M-O ] [ P-R ] [ S-Z ]

Do Data Breach Disclosure Laws Reduce Identity Theft?
Sasha Romanosky, Rahul Telang, and Alessandro Acquisti. Journal of Policy Analysis and Management, 30(2), 256-286, 2011.

Do Interruptions Pay Off? Effects of Interruptive Ads on Consumers' Willingness to Pay
Alessandro Acquisti and Sarah Spiekermann. Journal of Interactive Marketing, forthcoming 2011.

Faces of Facebook: Privacy in the Age of Augmented Reality
Alessandro Acquisti, Ralph Gross, and Fred Stutsman. BlackHat USA, 2011.

Les Comportements De Vie Privée Face Au Commerce Electronique: Une Economie De La Gratification Immédiate
Alessandro Acquisti. Réseaux, Special Issue on “Données Personnelles et Vie Privée Sur les Réseaux, Nouveaux Comportements, Nouvelles Regulations” (Editors: Alain Rallet et Fabrice Rochelandet), forthcoming 2011.

The Impact of Relative Judgments on Concern about Privacy
Alessandro Acquisti, Leslie John, and George Loewenstein. Journal of Marketing Research, forthcoming 2011.

Jonathan Aldrich

A Type System for Borrowing Permissions
Karl Naden, Robert Bocchino, Kevin Bierhoff, Jonathan Aldrich. To appear in Proceedings of Principles of Programming Languages (POPL '12), 2012.

An Empirical Study of Object Protocols in the Wild
Nels E. Beckman, Duri Kim, and Jonathan Aldrich. To appear in Proceedings of the European Conference on Object-Oriented Pro

First-Class State Change in Plaid
Joshua Sunshine, Karl Naden, Sven Stork, Jonathan Aldrich, and Éric Tanter. To appear in Proceedings of Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA '11), 2011.

Gradual Typestate
Roger Wolff, Ronald Garcia, Éric Tanter, and Jonathan Aldrich. To appear in Proceedings of the European Conference on Object-Oriented Programming (ECOOP '11), 2011.

Permission-Based Programming Languages (NIER Track)
Jonathan Aldrich, Ronald Garcia, Mark Hahnenberg, Manuel Mohr, Karl Naden, Darpan Saini, Sven Stork, Joshua Sunshine, Éric Tanter, and Roger Wolff. In Proceedings of the International Conference on Software Engineering (ICSE '11), New Ideas and Emerging Results Track, 2011. gramming (ECOOP '11), 2011.

Dave Andersen

XIA: Efficient Support for Evolvable Internetworking
Dongsu Han and Ashok Anand and Fahad Dogar and Boyan Li and Hyeontaek Lim and Michel Machado and Arvind Mukundan and Wenfei Wu and Aditya Akella and David G. Andersen and John W. Byers and Srinivasan Seshan and Peter Steenkiste In Proc. 9th USENIX NSDI , Apr 2012

Don't settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS
Wyatt Lloyd and Michael J. Freedman and Michael Kaminsky and David G. Andersen In Proc. 23rd ACM Symposium on Operating Systems Principles (SOSP) , Oct 2011

SILT: A Memory-Efficient, High-Performance Key-Value Store
Hyeontaek Lim and Bin Fan and David G. Andersen and Michael Kaminsky In Proc. 23rd ACM Symposium on Operating Systems Principles (SOSP) , Oct 2011

Small Cache, Big Effect: Provable Load Balancing for Randomly Partitioned Cluster Services
Bin Fan and Hyeontaek Lim and David G. Andersen and Michael Kaminsky In Proc. 2nd ACM Symposium on Cloud Computing (SOCC) , Oct 2011

Switching the Optical Divide: Fundamental Challenges for Hybrid Electrical/Optical Datacenter Networks
Hamid Hajabdolali Bazzaz and Malveeka Tewari and Guohui Wang and George Porter and T. S. Eugene Ng and David G. Andersen and Michael Kaminsky and Michael A. Kozuch and Amin Vahdat In Proc. 2nd ACM Symposium on Cloud Computing (SOCC) , Oct 2011

Lujo Bauer

Discovering access-control misconfigurations: New approaches and evaluation methodologies
Bauer, L., Liang, Y., Reiter, M. K., & Spensky, C. (2012). In Press.

Guess again (and again and again): Measuring password strength by simulating password-cracking algorithms
P. G. Kelley, S. Komanduri, M. L. Mazurek, R. Shay, T. Vidas, L. Bauer, N. Christin, L. Cranor, and J. Lopez. IEEE Symposium on Security and Privacy, pp. 523-537, 2012.

How does your password measure up? The effect of strength meters on password creation
B. Ur, P. G. Kelley, S. Komanduri, J. Lee, M. Maass, M. L. Mazurek, T. Passaro, R. Shay, T. Vidas, L. Bauer, N. Christin, and L. Cranor. USENIX Security Symposium, 2012.

Studying access control usability in the lab: Lessons learned from four studies
>K. Vaniea, L. Bauer, L. Cranor, and M. K. Reiter. LASER '12 Proceedings of the 2012 Workshop on Learning from Authoritative Security Experiment Results, pp. 31-40, 2012.

Tag, you can see it! Using tags for access control in photo sharing
Klemperer, P. F., Liang, Y., Mazurek, M. L., Sleeper, M., Ur, B., Bauer, L., Cranor, L., Gupta, N., & Reiter, M. K. (2012). In Press.

Vijayakumar Bhagavatula

Biometric Identification of Cardiosynchronous Waveforms Utilizing Person Specific Continuous and Discrete Wavelet Transform Features
C. Bhagavatula, S. Vegnugopalan, R. Blue, R. Friedman, M. O’Griofa, M. Savvides, and V. Bhagavatula. IEEE EMBS Conference, 2012.

Coupled Marginal Fisher Analysis for Low-resolution Face Recognition
S. Siena, V. N. Boddeti, and V. Bhagavatula. ECCV: European Conference on Computer Vision, 2012.

Effects of Computing and Communications on State Fusion Over Long-Haul Sensor Networks
N. S. Rao, K. Brigham, V. Bhagavatula, X. Wang, and Q. Liu. IPSN: ACM/IEEE International Conference on Information Processing in Sensor Networks, 2012.

Performance of the 802.11p Physical Layer in Vehicle-to-Vehicle Environments
J. A. Fernandez, K. Borries, L. Cheng, V. Bhagavatula, D. D. Stancil, and F. Bai, IEEE Transactions on Vehicular Technology, vol. 61, no. 1, pp. 40982, 2012.

Modeling of Two-Dimensional Magnetic Recording and a comparison of Data Detection Schemes
Elidrissi, M. R., Sann, C. K., Keng, T. K., Eason, K., Hwang, E., Bhagavatula, V., Zhiliang, Q., JianPing, Z., Liang, G. Y., Kui, C., & Jin, C. B. IEEE Transactions on Magnetics (2011).

Avrim Blum

Center-based Clustering under Perturbation Stability
Pranjal Awasthi and Or Sheffet. Information Processing Letters, 112(1-2):49-54, Jan 2012.

Welfare and Profit Maximization with Production Costs
Anupam Gupta, Yishay Mansour, and Ankit Sharma. FOCS, 2011.

A Discriminative Model for Semi-Supervised Learning
Nina Balcan. JACM Vol 57, Issue 3, 2010.

Stability yields a PTAS for k-Median and k-Means Clustering
Pranjal Awasthi and Or Sheffet. FOCS 2010. [longer version]

Trading off Mistakes and Don't-Know Predictions
Amin Sayedi and Morteza Zadimoghaddam. NIPS 2010.

Manuel Blum

Improving Accessibility of the Web with a Computer Game
Luis von Ahn, S. Ginosar, M. Kedia, R. Liu and M. Blum. To Appear in ACM CHI Notes 2006

Peekaboom: A Game for Locating Objects in Images
Luis von Ahn, Ruoran Liu and Manuel Blum. To Appear in ACM CHI 2006

Verbosity: A Game for Collecting Common-Sense Facts
Luis von Ahn, Mihir Kedia and Manuel Blum. To Appear in ACM CHI Notes 2006

Toward a High-level Definition of Consciousness
Manuel Blum, Ryan Williams Brendan Juba, Matt Humphrey. Invited Talk to the Annual IEEE Computational Complexity Conference , San Jose CA, (June 2005)

Mathematical Foundations for Understanding and Designing Conceptualizing Strategizing Control Systems
NSF ITR proposal, (March 2004)

David Brumley

GPS Software Attacks
T. Nighswander, B. Ledvina, J. Diamond, R. Brumley, and D. J. Brumley, ACM Conference on Computer and Communications Security Proceedings, 2012.

Tachyon: Tandem Execution for efficient Live Patch Testing
M. Maurer and D. J. Brumley. USENIX Security Symposium, 2012.

Unleashing Mayhem on Binary Code
S. K. Cha, T. Avgerinos, A. Rebert, and D. J. Brumley. IEEE Security and Privacy, 2012.

Q: Exploit Hardening Made Easy
Schwartz, E., Avgerinos, T., & Brumley, D. J. Berkeley, CA: The USENIX Association. (2011).

ReDeBug: Finding Unpatached Code Clones in Entire OS Distributions
J. Jang, A. Agrawal, and D. J. Brumley. IEEE Security and Privacy, 2012.

Yang Cai

Channel Modeling and Equalizer Design for Staggered Islands Bit-Patterned Media Recording
Y. Ng, Y. Cai, V. Bhagavatula, T. C. Chong, and B. J. Chen, IEEE Transactions on Magnetics, vol. 48, no. 6, pp. 1976-1983, 2012.

Computing with Instinct
Cai, Y. In Yang Cai Berlin: Springer. (2011).

ICCS Workshop on Video Intelligence
Cai, Y. Amsterdam: Elsevier - Procedia. (2010).

Pattern Mining from Saccadic Motion Data
Liang, P., Yang, Y., & Cai, Y. New York, NY: Springer. (2010).

Visual latency-based interactive visualization for digital forensics
Cai, Y., Franco, R., & García-Herranz, M. Journal of Computational Science, 1(2), 115-120. (2010).

Dawn Cappelli

The CERT Guide to Insider Threats: How to Prevent, Detect, and Respond to Information Technology Crimes (Theft, Sabotage, Fraud)
Cappelli, D. M.; Moore, A. P.; & Trzeciak, R. F. Addison-Wesley 2012.

A Preliminary Model of Insider Theft of Intellectual Property
Moore, A. P., Cappelli, D. M., Caron, T.C., Shaw, E., Spooner, D. & Trzeciak, R. F. (2011). Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications, Special Issue Addressing Insider Threats and Information Leakage, 2011. http://www.isyou.info/jowua/papers/jowua-v2n1-2.pdf

A Preliminary Model of Insider Theft of Intellectual Property
Moore, A. P.; Cappelli, Dawn M.; Caron, Thomas C.; Shaw, Eric; Spooner, Derrick & Trzeciak, Randall F. (CMU/SEI-2011-TN-013). Software Engineering Institute, Carnegie Mellon University, 2011. http://www.cert.org/archive/pdf/11tn013.pdf

Spotlight On: Insider Threat from Trusted Business Partners
Weiland, Robert M.; Moore, Andrew P.; Cappelli, Dawn M.; Trzeciak, Randall F.; & Spooner, Derrick. Software Engineering Institute and CyLab, Carnegie Mellon University, 2010. http://www.cert.org/archive/pdf/TrustedBusinessPartners0210.pdf

Common Sense Guide to Prevention and Detection of Insider Threat, 3rd Edition—Version 3.1
Cappelli, D. M.; Moore, A. P.; Trzeciak, R. F.; & Shimeall, T. J. Software Engineering Institute, Carnegie Mellon University and CyLab. http://www.cert.org/archive/pdf/CSG-V3.pdf (2009)

Nicolas Christin

Audit Mechanisms for Provable Risk Management and Accountable Data Governance
J. Blocki, N. Christin, A. Datta, and A. Sinha. Conference on Decision and Game Theory for Security (GameSec), 2012.

Correct horse battery staple: exploring the usability of system-assigned passphrases
R. Shay, P. G. Kelley, S. Komanduri, M. L. Mazurek, B. Ur, T. Vidas, L. Bauer, N. Christin, and L. Cranor. SOUPS: Symposium On Usable Privacy and Security, 2012.

How does your password measure up? The effect of strength meters on password creation
B. Ur, P. G. Kelley, S. Komanduri, J. Lee, M. Maass, M. L. Mazurek, T. Passaro, R. Shay, T. Vidas, L. Bauer, N. Christin, and L. Cranor. USENIX Security Symposium, 2012.

Monetary Forgery in the Digital Age: Will Physical-Digital Cash Be a Solution?
N. Christin, A. Acquisti, A. Perrig, and B. Parno. I/S: A Journal of Law and Policy for the Information Society, vol. 7, no. 2, pp. 171-206, 2012.

Traveling the Silk Road: A Measurement Analysis of a Large Anonymous Markeplace
N. Christin, WWW: International World Wide Web Conference

Lorrie Cranor

{Privacy, Privacidad, Приватност} Policies in Social Media: Providing Translated Privacy Notice
B. Ur, M. Sleeper, and L. Cranor. PSOSM: Workshop on Privacy and Security in Online Social Media, 2012.

Measuring the Effectiveness of Privacy Tools for Limiting Behavioral Advertising
R. Balebako, P. Leon, R. Shay, B. Ur, and L. Cranor. W2SP: Web 2.0 Security and Privacy, 2012.

Out of sight, out of mind: Effects of displaying access-control information near the item it controls
K. Vaniea, L. Bauer, L. Cranor, and M. K. Reiter. International conference on Privacy, Security and Trust (PST), pp. 128-136, 2012.

Studying access control usability in the lab: Lessons learned from four studies
K. Vaniea, L. Bauer, L. Cranor, and M. K. Reiter. LASER '12 Proceedings of the 2012 Workshop on Learning from Authoritative Security Experiment Results, pp. 31-40, 2012.

Tag, you can see it! Using tags for access control in photo sharing
Klemperer, P. F., Liang, Y., Mazurek, M. L., Sleeper, M., Ur, B., Bauer, L., Cranor, L., Gupta, N., & Reiter, M. K. (2012). In Press.

Karl Crary

Higher-order Representation of Substructural Logics
Karl Crary. 2010 International Conference on Functional Programming, to appear.

A Simple Proof of Call-by-Value Standardization
Karl Crary. CMU Technical Report CMU-CS-09-137, 2009.

A Syntactic Account of Singleton Types via Hereditary Substitution
Karl Crary. 2009 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.

Mechanized Definition of Standard ML (alpha release)
Karl Crary and Robert Harper. 2009.

Explicit Contexts in LF
Karl Crary. 2008 Workshop on Logical Frameworks and Meta-Languages: Theory and Practice.

Anupam Datta

Adaptive Regret Minimization in Bounded-Memory Games
J. Blocki, N. Christin, A. Datta, and A. Sinha. no. Technical Report arXiv:1111.2888, 2012.

Audit Mechanisms for Provable Risk Management and Accountable Data Governance
J. Blocki, N. Christin, A. Datta, and A. Sinha, Conference on Decision and Game Theory for Security (GameSec), 2012.

Parametric Verification of Address Space Separation
A. Datta, S. Chaki, J. McCune, and A. Vasudevan. Proceedings of ETAPS Conference on Principles of Security and Trust, 2012.

Provable De-anonymization of Large Datasets with Sparse Dimensions
A. Datta, D. Sharma, and A. Sinha. Proceedings of ETAPS Conference on Principles of Security and Trust, 2012.

Anind Dey

Democratization of healthcare through self-monitoring technologies
Pavel, D., Callaghan, V. and Dey, A.K. Proceedings of Pervasive Health 2010. (pdf)

Looking back in wonder: How self-monitoring technologies can help us better understand ourselves
Pavel, D., Callaghan, V. and Dey, A.K. Proceedings of Intelligent Envrionments 2010. (pdf)

Maximum Causal Entropy Correlated Equilibria for Markov Games
Ziebart, B., Bagnell, J.A., and Dey, A.K. To appear in the Proceedings of the Workshop on Interactive Decision Theory and Game Theory, at AAAI 2010.(pdf)

Modeling interaction via the principle of maximum causal entropy
Ziebart, B., Bagnell, J.A., and Dey, A.K. To appear in the Proceedings of International Conference on Machine Learning (ICML 2010). (pdf)

Towards maximizing the accuracy of human-labeled sensor data
Rosenthal, S. and Dey, A.K. To appear in the Proceedings of Intelligent User Interfaces (IUI 2010). (pdf)

Manuel Egele

Compa: Detecting Compromised Accounts on Social Networks.
M. Egele, G. Stringhini, C. Kruegel, and G. Vigna. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2013, San Diego, CA, 2013.

B@bel: Leveraging Email Delivery for Spam Mitigation
G. Stringhini, M. Egele, A. Zarras, T. Holz, C. Kruegel, and G. Vigna. In Proceedings of the USENIX Security Symposium, Bellevue, WA, 2012

MoCFI: A Framework to Mitigate Control-Flow Attacks on Smartphones
L. Davi, A. Dmitrienko, M. Egele, T. Fischer, T. Holz, R. Hund, S. Nuernberger, and A.-R. Sadeghi. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2012, San Diego, CA, 2012

PiOS: Detecting Privacy Leaks in iOS Applications
M. Egele, C. Kruegel, E. Kirda, and G. Vigna. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2011, San Diego, CA, 2011

Stephen Fienberg

The Pleasures of Statistics: The Autobiography of Frederick Mosteller
Fienberg, Stephen E. , Hoaglin, David C., and Tanur, Judith M. M., eds. (2010). Springer, New York.

Mixed membership stochastic blockmodels
Airoldi, Edoardo M., Blei, David M., Fienberg, Stephen E., and Xing, Eric P. (2008). Journal of Machine Learning Research, 9(Sep), 1981--2014.

Protecting Individual Privacy in the Struggle Against Terrorists: A Framework for Program Assessment
Committee on Technical and Privacy Dimensions of Information for Terrorism Prevention and Other National Goals (2008). National Academies Press.

Sequential category aggregation and partitioning approaches for multi-way contingency tables based on survey and census data
Jackson, L. Fraser, Gray, Alistair G., and Fienberg, Stephen E. (2008). Annals of Applied Statistics, 2, No. 3, 955-981.

The Early Statistical Years: 1947–1967. A conversation with Howard Raiffa
Fienberg, Stephen E. (2008). Statistical Science, 23, No. 1, 136-149.

Greg Ganger

Automated Diagnosis without Predictability is a Recipe for Failure
R. R. Sambasivan and G. Ganger. HotCloud: USENIX Workshop on Hot Topics in Cloud Computing, 2012.

File System Virtual Appliances: Portable File System Implementations
M. Abd-El-Malek, M. Wachs, J. Cipar, K. Sanghi, G. Ganger, G. A. Gibson, and M. K. Reiter, ACM Transactions on Storage, vol. 8, no. 3, 2012.

Heterogeneity and Dynamicity of Clouds at Scale: Google Trace Analysis
C. Reiss, A. Tumanov, G. Ganger, R. H. Katz, and M. A. Kozuch. ACM Symposium on Cloud Computing (SoCC), 2012.

RainMon: An Integrated Approach to mining bursty timeseries monitoring data
I. Shafer, K. Ren, V. Boddeti, Y. Abe, G. Ganger, and C. Faloutsos. ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2012.

Towards Understanding Heterogeneous Clouds at Scale: Google Trace Analysis
C. Reiss, A. Tumanov, G. Ganger, R. H. Katz, and M. A. Kozuch. no. ISTC-CC-TR-12-101, 2012.

David Garlan

Documenting Software Architectures: Views and Beyond, Second Edition
P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, P. Merson, R. Nord, and J. Stafford. Addison Wesley, September 2011.

SORASCS: A Case Study in SOA-based Platform Design for Socio-Cultural Analysis
Bradley Schmerl, David Garlan, Vishal Dwivedi, Michael Bigrigg and Kathleen M. Carley. In Proceedings of the 33rd International Conference on Software Engineering, Hawaii, USA, 2011. To Appear.

SWiFT: A Tool for Constructing Workflows for Dynamic Network Analysis
David Garlan, Bradley Schmerl, Vishal Dwivedi, Aparup Banerjee, Laura Glendenning, Mai Nakayama and Nina Patel. 2011. Submitted for publication.

Using Parameters in Architectural Views to Support Heterongeneous Design and Verification
Akshay Rajhans, Ajikya Bhave, Sarah Loos, Bruce Krogh, Andre Platzer and David Garlan. 2011. Submitted for publication.

View Consistency in Architectures for Cyber-Physical Systems
Ajikya Bhave, Bruce Krogh, David Garlan and Bradley Schmerl. In Proceedings of the 2nd ACM/IEEE International Conference on Cyber-Physical Systems, April 2011.

Benjamin Gilbert

Pocket ISR: Virtual Machines Anywhere
Benjamin Gilbert, Adam Goode, and Mahadev Satyanarayanan, Carnegie Mellon University School of Computer Science, CMU-CS-10-112, March (pdf)

Leveraging Smart Phones to Reduce Mobility Footprints
Stephen Smaldone, Benjamin Gilbert, Nilton Bila, Liviu Iftode, Eyal de Lara, and Mahadev Satyanarayanan, MobiSys '09, Kraków, Poland, June (pdf)

Low-Bandwidth VM Migration via Opportunistic Replay
Ajay Surie, H. Andrés Lagar-Cavilla, Eyal de Lara, and M. Satyanarayanan, HotMobile '08, Napa Valley, CA, February, 2008. (pdf)

Virgil Gligor

Analysis of complex contagions in random multiplex networks
O. Yagan and V. D. Gligor. Physical Review E, vol. 86, no. 3, 2012.

Two-server password-only authenticated key exchange
J. Katz, P. MacKenzie, G. Taban, and V. D. Gligor. Journal of Computer and System Sciences, vol. 78, no. 2, pp. 651-669, 2012.

A Picture is Worth a Thousand Words: Improving Usability and Robustness of Online Recommendation Systems
Kim, H.-J., Gligor, V. D., & Perrig, A. IEEE International Conference on Computer Communications and Networks (ICCCN), Columbus, OH: Ohio State University. (August, 2011).

Network Fault Localization with Small TCB
Zhang, X., Zhou, Z., Hasker, G., Perrig, A., & Gligor, V. D. IEEE International Conference on Network Protocols (ICNP). (2011).

FLoc: Dependable Link Acess for Legitimate Traffic in Flooding Attacks
Lee, S. B., & Gligor, V. D. Conference Proceedings. Los Alamitos, CA: IEEE Xplore. (2010).

Aaron Greenhouse

Developing AADL Models for Control Systems: A Practitioner's ...
Developing AADL Models for Control Systems: A Practitioner's Guide John Hudak Peter Feiler July 2007 TECHNICAL... (2008)

Results of SEI Independent Research and Development ...
Sagar Chaki Rosann W. Collins Peter Feiler John Goodenough Aaron Greenhouse Jorgen Hansson Alan R. Hevner John Hudak Angel Jordan... 2008-04-14

Focus on Collaboration
Rhonda Brown, Software Engineering Institute, Aaron Clouse, P., Fisher, D., Forrester, E., Garcia, S., Greenhouse, A., Hansson... (2007)

Results of SEI Independent Research and Development ...
Eileen C. Forrester, Suzanne M. Garcia, aaron greenhouse, Jorgen Hansson, Jim Herbsleb, James Ivers, Peter Lee, Richard C. Linger, Thomas A... (2007)

SEI Annual Report FY 2006
He and fellow analyst Aaron Hackworth analyzed botnet malware and detailed... Greenhouse, A.; Halloran, TJ; & Sherlis, W. Observations on the... (2006)

Martin Griss

Toward the Next Generation of Emergency Operations Systems
Art Botterell, Silicon Valley Campus (2011)

Activity-aware Mental Stress Detection Using Physiological Sensors
Feng-Tso Sun, Cynthia Kuo, Heng-Tze Cheng, Senaka Buthpitiya, and Patricia Collins, Silicon Valley Campus (2010)

Anubis: An Attestation Protocol for Distributed Context-Aware Applications
Senaka Buthpitiya, Feng-Tso Sun, Heng-Tze Chen, Patrick Tague, and Anind K. Dey), Silicon Valley Campus (2010)

OmniSense: A Collaborative Sensing Framework for User Context Recognition Using Mobile Phones
Heng-Tze Cheng, Senaka Buthpitiya, and Feng-Tso Sun, Silicon Valley Campus (2010)

SensOrchestra: Collaborative Sensing for Symbolic Location Recognition
Heng-Tze Cheng, Feng-Tso Sun, and Senaka Buthpitiya, Silicon Valley Campus (2010)

Ralph Gross

Semi-Supervised Learning of Multi-Factor Models for Face De-Identification
Ralph Gross, Latanya Sweeney, Fernando De la Torre Frade, and Simon Baker, IEEE Conference on Computer Vision and Pattern Recognition, June

Rrobust Biometrics Person Identification Using Automatic Classifier Fusion of Speech, Mouth, and Face Experts
Niall Fox, Ralph Gross, Jeffrey F. Cohn, Richard B. Reilly. IEEE Transactions on Multimedia. 9(4):701-714

James Herbsleb

When Cultures Clash: Participation in Open Source Communities and Its Implications For Organizational Commitment
Daniel, S., Maruping, L., Cataldo, M., Herbsleb, J. (2012). International Conference on Information Systems, Shanghai, China.

Configuring Global Software Teams: A Multi-Company Analysis of Productivity, Quality, and Profits
Ramasubbu, N., Cataldo, M., Balan, R. K. and Herbsleb, J. (2011). In Proceedings, International Conference on Software Engineering, Honolulu, HI, pp. 261-270. (ACM Distinguished Paper award

Factors leading to integration failures in global feature-oriented development: an empirical analysis
Cataldo, M. and Herbsleb, J. D. (2011). In Proceedings, International Conference on Software Engineering, Honolulu, HI, pp. 161-170.

Managing a Corporate Open Source Software Asset.
Gurbani, V.K., Garvert, A., & Herbsleb, J.D. (2010). Communications of the ACM 53, 2, pp. 155-159.

The Impact of Commercial Organizations on Volunteer Participation in an Online Community
Wagstrom, P., Mockus, A., Herbsleb, J.D., & Kraut, R.E. (2010).Academy of Management Conference.

James Hoe

OpenSPARC: An Open Platform for Hardware Reliability Experimentation
Ishwar Parulkar, Alan Wood, James C. Hoe, Babak Falsafi, Sarita V. Adve and Josep Torrellas. Fourth Workshop on Silicon Errors in Logic-System Effects (SELSE), April 2008.

Multi-bit Error Tolerant Caches Using Two-Dimensional Error Coding
Jangwoo Kim, Nikos Hardavellas, Ken Mai, Babak Falsafi and James C. Hoe. ACM/IEEE International Symposium on Microarchitecture (MICRO), December 2007.

PAI: A Lightweight Mechanism for Single-Node Memory Recovery in DSM Servers
Jangwoo Kim, Jared C. Smolens, Babak Falsafi and James C. Hoe. IEEE Pacific Rim International Symposium on Dependable Computing (PRDC), December 2007.

Jason Hong

The Livehoods Project: Utilizing Social Media to Understand the Dynamics of a City
Cranshaw, J., Schwartz, R., Hong, J.I. and Sadeh, N. ICWSM 2012.

The state of phishing attacks
Hong, J. Communications of the ACM 55:1, January 2012. pdf

CANTINA+: A Feature-rich Machine Learning Framework for Detecting Phishing Web Sites
Xiang, G., J.I. Hong, C.P. Rose, L.F. Cranor. ACM Transactions on Information Systems and Security (ACM TISSEC) 14:2, September 2011. pdf

Smartening the Crowds: Computational Techniques for Improving Human Verification to Fight Phishing Scams
Liu, G. G. Xiang, B.A. Pendleton, J.I. Hong, W. Liu. SOUPS 2011. [33% accept rate] pdf

Teaching Johnny Not to Fall for Phish
Kumaraguru, PK, S. Sheng, A. Acquisti, L.F. Cranor, J.I. Hong. ACM Transactions on Internet Technologies (TOIT) 10:2. 2010. pdf

Marija Ilic

A Strategic Framework in Support of Innovation for Future Electric Energy Systems
Ilic, M. and M. Jelinek, Chapter (invited) in The Governance of Network Industries: Redefining Roles and Responsitilities, Eds. R. Kunneke and J. Groenewegen. Edward Elgar Publishers, September 2009

Engineering Electricity Services of the Future
Ilic, M. et al. Kluwer Academic Publishers (Springer Verlag), August 2009

On the Fundamental Importance of Relating Operating and Planning Objectives in the Changing Electric Power Industry
Prica, Marija, Marija Ilic, and Jovan Ilic, North American Power Symposium (NAPS 2009), October 4-6, 2009, Starkville, MI

Structure-preserving Dynamical Model and Distributed Stabilization of Electricity Infrastructures with Renewable Energy Resources
Xie, Le and Marija D. Ilc, International Journal of Critical Infrastructures: Special Issue on Agent-based Technologies for Modeling Networked Infrastructures, 2009.

Collin Jackson

HTTPi for End-to-End Web Content Integrity
K. Singh, H. Wang, A. Moshchuk, C. E. Jackson, G. Shklarski, S. Herzog, and W. Lee, USENIX Symposium on Networked Systems Design and Implementation.

Regular Expressions Considered Harmful in Client-Side XSS Filters
Daniel Bates, Adam Barth, and Collin Jackson. To appear in Proc. of the 19th International World Wide Web Conference. (WWW 2010) [pdf]

Attacks on JavaScript Mashup Communication,
Adam Barth, Collin Jackson, and William Li, In Proc. of Web 2.0 Security and Privacy 2009 (W2SP 2009) [pdf]

Rootkits for JavaScript Environments
Ben Adida, Adam Barth, and Collin Jackson. In Proc. of 3rd USENIX Workshop on Offensive Technologies (WOOT 2009) [pdf]

Robust Defenses for Cross-Site Request Forgery
Adam Barth, Collin Jackson, and John C. Mitchell. In Proc. of the 15th ACM Conference on Computer and Communications Security. (CCS 2008) [pdf]

Limin Jia

Dependent Types and Program Equivalence.
Limin Jia, Jianzhou Zhao, Vilhelm Sjoberg and Stephanie Weirich.
In Proceedings of 37th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL), to appear, January 2010.

Formally Verifiable Networking
Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, and Prithwish Basu.
In 8th Workshop on Hot Topics in Networks (ACM SIGCOMM HotNets-VIII) , October 2009. [PDF]

Language Support for Processing Distributed Ad Hoc Data.
Kenny Q. Zhu, Daniel S. Dantas, Kathleen Fisher, Limin Jia, Yitzhak Mandelbaum, Vivek Pai and David Walker.
In Proceedings of ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP) , September 2009. [PDF]
Long version appeared as Princeton Univ. Technical Report TR-826-08, July 2008. [PDF]

Hyong Kim

End-user perspectives of Internet connectivity problems
H. S. Kim and L. S.. Computer Networks, vol. 56, no. 6, pp. 1710-1722, 2012.

Improving manageability through reorganization of routing-policy configurations
S. Lee, T. Wong, and H. S. Kim. Computer Networks, vol. 56, no. 14, pp. 3192-3205, 2012.

SageShift: managing SLAs for highly consolidated cloud
Sukwong, O., Sangpetch, A., & Kim, H. S. Silver Spring, MD: IEEE Computer Society Press. (2012). In Press.

So near, and yet so far: Managing ‘far-away’ interferers in dense femto-cell networks
L. H., H. S. Kim, Y. W., and T. H. P.. Globecom: Global Communications Conference, 2012.

Towards the improvement of diagnostic metrics: Fault diagnosis for DSL-Based IPTV Networks using the Renyi Entropy
M. A. K., M. S., M. R., R. M., and H. S. Kim. Globecom: Global Communications Conference, 2012.

Ramayya Krishnan

Comparing Ingress and Egress Detection to Secure Inter-domain Routing: An Experimental Analysis
C. Goebel, D. Neumann, R. Krishnan (2011), ACM Transactions on Internet Technology, forthcoming.

A Computational Approach to the Comparison of Information Revelation Policies in E-markets
A. Greenwald, K. Kannan, R. Krishnan (2010), Information Systems Research, Vol. 21, No. 1, pp. 15-36.

An Empirical Analysis of Software Vendors’ Patch Release Behavior: Impact of Vulnerability Disclosure
A. Arora, R Krishnan, R Telang, Y Yang (2010) Information Systems Research, Vol. 21, No. 1, pp. 115-132.

Correlated Failures, Diversi?cation and Information Security Risk Management
Pei-yu Chen, Gaurav Kataria and Ramayya Krishnan (2010). MIS Quarterly, forthcoming.

The Halo Effect in Multi-component Ratings and its Implications for Recommender Systems: The Case of Yahoo! Movies
N. Sahoo, R. Krishnan, G. Duncan, J. Callan (2010), Information Systems Research, forthcoming.

Soo Bum Lee

Dependable Connection Setup for Network Capabilities
Soo Bum Lee, Virgil Gligor, Adrian Perrig. The 40th IEEE/IFIP Interenational Conference on Dependable Systems and Networks (DSN), 2010. [pdf]

FLoc: Dependable Link Access for Legitimate Traffic in Flooding Attacks
Soo Bum Lee, Virgil Gligor. The 30th IEEE International Conference on Distributed Computing Systems (ICDCS), 2010. [pdf]

Yue-Hsun Lin

COCA: Computation Offload to Clouds using AOP
Hsing-Yu Chen, Yue-Hsun Lin, Chen-Mou Cheng, IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing (CCGird), May 2012.

A Study of User-friendly Hash Comparison Schemes
Hsu-Chen Hsiao, Yue-Hsun Lin, Ahren Studer, Cassandra Studer, King-Hang Wang, Hiroaki Kikuchi, Adrian Perrig, Hung-Min Sun, Bo-Yin Yang, 25th Annual Computer Security Applications Conference (ACSAC), Dec 2009. [pdf]

SPATE: Small-group PKI-less Authenticated Trust Establishment
Yue-Hsun Lin, Ahren Studer, Hsu-Chin Hsiao, Jonathan M. McCune, King-Hang Wang, Maxwell Krohn, Phen-Lan Lin, Adrian Perrig, Hung-Min Sun, and Bo-Yin Yang. Conference on Mobile Systems, Applications and Services (MobiSys), June 2009. Best Paper Award and invited to IEEE Trans. on Mobile Computing. [pdf] [tmc_pdf]

Jason Lohn

Human-competitive Evolved Antennas, Artificial Intelligence for Engineering Design, Analysis and Manufacturing
G.S. Hornby, D.S. Linden, Cambridge University Press, 22:3, 2008, pp 235-247.

Peter Madsen

Dynamic Transparency, Prudential Justice, and Corporate Transformation: Becoming Socially Responsible in the Internet Age
Special Issue on Network Ethics, Journal of Business Ethics , accepted and forthcoming in 2010.

A Survey of International Corporate Responsibility
Edited by John Hooker, Mohamed Doboshi and Peter Madsen, Volume 4 of the International Corporate Responsibility Series, Philosophy Documentation Center, University of Delaware, 2009.

Corporate Dynamic Transparency: The new ICT-Driven Ethics?
Ethics and Information Technology, by A. Vaccaro, and P. Madsen, 11(2), 113-122, 2009.

ICT and an NGO: Difficulties in Attempting to be Extremely Transparent
Ethics and Information Technology, by A. Vaccaro, and P. Madsen, 11(3), 221-231, 2009.

Transparency, and Information and Communication Technology: Social Responsibility and Accountability in Business and Education
Edited by Antonino Vaccaro, Hugo Horta and Peter Madsen, Philosophy Documentation Center, 2008.

Moshe Mahler

Augmenting Hand Animation with Three-dimensional Secondary Motion
Eakta Jain, Yaser Ajmal Sheikh, Moshe Mahler, and Jessica K. Hodgins, Eurographics/ ACM SIGGRAPH Symposium on Computer Animation (2010), July, pdf (2MB)

Ken Mai

6T SRAM and 3T DRAM Data Retention and Remanence Characterization in 65nm Bulk CMOS
C. Cakir, M. Bhargava, and K. W. Mai, Custom Integrated Circuits Conference, pp. 1-4, 2012.

Error Patterns in MLC NAND Flash Memory: Measurement
Y. Cai and K. W. Mai. DATE: Design Automation and Test in Europe, pp. 521-526, 2012.

Flash Correct-and-Refresh: Retention-Aware Error Management for Increased Flash Memory Lifetime
Y. Cai, G. Yalcin, O. Mutlu, E. Haratsch, A. Cristal, O. Unsal, and K. W. Mai. ICCD: International Conference on Computer Design, 2012.

Prototype and Evaluation of the CoRAM Memory Architecture for FPGA-Based Computing
E. S. Chung, M. K. Papamichael, G. Weisz, J. Hoe, and K. W. Mai. FPGA: Proceedings of the International Symposium on Field Programmable Gate Arrays, pp. 139-142, 2012.

Diana Marculescu

A learning-based autoregressive model for fast transient thermal analysis of chip-multiprocessors
Juan, D., Zhou, H., Marculescu, D., & Li, X. (2012). In Press.

Exploiting Process Variability in Voltage/Frequency Control
S. Herbert, S. Garg, and D. Marculescu. IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 20, no. 8, pp. 1392-1404, 2012.

Mitigating Lifetime Underestimation: A System-Level Approach Considering Temperature Variations and Correlations between Failure Mechanisms
K. -C. Wu, D. Marculescu, M. -C. Lee, and S. -C. Chang. DATE: Design Automation and Test in Europe, pp. 1269-1274, 2012.

On the Impact of Manufacturing Process Variations on the Lifetime of Sensor Networks
S. Garg and D. Marculescu. ACM Transactions on Embedded Computing Systems, vol. 11, no. 2, pp. 33:1-33:13, 2012.

Statistical Thermal Evaluation and Mitigation Techniques for 3D Chip-Multiprocessors In the Presence of Process Variations
Juan, D. -C., Garg, S., & Marculescu, D. Proc. of IEEE/ACM Design, Automation and Test in Europe (DATE). (2011). In Press.

Radu Marculescu

An Optimal Control Approach to Power Management for Multi-VFI Platforms
P. Bogdon, R. Tornero, and R. Marculescu. NOCS: The ACM/IEEE International Symposium on Networks-on-Chip, 2012.

A Traffic-Aware Adaptive Routing Algorithm on a Highly Reconfigurable Network-on-Chip Architecture
Z. Qian, P. Bogdon, G. Wei, C. Y. Tsui, and R. Marculescu. Best Paper Award, CODES+ISSS: International Conference on Hardware-Software Codesign and System Synthesis, 2012.

Implantable Pacemakers Control and Optimization via Fractional Calculus Approaches: A Cyber-Physical Systems Perspective
P. Bogdon, S. Jain, K. Goyal, and R. Marculescu. International Conference on Cyber-Physical Systems, 2012.

FARM: Fault-Aware Resource Management in NoC-based Multiprocessor Platforms
Chou, C. -L., & Marculescu, R. (2011). In Press.

Hitting Time Analysis for Fault-tolerant Communication at Nanoscale in Future Multiprocessor Platforms
Bogdan, P., & Marculescu, R. To appear in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. (2011). In Press.

Roy Maxion

Making Experiments Dependable
Maxion, Roy A. The Next Wave / NSA Magazine, Vol. 19, No. 1, pp. 13-22, March 2012, National Security Agency, Ft. Meade, Maryland. Reprinted from Dependable and Historic Computing, LNCS 6875, pp. 344-357, Springer, Berlin, 2011.

Should Security Researchers Experiment More and Draw More Inferences?
Killourhy, Kevin S. and Maxion, Roy A. In 4th Workshop on Security Experimentation and Test (CSET-11), in conjunction with the 20th USENIX Security Symposium, 08-12 August 2011, San Francisco, California. "http://static.usenix.org/event/cset11/tech/"

Keystroke Biometrics with Number-Pad Input
Maxion, Roy A. and Killourhy, Kevin S. In IEEE/IFIP International Conference on Dependable Systems & Networks (DSN-10), pp. 201-210, Chicago, Illinois, 28 June to 01 July 2010. IEEE Computer Society Press, Los Alamitos, California, 2010.

Why Did My Detector Do That?! Predicting Keystroke-Dynamics Error Rates
Killourhy, Kevin S. and Maxion, Roy A. 13th International Symposium on Recent Advances in Intrusion Detection, 15-17 September 2010, Ottawa, Ontario, Canada. S. Jha, R. Sommer, and C. Kreibich (Eds.): RAID 2010, Lecture Notes in Computer Science, LNCS Vol. 6307, pp. 256-276, Springer-Verlag, Berlin/Heidelberg, 2010. ISBN 978-3-642-15511-6.

Comparing Anomaly-Detection Algorithms for Keystroke Dynamics
Killourhy, Kevin S. and Maxion, Roy A. In International Conference on Dependable Systems & Networks (DSN-09), pp. 125-134, Estoril, Lisbon, Portugal, 29 June to 02 July 2009. IEEE Computer Society Press, Los Alamitos, California, 2009.

Nancy Mead

Making the Business Case for Software Assurance
Mead, N. R., Allen, J., Conklin, W. A., Drommi, A., Harrison, J., Ingalsbe, J., Rainey, J., & Shoemaker, D. (CMU/SEI-2009-SR-001). Pittsburgh, PA: Software Engineering Institute, Carnegie Mellon University, 2009.

Novel Methods of Incorporating Security Requirements Engineering into Software Engineering Courses and Curricula
Mead, N. R. & Shoemaker, D. Ch. VI, 98-113. Software Engineering: Effective Teaching and Learning Approaches and Practices. Edited by Ellis, Demurjian, and Naveda. IGI Global, 2008.

Software Security Engineering: A Guide for Project Managers
Allen, J., Barnum, S., Ellison, R., McGraw, G., & Mead, N. R. Addison-Wesley, 2008.

Threat Modeling: Diving into the Deep End
Ingalsbe, J. A., Kunimatsu, L., Baeten, T., & Mead, N. R. IEEE Software 5, 1 (Jan./Feb. 2008): 28-34.

Optimizing Investments in Security Countermeasures: A Practical Tool for Fixed Budgets
Caulkins, J., Hough, E. D., Mead, N. R., & Osman, H. IEEE Security & Privacy 5, 5 (Sept./Oct. 2007): 24-27.

Ole Mengshoel

Adaptive Control of Bayesian Network Computation
E. Reed, A. Ishihara, and O. J. Mengshoel. Proc. 5th International Symposium on Resilient Control Systems (ISRCS), pp. 6, 2012.

MapReduce for Bayesian Network Parameter Learning using the EM Algorithm
A. Basak, I. Brinster, and O. J. Mengshoel. Proc. of Big Learning: Algorithms, Systems and Tools, pp. 6, 2012.

Reactive Bayesian Network Computation using Feedback Control: An Empirical Study
O. J. Mengshoel, A. Ishihara, and E. Reed. Proc. of the 9th Bayesian Modelling Applications Workshop, pp. 11, 2012.

Software and System Health Management for Autonomous Robotics Missions
J. Schumann, T. Mbaya, and O. J. Mengshoel. Proc. of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS), 2012.

The Impact of Social Affinity on Phone Calling Patterns: Categorizing Social Ties from Call Data Records
S. Motahari, O. J. Mengshoel, P. Reuther, S. Appala, L. Zoia, and J. Shah. Proc. of the Sixth Workshop on Social Network Mining and Analysis (2012), pp. 9, 2012.

Andrew Moore

A Pattern for Increased Monitoring for Intellectual Property Theft by Departing Insiders
Moore, A.P., Hanley, M., and Mundie, D. 2012. In Proc. 18th Conference on Pattern Languages of Programs (PLoP). PLoP'11, October 21-23 2011, ACM Press ACM 978-1-4503-1283-7, 2012. www.hillside.net/plop/2011/papers/D-6-Moore.pdf

A Pattern for Trust Trap Mitigation
Mundie, D. and A.P. Moore. 2012. In Proc. 18th Conference on Pattern Languages of Programs (PLoP). PLoP'11, October 21-23 2011, ACM Press ACM 978-1-4503-1283-7, 2012. http://www.hillside.net/plop/2011/papers/D-23-Mundie.doc

The CERT Guide to Insider Threats: How to Prevent, Detect, and Respond to Information Technology Crimes (Theft, Sabotage, Fraud)
D.M. Cappelli, Moore, A.P., R.F. Trzeciak. Addison-Wesley, 2012.

A Preliminary Model of Insider Theft of Intellectual Property
Moore, A. P., Cappelli, D. M., Caron, T.C., Shaw, E., Spooner, D. & Trzeciak, R. F. (2011). Journal of Wireless Mobile Networks, Ubiquitous Computing and Dependable Applications, Special Issue Addressing Insider Threats and Information Leakage, 2011. http://www.isyou.info/jowua/papers/jowua-v2n1-2.pdf

Goal-Based Assessment for the Cybersecurity of Critical Infrastructure
Merrell, S., Moore, A. P., Stevens, J., In Proc. of the 2010 IEEE International Conference on Technologies for Homeland Security, Waltham, MA, 8-10 November 2010.

Tridas Mukhopadhyay

A Study of Sourcing Channels for Electronic Business Transactions
Authors: Byungjoon Yoo, Vidyanand Choudhary, Tridas Mukhopadhyay, 2011.

Marketplaces or Web Services? Alternate Business Models for Electronic B2B Transactions
Authors: Byungjoon Yoo, Vidyanand Choudhary, Tridas Mukhopadhyay, 2011.

Electronic B2B Marketplaces with Different Ownership Structures
Authors: Byungjoon Yoo, Vidyanand Choudhary, Tridas Mukhopadhyay, 2007.

Information Personalization in a Two Dimensional Product Differentiation Model
Rahul Telang, Sunil Wattal. Journal of MIS, 2009.

The Impact of Internet Referral Services on a Supply Chain
Authors: Anindya Ghose, Tridas Mukhopadhyay, Uday Rajan, 2007.

Onur Mutlu

Bottleneck Identification and Scheduling in Multithreaded Applications
J. Joao, A. Suleman, O. Mutlu, and Y. Patt. ASPLOS: International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 12, 2012.

FastHASH: A New GPU-friendly Algorithm for Fast and Comprehensive Next-generation Sequence Mapping
H. Xin, D. Lee, F. Hormozdiari, C. Alkan, and O. Mutlu. Pacific Symposium on Biocomputing, 2012.

HAT: Heterogeneous Adaptive Throttling for On-Chip Networks
K.-w. Chang, R. Ausavarungnirun, C. Fallin, and O. Mutlu. 24th International Symposium on Computer Architecture and High Performance Computing, 2012.

Kilo-NOC: A Heterogeneous Network-on-Chip Architecture for Scalability and Service Guarantees
B. Grot, J. Hestness, S. Keckler, and O. Mutlu. IEEE Micro, vol. 32, no. 3, 2012.

On-Chip Networks from a Networking Perspective: Congestion and Scalability in Many-core Interconnects
G. Nychis, C. Fallin, T. Moscibroda, O. Mutlu, and S. Seshan. ACM SIGCOMM Conference Proceedings, 2012.

Priya Narasimhan

Challenges and Opportunities for Embedded Computing in Retail Environments
K. Mankodiya, R. Gandhi, and P. Narasimhan. 3rd International conference on Sensor Systems and Software, pp. 121-136, 2012.

Detection and Diagnosis of QoS Problems for Large-Scale Mobile Wireless Video Streaming
N. Mickulicz, R. Gandhi, and P. Narasimhan. IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.

Draco: Statistical Diagnosis of Chronic Problems in Large Distributed Systems
S. Pertet, K. Joshi, M. Hiltunen, S. Daniels, R. Gandhi, and P. Narasimhan. DSN: Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2012.

Theia: visual signatures for problem diagnosis in large hadoop clusters
E. Garduno, S. Kavulya, J. Tan, R. Gandhi, and P. Narasimhan. Large Installation System Administration Conference (LISA), vol. 26, pp. 33-42, 2012.

Rohit Negi

Maximal Scheduling in Wireless Ad Hoc Networks With Hypergraph Interference Models
Q. Li and R. Negi. IEEE Transactions on Vehicular Technology, pp. 297 - 310, 2012.

Online Decentralized Charging of Plug-In Electric Vehicles in Power Systems
Q. Li, T. Cui, R. Negi, F. Franchetti, and M. Ilic

Search Method for Obtaining Initial Guesses for Smart Grid State Estimation
Y. Weng, R. Negi, and M. Ilic. IEEE SmartGridComm Symposium, 2012.

Semidefinite programming for power system state estimation
Y. Weng, Q. Li, R. Negi, and M. Ilic. IEEE Power and Energy Society General Meeting, pp. 1-8, 2012.

Towards a Secure Fair MAC in Wireless Ad Hoc Networks Using Trusted Computing Technology
R. Negi, C. Andrew, and Q. Li. Globecom: Global Communications Conference, 2012.

Ryan O'Donnell

A new point of NP-hardness for Unique Games
R. O'Donnell, J. Wright. (pdf) STOC '12

Gaussian Noise Sensitivity and Fourier Tails
G. Kindler, R. O'Donnell. (pdf) CCC '12

Linear Programming, Width-1 CSPs, and Robust Satisfaction
G. Kun, R. O'Donnell, S. Tamaki, Y. Yoshida, Y. Zhou. (pdf) ITCS '12

Hardness of Max-2Lin and Max-3Lin over integers, reals, and large cyclic groups
R. O'Donnell, Y. Wu, Y. Zhou. (pdf) CCC '11

The Fourier Entropy-Influence Conjecture for certain classes of Boolean Functions
R. O'Donnell, J. Wright, Y. Zhou. (pdf) ICALP '11

Adrian Perrig

ACCessory: Keystroke Inference using Accelerometers on Smartphones
E. Owusu, J. Han, S. Das, A. Perrig, and Y. Zhang. HotMobile: Workshop on Mobile Computing Systems and Applications, 2012.

Cyber-Physical Security of a Smart Grid Infrastructure
Y. Mo, T.-J. Kim, K. Brancik, D. Dickinson, H. Lee, A. Perrig, and B. Sinopoli. IEEE Proceedings, vol. 100, no. 1, pp. 195-209, 2012.

Jamming-Resilient Multipath Routing
H. Mustafa, X. Zhang, Z. Liu, W. Xu, and A. Perrig. IEEE Transactions on Dependable and Secure Computing, vol. 9, no. 6, pp. 852-864, 2012.

ShortMAC: Efficient Data-Plane Fault Localization
Zhang, X., Zhou, Z., Hsiao, H.-C., Kim, T.-J., Perrig, A., & Tague, P. D. New York, NY: IEEE Computer Society Press. (2012).

ShortMAC: Efficient Data-Plane Fault Localization
X. Zhang, Z. Zhou, H.-C. Hsiao, T.-J. Kim, A. Perrig, and P. D. Tague. NDSS: Network and Distributed System Security Symposium, 2012.

Frank Pfenning

Logical approximation for program analysis
Robert J. Simmons and Frank Pfenning. Submitted to the Journal on Higher-Order and Symbolic Computation, March 2010.

Possession as linear knowledge
Frank Pfenning. In B.Farwer, editor, Proceedings of the 3rd International Workshop on Logics, Agents, and Mobility (LAM 2010), Edinburgh, Scotland, July 2010. Abstract of invited talk. To appear.

Refinement types for logical frameworks and their interpretation as proof irrelevance
William Lovas and Frank Pfenning. Logical Methods in Computer Science, May 2010. To appear.

Session types as intuitionistic linear propositions
Luís Caires and Frank Pfenning. In P.Gastin and F.Laroussinie, editors, Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010), Paris, France, August 2010. Springer LNCS. To appear.

The practice and promise of substructural frameworks
Frank Pfenning. In K.Crary and M.Miculan, editors, Proceedings of 5th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2010), Edinburgh, Scotland, July 2010. Abstract of invited talk. To appear.

Raj Rajkumar

On Resource Overbooking in an Unmanned Aerial Vehicle
D. d. N. Niz, L. Wrag, N. Storer, A. Rowe, and R. Rajkumar. IEEE Proceedings, pp. 10, 2012.

pCOMPATS: Period-Compatible Task Allocation and Splitting on Multi-Core Processors
A. Kandhalu, K. Lakshmanan, J. Kim, and R. Rajkumar. 2012.

QoS based Resource Allocation for Next-Generation Spacecraft Networks
A. Kandhalu and R. Rajkumar. IEEE Real-Time Systems Symposium, 2012.

SAFER: System-level Architecture for Failure Evasion in Real-time Applications
R. Rajkumar and J. Kim. IEEE Real-Time Systems Symposium, 2012.

Special Section on Cyber-Physical Systems and Cooperating Objects
C. Lu, R. Rajkumar, and E. Tovar. IEEE Transactions on Industrial Informatics, vol. 8, no. 2, pp. 378-378, 2012.

Sasha Romanosky

Privacy Costs and Personal Data Protection: Economic and Legal Perspectives of Ex Ante Regulation, Ex Post Liability and Information Disclosure
Sasha Romanosky and Alessandro Acquisti, 24 Berkeley Technology Law Journal (forthcoming 2009).

Do Data Breach Disclosure Laws Reduce Identity Theft?
Sasha Romanosky, Rahul Telang and Alessandro Acquisti, (September 16, 2008).

Anthony Rowe

A Magnetic Field-based Appliance Metering System
N. Rajagopal, S. Giri, A. Rowe, and M. E. Berges. International Conference on Cyber-Physical Systems, 2013.

Fast Reactive Control for Illumination through Rain and Snow
R. d. Charette, R. Tamburo, P. Barnum, A. Rowe, T. Kanade, and S. Narasimhan. IEEE Proceedings, 2012.

On Resource Overbooking in an Unmanned Aerial Vehicle
D. d. N. Niz, L. Wrag, N. Storer, A. Rowe, and R. Rajkumar. IEEE Proceedings, pp. 10, 2012.

SenSys
P. Lazik and A. Rowe. Proceedings of the International Conference on Embedded Networked Sensor Systems, 2012.

Norman Sadeh

A Conundrum of Permissions: Installing Applications on an Android Smartphone
P. Gage Kelley, S. Consolvo, L. Cranor, J. Jung, N. Sadeh, D. Wetherall, Proc. Of Workshop on Usable Security (USEC2012), collocated with the 16th International Conference on Financial Cryptography and Data Security, March 2012.

The Livehoods Project: Utilizing Social Media to Understand the Dynamics of a City
J. Cranshaw, R. Schwartz, J. Hong, N. Sadeh, in Proc. of the 6th International AAAI Conference on Weblogs and Social Media (ICWSM-12), Dublin, Ireland, June 2012 (to appear).

An Investigation into Facebook Friends Grouping
Patrick Gage Kelley, Lorrie Cranor, Norman Sadeh, Proceedings of the 13th IFIP Conference on Human Computer Interaction (INTERACT), September 2011

User-Controllable Learning of Location Privacy Policies with Gaussian Mixture Models
Justin Cranshaw, Jonathan Mugan, Norman Sadeh, Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI-11, August 2011.

Who’s Your Best Friend? Targeted Privacy Attacks in Location-Sharing Social Networks
V. Kostakos, J. Venkatanathan, B. Reynolds, N. Sadeh, E. Toch, S. Shaikh, S. Jones, Proc. of the 13th ACM International Conference on Ubiquitous Computing, Beijing, PRC, Sept. 2011.

Mahadev Satyanarayanan

How Close is Close Enough ? Understanding the Role of Cloudlets in Supporting Display Appropriation by Mobile Users
Clinch, S., Harkes, J., Friday, A., Davies, N., Satyanarayanan, M. Proceedings of the IEEE International Conference on Pervasive Computing and Communications (PerCom 2012), Lugano, Switzerland, March 2012

Collaborating with Executable Content Across Space and Time
Satyanarayanan, M., Bala, V., St. Clair, G., Linke, E. Proceedings of the 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom2011), October 2011, Orlando, FL

Privacy-Sensitive VM Retrospection
Richter, W., Ammons, G., Harkes, J., Goode, A., Bila, N., de Lara, E., Bala, V., Satyanarayanan, M. HotCloud2011: Proceedings of the 3rd USENIX Workshop on Hot Topics in Cloud Computing, Portland, OR, June 2011

The Case for Context-Aware Compression
Bao, X., Narayan, T., Sani, A., Richter, W., Choudhury, R., Zhong, L., Satyanarayanan, M. HotMobile 2011: 12th Workshop on Mobile Computing Systems and Applications, Phoenix, AZ, March 2011

Searching Complex Data Without an Index
Satyanarayanan, M., Sukthankar, R., Goode, A., Bila, N., Mummert, L., Harkes, J., Wolbach, A., Huston, L., de Lara, E. International Journal of Next-Generation Computing, Volume 1, Number 2, November 2010

Marios Savvides

A Novel Energy Based Filter for Cross-Blink Eye Detection
M. Savvides, T. H. N. Le, K. Luu, and U. Prabhu. ICIP: IEEE International Conference on Image Processing, 2012.

A Robust Approach to Facial Ethnicity Classification on Large Scale Face Databases
M. Savvides, Y. Xie, and K. Luu. IEEE International Conference on Biometrics: Theory, Applications and Systems, 2012.

Beard and Mustache Segmentation using Sparse Classifiers on Self-Quotient Images
M. Savvides, T. H. N. Le, K. Luu, and K. Seshadri. ICIP: IEEE International Conference on Image Processing, 2012.

Gait-ID on the Move: Pace Independent Human Identification Using Cell Phone Accelerometer Dynamics
M. Savvides, F. Juefei-Xu, A. Jaech, and C. Bhagavatula. IEEE International Conference on Biometrics: Theory, Applications and Systems, 2012.

Gender and Ethnicity Specific Generic Elastic Models from a Single 2D Image for Novel 2D Pose Face Synthesis and Recognition
M. Savvides and J. Heo. IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), 2012.

William Scherlis

Symposium: Software, Scale, Strategy
NITRD 20th Anniversary (2012).

Software: the endless value spiral
Atlantic G-20 Conference: (PDF) in the conference proceedings (2009)

Endless Value Spiral
Computerworld, interview with Gary Anthes, 2008

National Research Council
National Research Council: Advancing software-intensive systems producibility for the DoD (chair): Uncertainty at Scale (2007). DoD Software Research Needs (2008).

Robert Seacord

Source Code Analysis Laboratory (SCALe)
(SCALe) Robert C. Seacord William Dormann James McCurley Philip Miller Robert Stoddard David Svoboda Jefferson Welch April 2012

Library | The CERT Oracle Secure Coding Standard for Java
This is the first authoritative, comprehensive compilation of code-level requirements for building secure systems in Java.

As-If Infinitely Ranged Integer Model, Second Edition
Dannenberg, Roger; Dormann, Will; Keaton, David; Plum, Thomas; Seacord, Robert; Svoboda, David; Volkovitsky, Alex; & Wilson, Timothy. (CMU/SEI-2010-TN-008). Software Engineering Institute, Carnegie Mellon University, 2010.

Source Code Analysis Laboratory (SCALe)
Robert C. Seacord William Dormann James McCurley Philip Miller Robert Stoddard David Svoboda Jefferson Welch December 2010

Specifications for Managed Strings, Second Edition
Burch, Hal; Long, Fred; Rungta, Raunak; Seacord, Robert; & Svoboda, David. (CMU/SEI-2010-TR-018). Software Engineering Institute, Carnegie Mellon University, 2010. http://www.sei.cmu.edu/library/abstracts/reports/10tr018.cfm

Srinivasan Seshan

DIRC: Increasing Indoor Wireless Capacity Using Directional Antennas
X. Liu, A. Sheth, M. Kaminsky, K. Papagiannaki, S. Seshan, and P. Steenkiste. In Proceedings of the ACM SIGCOMM, Aug. 2009.

Enabling MAC Protocol Implementations on Software-defined Radios
G. Nychis, T. Hottelier, Z. Yang, S. Seshan, and P. Steenkiste. In Proceedings of the USENIX NSDI, (Boston, MA), Apr. 2009.

Geo-fencing: Confining Wi-Fi Coverage to Physical Boundaries
A. Sheth, S. Seshan, and D. Wetherall. In Proceedings of International Conference on Pervasive Computing, (Berlin, Heidelberg), May 2009, pp. 274-290.

RFDump: An Architecture for Monitoring the Wireless Ether
K. Lakshminarayanan, S. Sapra, S. Seshan, and P. Steenkiste. In Proceedings of ACM CoNEXT, (Rome, Italy), Dec. 2009.

Wifi-reports: improving wireless network selection with collaboration
J. Pang, B. Greenstein, M. Kaminsky, D. McCoy, and S. Seshan. In Proceedings of ACM MobiSys, (New York, NY, USA), June 2009, pp. 123-136.

Bruno Sinopoli

A Cyber–Physical Systems Approach to Data Center Modeling and Control for Energy Efficiency
L. Parolini, B. Sinopoli, B. H. Krogh, and Z. Wang. IEEE Proceedings, pp. 254-268, 2012.

An approach to leak detection using wireless sensor networks at carbon sequestration sites
J. Weimer, B. Krogh, M. J. Small, and B. Sinopoli. International Journal of Greenhouse Gas Control, vol. 9, pp. 243-253, 2012.

Cyber-Physical Security of a Smart Grid Infrastructure
Y. Mo, T.-J. Kim, K. Brancik, D. Dickinson, H. Lee, A. Perrig, and B. Sinopoli. IEEE Proceedings, vol. 100, no. 1, pp. 195-209, 2012.

Kalman Filtering With Intermittent Observations: Tail Distribution and Critical Value
Y. Mo and B. Sinopoli. IEEE Transactions on Automatic Control, vol. 57, no. 3, pp. 677-689, 2012.

On Optimal Partial Broadcasting of Wireless Sensor Networks for Kalman Filtering
Q.-S. Jia, L. Shi, Y. Mo, and B. Sinopoli. IEEE Transactions on Automatic Control, vol. 57, no. 3, pp. 715-721, 2012.

Asim Smailagic

Chapter 12: Wearable Computers
D. Siewiorek, A. Smailagic, and T. Starner. in The Human-Computer Interaction Handbook, Julie Jacko, Ed., Boca Raton, FL: CRC Press, Taylor & Francis Group, 2012.

HeadCoach: Home Balance Rehabilitation Exercise Monitoring
K. Huang, S. Kiesler, D. Siewiorek, A. Smailagic, and P. Sparto, ISWC: International Symposium on Wearable Computers, 2012.

iPod for home balance rehabilitation exercise monitoring
K. Huang, J.P. Sparto, S. Kiesler, D. Siewiorek, and A. Smailagic. ISWC: International Symposium on Wearable Computers, pp. 116-117, 2012.

Sparse linear regression with elastic net regularization for brain-computer interfaces
J.W. Kelly, A.D. Degenhart, D. Siewiorek, A. Smailagic, and W. Wang. IEEE International Conference on Engineering in Medicine and Biology Society (EMBC), pp. 4275-4278, 2012.

Usability testing for a multi-user telehealth kiosk prototype
K. L. Courtney, J. T. Matthews, J. M. McMillan, L. Person Mecca, A. Smailagic, and D. Siewiorek. European Federation for Medical Informatics, 2012.

Kannan Srinivasan

Practical, Real-time, Full Duplex Wireless
Mayank Jain, Jung Il Choi, Taemin Kim, Dinesh Bharadia, Kannan Srinivasan, Siddharth Seth, Philip Levis, Sachin Katti and Prasun Sinha. In the Proceedings of The 17th Annual International Conference on Mobile Computing and Networking (Mobicom 2011). [pdf]

Achieving Single Channel, Full Duplex Wireless Communication
Kannan Srinivasan (Co-Primary), Jung Il Choi (Co-Primary), Mayank Jain (Co-Primary), Philip Levis and Sachin Katti. In the Proceedings of The 16th Annual International Conference on Mobile Computing and Networking (Mobicom 2010). (Best Demo Award) [pdf]

The κ-Factor: Inferring Protocol Performance Using Inter-link Reception Correlation
Kannan Srinivasan, Mayank Jain, Jung Il Choi, Tahir Azim, Edward S Kim, Philip Levis and Bhaskar Krishnamachari. In the Proceedings of The 16th Annual International Conference on Mobile Computing and Networking (Mobicom 2010).(Best Paper Award) [pdf][slides]

The β-factor: Measuring Wireless Link Burstiness
Kannan Srinivasan, Maria A. Kazandjieva, Saatvik Agarwal, and Philip Levis.In the Proceedings of the Sixth Conference on Embedded Networked Sensor Systems (SenSys), 2008. [pdf] [slides]

Visibility: A New Metric for Protocol Design
Megan Wachs, Jung Il Choi, Jung Woo Lee, Kannan Srinivasan, Zhe Chen, Mayank Jain and Philip Levis. In the Proceedings of the Fifth ACM Conference on Embedded Networked Sensor Systems (SenSys), 2007. [pdf] [slides]

Peter Steenkiste

Design, Implementation, and Evaluation of an Efficient Opportunistic Retransmission Protocol
Mei-Hsuan Lu, Peter Steenkiste, Tsuhan Chen, The Fifteen International Conference on Mobile Computing and Networking (MobiCom'09), ACM, Beijing, China, September 2009.

DIRC: Increasing Indoor Wireless Capacity Using Directional Antennas
Xi Liu, Anmol Sheth, Michael Kaminsky, Konstanina Papagiannaki, Srini Seshan, and Peter Steenkiste, ACM SIGCOMM 2009, September 2009, Barcelona, Spain.

Enabling MAC Protocol Implementations on Software-defined Radios
George Nychis, Srinivasan Seshan, Peter Steenkiste, Thibaud Hottelier, Zhuocheng Yang, The 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI '09), Boston, April 2009.

Efficient channel-aware Rate Adaptation in Dynamic Environments
Glenn Judd, Xiaohui Wang, and Peter Steenkiste, The Sixth International Conference on Mobile Systems, Applications, and Services (MobiSys'08),ACM, Denver, June 2008

Using Physical Layer Emulation to Optimize and Evaluate Mobile and Wireless Systems
Glenn Judd, Xiaohui Wang, Mei-Hsuan Lu, and Peter Steenkiste, 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (Mobiquitous 2008), Dublin, Ireland, July 2008. (Download pdf.)

Understanding Link-level 802.11 Behavior: Replacing Convention with Measurement
Glenn Judd and Peter Steenkiste, Wireless Internet Conference 2007 (Wicon07), October 2007, Austin, Texas. (Download pdf)

Patrick Tague

Anubis: An Attestation Protocol for Distributed Context-Aware Applications
S. Buthpitiya, F.-T. Sun, H.-T. Chen, P. D. Tague, A. K. Dey, and M. L. Griss. in Senaka Buthpitiya, Feng-Tso Sun, Heng-Tze Chen, Patrick Tague, Anind K. Dey, Martin Griss.

Carving Secure Wi-Fi Zones with Defensive Jamming
Y. S. Kim, P. D. Tague, H. Lee, and H. Kim. ASIACCS: Proceedings of the ACM Symposium on Information, Computer and Communication Security, 2012.

ShortMAC: Efficient Data-Plane Fault Localization
X. Zhang, Z. Zhou, H.-C. Hsiao, T.-J. Kim, A. Perrig, and P. D. Tague. NDSS: Network and Distributed System Security Symposium, 2012.

STIR-ing the Wireless Medium with Self-Tuned, Inference-Based, Real-Time Jamming
B. DeBruhl, Y. S. Kim, Z. Weinberg, and P. D. Tague. IEEE International Conference on Mobile Ad-hoc and Sensor Systems, 2012.

Survivable Smart Grid Communication: Smart-Meters Meshes to the Rescue
A. P. Athreya and P. D. Tague. International Conference on Computing, Networking and Communications, 2012.

Rahul Telang

Do Data Breach Disclosure Laws Reduce Identity Theft?
S. Romanosky, R. Telang, A. Acquisti (2011), Journal of Policy Analysis and Management (JPAM), 30 (2), 256-286, paper.

Competing with Free: The Impact of Movie Broadcasting on DVD Sales and Internet Piracy
Michael Smith, Rahul Telang (2010), MIS Quarterly, 33(2), 321-338. paper

Converting Pirates without Cannibalizing Purchasers: The Impact of Digital Distribution on Physical Sales and Internet Piracy
B Danaher, S Dhanasobhon, M Smith, R. Telang (2010), Marketing Science, 29(6), 1138:1151. Paper.

Empirical Analysis of Mobile Voice and SMS Service: A Structural Model
Y. S. Kim, R. Telang, B. Vogt, R. Krishnan (2010), 56(2). 234-252, Management Science. paper.

What’s in a “name”? Impact of Use of Customer Information in Email Advertisement
S. Wattal, R. Telang, T. Mukhopadhyay, P. Boatwright (2010), Information Systems Research, forthcoming.

Ozan Tonguz

A Moving Zone Based Architecture for Message Dissemination in VANETs
O. Tonguz, D. Lin, S. Gurung, and A. Squicciarini. 8th IEEE/ACM International Conference on Network and Service Management (CNSM, 2012.

Cars as RSUs: A Cooperative Solution
O. Tonguz and W. Viriyasitavat. IEEE Fall Vehicular Technology Conference (VTC), 2012.

Robust Design of Two-Dimensional Optical Reference Signals Against Diffraction Effects
Y.-S. Su and O. Tonguz. Journal of Lightwave Technology, vol. 30, no. 13, pp. 2168-2175, 2012.

Seeing is Believing-Enhancing Message Dissemination in Vehicular Networks Through Visual Cues
M. Boban, T. T. V. Vinhoza, O. Tonguz, and J. Barros. IEEE Communications Letters: a Publication of the IEEE Communications Society, vol. 16, no. 2, pp. 238-241, 2012.

What if Wireless Routers were Social? Analyzing Wireless Mesh Networks from a Social Networks Perspective
M. Kas, S. Appala, C. Wang, K. Carley, L. R. Carley, and O. Tonguz. IEEE Wireless Communications Magazine, vol. 19, no. 6, pp. 36-43, 2012.

Randall Trzeciak

The CERT Guide to Insider Threats: How to Prevent, Detect, and Respond to Information Technology Crimes (Theft, Sabotage, Fraud)
Cappelli, D. M.; Moore, A. P.; & Trzeciak, R. F. Addison-Wesley 2012.

An Analysis of Technical Observations in Insider Theft of Intellectual Property Cases
Hanley, Michael; Dean, Tyler; Schroeder, Will; Trzeciak, Randall F., & Montelibano, Joji. (CMU/SEI-2011-TN-006). Software Engineering Institute, Carnegie Mellon University, 2011. http://www.cert.org/archive/pdf/11tn006.pdf

A Preliminary Model of Insider Theft of Intellectual Property
Moore, A. P.; Cappelli, Dawn M.; Caron, Thomas C.; Shaw, Eric; Spooner, Derrick & Trzeciak, Randall F. (CMU/SEI-2011-TN-013). Software Engineering Institute, Carnegie Mellon University, 2011. http://www.cert.org/archive/pdf/11tn013.pdf

Spotlight On: Insider Threat from Trusted Business Partners
Weiland, Robert M.; Moore, Andrew P.; Cappelli, Dawn M.; Trzeciak, Randall F.; & Spooner, Derrick. Software Engineering Institute and CyLab, Carnegie Mellon University, 2010. http://www.cert.org/archive/pdf/TrustedBusinessPartners0210.pdf

Common Sense Guide to Prevention and Detection of Insider Threat, 3rd Edition—Version 3.1
Cappelli, D. M.; Moore, A. P.; Trzeciak, R. F.; & Shimeall, T. J. Software Engineering Institute, Carnegie Mellon University and CyLab. http://www.cert.org/archive/pdf/CSG-V3.pdf (2009)

Amit Vasudevan

Requirements for an Integrity-Protected Hypervisor on the x86 Hardware Virtualized Architecture
Amit Vasudevan, Jonathan M. McCune, Ning Qu, Leendert van Doorn, Adrian Perrig. TRUST 2010: 141-165

MalTRAK: Tracking and Eliminating Unknown Malware
Amit Vasudevan, ACSAC 2008: 311-321

Luis von Ahn

Input-Agreement: A New Mechanism for Collecting Data Using Human Computation Games
Edith Law and Luis von Ahn. ACM Conf. on Human Factors in Computing Systems, CHI 2009. pp 1197-1206.

Matchin: Eliciting User Preferences with an Online Game
Severin Hacker and Luis von Ahn. ACM Conf. on Human Factors in Computing Systems, CHI 2009. pp 1207-1216.

General Techniques for Designing Games with a Purpose
Luis von Ahn and Laura Dabbish. Communications of the ACM, August 2008. pp 58-67.

reCAPTCHA: Human-Based Character Recognition via Web Security Measures
Luis von Ahn, Ben Maurer, Colin McMillen, David Abraham and Manuel Blum. Science, September 12, 2008. pp 1465-1468.

Games With A Purpose
Luis von Ahn. IEEE Computer Magazine, June 2006. pp 96-98.

Jie Yang

Classification based on a permanental process with cyclic approximation
Submitted for publication, with Klaus Miescke and Peter McCullagh pdf(2012).

DFA7, a Novel Method to Classify DNA Sequences into Intron-containing and Intronless Sequences
Submitted for publication, with Mo Deng, Chenglong Yu, Lu Zheng, Rong L He, Stephen S.-T. Yau (2012).

Optimal Designs for 2^k Factorial Experiments with Binary Response
Submitted for publication, with Abhyuday Mandal and Dibyen Majumdar pdf(2012).

Optimal Designs for Two-Level Factorial Experiments with Binary Response
Supplementary Materials, Statistica Sinica, Vol. 22, No. 2, 885-907, with Abhyuday Mandal and Dibyen Majumdar pdf(2012).

Outperformance Portfolio Optimization via the Equivalence of Pure and Randomized Hypothesis Testing
Submitted for publication, with Tim Leung and Qingshuo Song pdf(2012).

Hui Zhang

Opportunities and Challenges of Peer-to-Peer Internet Video Broadcast
Jiangchuan Liu, Sanjay Rao, Bo Li, and Hui Zhang, Proceedings of the IEEE, to appear.

Tesseract: a 4D Network Control Plane
Hong Yan, David A. Maltz, T.S. Eugene Ng. Hemant Goineni, Hui Zhang, Zhen Cai, NSDI'07.

A Multi-Resolution Approach for Worm Detection and Containment
Vyas Sekar, Yinglian Xie, Michael K. Reiter, Hui Zhang, in IEEE/IFIP DSN 2006

Measurement of Commercial Peer-to-Peer Live Video Streaming
Ahahzad Ali, Anket Mathur, Hui Zhang, Workshop in Recent Advances in Peer-to-Peer Streaming, August, 2006.

Modeling Adoptability of Secure BGP Protocols
Haowen Chan, Debabrata Dash, Adrian Perrig, Hui Zhang, in ACM SIGCOMM'06

Joy Ying Zhang

HyPhIVE : A Hybrid Virtual-Physical Collaboration Environment
Senaka Buthpityia and Ying Zhang, In the Proceedings of the Third International Conferences on Advances in Computer-Human Interactions. ACHI 2010 , St. Maarten, Netherlands Antilles, February 10-16, 2010.

Virtual Babel: Towards Context-Aware Machine Translation in Virtual Worlds
Ying Zhang, Nguyen Bach, In the Proceedings of MT Summit XII , Ottawa, Ontario, Canada, August 26-30, 2009.

Pei Zhang

Collaborative Indoor Sensing With The SensorFly Aerial Sensor Network
A. Purohit, F. Mokaya, s. pan, and P. Zhang. IPSN: ACM/IEEE International Conference on Information Processing in Sensor Networks, 2012.

iCEnergy: Augmented Reality Display for Intuitive Energy Monitoring
S. Pan, B. Liu, L. Zhang, and P. Zhang. SenSys: Proceedings of the International Conference on Embedded Networked Sensor Systems, 2012.

MARS: A Muscle Activity Recognition System Using Inertial Sensors
F. Mokaya, C. Kuo, and P. Zhang. IPSN: ACM/IEEE International Conference on Information Processing in Sensor Networks, 2012.

MARS: A Real Time Motion Capture and Muscle Fatigue Monitoring Tool
F. Mokaya, B. Nguyen, C. Kuo, Q. Jacobson, and P. Zhang. SenSys: Proceedings of the International Conference on Embedded Networked Sensor Systems, 2012.

Polaris: Getting Accurate Indoor Orientations for Mobile Devices Using Ubiquitous Visual Patterns on Ceilings
Z. Sun, A. Purohit, S. Pan, F. Mokaya, R. Bose, and P. Zhang. HotMobile: Workshop on Mobile Computing Systems and Applications, 2012.

[ # ] [ A-C ] [ D-G ] [ H-L ] [ M-O ] [ P-R ] [ S-Z ]