Sun Labs Programming Language Research Group: Publications and Fortress Specifications

Programming Language Research Group: Publications and Fortress Specifications

Fortress Language Specification

• Allen, Chase, Hallett, Luchangco, Maessen, Ryu, Steele, Tobin-Hochstadt. The Fortress Language Specification, Version 1.0
• version 1.0beta
• version 1.0alpha
• version 0.954
• version 0.903
• version 0.866
• version 0.785
• version 0.707
• version 0.618

Articles and Magazines

• Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr. Project Fortress: A Multicore Language for Multicore Processors. Linux Magazine, September 2007.
  
  

Talks and Posters

• Jan-Willem Maessen. Bulk Parallel Operations in Fortress. Slides for one-hour colloquium presented at Portland State University, 11 Jan 2010. Complementary to Guy Steele's "Organizing Functional Code for Parallel Exectuion" below.
  
  
• Guy Steele. Organizing Functional Code for Parallel Execution; or, foldl and foldr Considered Slightly Harmful. Slides for a one-hour invited talk. Some overlap with the earlier talk "The Future Is Parallel" but with many new examples and an emphasis on the use of "big" reduction operators to express catamorphisms. Presented at the ACM SIGPLAN International Conference on Functional Programming (ICFP), Edinburgh, Scotland, August 31, 2009.
  
  
• Sukyoung Ryu and Jan-Willem Maessen. A Short Hands-On Introduction to Fortress. 4-hour tutorial presented at MIT CSAIL, 20 April 2009. Half of the class time was devoted to hands-on exercises; code for the exercises and other information on the class can be found on the course Wiki page.
  
  
• Guy Steele. The Future Is Parallel: What's a Programmer to Do? Breaking Sequential Habits of Thought. (30-minute version). Shorter version of the talk presented at NEPLS. Presented at the Workshop on Directions in Multicore Programming Education (co-located with ACM ASPLOS), Washington, DC, March 8, 2009.
  
  
• Guy Steele. The Future Is Parallel: What's a Programmer to Do? Breaking Sequential Habits of Thought.. Slides on the divide-and-conquer strategy for organizing programs, with some small surprising code examples contrasting it with customary linear sequential strategies. One-hour talk presented at the 5 March 2009 meeting of the New England Programming Languages and Systems (NEPLS) Symposium at Mitre. Previously presented at CMU and at an IEEE workshop.
  
  
• Jan-Willem Maessen. The Extraordinary Algebra of List Comprehensions. Slides on the algebra underlying list comprehensions in Fortress. Presented at the 5 March 2009 meeting of the New England Programming Languages and Systems (NEPLS) Symposium at Mitre.
  
  
• Jan-Willem Maessen. Fortress: Parallel Programming Through Extensible Bulk Operations. Colloquium talk at the University of Rochester, Rochester, NY, 10 Nove 2008. Overview of Fortress with detailed look at implementation of Generators and Reductions.
  
  
• Jan-Willem Maessen. Parallel Computing in Fortress, Part I and Part II. Fortress tutorial presented at the Summer School on Trends in Concurrency in Prague. June 22-27, 2008.
  
  
• Eric Allen, David Chase, Christine Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr. Fortress Boot Camp Material. Fortress Boot Camp, May 21-23, 2008.
  
  
• Guy Steele. What's Cool about Fortress . Oxford University (both computer science and numerical analysis departments), May 13, 2008. Some examples have been corrected or improved, and the entire talk has been re-rendered using LaTeX and various Fortress-related tools for an improved appearance.
  
  
• Christine H. Flood. Project Fortress: A New Programming Language from Sun Labs. 2008 JavaOne Conference, May 6, 2008.
  
  
• Sukyoung Ryu. Growing the Fortress Programming Language by Example . Sun Labs Open House, April 10, 2008.
  
  
• Guy Steele, Eric Allen. Project Fortress . Sun Labs Open House, April 9, 2008.
  
  
• Victor Luchangco. Integrating Coercion with Subtyping and Multiple Dispatch. The Object-Oriented Programming Languages and Systems (OOPS) track of the 23rd Annual ACM Symposium of Applied Computing (SAC), March 18, 2008.
  
  
• Jan-Willem Maessen. Panel: "Where Will All the Threads Come From?". The 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming , February 23, 2008.
  
  
• Guy Steele. What's Cool about Fortress . Lecture given at MIT for Boston ACM SIGPLAN chapter and IEEE Computer society on September 20, 2007.
  
  
• Jan-Willem Maessen. The Fortress Parallel Programming Language. Talk given to the Solaris users groups in NYC and northern NJ, July 18-19, 2007.
  
  
• Sukyoung Ryu. Fortress: A New Programming Language for Scientific Computing. This talk was given at:
  • Korea Advanced Institute of Science and Technology, March 19, 2007
  • Seoul National University, March 20, 2007.
  
  
• Sukyoung Ryu. Modular Multiple Dispatch with Multiple Inheritance. The Object-Oriented Programming Languages and Systems (OOPS) track of the 22nd Annual ACM Symposium of Applied Computing (SAC), March 12, 2007.
  
  
• Eric Allen. Object-Oriented Programming in Fortress. Invited talk at FOOL/WOOD 2007. Slides for a 60 minute introduction to the object-oriented features of Fortress.
  
  
• Eric Allen. Project Fortress. Slides for a 60 minute talk about Fortress that focuses on the type system, component system, and the Fortress open source effort.
  
  
• Guy Steele. The Fortress Parallel Programming Language. 2006 GSPx Multicore Applications Conference , October 31, 2006. Slides for a 30-minute talk about Fortress.
  
  
• Guy Steele. A Growable Language. OOPSLA 2006: ACM SIGPLAN International Conference on Object-Oriented Systems, Programming, Languages, and Applications , October 25, 2006. Slides for a 90-minute talk about Fortress.
  
  
• J.J. Hallett. Modular Multiple Dispatch with Multiple Inheritance. New England Programming Languages and Systems Symposium Series, October 6, 2006.
  
  
• Guy Steele. The History of Scheme. JAOO Tenth Annual Conference, October 4, 2006.
  
  
• Guy Steele. The Soul of a New Programming Language. JAOO Tenth Annual Conference, October 3, 2006.
  
  
• Guy Steele. Parallel Programming and Parallel Abstractions in Fortress. This 60-minute talk consists of slides taken from several earlier talks about Fortress, reordered and lightly edited for clarity and to correct typos. This talk was given at:
  • Harvard University Initiative in Innovative Computing, September 27, 2006
  • Aarhus University, October 5, 2006
  • Intel Research, October 30
  • Stanford University, October 31
  • AMD Research, November 1
  
  
• Jan-Willem Maessen, Guy Steele. Fortress Programming Language Tutorial. Programming Language Design and Implementation, June 11, 2006.
  
  
• Guy Steele. The Fortress Programming Language. Lecture given at the University of Tokyo on April 27, 2006, and at Kyoto University on May 2, 2006.
  
  
• Guy Steele. Parallel Programming and Parallel Abstractions in Fortress. Eighth International Symposium on Functional and Logic Programming (FLOPS), April 24, 2006. (Despite having the same title, this talk differs substantially from the talk at PACT on September 20, 2005; rather, it is an improved version of the talk given at CGO/PPoPP on March 29, 2006.)
  
  
• J.J. Hallett. First-Class Hidden Types. IBM Programming Languages Day, April 17, 2006.
  
  
• Sukyoung Ryu Formalism in the Fortress Programming Language. The Church Seminar at Boston University, April 11, 2006.
  
  
• Guy Steele. Parallel Programming and Code Selection in Fortress. Invited talk at a joint luncheon of the Fourth Annual ACM/IEEE International Symposium on Code Generation and Optimization (CGO) and the ACM SIGPLAN 2006 Symposium on Principles and Practice of Parallel Programming (PPoPP), March 29, 2006.
  
  
• Guy Steele. Parallel Programming and Parallel Abstractions in Fortress. Fourteenth Conference on Parallel Architectures and Compilation (PACT), September 20, 2005.
  
  
• Jan-Willem Maessen. Parallelism in Fortress. Parallel Global Address Space (PGAS) Programming Models Conference, September 14, 2005.
  
  
• Eric Allen, Sukyoung Ryu, Joe Hallett. Formalism in the Fortress Programming Language (poster), June 22, 2005.
  
  
• Jan-Willem Maessen. Parallelism in Fortress (poster), June 22, 2005.
  
  
• Jan-Willem Maessen. Fortress for Productive Computing. Workshop in Programming Models for HPCS Ultra-scale Applications (PUMA 2005), June 21, 2005.
  
  
• David Chase. Fortress 0.62. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), June 16, 2005.
  
  
• Guy Steele. Fortress: A New Programming Language for Scientific Computing. Sun Labs Open House, April 28, 2005.
  
  
• Eric Allen. Encapsulated Upgradable Components. IBM Programming Languages Day, April 22, 2005.
  
  
• Eric Allen. Object-Oriented Units of Measurement. OOPSLA 2004: ACM SIGPLAN International Conference on Object-Oriented Systems, Programming, Languages, and Applications , October 28, 2004.
  
  

Papers and Technical Reports

• J.J. Hallett. Semantics and Type Soundness Proof of a Core Fragment of Fortress with Hidden Type Variables.
  
  
• Allen, Hallett, Luchangco, Ryu, Tobin-Hochstadt. Ensuring Acyclicity of the Type Hierarchy in Core Fortress.
  
  
• Allen, Hallett, Luchangco, Ryu, Steele. Modular Multiple Dispatch with Multiple Inheritance. SAC 2007.
  
  
• Tobin-Hochstadt, Allen. A Core Calculus of Metaclasses. FOOL 2005.
  
  
• Tobin-Hochstadt, Allen. Formal Semantics for MCJ.
  
  
• Allen, Chase, Luchangco, Maessen, Steele. Object-Oriented Units of Measurement. OOPSLA 2004.
  
  

Back to Programming Language Research Group