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).
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.
- Signature and specification matching
- Applied formal methods
Venari People and Friends
Amy Moormann Zaremski
CMU School of Computer Science home page
firstname.lastname@example.org (last updated 10-July-95)