[llvm-commits] CVS: llvm-www/safecode/newindex.html newsafecode.css
John Criswell
criswell at cs.uiuc.edu
Wed Jun 28 09:36:18 PDT 2006
Changes in directory llvm-www/safecode:
newindex.html added (r1.1)
newsafecode.css added (r1.1)
---
Log message:
Attempt to make a new SAFECode web page.
---
Diffs of the changes: (+184 -0)
newindex.html | 92 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
newsafecode.css | 92 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++
2 files changed, 184 insertions(+)
Index: llvm-www/safecode/newindex.html
diff -c /dev/null llvm-www/safecode/newindex.html:1.1
*** /dev/null Wed Jun 28 11:35:56 2006
--- llvm-www/safecode/newindex.html Wed Jun 28 11:35:46 2006
***************
*** 0 ****
--- 1,92 ----
+ <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
+ "http://www.w3.org/TR/html4/strict.dtd">
+ <html>
+ <head>
+ <title>SAFE Code</title>
+ <link rel="stylesheet" href="newsafecode.css" type="text/css">
+ </head>
+ <body>
+
+ <div class="www_title">SAFECode</div>
+
+ <hr>
+
+ <H2>Static Analysis For safe Execution of Code</H2>
+
+ <p>The purpose of the SAFECode project is to enable program safety without
+ runtime checks and garbage collection, through 100% or near-100% static
+ enforcement of program safety properties. SAFECode defines a code
+ representation with minimal semantic restrictions designed to enable static
+ enforcement of safety, using aggressive compiler techniques developed in this
+ project.</p>
+
+
+ <H3><a href="http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html">
+ Accompanying Technical Report
+ of our PLDI Submission</a>: Enforcing Alias Analysis for Weakly Typed Languages.
+ </H3>
+
+ <H3>Project Members</H3>
+
+ <H4>Faculty</H4>
+
+ <ul>
+ <li><a href="http://www.cs.uiuc.edu/~vadve">Vikram Adve</a></li>
+ </ul>
+
+ <H4>Graduate Students</H4>
+
+ <ul>
+ <li><a href="http://llvm.cs.uiuc.edu/~dhurjati">Dinakar Dhurjati</a></li>
+ <li><a href="mailto:kowshik at cs.uiuc.edu">Sumant Kowshik</a></li>
+ <li><a href="http://www.nondot.org/~sabre">Chris Lattner</a></li>
+ </ul>
+
+ <H3> Publications</H3>
+
+ <ul>
+ <li> "<a href="http://llvm.cs.uiuc.edu/pubs/2005-11-SAFECodeTR.html"> Enforcing Alias Analysis for Weakly Typed Languages </a>"
+ <br>
+ Dinakar dhurjati, Sumant Kowshik, and Vikram Adve. Technical Report
+ #UIUCDCS-R-2005-2657, Computer Science Dept., University of
+ Illinois, Nov 2005</li>
+ <li>"<a href="http://llvm.cs.uiuc.edu/pubs/2005-02-TECHREPORT-SAFECode.html">Memory Safety Without
+ Garbage Collection for Embedded Applications</a>"<br> Dinakar
+ Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner. <a
+ href="http://www.acm.org/tecs/"> <i>ACM Transactions in
+ Embedded Computing Systems (TECS) </i></a>, February 2005. </li>
+ <li><a
+ href="http://llvm.cs.uiuc.edu/pubs/2003-05-05-LCTES03-CodeSafety.html">Memory
+ Safety without Runtime Checks or Garbage Collection for Embedded Systems</a>
+ <br>
+ Dinakar Dhurjati, Sumant Kowshik, Vikram Adve and Chris Lattner. LCTES
+ 2003.</li>
+ <li><a
+ href="http://llvm.cs.uiuc.edu/pubs/2002-08-08-CASES02-ControlC.html">Ensuring
+ Code Safety without Runtime Checks for Real Time Control Systems</a><br>
+ Sumant Kowshik, Dinakar Dhurjati, Vikram Adve. CASES 2002.</li>
+ </ul>
+
+ <H3>Funding</H3>
+
+ <p>This project is sponsored by the NSF Embedded Systems program under award
+ CCR-02-09202 and in part by an NSF CAREER award, EIA-0093426 and ONR,
+ N0004-02-0102.</p>
+
+ <H3>Links</H3>
+ <ul>
+ <li><a href="http://llvm.cs.uiuc.edu">LLVM</a></li>
+ </ul>
+
+ <hr>
+ <address>
+ <a href="http://jigsaw.w3.org/css-validator/"><img
+ src="http://jigsaw.w3.org/css-validator/images/vcss" alt="Valid CSS!"></a>
+ <a href="http://validator.w3.org/check/referer"><img
+ src="http://www.w3.org/Icons/valid-html401" alt="Valid HTML 4.01!" /></a>
+
+ <a href="mailto:dhurjati at uiuc.edu">Dinakar Dhurjati</a>
+ </address>
+
+ </body>
+ </html>
Index: llvm-www/safecode/newsafecode.css
diff -c /dev/null llvm-www/safecode/newsafecode.css:1.1
*** /dev/null Wed Jun 28 11:36:18 2006
--- llvm-www/safecode/newsafecode.css Wed Jun 28 11:35:46 2006
***************
*** 0 ****
--- 1,92 ----
+ /*
+ * LLVM website style sheet
+ */
+
+ /* No borders on image links */
+ a:link img, a:visited img { border-style: none }
+
+ address img { float: right; width: 88px; height: 31px; }
+ address { clear: right; }
+
+ /* Main website */
+ .www_title { font-family: "Georgia,Palatino,Times,Roman";
+ font-size: 33pt;
+ text-align: center;}
+
+ .www_sidebar { text-align: center;
+ font-family: "Georgia,Palatino,Times,Roman";
+ font-size: 12pt;
+ margin-left: 0em; margin-right: 0em;
+ padding: 0.15em 0.15em 0.15em .15em;
+ width: 100%;
+ background: url("img/lines.gif");
+ border: 2px solid #cccccc }
+
+ .www_sectiontitle, .www_subsection {
+ border-width: 1px;
+ border-style: solid none solid none;
+ text-align: center;
+ vertical-align: middle;
+ font-family: "Georgia,Palatino,Times,Roman";
+ font-weight: bold; font-size: 18pt;
+ background: url("img/lines.gif");
+ padding: 0.1em 0.1em 0.1em .1em;
+ width: 100%;
+ margin-bottom: 0.3em; }
+
+ .www_subsection { width: 75%;
+ text-align: left; font-size: 12pt; }
+
+ .www_subsubsection { margin: 1.0em 0.5em 0.5em 0.5em;
+ font-weight: bold; font-style: oblique;
+ border-bottom: 1px solid #999999; font-size: 12pt;
+ width: 75%; }
+
+ .www_code { border: solid 1px gray; background: #eeeeee;
+ margin: 0 1em 0 1em;
+ padding: 0 1em 0 1em;
+ display: table; }
+
+ .www_footer { text-align: left; padding: 0 0 0 0 }
+
+ /* Publications */
+ .pub_title { font-family: "Georgia,Palatino,Times,Roman";
+ font-size: 24pt;
+ text-align: center }
+
+ .pub_author { font-size: 14pt; text-align: center }
+
+ /* Releases */
+ .rel_container { text-align: center;
+ margin-left: 20% }
+
+ .rel_title { text-align: center;
+ font-family: "Georgia,Palatino,Times,Roman";
+ font-weight: bold; font-size: 28pt;
+ margin-bottom: 0.5em }
+
+
+ .rel_section { vertical-align: middle;
+ border-width: 1px;
+ border-style: solid none solid none;
+ text-align: center;
+ vertical-align: middle;
+ font-family: "Georgia,Palatino,Times,Roman";
+ font-weight: bold; font-size: 18pt;
+ background: url("img/lines.gif");
+ margin: 1em 0.5em 1em 0.5em;
+ padding-left: 1em;
+ width: 300px }
+
+ .rel_sectiontxt { padding: 0 1em 0 1em;
+ margin: 1em 0.5em 1em 0.5em }
+
+ .rel_intro,
+ .rel_boxtext { text-align: left;
+ font-family: "Georgia,Palatino,Times,Roman";
+ font-size: 11pt;
+ padding: 0.5em 0.5em 0.5em 1.5em;
+ margin-left: 2em; margin-right: 3em;
+ width: 60%;
+ background: #f7f7f7;
+ border: 2px solid #cccccc }
More information about the llvm-commits
mailing list