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:[EMAIL PROTECTED]">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:[EMAIL PROTECTED]">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 } _______________________________________________ llvm-commits mailing list llvm-commits@cs.uiuc.edu http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits