Skip to content

Commit e6eb5a1

Browse files
bechangbechang
authored
Add SOAP'26 news (#12)
* Add SOAP'26 news * Run make to build
1 parent 27a1c3b commit e6eb5a1

10 files changed

Lines changed: 203 additions & 25 deletions

‎clouds/ravencheck-soap26.words.png‎

15.5 KB
Loading

‎clouds/ravencheck-soap26.words.txt‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
Ravencheck: Effectively-Propositional Reasoning for Rust
2+

‎index.html‎

Lines changed: 26 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -47,6 +47,8 @@ <h3 xmlns="">Post-Docs</h3>
4747
<h3 xmlns="">Students</h3>
4848
<h4 xmlns="">PhD</h4>
4949
<div xmlns=""><a href="https://chfont.github.io"><img class="small-face" src="pics/cfontenot.jpg"></a><a href="https://chfont.github.io">Christian Fontenot</a></div>
50+
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Kunha Kim
51+
</div>
5052
<div xmlns=""><a href="https://www.octalsrc.org/research"><img class="small-face" src="pics/nlewchenko.jpg"></a><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a></div>
5153
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Cade Lueker
5254
</div>
@@ -228,13 +230,27 @@ <h3 xmlns="">Affiliates</h3>
228230
</div>
229231
<div xmlns="" id="news">
230232
<div id="news-box">
233+
<div class="news-detail">2026.04.15:
234+
235+
<div class="float-right"><img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/nlewchenko.jpg"> <img class="medium-face" src="pics/chang.jpg"> <img class="medium-face" src="pics/generic-male.png">
236+
</div>
237+
CUPLV authors
238+
Kunha Kim,
239+
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
240+
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>
241+
and <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,
242+
have had a paper
243+
"<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.
245+
246+
</div>
231247
<div class="news-detail">2026.02.17:
232248

233-
<div class="float-right"><img class="medium-face" src="pics/nlewchenko.jpg"> <img class="medium-face" src="pics/chang.jpg"> <img class="medium-face" src="pics/generic-male.png">
249+
<div class="float-right"><img class="medium-face" src="pics/nlewchenko.jpg"> <img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/chang.jpg"> <img class="medium-face" src="pics/generic-male.png">
234250
</div>
235251
CUPLV authors
236252
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
237-
,
253+
Kunha Kim,
238254
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>
239255
and <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,
240256
have had a paper
@@ -377,15 +393,13 @@ <h3 xmlns="">Affiliates</h3>
377393
<a href="https://conf.researchr.org/home/sas-2021">SAS 2021</a> in October.
378394

379395
</div>
380-
<div class="news-detail">2021.04.19:
381-
382-
<div class="float-right"><img class="medium-face" src="pics/stein.png">
383-
</div>
384-
CUPLV student <a href="http://plv.colorado.edu/benno">Benno Stein</a>
385-
receives the 2020-2021
386-
<a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/cs/news-events/student-awards#outstanding_research-939">CU CS Outstanding Research Award</a>.
387-
388-
</div>
396+
</div>
397+
<div class="news-item" id="paper-soap">2026.04.15:
398+
399+
Paper by
400+
<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>.
402+
389403
</div>
390404
<div class="news-item" id="paper-oopsla26r1">2026.02.17:
391405

@@ -481,13 +495,6 @@ <h3 xmlns="">Affiliates</h3>
481495
<a href="https://conf.researchr.org/home/sas-2021">SAS 2021</a>.
482496

483497
</div>
484-
<div class="news-item" id="deptresearchaward21">2021.04.19:
485-
486-
CUPLV student <a href="http://plv.colorado.edu/benno">Benno Stein</a>
487-
receives the 2020-2021
488-
<a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/cs/news-events/student-awards#outstanding_research-939">CU CS Outstanding Research Award</a>.
489-
490-
</div>
491498
</div>
492499
<div xmlns="" class="contentbox" style="width: 99%; float:right; height: 6ex;"><a href="http://www.colorado.edu/cs/apply/graduate-admissions"><b>Ph.D. Positions</b></a>.
493500
We are looking for strong students to join our diverse and
@@ -532,7 +539,7 @@ <h2 xmlns=""><a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSL
532539
<li><a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">detail</a></li>
533540
</ul>
534541
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
535-
<div class="hanging"><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>
542+
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, Kunha Kim, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
536543
<div class="hanging">
537544
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
538545
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications

‎news.html‎

Lines changed: 17 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -39,13 +39,28 @@
3939
<div id="header">
4040
<div class="title">News</div>
4141
</div>
42+
<h2 xmlns="" id="paper-soap">2026.04.15</h2>
43+
<p xmlns="">
44+
<div class="float-right"><img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/nlewchenko.jpg"> <img class="medium-face" src="pics/chang.jpg"> <img class="medium-face" src="pics/generic-male.png">
45+
</div>
46+
CUPLV authors
47+
Kunha Kim,
48+
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
49+
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>
50+
and <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,
51+
have had a paper
52+
"<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.
54+
55+
</p>
56+
<div xmlns="" class="clearer"></div>
4257
<h2 xmlns="" id="paper-oopsla26r1">2026.02.17</h2>
4358
<p xmlns="">
44-
<div class="float-right"><img class="medium-face" src="pics/nlewchenko.jpg"> <img class="medium-face" src="pics/chang.jpg"> <img class="medium-face" src="pics/generic-male.png">
59+
<div class="float-right"><img class="medium-face" src="pics/nlewchenko.jpg"> <img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/chang.jpg"> <img class="medium-face" src="pics/generic-male.png">
4560
</div>
4661
CUPLV authors
4762
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
48-
,
63+
Kunha Kim,
4964
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>
5065
and <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,
5166
have had a paper

‎papers.html‎

Lines changed: 17 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,22 @@
3939
<div id="header">
4040
<div class="title">Papers</div>
4141
</div>
42+
<div xmlns="" class="item">
43+
<div class="item-icon"><img src="clouds/ravencheck-soap26.words.png" class="icon"></div>
44+
<div class="item-block">
45+
<div class="item-date">2015</div>
46+
<ul class="hlinks">
47+
<li><a href="papers/ravencheck-soap26.html">detail</a></li>
48+
</ul>
49+
<div class="item-header hanging">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
50+
<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>
51+
<div class="hanging">
52+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>:
53+
ACM SIGPLAN Workshop on State of the Art in Program Analysis
54+
55+
</div>
56+
</div>
57+
</div>
4258
<div xmlns="" class="item">
4359
<div class="item-icon"><img src="clouds/effectively-propositional-higher-order-functional-programming-oopsla26.words.png" class="icon"></div>
4460
<div class="item-block">
@@ -47,7 +63,7 @@
4763
<li><a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">detail</a></li>
4864
</ul>
4965
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
50-
<div class="hanging"><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>
66+
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, Kunha Kim, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="https://gowthamk.github.io/">Gowtham Kaki</a></div>
5167
<div class="hanging">
5268
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
5369
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications

‎papers/effectively-propositional-higher-order-functional-programming-oopsla26.html‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -62,7 +62,7 @@ <h4 xmlns="">Reference</h4>
6262
<li><a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">detail</a></li>
6363
</ul>
6464
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
65-
<div class="hanging"><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>
65+
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, Kunha Kim, <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">
6767
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
6868
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
@@ -75,7 +75,7 @@ <h4 xmlns="">Abstract</h4>
7575
<h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
7676
@string{OOPSLA = "ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)"}
7777
@inproceedings{effectively-propositional-higher-order-functional-programming-oopsla26,
78-
author = {Nicholas V. Lewchenko and and Bor-Yuh Evan Chang and Gowtham Kaki},
78+
author = {Nicholas V. Lewchenko and Kunha Kim and Bor-Yuh Evan Chang and Gowtham Kaki},
7979
title = {Effectively Propositional Higher-Order Functional Programming},
8080
booktitle = OOPSLA,
8181
year = {2026},

‎papers/ravencheck-soap26.html‎

Lines changed: 88 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,88 @@
1+
<!DOCTYPE html
2+
PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
3+
4+
<!--
5+
Automatically generated. Do not edit directly!
6+
-->
7+
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
8+
<head>
9+
<meta http-equiv="content-type" content="text/html; charset=utf-8"></meta>
10+
<title>
11+
SOAP 2015
12+
:
13+
Ravencheck: Effectively-Propositional Reasoning for Rust | CUPLV
14+
</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">
15+
(function(w) { var p = w.onload;
16+
w.onload = function() {
17+
sh_highlightDocument(); if (p != undefined){ p(); }
18+
};
19+
})(window)
20+
</script><base xmlns="" href="http://pl.cs.colorado.edu/">
21+
<link xmlns="" href="pl.css" rel="stylesheet" type="text/css"><script xmlns="" type="text/javascript">
22+
var _gaq = _gaq || [];
23+
_gaq.push(['_setAccount', 'UA-25127606-1']);
24+
_gaq.push(['_trackPageview']);
25+
(function() {
26+
var ga = document.createElement('script'); ga.type = 'text/javascript'; ga.async = true;
27+
ga.src = ('https:' == document.location.protocol ? 'https://ssl' : 'http://www') + '.google-analytics.com/ga.js';
28+
var s = document.getElementsByTagName('script')[0]; s.parentNode.insertBefore(ga, s);
29+
})();
30+
</script></head>
31+
<body>
32+
<div id="container">
33+
<div id="lsidebarfloat">
34+
<div id="lsidebar"></div>
35+
</div>
36+
<div id="rsidebarfloat">
37+
<div id="rsidebar"></div>
38+
</div>
39+
<div id="banner">
40+
<ul xmlns="">
41+
<li><a href=".">Welcome</a></li>
42+
<li><a href="news.html">News</a></li>
43+
<li><a href="people.html">People</a></li>
44+
<li><a href="papers.html">Papers</a></li>
45+
<li><a href="projects.html">Projects</a></li>
46+
<li><a href="visiting.html">Visiting</a></li>
47+
</ul><img xmlns="" src="pics/banner.jpg" height="50"></div>
48+
<div id="content">
49+
<div id="header">
50+
<div xmlns="" class="small-title">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
51+
<div xmlns="" class="subtitle">
52+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>
53+
54+
</div>
55+
</div>
56+
<h4 xmlns="">Reference</h4>
57+
<div xmlns="" class="item">
58+
<div class="item-icon"><img src="clouds/ravencheck-soap26.words.png" class="icon"></div>
59+
<div class="item-block">
60+
<div class="item-date">2015</div>
61+
<ul class="hlinks">
62+
<li><a href="papers/ravencheck-soap26.html">detail</a></li>
63+
</ul>
64+
<div class="item-header hanging">Ravencheck: Effectively-Propositional Reasoning for Rust</div>
65+
<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>
66+
<div class="hanging">
67+
<a href="https://pldi26.sigplan.org/home/SOAP-2026">SOAP 2015</a>:
68+
ACM SIGPLAN Workshop on State of the Art in Program Analysis
69+
70+
</div>
71+
</div>
72+
</div>
73+
<h4 xmlns="">Abstract</h4>
74+
75+
<h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
76+
@string{SOAP = "ACM SIGPLAN Workshop on State of the Art in Program Analysis (SOAP)"}
77+
@inproceedings{ravencheck-soap26,
78+
author = {Kunha Kim and Nicholas V. Lewchenko and Bor-Yuh Evan Chang and Gowtham Kaki},
79+
title = {Ravencheck: Effectively-Propositional Reasoning for Rust},
80+
booktitle = SOAP,
81+
year = {2015},
82+
pages = {},
83+
84+
}
85+
</pre></div>
86+
</div>
87+
</body>
88+
</html>

‎people.html‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -80,6 +80,10 @@ <h3 xmlns="">PhD</h3>
8080
<div xmlns="" class="person"><a href="https://chfont.github.io">
8181
<div><img class="face" src="pics/cfontenot.jpg"></div>
8282
<div>Christian Fontenot</div></a></div>
83+
<div xmlns="" class="person">
84+
<div><img class="face" src="pics/generic-male.png"></div>
85+
<div>Kunha Kim</div>
86+
</div>
8387
<div xmlns="" class="person"><a href="https://www.octalsrc.org/research">
8488
<div><img class="face" src="pics/nlewchenko.jpg"></div>
8589
<div>Nicholas V. Lewchenko</div></a></div>

‎pl.html.log‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,7 @@ people.html
44
papers.html
55
projects.html
66
visiting.html
7+
papers/ravencheck-soap26.html
78
papers/effectively-propositional-higher-order-functional-programming-oopsla26.html
89
papers/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.html
910
papers/taming-ecoop25.html

‎pl.xml‎

Lines changed: 46 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,23 @@
66

77
<cv xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="cvx/cvx.xsd">
88
<news-list>
9+
<news date="2026.04.15" id="paper-soap">
10+
<news-snippet>
11+
Paper by
12+
<ref table="pub" key="ravencheck-soap26" mode="authors" /> published in
13+
<ref table="event" key="soap26" />.
14+
</news-snippet>
15+
<news-detail>
16+
CUPLV authors
17+
<ref table="person" key="kkim" />,
18+
<ref table="person" key="nlewchenko" />,
19+
<ref table="person" key="bec" />
20+
and <ref table="person" key="gkaki" />,
21+
have had a paper
22+
"<ref table="pub" key="ravencheck-soap26"/>"
23+
accepted for presentation at <ref table="event" key="soap26"/> in June.
24+
</news-detail>
25+
</news>
926
<news date="2026.02.17" id="paper-oopsla26r1">
1027
<news-snippet>
1128
Paper by
@@ -3455,7 +3472,25 @@ Boulder, located at the base of the Rocky Mountain foothills, is consistently aw
34553472
</projects>
34563473

34573474
<publications>
3458-
<pub id="effectively-propositional-higher-order-functional-programming-oopsla26">
3475+
<pub id="ravencheck-soap26">
3476+
<title>Ravencheck: Effectively-Propositional Reasoning for Rust</title>
3477+
<authors>
3478+
<author person="kkim" student="y"/>
3479+
<author person="nlewchenko" student="y"/>
3480+
<author person="bec"/>
3481+
<author person="gkaki"/>
3482+
</authors>
3483+
<urls>
3484+
</urls>
3485+
<howpub>
3486+
<proceedings event="soap26" />
3487+
</howpub>
3488+
<pages></pages>
3489+
<year>2026</year>
3490+
<abstract>
3491+
</abstract>
3492+
</pub>
3493+
<pub id="effectively-propositional-higher-order-functional-programming-oopsla26">
34593494
<title>Effectively Propositional Higher-Order Functional Programming</title>
34603495
<authors>
34613496
<author person="nlewchenko" student="y"/>
@@ -6371,6 +6406,10 @@ an application example.</p>
63716406
<name>Ian Karlin</name>
63726407
<face>pics/karlin.jpg</face>
63736408
</person>
6409+
<person id="kkim" group="phd">
6410+
<name>Kunha Kim</name>
6411+
<face>pics/generic-male.png</face>
6412+
</person>
63746413
<person id="ykim">
63756414
<name>Youngsung Kim</name>
63766415
<face>pics/ykim.png</face>
@@ -8182,6 +8221,12 @@ an application example.</p>
81828221
<series id="soap" type="workshop">
81838222
<name>State of the Art in Program Analysis</name>
81848223
<longPrefix>ACM SIGPLAN Workshop on</longPrefix>
8224+
<event id="soap26">
8225+
<date>2015-26</date>
8226+
<nth>Fifteenth</nth>
8227+
<url>https://pldi26.sigplan.org/home/SOAP-2026</url>
8228+
<location>Boulder, Colorado, USA</location>
8229+
</event>
81858230
<event id="soap15">
81868231
<date>2015-06</date>
81878232
<nth>Fourth</nth>

0 commit comments

Comments
 (0)