PLINY.RICE.EDU SERVER
Our parsers found that a lone page on pliny.rice.edu took two hundred and eighty-one milliseconds to download. We could not observe a SSL certificate, so in conclusion our crawlers consider this site not secure.
Internet Protocol
128.42.128.17
SERVER OS AND ENCODING
We revealed that pliny.rice.edu is employing the Apache/2.2.15 (Red Hat) server.HTML TITLE
Home Pliny Big Code AnalyticsDESCRIPTION
Skip directly to content. The Pliny project aims to develop a family of systems for automatically detecting and fixing errors in programs, and synthesizing reliable code from high-level specifications. A unique feature of Pliny is that it aims to achieve these tasks using knowledge hidden in Big Code. Pliny is a collaboration between Rice University, University of Texas at Austin, University of Wisconsin, and Grammatech, Inc., and is funded under the DARPA MUSE. Supported by the DARPA.PARSED CONTENT
The web site states the following, "The Pliny project aims to develop a family of systems for automatically detecting and fixing errors in programs, and synthesizing reliable code from high-level specifications." We noticed that the web site also said " A unique feature of Pliny is that it aims to achieve these tasks using knowledge hidden in Big Code." It also said " Pliny is a collaboration between Rice University, University of Texas at Austin, University of Wisconsin, and Grammatech, Inc. , and is funded under the DARPA MUSE."