phillip stanley-marbellAbout I joined IBM's Zurich Research Lab as a research staff member in 2008. Prior to that, I was a postdoctoral researcher at Technische Universiteit Eindhoven in the Netherlands (until 2008), and a Ph.D. student at Carnegie Mellon University (graduated in May 2007).
More details can be
found in my CV [PDF]
Professional Activities ACM SIGMOBILE Mobile Computing and Communications Review Copy Editor, March 2003 – March 2004. ACM Computing Frontiers Conference Technical Program Committee, 2007 16th IEEE/ACM International Workshop on Logic and Synthesis Technical Program Committee, 2007 Conference Talks and Lectures Scylla: A smart Virtual Machine for Mobile Embedded Systems IEEE/ACM WMCSA'00, Monterey, CA, December 2000 Fast, Flexible, Cycle-Accurate Energy Estimation ISLPED'01, Huntington Beach, CA, August 2001 A Hardware Architecture for Dynamic Performance and Energy Adaptation and updated version PACS'02, Cambridge, MA, February 2002 Probabilistic Logics and the Synthesis of Reliable Organisms from Unreliable Components CALCM Seminar, CMU, PA, February 2003 Nicht Ohne Meine {CB} (in Celtic, Dutch & German) db-nyc, Columbia University Computer Music Center, NY, March 2003 Dynamic Fault-Tolerance Management in Failure Prone Battery Powered Systems and poster 12th International Workshop on Logic and Synthesis, Laguna Beach, CA, May 2003 Programming Crystalline Hardware 2nd Workshop on Non-Silicon Computation, NSC-2, In conjunction with ISCA 2003, June 2003, San Diego, CA Pervasive Computing with Inferno and Limbo Invited Lecture, University of California at Irvine, Irvine, CA, October 2003 Adaptation Methods and Analysis Metrics for Smart Matter CMU CSSI Seminar, Pittsburgh, PA, November 2003 Dynamic Fault-Tolerance and Metrics for Failure-Prone Battery Powered Systems ICCAD 2003, San Jose, CA, November 2003 Local Decisions and Triggering Mechanisms for Dynamic Fault Tolerance Management Design Automation and Test in Europe, Paris (La Defense), France, February 2004 Building Distributed Applications with Inferno and Limbo Intel Research Labs, Pittsburgh, PA, March 2004 Modeling Computation Communication and Physical Phenomena in Integrated Sensor Networks University of Michigan ACAL, August 2004 and Rutgers University Dept. of Computer Science, NJ, September 2004 A Programming Model and Language Implementation for Concurrent Failure-Prone Hardware 2nd Workshop on Programming Models for Ubiquitous Parallelism, Seattle, WA, September 2006 Implementation of a Distributed Full-System Simulation Framework as a Filesystem Server 1st International workshop on the Plan 9 Operating System, Madrid, Spain, December 2006 Experience Teaching a Semester-Long Inferno Course 1st International workshop on the Plan 9 Operating System, Madrid, Spain, December 2006 The SFLR Toolsuite Hardware and Software Research Platforms for Energy-Constrained and Failure-Prone Systems Dagstuhl Seminar on Power-Aware Computing Systems, Dagstuhl, Germany, January 2007 Sunflower: Full-System Embedded Microarchitecture Evaluation 2nd Conference on High Performance Embedded Architectures and Compilers (HiPEAC 2007), Ghent, Belgium, January 2007 An 0.9 x 1.2", Low Power, Energy-Harvesting System with Custom Multi-Channel Communication Interface Design Automation and Test in Europe (DATE 2007), Nice, France Sunflower Tool Suite Tutorial HiPEAC 2008, Goteborg, Sweden, January 2008 Randomized Algorithms and Probabilistic Analysis of Algorithms Sequence of guest lectures, 5MD20 (Design Automation), Technische Universiteit, Eindhoven, The Netherlands, 2008 Parallelism in Embedded Systems— Runtime Support, Programming Languages, and Hardware Platforms NEC Labs Europe, Bonn, Germany, April 2008 Tools for Exploratory Research in Failure-Prone Energy-Constrained Systems IBM Research, Zurich, October 2008 Hardware Most of my hardware design work is now part of the open source Sunflower HW/SW Tool Suite, here Old pictures of various early revisions of the Sunflower hardware platform here Mathematica Packages BS — BitScope (Plot and analyze data from the BitScope USB oscilloscope) KN — Kautz Networks (Some routines relating to K(2,3) graphs) VA — Value Distribution Analysis (Extract compact distributions from large data sets) FA — Factor Analysis (Extract covariance matrix from large tables of values) PROMELA/Spin Models BN — simple beam-forming network LC — Limbo channel example from the IPWL book SM — control path of a speculative multi-threading processor, and its LTL (linear temporal logic) constraints SR — software-defined radio Software The Sunflower embedded microarchitecture full-system simulator can be found here Here's a page with various other pieces of software i've written in the last 15+ years. Datasets Sunlight measurement: 04/28/06/Pittsburgh, 05/09/06/Pittsburgh, Mathematica notebook (uses functions from BS package) Miscellany I designed and taught a StuCo course at CMU, Concurrent and Distributed Programming with Inferno and Limbo in spring of 2004. Random: SSMB Parallelism 
TextbooksInferno Programming with Limbo, my first textbook, published over half a decade ago. Publisher (John Wiley & Sons)'s listing for the book. Amazon.com listing and Amazon.com author page. The book's official web page. U.S. Library of Congress Cataloging Data can be found here. Personal About me: I'm a tall thin man, an antenna, and a cellist. My personal web page can be found here. Some pictures can be found here. I occasionally put pictures of my bookshelf here and here. Sometimes when I listen to music, I listen to these. When I compose music, I use tools like these. |
