Skip to content

Commit db52018

Browse files
bechangbechang
authored
fix: SOAP'26 date (#14)
1 parent 6fca6a5 commit db52018

5 files changed

Lines changed: 30 additions & 11 deletions

File tree

‎index.html‎

Lines changed: 21 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -241,7 +241,7 @@ <h3 xmlns="">Affiliates</h3>
241241
and <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,
242242
have had a paper
243243
"<a href="papers/ravencheck-soap26.html">Ravencheck: Effectively-Propositional Reasoning for Rust</a>"
244-
accepted for presentation at <a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a> in June.
244+
accepted for presentation at <a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a> in June.
245245

246246
</div>
247247
<div class="news-detail">2026.02.17:
@@ -398,7 +398,7 @@ <h3 xmlns="">Affiliates</h3>
398398

399399
Paper by
400400
<a href="papers/ravencheck-soap26.html">Kim et al.</a> published in
401-
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>.
401+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a>.
402402

403403
</div>
404404
<div class="news-item" id="paper-oopsla26r1">2026.02.17:
@@ -529,6 +529,25 @@ <h4 xmlns="">Projects</h4>
529529
<hr xmlns="">
530530
<h4 xmlns="">Recent Publications</h4>
531531

532+
<h2 xmlns=""><a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a><span class="subh">Boulder, Colorado, USA</span><span class="subh">June 2026</span></h2>
533+
534+
<div xmlns="" class="item">
535+
<div class="item-icon"><img src="clouds/ravencheck-soap26.words.png" class="icon"></div>
536+
<div class="item-block">
537+
<div class="item-date">2026</div>
538+
<ul class="hlinks">
539+
<li><a href="papers/ravencheck-soap26.html">detail</a></li>
540+
</ul>
541+
<div class="item-header hanging">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
542+
<div class="hanging">Kunha Kim, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
543+
<div class="hanging">
544+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a>:
545+
ACM SIGPLAN Workshop on State of the Art in Program Analysis
546+
547+
</div>
548+
</div>
549+
</div>
550+
532551
<h2 xmlns=""><a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a><span class="subh">Oakland, California, USA</span><span class="subh">April 2026</span></h2>
533552

534553
<div xmlns="" class="item">

‎news.html‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -50,7 +50,7 @@ <h2 xmlns="" id="paper-soap">2026.04.15</h2>
5050
and <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,
5151
have had a paper
5252
"<a href="papers/ravencheck-soap26.html">Ravencheck: Effectively-Propositional Reasoning for Rust</a>"
53-
accepted for presentation at <a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a> in June.
53+
accepted for presentation at <a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a> in June.
5454

5555
</p>
5656
<div xmlns="" class="clearer"></div>

‎papers.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -42,14 +42,14 @@
4242
<div xmlns="" class="item">
4343
<div class="item-icon"><img src="clouds/ravencheck-soap26.words.png" class="icon"></div>
4444
<div class="item-block">
45-
<div class="item-date">2015</div>
45+
<div class="item-date">2026</div>
4646
<ul class="hlinks">
4747
<li><a href="papers/ravencheck-soap26.html">detail</a></li>
4848
</ul>
4949
<div class="item-header hanging">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
5050
<div class="hanging">Kunha Kim, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
5151
<div class="hanging">
52-
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>:
52+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a>:
5353
ACM SIGPLAN Workshop on State of the Art in Program Analysis
5454

5555
</div>

‎papers/ravencheck-soap26.html‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@
88
<head>
99
<meta http-equiv="content-type" content="text/html; charset=utf-8"></meta>
1010
<title>
11-
SOAP 2015
11+
SOAP 2026
1212
:
1313
Ravencheck: Effectively-Propositional Reasoning for Rust | CUPLV
1414
</title><script xmlns="" type="text/javascript" src="lib/sh_main.min.js"></script><script xmlns="" type="text/javascript" src="lib/sh_bib.js"></script><link xmlns="" href="lib/sh_style.css" rel="stylesheet" type="text/css"><script xmlns="" type="text/javascript">
@@ -49,22 +49,22 @@
4949
<div id="header">
5050
<div xmlns="" class="small-title">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
5151
<div xmlns="" class="subtitle">
52-
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>
52+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a>
5353

5454
</div>
5555
</div>
5656
<h4 xmlns="">Reference</h4>
5757
<div xmlns="" class="item">
5858
<div class="item-icon"><img src="clouds/ravencheck-soap26.words.png" class="icon"></div>
5959
<div class="item-block">
60-
<div class="item-date">2015</div>
60+
<div class="item-date">2026</div>
6161
<ul class="hlinks">
6262
<li><a href="papers/ravencheck-soap26.html">detail</a></li>
6363
</ul>
6464
<div class="item-header hanging">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
6565
<div class="hanging">Kunha Kim, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
6666
<div class="hanging">
67-
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>:
67+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2026</a>:
6868
ACM SIGPLAN Workshop on State of the Art in Program Analysis
6969

7070
</div>
@@ -78,7 +78,7 @@ <h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
7878
author = {Kunha Kim and Nicholas V. Lewchenko and Bor-Yuh Evan Chang and Gowtham Kaki},
7979
title = {Ravencheck: Effectively-Propositional Reasoning for Rust},
8080
booktitle = SOAP,
81-
year = {2015},
81+
year = {2026},
8282
pages = {},
8383

8484
}

‎pl.xml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8222,7 +8222,7 @@ an application example.</p>
82228222
<name>State of the Art in Program Analysis</name>
82238223
<longPrefix>ACM SIGPLAN Workshop on</longPrefix>
82248224
<event id="soap26">
8225-
<date>2015-26</date>
8225+
<date>2026-06</date>
82268226
<nth>Fifteenth</nth>
82278227
<url>https://pldi26.sigplan.org/home/SOAP-2026</url>
82288228
<location>Boulder, Colorado, USA</location>

0 commit comments

Comments
 (0)