People

Doop is a research project at LogicBlox and the Computer Science Department at the University of Massachusetts Amherst. The project members are:

• Martin Bravenboer
• Yannis Smaragdakis

Contact

If you have questions, comments, or ideas for collaborations, please contact Martin Bravenboer. Currently, there is no mailing list.

Acknowledgments

The Doop project is funded by LogicBlox. Thanks! Several LogicBlox developers regularly help with optimizing our specifications:

• Molham Aref
• Greg Brooks
• Emir Pasalic
• Patrick Yaner
• Todd Veldhuizen
• David Zook

Several Semmle analysis experts have inspired or contributed to the development of Doop:

• Torbjorn Ekman
• Oege de Moor

Emery Berger has kindly given us access to one of his servers to run our benchmarks.

The following early users of Doop have helped us to improve various usability issues:

• Thiago Tonelli Bartolomei

The Software Engineering Research Group (SERG) of the Delft University of Technology in The Netherlands is supporting Doop by hosting our Subversion repository.

Thanks everybody!