Skip to content

Commit a684a6c

Browse files
bechangbechang
authored
Add OOPSLA'26 Round 1 papers (#10)
* Add OOPSLA'26 Round 1 papers * edit: add Kunha's group * Add build
1 parent 0978f26 commit a684a6c

9 files changed

Lines changed: 207 additions & 19 deletions

‎clouds/effectively-propositional-higher-order-functional-programming-oopsla26.words.png‎

27.4 KB
Loading

‎clouds/effectively-propositional-higher-order-functional-programming-oopsla26.words.txt‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
Effectively Propositional Higher-Order Functional Programming
2+

‎index.html‎

Lines changed: 42 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,6 +230,20 @@ <h3 xmlns="">Affiliates</h3>
228230
</div>
229231
<div xmlns="" id="news">
230232
<div id="news-box">
233+
<div class="news-detail">2026.02.17:
234+
235+
<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">
236+
</div>
237+
CUPLV authors
238+
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
239+
Kunha Kim,
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/effectively-propositional-higher-order-functional-programming-oopsla26.html">Effectively Propositional Higher-Order Functional Programming</a>"
244+
accepted for presentation at in October.
245+
246+
</div>
231247
<div class="news-detail">2025.11.25:
232248

233249
<div class="float-right"><img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/chang.jpg">
@@ -372,18 +388,13 @@ <h3 xmlns="">Affiliates</h3>
372388
<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>.
373389

374390
</div>
375-
<div class="news-detail">2021.04.18:
376-
377-
<div class="float-right"><img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/somenzi.jpg"> <img class="medium-face" src="pics/ashutosh.jpg">
378-
</div>
379-
CUPLV authors
380-
Mateo Perez,
381-
<a href="http://vlsi.colorado.edu/~fabio/">Fabio Somenzi</a>, and
382-
<a href="http://www.cs.colorado.edu/~astr3586/">Ashutosh Trivedi</a> with collaborators,
383-
have had a paper "<a href="papers/bmdp-cav21.html">Model-Free Reinforcement Learning for Branching Markov Decision Processes.</a>" accepted for presentation at
384-
<a href="http://i-cav.org/2021/">CAV 2021</a> in July.
385-
386-
</div>
391+
</div>
392+
<div class="news-item" id="paper-oopsla26r1">2026.02.17:
393+
394+
Paper by
395+
<a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">Lewchenko et al.</a> published in
396+
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>.
397+
387398
</div>
388399
<div class="news-item" id="paper-pepm26">2025.11.25:
389400

@@ -479,13 +490,6 @@ <h3 xmlns="">Affiliates</h3>
479490
<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>.
480491

481492
</div>
482-
<div class="news-item" id="paper-cav21">2021.04.18:
483-
484-
Paper by
485-
<a href="papers/bmdp-cav21.html">Hahn et al.</a> accepted to
486-
<a href="http://i-cav.org/2021/">CAV 2021</a>.
487-
488-
</div>
489493
</div>
490494
<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>.
491495
We are looking for strong students to join our diverse and
@@ -520,6 +524,25 @@ <h4 xmlns="">Projects</h4>
520524
<hr xmlns="">
521525
<h4 xmlns="">Recent Publications</h4>
522526

527+
<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>
528+
529+
<div xmlns="" class="item">
530+
<div class="item-icon"><img src="clouds/effectively-propositional-higher-order-functional-programming-oopsla26.words.png" class="icon"></div>
531+
<div class="item-block">
532+
<div class="item-date">2026</div>
533+
<ul class="hlinks">
534+
<li><a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">detail</a></li>
535+
</ul>
536+
<div class="item-header hanging">Effectively Propositional Higher-Order Functional Programming</div>
537+
<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>
538+
<div class="hanging">
539+
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
540+
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
541+
542+
</div>
543+
</div>
544+
</div>
545+
523546
<h2 xmlns=""><a href="https://popl26.sigplan.org/home/pepm-2026">PEPM 2026</a><span class="subh">Rennes, France</span><span class="subh">January 2026</span></h2>
524547

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

‎news.html‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,21 @@
3939
<div id="header">
4040
<div class="title">News</div>
4141
</div>
42+
<h2 xmlns="" id="paper-oopsla26r1">2026.02.17</h2>
43+
<p xmlns="">
44+
<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">
45+
</div>
46+
CUPLV authors
47+
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
48+
Kunha Kim,
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/effectively-propositional-higher-order-functional-programming-oopsla26.html">Effectively Propositional Higher-Order Functional Programming</a>"
53+
accepted for presentation at in October.
54+
55+
</p>
56+
<div xmlns="" class="clearer"></div>
4257
<h2 xmlns="" id="paper-pepm26">2025.11.25</h2>
4358
<p xmlns="">
4459
<div class="float-right"><img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/generic-male.png"> <img class="medium-face" src="pics/chang.jpg">

‎papers.html‎

Lines changed: 16 additions & 0 deletions
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/effectively-propositional-higher-order-functional-programming-oopsla26.words.png" class="icon"></div>
44+
<div class="item-block">
45+
<div class="item-date">2026</div>
46+
<ul class="hlinks">
47+
<li><a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">detail</a></li>
48+
</ul>
49+
<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>, 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>
51+
<div class="hanging">
52+
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
53+
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
54+
55+
</div>
56+
</div>
57+
</div>
4258
<div xmlns="" class="item">
4359
<div class="item-icon"><a href="https://doi.org/10.48550/arXiv.2512.10861"><img src="clouds/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.words.png" class="icon"></a></div>
4460
<div class="item-block">

‎papers/effectively-propositional-higher-order-functional-programming-oopsla26.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+
OOPSLA 2026
12+
:
13+
Effectively Propositional Higher-Order Functional Programming | 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">Effectively Propositional Higher-Order Functional Programming</div>
51+
<div xmlns="" class="subtitle">
52+
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>
53+
54+
</div>
55+
</div>
56+
<h4 xmlns="">Reference</h4>
57+
<div xmlns="" class="item">
58+
<div class="item-icon"><img src="clouds/effectively-propositional-higher-order-functional-programming-oopsla26.words.png" class="icon"></div>
59+
<div class="item-block">
60+
<div class="item-date">2026</div>
61+
<ul class="hlinks">
62+
<li><a href="papers/effectively-propositional-higher-order-functional-programming-oopsla26.html">detail</a></li>
63+
</ul>
64+
<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>, 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>
66+
<div class="hanging">
67+
<a href="https://2026.splashcon.org/track/splash-2026-oopsla">OOPSLA 2026</a>:
68+
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
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{OOPSLA = "ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)"}
77+
@inproceedings{effectively-propositional-higher-order-functional-programming-oopsla26,
78+
author = {Nicholas V. Lewchenko and Kunha Kim and Bor-Yuh Evan Chang and Gowtham Kaki},
79+
title = {Effectively Propositional Higher-Order Functional Programming},
80+
booktitle = OOPSLA,
81+
year = {2026},
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/effectively-propositional-higher-order-functional-programming-oopsla26.html
78
papers/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.html
89
papers/taming-ecoop25.html
910
papers/bolt-oopsla25.html

‎pl.xml‎

Lines changed: 39 additions & 0 deletions
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.02.17" id="paper-oopsla26r1">
10+
<news-snippet>
11+
Paper by
12+
<ref table="pub" key="effectively-propositional-higher-order-functional-programming-oopsla26" mode="authors" /> published in
13+
<ref table="event" key="oopsla26r1" />.
14+
</news-snippet>
15+
<news-detail>
16+
CUPLV authors
17+
<ref table="person" key="nlewchenko" />,
18+
<ref table="person" key="kkim" />,
19+
<ref table="person" key="bec" />
20+
and <ref table="person" key="gkaki" />,
21+
have had a paper
22+
"<ref table="pub" key="effectively-propositional-higher-order-functional-programming-oopsla26"/>"
23+
accepted for presentation at <ref table="event" key="oopsla26"/> in October.
24+
</news-detail>
25+
</news>
926
<news date="2025.11.25" id="paper-pepm26">
1027
<news-snippet>
1128
Paper "<ref table="pub" key="towards-cumulative-abstract-semantics-via-handlers-pepm26-short"/>"
@@ -3438,6 +3455,24 @@ Boulder, located at the base of the Rocky Mountain foothills, is consistently aw
34383455
</projects>
34393456

34403457
<publications>
3458+
<pub id="effectively-propositional-higher-order-functional-programming-oopsla26">
3459+
<title>Effectively Propositional Higher-Order Functional Programming</title>
3460+
<authors>
3461+
<author person="nlewchenko" student="y"/>
3462+
<author person="kkim" student="y"/>
3463+
<author person="bec"/>
3464+
<author person="gkaki"/>
3465+
</authors>
3466+
<urls>
3467+
</urls>
3468+
<howpub>
3469+
<proceedings event="oopsla26r1" />
3470+
</howpub>
3471+
<pages></pages>
3472+
<year>2026</year>
3473+
<abstract>
3474+
</abstract>
3475+
</pub>
34413476
<pub id="towards-cumulative-abstract-semantics-via-handlers-pepm26-short">
34423477
<title>Towards Cumulative Abstract Semantics via Handlers (Short Paper)</title>
34433478
<authors>
@@ -6336,6 +6371,10 @@ an application example.</p>
63366371
<name>Ian Karlin</name>
63376372
<face>pics/karlin.jpg</face>
63386373
</person>
6374+
<person id="kkim" group="phd">
6375+
<name>Kunha Kim</name>
6376+
<face>pics/generic-male.png</face>
6377+
</person>
63396378
<person id="ykim">
63406379
<name>Youngsung Kim</name>
63416380
<face>pics/ykim.png</face>

0 commit comments

Comments
 (0)