Publications Sorted by Date

...and region serializability for all
Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish Narayanasamy
Proceedings of the 5th USENIX Workshop on Hot Topics in Parallelism (HotPar), San Jose, CA, June 2013.
Abstract, PDF.

AMC: Verifying User Interface Properties for Vehicular Applications
Kyungmin Lee, Jason Flinn, T. J. Giuli, Brian Noble, and Christopher Peplin
In Proceedings of the 11th International Conference on Mobile Systems, Applications, and Services (MobiSys), Taipei, Taiwan, June 2013.
Abstract, PDF.

Parallelizing Data Race Detection
Benjamin Wester, David Devecsery, Peter M. Chen, Jason Flinn, and Satish Narayanasamy
Proceedings of the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Houston, TX, March 2013.
Abstract, PDF.

X-ray: Automating Root-Cause Diagnosis of Performance Anomalies in Production Software
Mona Attariyan, Michael Chow, and Jason Flinn
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Hollywood, CA, October 2012. Jay Lepreau best student paper award.
Abstract, PDF, Talk slides.

Cyber Forging: Bridging Mobile and Cloud Computing
Jason Flinn
Morgan & Claypool Publishers, September 2012.
Site (many institutions may have access via e-subscription).

Informed Mobile Prefetching
Brett D. Higgins, Jason Flinn, T. J. Giuli, Brian Noble, Christopher Peplin, and David Watson
In Proceedings of the 10th International Conference on Mobile Systems, Applications, and Services (MobiSys), Low Wood Bay, United Kingdom, June 2012.
Abstract, PDF.

Chimera: Hybrid Program Analysis for Determinism
Dongyoon Lee, Peter M. Chen, Jason Flinn, and Satish Narayanasamy
Proceedings of Programming Language Design and Implementation (PLDI), Beijing, China, June 2012.
Abstract, PDF.

DoublePlay: Parallelizing Sequential Logging and Replay (extended version of ASPLOS '11 publication)
Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish Narayanasamy
ACM Transactions on Computer Systems, Volume 30, Number 1, February 2012.
Abstract, PDF.

Detecting and Surviving Data Races using Complementary Schedules
Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, and Satish Narayanasamy
Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP), Cascais, Portugal, October 2011.
Abstract, PDF, Talk slides.

Automatic Root-Cause Diagnosis of Performance Anomalies in Production Software
Mona Attariyan, Michael Chow, and Jason Flinn
Technical Report CSE-TR-575-11, University of Michigan Computer Science and Engineering, October 2011.
Abstract, PDF.

Embracing Redundancy in Mobile Computing
Jason Flinn
MobiHeld 2011 keynote (not a paper, but it's a nice rant), Cascais, Portugal, October 2011.
Talk slides.

Operating System Support for Application-Specific Speculation
Benjamin Wester, Peter M. Chen, and Jason Flinn
Proceedings of the European Conference on Computer Systems (EuroSys), Salzburg, Austria, April 2011.
Abstract, PDF, Talk slides.

Can Deterministic Replay be an Enabling Tool for Mobile Computing?
Jason Flinn and Z. Morley Mao
Proceedings of the 12th Workshop on Mobile Computing Systems and Applications (HotMobile), Phoenix, AZ, March 2011.
Abstract, PDF.

DoublePlay: Parallelizing Sequential Logging and Replay
Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M. Chen, Jason Flinn, and Satish Narayanasamy
Proceedings of the 16th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Newport Beach, CA, March 2011. Best paper award.
Abstract, PDF, Talk slides.

Automating Configuration Troubleshooting with Dynamic Information Flow Analysis
Mona Attariyan and Jason Flinn
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Vancouver, BC, October 2010.
Abstract, PDF, Talk slides.

quFiles: The Right File at the Right Time (extended version of FAST '10 publication)
Kaushik Veeraraghavan, Jason Flinn, Edmund B. Nightingale, and Brian Noble
ACM Transactions on Storage, Volume 6, Number 3, September 2010.
Abstract, PDF.

Intentional Networking: Opportunistic Exploitation of Mobile Network Diversity
Brett D. Higgins, Azarias Reda, Timur Aperovich, Jason Flinn, T. J. Giuli, Brian Noble, and David Watson
In Proceedings of the 16th Annual International Conference on Mobile Computing and Networking (MobiCom), Chicago, IL, September 2010.
Abstract, PDF, Talk slides.

TrapperKeeper: The Case for Using Virtualization to Add Type Awareness to File Systems
Daniel Peek and Jason Flinn
Proceedings of the 2nd Workshop on Hot Topics in Storage and File Systems (HotStorage), Boston, MA, June 2010.
Abstract, PDF.

Respec: Efficient Online Multiprocessor Replay via Speculation and External Determinism
Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, and Jason Flinn
Proceedings of the 15th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Pittsburgh, PA, March 2010.
Abstract, PDF, Talk slides.

quFiles: The Right File at the Right Time
Kaushik Veeraraghavan, Jason Flinn, Edmund B. Nightingale, and Brian Noble
Proceedings of the 8th USENIX Conference on File and Storage Technologies (FAST), San Jose, CA, February 2010. Best paper award.
Abstract, PDF, Talk slides.

Automatically Generating Predicates and Solutions for Configuration Troubleshooting
Ya-Yunn Su and Jason Flinn
Proceedings of the USENIX Annual Technical Conference, San Diego, CA, June 2009.
Abstract, Postscript, PDF.

Trapper Keeper: Using Virtualization to Add Type-Awareness to File Systems
Daniel Peek and Jason Flinn
Technical Report CSE-TR-550-09, Computer Science and Engineering Division, University of Michigan, May 2009.
Abstract, PDF.

Tolerating latency in replicated state machines through client speculation
Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, and Barbara Liskov
Proceedings of the 6th USENIX Symposium on Network Systems Design and Implementation (NSDI), Boston, MA, April 2009.
Abstract, Postscript, PDF.

The Case for Intentional Networking
Jason Flinn, T. J. Giuli, Brett Higgins, Brian Noble, Azarias Reda, and David Watson
Proceedings of the Tenth Workshop on Mobile Computing Systems and Applications (HotMobile), Santa Cruz, CA, February 2009.
Abstract, Postscript, PDF,

Rethink the Sync (extended version of OSDI '06 publication)
Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn
ACM Transactions on Computer Systems, Volume 26, Number 3, September 2008.
Abstract, PDF,

PAN-on-Demand: Leveraging Multiple Radios to Build Self-Organizing Energy-Efficient PANs
Manish Anand and Jason Flinn
Proceedings of the Fifth Annual International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services, Dublin, Ireland, July 2008.
Abstract, PDF.

Using Causality to Diagnose Configuration Bugs
Mona Attariyan and Jason Flinn
Proceedings of the USENIX Annual Technical Conference, Boston, MA, June 2008.
Abstract, Postscript, PDF.

In-Cloud Security Services for Mobile Devices
Jon Oberheide, Kaushik Veeraraghavan, Evan Cooke, Jason Flinn, and Farnam Jahanian
In the First Workshop on Virtualization and Mobile Computing, Breckenridge, CO, June 2008.

Parallelizing Security Checks on Commodity Hardware
Edmund B. Nightingale, Daniel Peek, Peter M. Chen, and Jason Flinn
Proceedings of the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Seattle, WA, March 2008.
Abstract, Postscript, PDF, talk slides.

quFiles: a new abstraction for mobile data management
Kaushik Veeraraghavan, Edmund B. Nightingale, Jason Flinn, and Brian D. Noble
Proceedings of the Ninth Workshop on Mobile Computing Systems and Applications (HotMobile), Napa, CA, February 2008.
Abstract, PDF, Talk slides.

AutoBash: Improving configuration management with operating system causality analysis
Ya-Yunn Su, Mona Attariyan, and Jason Flinn
Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP), Stevenson, WA, October 2007.
Abstract, Postscript, PDF.

Sprockets: Safe extensions for distributed file systems
Daniel Peek, Edmund B. Nightingale, Brett D. Higgins, Puspesh Kumar, and Jason Flinn
Proceedings of the 2007 USENIX Annual Technical Conference Santa Clara, CA, June 2007.
Abstract, Postscript, PDF.

Consumer Electronics Meets Distributed Storage
Daniel Peek and Jason Flinn
IEEE Computer, Vol. 40, No. 2, Invisible Computing Column, February 2007.

Cobalt: Separating Content Distribution from Authorization in Distributed File Systems
Kaushik Veeraraghavan, Andrew Myrick, and Jason Flinn
Proceedings of the 5th USENIX Conference on File and Storage Technologies (FAST), San Jose, CA, February 2007.
Abstract, Postscript, PDF, Talk slides.

Speculative Execution in a Distributed File System (revised version of SOSP '05 publication)
Edmund B. Nightingale, Peter M. Chen, and Jason Flinn
ACM Transactions on Computer Systems, Volume 24, Number 4, November 2006,
Abstract, PDF.

Rethink the Sync
Edmund B. Nightingale, Kaushik Veeraraghavan, Peter M. Chen, and Jason Flinn
Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Seattle, WA, November 2006. Best paper award.
Abstract, Postscript, PDF, Talk slides.

EnsemBlue: Integrating Distributed Storage and Consumer Electronics
Daniel Peek and Jason Flinn
Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation (OSDI), Seattle, WA, November 2006.
Abstract, Postscript, PDF, Talk slides.

PAN-on-Demand: Building Self-Organizing PANs for Better Power Management
Manish Anand and Jason Flinn
Technical Report CSE-TR-524-06, Computer Science and Engineering Division, University of Michigan, August 2006.
Abstract, Postscript, PDF.

Speculative Execution in a Distributed File System
Edmund B. Nightingale, Peter M. Chen, and Jason Flinn
Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), Brighton, United Kingdom, October 2005. Award paper.
Abstract, Postscript, PDF, Talk slides.

Self-Tuning Wireless Network Power Management (extended version of MobiCom '03 publication)
Manish Anand, Edmund B. Nightingale, and Jason Flinn
Wireless Networks, Vol. 11, No. 4, July 2005.
Abstract, Postscript, PDF.

Slingshot: Deploying Stateful Services in Wireless Hotspots
Ya-Yunn Su and Jason Flinn
Proceedings of the 3rd Annual Conference on Mobile Systems, Applications, and Services (MobiSys '05), Seattle, WA, June 2005.
Abstract, Postscript, PDF, Talk slides.

Drive-Thru: Fast, Accurate Evaluation of Storage Power Management
Daniel Peek and Jason Flinn
Proceedings of the USENIX Annual Technical Conference, Anaheim, CA, April 2005.
Abstract, Postscript, PDF, Talk slides.

Portable Storage Support for Cyber Foraging
Ya-Yunn Su and Jason Flinn
Proceedings of the International Workshop on Software Support for Portable Storage, San Francisco, CA, March 2005.
Abstract, Postscript, PDF.

Energy-Efficiency and Storage Flexibility in the Blue File System
Edmund B. Nightingale and Jason Flinn
Proceedings of the 6th USENIX Symposium on Operating Systems Design and Implementation (OSDI), San Francisco, CA, December 2004.
Abstract, Postscript, PDF, Talk slides.

Ghosts in the Machine: Interfaces for Better Power Management
Manish Anand, Edmund B. Nightingale, and Jason Flinn
Proceedings of the 2nd Annual International Conference on Mobile Systems, Applications, and Services (MOBISYS '04), Boston, MA, June 2004. Best paper award.
Abstract, Postscript, PDF, Talk slides.

Managing Battery Lifetime with Energy-Aware Adaptation (extended version of SOSP '99 publication)
Jason Flinn and M. Satyanarayanan
ACM Transactions on Computer Systems (TOCS), Vol. 22, No. 2, May 2004.
Abstract, PDF.

Self-Tuning Wireless Network Power Management
Manish Anand, Edmund B. Nightingale, and Jason Flinn
Proceedings of the 9th Annual International Conference on Mobile Computing and Networking (MOBICOM '03), San Diego, CA, September 2003.
Abstract, Postscript, PDF, Talk slides.

Data Staging on Untrusted Surrogates
Jason Flinn, Shafeeq Sinnamohideen, Niraj Tolia, and M. Satyanarayanan
Proceedings of the 2nd USENIX Conference on File and Storage Technologies (FAST), San Francisco, CA, March/April 2003.
Abstract, Postscript, PDF, Talk slides.

The Case for Cyber Foraging
Rajesh Balan, Jason Flinn, M. Satyanarayanan, Shafeeq Sinnamohideen, and Hen-I Yang
In the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, September 2002.
Abstract, Postscript, PDF.

Balancing Performance, Energy, and Quality in Pervasive Computing
Jason Flinn, SoYoung Park, and M. Satyanarayanan
Proceedings of the 22nd International Conference on Distributed Computing Systems, Vienna, Austria, July 2002.
Abstract, Postscript, PDF, Talk slides (.ppt.gz).

Extending Mobile Computer Battery Life through Energy-Aware Adaptation
Jason Flinn
Ph.D. dissertation, TR# CMU-CS-01-171, Carnegie Mellon University, December 2001.
Abstract, Postscript, PDF, Talk slides (.ppt.gz).

Reducing the Energy Usage of Office Applications
Jason Flinn, Eyal de Lara, M. Satyanarayanan, Dan S. Wallach, and Willy Zwaenepoel
Proceedings of the IFIP/ACM International Conference on Distributed Systems Platforms (Middleware 2001), Heidelberg, Germany, November 2001.
Abstract, Postscript, PDF, Talk slides (.ppt).

Self-Tuned Remote Execution for Pervasive Computing
Jason Flinn, Dushyanth, Narayanan, and M. Satyanarayanan
Proceedings of the 8th Workshop on Hot Topics in Operating Systems (HotOS-VIII), Schloss Elmau, Germany, May 2001.
Abstract, Postscript, PDF.

Using History to Improve Mobile Application Adaptation
Dushyanth Narayanan, Jason Flinn, and M. Satyanarayanan
Proceedings of the 3rd IEEE Workshop on Mobile Computing Systems and Applications, Monterey, CA, December 2000.
Abstract, PDF.

Quantifying the Energy Consumption of a Pocket Computer and a Java Virtual Machine
Keith I. Farkas, Jason Flinn, Godmar Back, Dirk Grunwald, and Jennifer Anderson
Proceedings of the International Conference on Measurement and Modeling of Computer Systems (ACM SIGMETRICS), Santa Clara, CA, June 2000.
Abstract, PDF.

Power and Energy Characterization of the Itsy Pocket Computer (Version 1.5)
Jason Flinn, Keith I. Farkas, and Jennifer Anderson
Compaq Western Research Laboratory
Technical Note TN-56, February 2000.
PDF.

Energy-Aware Adaptation for Mobile Applications
Jason Flinn and M. Satyanarayanan
Proceedings of the 17th ACM Symposium on Operating Systems Principles (SOSP), Kiawah Island Resort, SC, December 1999.
Abstract, Postscript, PDF, Talk slides (.ppt.gz).

Visual Proxy: Exploiting OS Customizations without Application Source Code
M. Satyanarayanan, Jason Flinn, and Kevin R. Walker
Operating Systems Review, Volume 33, Number 3, July 1999.
Abstract, Postscript, PDF.

PowerScope: A Tool for Profiling the Energy Usage of Mobile Applications
Jason Flinn and M. Satyanarayanan
Proceedings of the 2nd IEEE Workshop on Mobile Computing Systems and Applications, New Orleans, Louisiana, February 1999.
Abstract, Postscript, PDF, Talk slides (old version of PowerPoint), Talk slides (pptx format).

Agile Application-Aware Adaptation for Mobility
Brian D. Noble, M. Satyanarayanan, Dushyanth Narayanan, J. Eric Tilton, Jason Flinn, and Kevin R. Walker
Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP), Saint-Malo, France, October 1997.
Abstract, Postscript, PDF.