Venari Project

Project Goals

Venari means "to hunt" in Latin. The thrust of the Venari project at Carnegie Mellon University is addressing the problem of search, hence the name. We touch upon areas in programming and specification language design, semantics, and implementation; concurrent and distributed systems; databases and persistent objects; and software development libraries and environments.

The primary goal of the Venari Project is to provide software support for storing, accessing, and retrieving objects based on their semantics. To support that goal, we have designed and implemented linguistic extensions to the Standard ML programming language to provide persistent data and transactions.

A more complete statement of the project's goals is available here (in PostScript).

Venari Papers

Follow any of the links below to get the abstract and a pointer to the full text.

Venari/ML: design and implementation of concurrent transactions for ML.
Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, and Jeannette M. Wing, Composing First-Class Transactions, ACM Transactions on Programming Languages and Systems, Short Communication, November 1994.
Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, and Jeannette M. Wing, Tinkertoy TransactionsCMU-CS-93-202, December 1993.
James O'Toole, Scott Nettles, and David Gifford, Concurrent Compacting Garbage Collection of a Persistent Heap, Proc. of SOSP, December 1993.
Scott Nettles and James O'Toole, Replication-Based Real-Time Garbage Collection, Proc. of PLDI, June 1993.
J.M. Wing, M. Faehndrich, N. Haines, K. Kietzke, D. Kindred, J.G. Morrisett, and S. Nettles, Venari/ML Interfaces and Examples, CMU-CS-93-123, March 1993.
Scott M. Nettles, James W. O'Toole, David Pierce, and Nicholas Haines, Replication-Based Incremental Copying Collection Proc. of the SIGPLAN International Workshop on Memory Management, 1992.
Jeannette M. Wing, Manuel Faehndrich, J. Gregory Morrisett, and Scott Nettles, Extensions to Standard ML to Support Transactions, ACM SIGPLAN Workshop on ML and its Applications, June 1992. Also CMU-CS-92-132, April 1992.
Scott M. Nettles and J. M. Wing, Persistence + Undoability = Transactions. Proc. of Hawaii International Conference on Systems Science 25, January 1992. Also CMU-CS-91-173, August 1991.
Signature and specification matching
Amy Moormann Zaremski and Jeannette M. Wing, Specification Matching of Software Components, (an extended version of the SIGSOFT 95 paper) To appear TOSEM, 1997.
Amy Moormann Zaremski, Signature and Specification Matching, PhD Thesis, January 1996.
Amy Moormann Zaremski and Jeannette M. Wing, Specification Matching of Software Components, Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering, October 1995. Also CMU-CS-95-127, March 1995.
Amy Moormann Zaremski and Jeannette M. Wing, Signature Matching, a Tool for Using Software Libraries. ACM Transactions on Software Engineering and Methodology (TOSEM), April 1995.
Amy Moormann Zaremski and J.M. Wing, Signature Matching: A Key to Reuse, Proc. ACM SIGSOFT Symp. on the Foundations of Software Engineering,, December 1993. Also CMU-CS-93-151, May 1993.
Eugene R. Rollins and Jeannette M. Wing Specifications as Search Keys for Software Libraries, Proc. of the Eighth International Conference on Logic Programming, June 1991, Also CMU-CS-90-159, September 1990.
Subtyping
Barbara H. Liskov and Jeannette M. Wing, A Behavioral Notion of Subtyping, ACM Transactions on Programming Languages and Systems, November 1994.
Barbara Liskov and Jeannette M. Wing, Family Values: A Behavioral Notion of Subtyping, CMU-CS-93-187 (supersedes CMU-CS-93-149 and CMU-CS-92-220).
Barbara Liskov and Jeannette M. Wing, Specifications and Their Use in Defining Subtypes, Proc. of OOPSLA '93, September 1993.
Barbara Liskov and Jeannette M. Wing, A New Definition of the Subtype Relation, Proc. of the European Conference on Object-Oriented Programming '93, Springer-Verlag LNCS 707, July 1993, pp. 118-141. Also CMU-CS-93-149, April 1993; MIT LCS Programming Methodology Group Memo 76, May 1993.
Applied formal methods
Jeannette M. Wing and Mandana Vaziri-Farahani, A Case Study in Model Checking Software Systems, to appear in Scienc of Computer Programming, accepted April 1996. Also CMU-CS-96-124, April 1996.
Jeannette M. Wing and Mandana Vaziri-Farahani, Model Checking Software Systems: A Case Study, Proc. ACM SIGSOFT Symposium on the Foundations of Software Engineering, October 1995. Also CMU-CS-95-128, March 1995.
Jeannette M. Wing and David Steere, Specifying Weak Sets, Proc. of Int'l Conf. on Dist. Comp. Systems, June 1995.
Lily Mummert, Jeannette Wing, and M. Satyanarayanan, Using Belief to Reason About Cache Coherence, Proc. of the Symposium on Principles of Distributed Computing, August 1994.
Scott Nettles, A Larch Specification of Copying Garbage Collection, CMU-CS-92-219, December 1992.

Venari People and Friends

Nick Haines, Darrell Kindred, Greg Morrisett, Scott Nettles, Gene Rollins, Jeannette Wing, Amy Moormann Zaremski

wing@cs.cmu.edu (last updated 10-July-95)

Venari Project

Project Goals

Venari Papers

Venari People and Friends

Related work