Publications by subject (or by date)

Bill Thies

ICTs for Development  |  StreamIt  |  Microfludics  |  Protein Folding  |  Program Analysis & Optimization

ICTs for Development

• Why it is Hard to Identify Technical Research Problems in ICT4D and How to Make it Easier.
  William Thies.
  CCC Workshop on Computer Science and Global Development.
  Berkeley, CA, August, 2009.
• Evaluating the Accuracy of Data Collection on Mobile Phones: A Study of Forms, SMS, and Voice.
  Somani Patnaik, Emma Brunskill, and William Thies.
  IEEE/ACM International Conference on Information and Communication Technologies and Development (ICTD 2009).
  Doha, Qatar, April, 2009. Presentation slides in PDF or PPT.
• An Audio Wiki for Publishing User-Generated Content in the Developing World.
  Pratik Kotkar, William Thies, and Saman Amarasinghe.
  HCI for Community and International Development (Workshop at CHI 2008).
  Florence, Italy, April, 2008.
• An Audio Wiki for Building Local Repositories of Knowledge in the Developing World.
  Pratik Kotkar, William Thies, and Saman Amarasinghe.
  Poster Session, Workshop on Wireless Systems: Advanced Research and Development (WISARD 2008).
  Bangalore, India, January, 2008.
• Searching the World Wide Web in Low-Connectivity Communities.   (html)
  William Thies, Janelle Prevost, Tazeen Mahtab, Genevieve T. Cuevas, Saad Shakhshir, Alexandro Artola, Binh D. Vo, Yuliya Litvak, Sheldon Chan, Sid Henderson, Mark Halsey, Libby Levison, and Saman Amarasinghe.
  International World Wide Web Conference, Global Community Track.
  Honolulu, Hawaii, May, 2002. Presentation slides in PDF or PPT.
• Providing Web Search Capability for Low-Connectivity Communities.
  Libby Levison, William Thies, and Saman Amarasinghe.
  International Symposium on Technology and Society.
  Raleigh, North Carolina, June, 2002.
• The TEK Search Engine.
  Libby Levison, Bill Thies, and Saman Amarasinghe.
  Workshop on Development by Design.
  Cambridge, MA, July, 2001.

StreamIt

• Manipulating Lossless Video in the Compressed Domain.
  William Thies, Steven Hall, and Saman Amarasinghe.
  ACM Multimedia.
  Beijing, China, October, 2009. Presentation slides in PPT.
• Language and Compiler Support for Stream Programs.
  William Thies.
  Ph.D. Thesis, Massachusetts Institute of Technology, February, 2009.
• A Practical Approach to Exploiting Coarse-Grained Pipeline Parallelism in C Programs.
  William Thies, Vikram Chandrasekhar, and Saman Amarasinghe.
  IEEE/ACM International Symposium on Microarchitecture (MICRO 2007).
  Chicago, IL, December, 2007. Presentation slides in PDF or PPT.
• Exploiting Coarse-Grained Task, Data, and Pipeline Parallelism in Stream Programs.
  Michael I. Gordon, William Thies, and Saman Amarasinghe.
  International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2006).
  San Jose, CA, October, 2006. Presentation slides in PDF or PPT.
• Optimizing Stream Programs Using Linear State Space Analysis.
  Sitij Agrawal, William Thies, and Saman Amarasinghe.
  International Conference on Compilers, Architecture, and Synthesis for Embedded Systems (CASES 2005).
  San Francisco, CA, September, 2005. Presentation slides in PDF or PPT.
• A Reconfigurable Architecture for Load-Balanced Rendering.
  Jiawen Chen, Michael I. Gordon, William Thies, Matthias Zwicker, Kari Pulli, and Frédo Durand.
  SIGGRAPH / Eurographics Workshop on Graphics Hardware.
  Los Angeles, CA, July, 2005. Presentation slides in PDF or PPT.
• Teleport Messaging for Distributed Stream Programs.
  William Thies, Michal Karczmarek, Janis Sermulins, Rodric Rabbah, and Saman Amarasinghe.
  Symposium on Principles and Practice of Parallel Programming (PPoPP 2005).
  Chicago, IL, June, 2005. Presentation slides in PDF or PPT.
• Cache Aware Optimization of Stream Programs.
  Janis Sermulins, William Thies, Rodric Rabbah, and Saman Amarasinghe.
  Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2005).
  Chicago, IL, June, 2005. Presentation slides in PDF or PPT.
• Language and Compiler Design for Streaming Applications.
  Saman Amarasinghe, Michael I. Gordon, Michal Karczmarek, Jasper Lin, David Maze, Rodric M. Rabbah, and William Thies.
  International Journal of Parallel Programming.
  Vol. 33, Nos. 2/3, June 2005.
• Linear Analysis and Optimization of Stream Programs.
  Andrew A. Lamb, William Thies, and Saman Amarasinghe.
  Conference on Programming Language Design and Implementation (PLDI 2003).
  San Diego, CA, June, 2003. Presentation slides in PDF or PPT.
• Phased Scheduling of Stream Programs.
  Michal Karczmarek, William Thies, and Saman Amarasinghe.
  Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2003).
  San Diego, CA, June, 2003. Presentation slides in PDF or PPT.
• A Stream Compiler for Communication-Exposed Architectures.
  Michael I. Gordon, William Thies, Michal Karczmarek, Jasper Lin, Ali S. Meli, Andrew A. Lamb, Chris Leger, Jeremy Wong, Henry Hoffmann, David Maze, and Saman Amarasinghe.
  International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2002).
  San Jose, CA, October, 2002. Presentation slides in PDF or PPT.
• A Common Machine Language for Grid-Based Architectures.
  William Thies, Michal Karczmarek, Michael Gordon, David Maze, Jeremy Wong, Henry Hoffmann, Matthew Brown, and Saman Amarasinghe.
  ACM SIGARCH Computer Architecture News, June, 2002.
  Presentation Slides in PDF or PPT from HPCA 2002 Work-in-Progress Session.
• StreamIt: A Language for Streaming Applications.
  William Thies, Michal Karczmarek, and Saman Amarasinghe.
  International Conference on Compiler Construction (CC 2002).
  Grenoble, France, April, 2002. Presentation slides in PDF or PPT.

Programmable Microfluidics

• Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography.
  Nada Amin, William Thies, and Saman Amarasinghe.
  IEEE International Conference on Computer Design (Invited Paper).
  Lake Tahoe, California, October, 2009. Presentation slides in PDF or PPT.
• Towards a High-Level Programming Language for Standardizing and Automating Biology Protocols.
  Vaishnavi Ananthanarayanan and William Thies.
  International Workshop on Bio-Design Automation, July, 2009. Presentation slides in PDF or PPT.
• Abstraction Layers for Scalable Microfluidic Biocomputing.
  William Thies, John Paul Urbanski, Todd Thorsen and Saman Amarasinghe.
  Natural Computing, May, 2007.
• Abstraction Layers for Scalable Microfluidic Biocomputers.
  William Thies, John Paul Urbanski, Todd Thorsen and Saman Amarasinghe.
  Proceedings of the 12th International Meeting on DNA Computing (DNA 2006).
  Seoul, Korea, June, 2006. Presentation slides in PDF or PPT.
• Digital Microfluidics Using Soft Lithography.
  John Paul Urbanski, William Thies, Christopher Rhodes, Saman Amarasinghe and Todd Thorsen.
  Lab on a Chip 2006, 6(1), 96-104.
• Programmable Microfluidics.
  William Thies, J.P. Urbanski, Mats Cooper, David Wentzlaff, Todd Thorsen, and Saman Amarasinghe.
  ASPLOS Wild and Crazy Ideas Session.
  Boston, MA, October, 2004. Presentation slides in PDF or PPT.

Protein Structure Prediction

• Learning Biophysically-Motivated Parameters for Alpha Helix Prediction.
  Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, and Srinivas Devadas.
  BMC Bioinformatics 2007, 8(Suppl 5):S3.
• Predicting Secondary Structure of All-Helical Proteins Using Hidden Markov Support Vector Machines.
  Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, and Srinivas Devadas.
  Workshop on Pattern Recognition in Bioinformatics (PRIB 2006).
  Hong Kong, August, 2006. Presentation slides in PDF or PPT.
• Learning Biophysically-Motivated Parameters for Alpha Helix Prediction.
  Blaise Gassend, Charles W. O'Donnell, William Thies, Andrew Lee, Marten van Dijk, and Srinivas Devadas.
  Poster Session, International Conference on Research in Computational Molecular Biology (RECOMB 2006 - Poster Session).
  Venice, Italy, April, 2006.

Program Analysis & Optimization

• A Step Towards Unifying Schedule and Storage Optimization.
  William Thies, Frédéric Vivien, and Saman Amarasinghe.
  Transactions on Programming Languages and Systems, 29 (6), October 2007.
• Static Deadlock Detection for Java Libraries.
  Amy Williams, William Thies, and Michael D. Ernst.
  European Conference on Object-Oriented Programming (ECOOP 2005).
  Glasgow, UK, July, 2005. Presentation slides in PDF or PPT.
• A Unified Framework for Schedule and Storage Optimization.
  William Thies.
  M.Eng. Thesis, Massachusetts Institute of Technology, June, 2002.
• A Unified Framework for Schedule and Storage Optimization.
  William Thies, Frédéric Vivien, Jeffrey Sheldon, and Saman Amarasinghe.
  Conference on Programming Language Design and Implementation (PLDI 2001).
  Snowbird, UT, June, 2001. Presentation slides in PDF or PPT.