2006 |
24 | EE | Laurianne McLaughlin,
Barton C. Massey:
In the News.
IEEE Software 23(1): 108-113 (2006) |
23 | EE | Greg Goth,
Bart Massey:
In the News.
IEEE Software 23(6): 99-103 (2006) |
2005 |
22 | EE | James R. Binkley,
Barton C. Massey:
Ourmon and Network Monitoring Performance.
USENIX Annual Technical Conference, FREENIX Track 2005: 95-108 |
21 | EE | Bart Massey:
Longitudinal analysis of long-timescale open source repository data.
ACM SIGSOFT Software Engineering Notes 30(4): 1-5 (2005) |
20 | EE | Greg Goth,
Barton C. Massey:
In the News.
IEEE Software 22(6): 98-102 (2005) |
2003 |
19 | EE | James Perkins,
Andrew Greenberg,
Jamey Sharp,
David Cassard,
Bart Massey:
Free Software and High-Power Rocketry: The Portland State Aerospace Society.
USENIX Annual Technical Conference, FREENIX Track 2003: 245-258 |
18 | EE | Bart Massey,
Mick Thomure,
Raya Budrevich,
Scott Long:
Learning Spam: Simple Techniques For Freely-Available Software.
USENIX Annual Technical Conference, FREENIX Track 2003: 63-76 |
2002 |
17 | EE | Bart Massey,
Robert T. Bauer:
X Meets Z: Verifying Correctness in the Presence of POSIX Threads.
USENIX Annual Technical Conference, FREENIX Track 2002: 221-234 |
16 | EE | Jamey Sharp,
Bart Massey:
XCL: An Xlib Compatibility Layer for XCB.
USENIX Annual Technical Conference, FREENIX Track 2002: 71-83 |
15 | EE | Sergio Antoy,
Pascual Julián Iranzo,
Bart Massey:
Improving the Efficiency of Non-Deterministic Computations.
Electr. Notes Theor. Comput. Sci. 64: (2002) |
2001 |
14 | EE | Marek A. Perkowski,
Malgorzata Chrzanowska-Jeske,
Alan Mishchenko,
Xiaoyu Song,
Anas Al-Rabadi,
Bart Massey,
Pawel Kerntopf,
Andrzej Buller,
Lech Józwiak,
Alan J. Coppola:
Regular Realization of Symmetric Functions Using Reversible Logic.
DSD 2001: 245-253 |
13 | | Sergio Antoy,
Michael Hanus,
Bart Massey,
Frank Steiner:
An Implementation of Narrowing Strategies.
PPDP 2001: 207-217 |
12 | EE | Bart Massey,
Keith Packard:
Nickle: Language Principles and Pragmatics.
USENIX Annual Technical Conference, FREENIX Track 2001: 55-68 |
1999 |
11 | | Charles B. McVey,
David P. Clements,
Barton C. Massey,
Andrew J. Parkes:
Worldwide Aeronautical Route Planner.
AAAI/IAAI 1999: 916-917 |
1996 |
10 | | Evan Tick,
Barton C. Massey,
James S. Larson:
Experience with the Super Monaco Optimizing Compiler.
J. Log. Program. 29(1-3): 141-169 (1996) |
9 | | Zena M. Ariola,
Barton C. Massey,
M. Sami,
Evan Tick:
A Common Intermediate Language and Its Use in Partitioning Concurrent Declarative Programs.
New Generation Comput. 14(3): 281-315 (1996) |
1995 |
8 | | James S. Larson,
Barton C. Massey,
Evan Tick:
Super Monaco: Its Portable and Efficient Parallel Runtime System.
Euro-Par 1995: 527-538 |
7 | | Barton C. Massey,
Evan Tick:
Modes of Comprehension: Mode Analysis of Arrays and Array Comprehensions
PLILP 1995: 207-222 |
1994 |
6 | | Bart Massey,
Evan Tick:
The Diadora Principle: Efficient Execution of Concurrent Logic and Related Languages.
HICSS (2) 1994: 396-404 |
5 | EE | Zena M. Ariola,
Barton C. Massey,
M. Sami,
Evan Tick:
Compilation of Concurrent Declarative Languages.
ICLP Workshop: Integration of Declarative Paradigms 1994: 120-134 |
4 | | Barton C. Massey,
Evan Tick:
Demand-Driven Dataflow for Concurrent Committed-Choice Code.
IFIP PACT 1994: 215-224 |
3 | EE | Barton C. Massey,
Evan Tick:
Mode Analysis of Arrays and Array Comprehensions.
ILPS Workshop: Implementation Techniques for Logic Programming Languages 1994: 0- |
1993 |
2 | | Evan Tick,
Barton C. Massey,
Ferenc Rakoczi,
Putthi Tulayathun:
Concurrent Logic Programs a la Mode.
ICLP-Workshops on Implementation of Logic Programming Systems 1993: 239-254 |
1 | | Barton C. Massey,
Evan Tick:
Sequentialization of Parallel Logic Programs with Mode Analysis.
LPAR 1993: 205-216 |