Skip to content

Commit dcfbca2

Browse files
vahldiekvahldiek
committed
Add sosp2019 organizers.md and results.md Convert HTML-only sosp2019 pages to markdown format matching other conferences. Enables pipeline scraping of SOSP 2019 AE committee (3 chairs + 41 members) and results (22 artifacts).
1 parent 472bd09 commit dcfbca2

2 files changed

Lines changed: 207 additions & 0 deletions

File tree

‎_conferences/sosp2019/organizers.md‎

Lines changed: 50 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,50 @@
1+
## Artifact Evaluation Chairs
2+
3+
- Baris Kasikci, University of Michigan
4+
- Vijay Chidambaram, University of Texas at Austin
5+
- Supreeth Shastri, University of Texas at Austin
6+
7+
## Artifact Evaluation Committee
8+
9+
- Ramnatthan Alagappan, University of Wisconsin Madison
10+
- Pierre-Louis Aublin, Keio University Japan
11+
- Vinay Banakar, Hewlett Packard Enterprise
12+
- Emad Heydari Beni, KU Leuven
13+
- Tej Chajed, MIT
14+
- Ata Fatahi, Penn State University
15+
- Swapnil Gandhi, Indian Institute of Science Bangalore
16+
- Panagiotis Garefalakis, Imperial College London
17+
- Shady Issa, INESC-ID Portugal
18+
- Rishabh Iyer, EPFL
19+
- Shehbaz Jaffer, University of Toronto
20+
- Abhinav Jangda, UMass Amherst
21+
- Saurabh Jha, UIUC
22+
- Ivo Jimenez, UC Santa Cruz
23+
- Kostis Kaffes, Stanford University
24+
- Tanvir Khan, University of Michigan
25+
- Chung Hwan Kim, NEC Labs America
26+
- Thomas Lemberger, LMU Munich
27+
- Joshua Lind, Imperial College London
28+
- Kai Mast, Cornell University
29+
- Christopher Meiklejohn, CMU
30+
- Bunjamin Memishi, German Aerospace Center
31+
- Rodrigo Moreira, Federal University of Uberlandia, Brazil
32+
- Fabio Pierazzi, King's College London
33+
- Thamir Qadah, Purdue University
34+
- Andrew Quinn, University of Michigan
35+
- Prabhu Rajasekaran, UC Irvine
36+
- Aravindh Raman, King's college London
37+
- Lukas Rupprecht, IBM Research Almaden
38+
- Alireza Sanaee, University of Illinois at Chicago
39+
- Valerio Schiavoni, University of Neuchatel, Switzerland
40+
- Mohammad Shahrad, Princeton University
41+
- Aakash Sharma, Arctic University of Norway
42+
- Zhenyu Song, Princeton University
43+
- Akshitha Sriraman, University of Michigan
44+
- Amoghavarsha Suresh, Stony Brook University
45+
- Iman Tabrizian, University of Toronto
46+
- Chia-Che Tsai, Texas A&M University
47+
- Anjo Vahldiek-Oberwagner, Intel Labs
48+
- Shuai Wang, Hong Kong University of Science and Technology
49+
- Xiaoguang Wang, Virginia Tech
50+
- Fang Zhou, Ohio State University

‎_conferences/sosp2019/results.md‎

Lines changed: 157 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,157 @@
1+
---
2+
title: Results
3+
order: 40
4+
available_img: "acm_available_1.1.png"
5+
available_name: "Artifacts Available (v1.1)"
6+
functional_img: "acm_functional_1.1.png"
7+
functional_name: "Artifacts Evaluated - Functional (v1.1)"
8+
reproduced_img: "acm_reproduced_1.1.png"
9+
reproduced_name: "Results Reproduced (v1.1)"
10+
artifacts:
11+
12+
- title: "Verifying concurrent, crash-safe systems with Perennial"
13+
github_url: "https://github.com/mit-pdos/perennial/tree/master/artifact"
14+
badges: Available, Functional, Reproduced
15+
16+
- title: "Risk-based planning for evolving data-center networks"
17+
github_url: "https://github.com/SiGe/Janus"
18+
badges: Available, Functional, Reproduced
19+
award: true
20+
21+
- title: "Scaling symbolic evaluation for automated verification of systems code with Serval"
22+
github_url: "https://unsat.cs.washington.edu/projects/serval/"
23+
badges: Available, Functional, Reproduced
24+
award: true
25+
26+
- title: "RECIPE: Converting Concurrent DRAM Indexes to Persistent-Memory Indexes"
27+
github_url: "https://github.com/utsaslab/RECIPE"
28+
badges: Available, Functional, Reproduced
29+
30+
- title: "File Systems Unfit as Distributed Storage Backends: Lessons from 10 Years of Ceph Evolution"
31+
github_url: "https://github.com/mkuchnik/CephEvolution"
32+
badges: Available, Functional, Reproduced
33+
34+
- title: "SplitFS: Reducing Software Overhead in File Systems for Persistent Memory"
35+
github_url: "https://github.com/utsaslab/SplitFS"
36+
badges: Available, Functional, Reproduced
37+
38+
- title: "Lineage Stash: Fault Tolerance Off the Critical Path"
39+
github_url: "https://github.com/stephanie-wang/ray/tree/lineage-stash"
40+
badges: Available, Functional, Reproduced
41+
award: true
42+
43+
- title: "Verifying Software Network Functions with No Verification Expertise"
44+
github_url: "https://github.com/vigor-nf/vigor"
45+
badges: Available, Functional, Reproduced
46+
47+
- title: "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"
48+
github_url: "https://github.com/GLaDOS-Michigan/I4"
49+
badges: Available, Functional, Reproduced
50+
51+
- title: "An Analysis of Performance Evolution of Linux's Core Operations"
52+
github_url: "https://github.com/LinuxPerfStudy/LEBench"
53+
badges: Available, Functional, Reproduced
54+
55+
- title: "Optimizing Deep Learning Computation with Automated Generation of Graph Substitutions"
56+
github_url: "https://github.com/jiazhihao/sosp19ae"
57+
badges: Available, Functional, Reproduced
58+
59+
- title: "Efficient and Scalable Thread-Safety Violation Detection --- Finding thousands of concurrency bugs during testing"
60+
github_url: "https://github.com/SpectrumLi/TSVDExamples"
61+
badges: Available, Functional
62+
63+
- title: "Optimizing Data Intensive Computations in Existing Libraries with Split Annotations"
64+
github_url: "https://github.com/weld-project/split-annotations"
65+
badges: Available, Functional
66+
67+
- title: "Parity Models: Erasure-Coded Resilience for Prediction Serving Systems"
68+
github_url: "https://github.com/Thesys-lab/parity-models"
69+
badges: Available, Functional
70+
71+
- title: "Teechain: A Secure Payment Network with Asynchronous Blockchain Access"
72+
github_url: "https://github.com/lsds/Teechain"
73+
badges: Available, Functional
74+
75+
- title: "Scalable and Practical Locking with Shuffling"
76+
github_url: "https://github.com/sslab-gatech/shfllock"
77+
badges: Available, Functional
78+
79+
- title: "Finding Semantic Bugs in File Systems with an Extensible Fuzzing Framework"
80+
github_url: "https://github.com/sslab-gatech/hydra"
81+
badges: Available, Functional
82+
83+
- title: "Generalized Pipeline Parallelism for DNN Training"
84+
github_url: "https://github.com/msr-fiddle/pipedream"
85+
badges: Available, Functional
86+
87+
- title: "AutoMine: Harmonizing High-Level Abstraction and High Performance for Graph Mining"
88+
badges: Functional, Reproduced
89+
90+
- title: "ShortCut: Accelerating Mostly-Deterministic Code Regions"
91+
github_url: "https://github.com/dozenow/shortcut"
92+
badges: Available
93+
94+
- title: "Replication in the era of microservices"
95+
github_url: "https://github.com/GLaDOS-Michigan/Aegean"
96+
badges: Available
97+
98+
- title: "Nexus: A GPU Cluster Engine for Accelerating Neural Networks Based Video Analysis"
99+
github_url: "https://github.com/uwsampl/nexus"
100+
badges: Available
101+
102+
---
103+
104+
<p>A total of 23 artifacts were submitted (61% of accepted SOSP papers).</p>
105+
<p>Evaluation results: 21 Artifacts Available, 19 Artifacts Functional, 12 Results Reproduced.</p>
106+
<p>Distinguished artifact award recipients: Lineage Stash, Risk-based planning for evolving data-center networks, Scaling Symbolic Evaluation for Automated Verification of Systems Code with Serval.</p>
107+
108+
<table>
109+
<thead>
110+
<tr>
111+
<th>Paper title</th>
112+
<th>Avail.</th>
113+
<th>Funct.</th>
114+
<th>Repro.</th>
115+
<th>Available At</th>
116+
</tr>
117+
</thead>
118+
<tbody>
119+
{% for artifact in page.artifacts %}
120+
<tr>
121+
<td>
122+
{% if artifact.doi %}
123+
<a href="{{page.baseurl}}{{artifact.doi}}">{{artifact.title}}</a>
124+
{% else %}
125+
{{ artifact.title }}
126+
{% endif %}
127+
</td>
128+
<td>
129+
{% if artifact.badges contains "Available" %}
130+
<img src="{{ site.baseurl }}/images/{{ page.available_img }}" alt="{{ page.available_name }}" width="50px">
131+
{% endif %}
132+
</td>
133+
<td>
134+
{% if artifact.badges contains "Functional" %}
135+
<img src="{{ site.baseurl }}/images/{{ page.functional_img }}" alt="{{ page.functional_name }}" width="50px">
136+
{% endif %}
137+
</td>
138+
<td>
139+
{% if artifact.badges contains "Reproduced" %}
140+
<img src="{{ site.baseurl }}/images/{{ page.reproduced_img }}" alt="{{ page.reproduced_name }}" width="50px">
141+
{% endif %}
142+
</td>
143+
<td>
144+
{% if artifact.award %}
145+
<b>Distinguished&nbsp;Artifact</b><br>
146+
{% endif %} {% if artifact.github_url %}
147+
<a href="{{artifact.github_url}}">GitHub</a><br>
148+
{% endif %} {% if artifact.additional_urls %}
149+
{% for url in artifact.additional_urls %}
150+
<a href="{{url}}">Additional&nbsp;Resources</a><br>
151+
{% endfor %}
152+
{% endif %}
153+
</td>
154+
</tr>
155+
{% endfor %}
156+
</tbody>
157+
</table>

0 commit comments

Comments
 (0)