Merge branch 'master' of ssh://cvs.cs.unc.edu/cvs/proj/litmus/repo/rthp

4 files changed, 205 insertions, 20 deletions

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..0d20b64
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+*.pyc
diff --git a/conferences.csv b/conferences.csv
new file mode 100644
index 0000000..6a4391b
--- /dev/null
+++ b/conferences.csv
@@ -0,0 +1,16 @@
+RTSS,http://sites.ieee.org/rtss2012/,"San Juan, Puerto Rico",5/15/2012,12/5/2012,12/7/2012
+ECRTS,http://ecrts12.ecrts.org/,"Pisa, Italy",2/3/2012,7/10/2012,7/13/2012
+RTAS,http://www.rtas.org/,"Beijing, China",10/14/2011,4/16/2012,4/19/2012
+SIES,http://sies2012.ira.uka.de/index.php,"Karlsruhe, Germany",2/26/2012,6/20/2012,6/22/2012
+ETFA,http://www.etfa2012.org/,"Krakow, Poland",3/25/2012,9/17/2012,9/21/2012
+RTCSA,http://rtcsa.konkuk.ac.kr/,"Seoul, Korea",4/16/2012,8/20/2012,8/22/2012
+"ESWeek (3 Conferences)",http://www.esweek.org/,"Tampere, Finland",4/11/2011,10/9/2011,10/14/2011
+RTLWS,https://www.osadl.org/RTLWS-2012.rtlws-2012.0.html,"Chapel Hill, NC",TBD,10/18/2012,10/20/2012
+RTNS,http://rtns2011.irccyn.ec-nantes.fr/#page=home,"Nancy, France",TBD,11/8/2012,11/9/2012
+OPODIS,http://www.opodis.net/,"Toulouse, France",7/22/2011,12/12/2011,12/16/2011
+IPDPS,http://www.ipdps.org/,"Shanghai, China",10/2/2011,5/21/2012,5/25/2012
+LAW,http://www.acsac.org/2011/workshops/law/,"Orlando, FA",9/29/2011,12/5/2011,12/9/2011
+EuroSys,http://eurosys2012.unibe.ch/,"Bern, Switzerland",10/20/2011,4/11/2012,4/13/2012
+NFM,http://shemesh.larc.nasa.gov/nfm2012/,"Norfolk, VA",12/18/2011,4/3/2012,4/5/2012
+APRES,http://cps.kaist.ac.kr/apres2012/,"Beijing, China",1/29/2012,4/16/2012
+ICPP,http://www.icpp2012.org/,"Pittsburgh, PA",3/2/2012,9/10/2012,9/13/2012
diff --git a/conferences.html b/conferences.html
index 48bf1f2..efbfbb9 100644
--- a/conferences.html
+++ b/conferences.html
@@ -27,28 +27,26 @@
       <div id="content">
         <h2>Conferences</h2>
         <p>Following is a listing of conferences, workshops and symposia of relevance to our research group.</p>
-        <p>Past deadlines are listed in <span style="color: red">red</span>. These listings are retained <u>until the conference has been held and the web page for its successor is available</u>.</p>
+        <p>Past deadlines are listed in <span style="color: red">red</span>. These listings are retained until the conference has been held and the web page for its successor is available.</p>
         <p>This information is subject to frequent change. If you notice some information that is outdated, we kindly ask that you <a href="mailto:cjk@cs.unc.edu">send email to</a> the maintainer of this page.</p>
         <table class="event">
-            <tr class="heading"><td>Deadline</td><td>Conference</td><td>Location</td><td>Dates</td></tr>
-            <tr><td style="color: red">May&nbsp;16,&nbsp;2010</td><td><a href="http://www.rtss.org">RTSS</a></td><td>San Diego, CA</td><td>Dec.&nbsp;1-3,&nbsp;2010</td></tr>
-            <tr><td style="color: red">Jun.&nbsp;6,&nbsp;2010</td><td><a href="http://www.irit.fr/rtns2010">RTNS</a></td><td>Toulouse, FR</td><td>Nov.&nbsp;4-5,&nbsp;2010</td></tr>
-            <tr><td style="color: red">July&nbsp;25,&nbsp;2010</td><td><a href="http://www.opodis.net">OPODIS</a></td><td>Tozeur, Tunisia</td><td>Dec.&nbsp;14-17,&nbsp;2010</td></tr>
-            <tr><td style="color: red">TBA</td><td><a href="http://fm.csl.sri.com/LAW/2010/index.shtml">Layered Assurance Workshop</a></td><td>Austin, TX</td><td>Dec.&nbsp;6-7,&nbsp;2010</td></tr>
-            <tr><td style="color: red">Oct.&nbsp;1,&nbsp;2010</td><td><a href="http://www.ipdps.org">IPDPS</a></td><td>Anchorage, AK</td><td>May&nbsp;16-20,&nbsp;2011</td></tr>
-            <tr><td style="color: red">Oct.&nbsp;8,&nbsp;2010</td><td><a href="http://www.rtas.org/">RTAS</a></td><td>Chicago, Il</td><td>Apr.&nbsp;11-14,&nbsp;2011</td></tr>
-            <tr><td style="color: red">Oct.&nbsp;10,&nbsp;2010</td><td><a href="http://eurosys2011.cs.uni-salzburg.at/">EuroSys</a></td><td>Salzburg,&nbsp;Austria</td><td>Apr.&nbsp;10-13,&nbsp;2011</td></tr>
-            <tr><td style="color: red">Oct.&nbsp;14,&nbsp;2010</td><td><a href="http://dream.eng.uci.edu/isorc2011/workshop.html">IEEE Workshop on Applications and Architectures for Mixed Criticality Systems</a></td><td>Newport&nbsp;Beach,&nbsp;CA</td><td>Mar.&nbsp;31&nbsp;2011</td></tr>
-            <tr><td style="color: red">Dec.&nbsp;19,&nbsp;2010</td><td><a href="http://lars-lab.jpl.nasa.gov/nfm2011">NASA Formal Methods Symposium</a></td><td>Pasadena,&nbsp;CA</td><td>Apr. 18-20,&nbsp;2011</td></tr>
-            <tr><td>Jan.&nbsp;23,&nbsp;2011</td><td><a href="http://www.cister.isep.ipp.pt/ecrts11/">ECRTS</td><td>Porto, Portugal</td><td>Jul.&nbsp;5-8&nbsp;2011</td></tr>
-            <tr><td style="">Feb.&nbsp;8,&nbsp;2011</td><td><a href="http://apres2011.uwaterloo.ca/">APRES</a></td><td>Chigago,&nbsp;IL</td><td>Apr.&nbsp;11,&nbsp;2011</td></tr>
-            <tr><td>Feb.&nbsp;20,&nbsp;2011</td><td><a href="http://www.mrtc.mdh.se/sies2011/index.php">IEEE-SIES</a></td><td>Västerås, SE</td><td>Jun.&nbsp;15-17,&nbsp;2011</td></tr>
-            <tr><td style="">Feb.&nbsp;24,&nbsp;2011</td><td><a href="http://icpp2011.org">ICPP</a></td><td>Taipei, Taiwan</td><td>Sep.&nbsp;13-16,&nbsp;2011</td></tr>
-            <tr><td style="">Mar.&nbsp;21,&nbsp;2011</td><td><a href="http://www.etfa-2011.org">ETFA</a></td><td>Toulouse, FR</td><td>Sep.&nbsp;5-9,&nbsp;2011</td></tr>
-            <tr><td style="">Apr.&nbsp;4,&nbsp;2011</td><td><a href="http://emsoft2011.uwaterloo.ca/index.shtml">EMSOFT</a></td><td>Taipei, Taiwan</td><td>Oct.&nbsp;9-14,&nbsp;2011</td></tr>
-            <tr><td style="">Apr.&nbsp;15,&nbsp;2011</td><td><a href="http://www.rtcsa.org">RTCSA</a></td><td>Toyama, Japan</td><td>Aug.&nbsp;29-31,&nbsp;2011</td></tr>
-            <tr><td style="">Jun.&nbsp;30,&nbsp;2011</td><td><a href="http://trust.csu.edu.cn/conference/icess2011/">ICESS</a></td><td>Changsha,&nbsp;China</td><td>Nov.&nbsp;16-18,&nbsp;2011</td></tr>
-
+            <tr class="heading"><td style="width: 150px">Deadline</td><td style="width: 200px">Conference</td><td style="width: 140px">Location</td><td style="width: 200px">Dates</td></tr>
+            <tr><td style="color: red">Apr. 11, 2011</td><td><a href="http://www.esweek.org/">ESWeek (3 Conferences)</a></td><td>Tampere, Finland</td><td>Oct. 9 &ndash; 14, 2011</td></tr>
+            <tr><td style="color: red">Jul. 22, 2011</td><td><a href="http://www.opodis.net/">OPODIS</a></td><td>Toulouse, France</td><td>Dec. 12 &ndash; 16, 2011</td></tr>
+            <tr><td style="color: red">Sep. 29, 2011</td><td><a href="http://www.acsac.org/2011/workshops/law/">LAW</a></td><td>Orlando, FA</td><td>Dec. 5 &ndash; 9, 2011</td></tr>
+            <tr><td style="color: red">Oct. 2, 2011</td><td><a href="http://www.ipdps.org/">IPDPS</a></td><td>Shanghai, China</td><td>May. 21 &ndash; 25, 2012</td></tr>
+            <tr><td style="color: red">Oct. 14, 2011</td><td><a href="http://www.rtas.org/">RTAS</a></td><td>Beijing, China</td><td>Apr. 16 &ndash; 19, 2012</td></tr>
+            <tr><td style="color: red">Oct. 20, 2011</td><td><a href="http://eurosys2012.unibe.ch/">EuroSys</a></td><td>Bern, Switzerland</td><td>Apr. 11 &ndash; 13, 2012</td></tr>
+            <tr><td style="color: red">Dec. 18, 2011</td><td><a href="http://shemesh.larc.nasa.gov/nfm2012/">NFM</a></td><td>Norfolk, VA</td><td>Apr. 3 &ndash; 5, 2012</td></tr>
+            <tr><td>Jan. 29, 2012</td><td><a href="http://cps.kaist.ac.kr/apres2012/">APRES</a></td><td>Beijing, China</td><td>Apr. 16, 2012</td></tr>
+            <tr><td>Feb. 3, 2012</td><td><a href="http://ecrts12.ecrts.org/">ECRTS</a></td><td>Pisa, Italy</td><td>Jul. 10 &ndash; 13, 2012</td></tr>
+            <tr><td>Feb. 26, 2012</td><td><a href="http://sies2012.ira.uka.de/index.php">SIES</a></td><td>Karlsruhe, Germany</td><td>Jun. 20 &ndash; 22, 2012</td></tr>
+            <tr><td>Mar. 2, 2012</td><td><a href="http://www.icpp2012.org/">ICPP</a></td><td>Pittsburgh, PA</td><td>Sep. 10 &ndash; 13, 2012</td></tr>
+            <tr><td>Mar. 25, 2012</td><td><a href="http://www.etfa2012.org/">ETFA</a></td><td>Krakow, Poland</td><td>Sep. 17 &ndash; 21, 2012</td></tr>
+            <tr><td>Apr. 16, 2012</td><td><a href="http://rtcsa.konkuk.ac.kr/">RTCSA</a></td><td>Seoul, Korea</td><td>Aug. 20 &ndash; 22, 2012</td></tr>
+            <tr><td>May. 15, 2012</td><td><a href="http://sites.ieee.org/rtss2012/">RTSS</a></td><td>San Juan, Puerto Rico</td><td>Dec. 5 &ndash; 7, 2012</td></tr>
+            <tr><td>TBD</td><td><a href="https://www.osadl.org/RTLWS-2012.rtlws-2012.0.html">RTLWS</a></td><td>Chapel Hill, NC</td><td>Oct. 18 &ndash; 20, 2012</td></tr>
+            <tr><td>TBD</td><td><a href="http://rtns2011.irccyn.ec-nantes.fr/#page=home">RTNS</a></td><td>Nancy, France</td><td>Nov. 8 &ndash; 9, 2012</td></tr>
         </table>
       </div>
     </div>
diff --git a/conferences.py b/conferences.py
new file mode 100755
index 0000000..067eb6e
--- /dev/null
+++ b/conferences.py
@@ -0,0 +1,170 @@
+#!/usr/bin/env python
+
+from __future__ import print_function
+
+import sys
+import csv
+from functools import total_ordering
+from datetime import datetime
+from operator import attrgetter
+
+"""Read CSV and make HTML for the conference page.
+
+Handles sorting dates, TBD dates, dates in the past, and more.
+No guarantees that this is bug free :)
+
+Author: Christopher Kenna (2012)
+
+"""
+
+@total_ordering
+class ConferenceDate(object):
+    TBD_STR = 'tbd'
+    TBD_VAL = 'tbd'
+
+    def __init__(self, date):
+        if isinstance(date, datetime):
+            self.dt = date
+        else:
+            self.dt = self.date_from_str(date)
+
+    @classmethod
+    def date_from_str(cls, date_str):
+        try:
+            return datetime.strptime(date_str, '%m/%d/%Y')
+        except ValueError:
+            if cls.TBD_STR == date_str.lower():
+                return cls.TBD_VAL
+            die('bad date: {0}'.format(date_str))
+
+    @classmethod
+    def get_timespan(cls, start, end):
+        ret = []
+        if start is end:
+            ret.append(cls.html_date(start))
+        elif (not start.is_tbd() and not end.is_tbd() and 
+              start.dt.month == end.dt.month):
+            ret.append(start.dt.strftime('%b. {0}'.format(start.dt.day)))
+            ret.append('&ndash;')
+            ret.append(end.dt.strftime('{0}, %Y'.format(end.dt.day)))
+        else:
+            ret.extend([cls.html_date(start), '&endash;',
+                cls.html_date(end)])
+        return ' '.join(ret)
+
+    @classmethod
+    def html_date(cls, d):
+        if d.is_tbd():
+            return 'TBD'
+        # using string format to get '2' and not '02'
+        return d.dt.strftime('%b. {0}, %Y'.format(d.dt.day))
+
+    def __eq__(self, other):
+        a_is_tbd, b_is_tbd = self.is_tbd(), other.is_tbd()
+        if a_is_tbd and b_is_tbd:
+            return True
+        elif a_is_tbd or b_is_tbd:
+            return False
+        else:
+            return self.dt == other.dt
+
+    def __lt__(self, other):
+        a_is_tbd, b_is_tbd = self.is_tbd(), other.is_tbd()
+        if not a_is_tbd and not b_is_tbd:
+            return self.dt < other.dt
+        if not a_is_tbd and b_is_tbd:
+            return True
+        else:
+            # (a_is_tbd and not b_is_tbd) or (a_is_tbd and b_is_tbd)
+            return False
+
+    def is_tbd(self):
+        return ConferenceDate.TBD_VAL == self.dt
+
+    def in_past(self):
+        return self < ConferenceDate(datetime.now())
+
+    def in_past_style(self):
+        return 'color: red' if self.in_past() else None
+
+
+@total_ordering
+class Conference(object):
+    def __init__(self, name, url, location, deadline, start, end=None):
+        self.name = name
+        self.url = url
+        self.location = location
+        self.deadline = ConferenceDate(deadline)
+        self.start = ConferenceDate(start)
+        self.end = self.start if end is None else ConferenceDate(end)
+
+        if self.end < self.start:
+            die('start before end for {0}'.format(self.name))
+
+    @classmethod
+    def make_td(cls, contents, style=None):
+        _style = ''
+        if style is not None:
+            _style = ' style="{0}"'.format(style)
+        return '<td{0}>{1}</td>'.format(_style, contents)
+
+    def __eq__(self, other):
+        cmps = ('deadline', 'name', 'url', 'location', 'start', 'end')
+        for s in cmps:
+            ag = attrgetter(s)
+            if ag(self) != ag(other):
+                return False
+        return True
+
+    def __lt__(self, other):
+        cmps = ('deadline', 'name', 'url', 'location', 'start', 'end')
+        for s in cmps:
+            ag = attrgetter(s)
+            a, b = ag(self), ag(other)
+            if a < b:
+                return True
+            elif a > b:
+                return False
+        return False
+
+    def html(self):
+        s = ['<tr>']
+        s.append(self.make_td(ConferenceDate.html_date(self.deadline),
+            style=self.deadline.in_past_style()))
+        s.append(self.make_td('<a href="{0}">{1}</a>'.format(
+            self.url, self.name)))
+        s.append(self.make_td(self.location))
+        s.append(self.make_td(ConferenceDate.get_timespan(self.start, self.end)))
+        s.append('</tr>')
+        return ''.join(s)
+
+
+def die(msg, e=None):
+    print(msg, file=sys.stderr)
+    sys.exit(1)
+
+
+def load_conferences(in_f):
+    c = []
+    r = csv.reader(open(in_f, 'r'))
+    for row in r:
+        try:
+            c.append(Conference(*row))
+        except TypeError as e:
+            print('error on {0}'.format(row), file=sys.stderr)
+            die('error message: {0}'.format(e.message))
+    return c
+
+
+def main():
+    if len(sys.argv) < 2:
+        die('usage: {0} <CSV file>'.format(sys.argv[0]))
+
+    in_f = sys.argv[1]
+    conferences = load_conferences(in_f)
+    for c in sorted(conferences):
+        print(c.html())
+
+
+if __name__ == '__main__':
+    main()