Skip to content

Commit 0978f26

Browse files
bechangbechang
authored
Add PEPM'26 (#9)
* Add PEPM'26 * edit: minor: shorten news line
1 parent c2df9b7 commit 0978f26

14 files changed

Lines changed: 338 additions & 144 deletions

‎clouds/taming-ecoop25.words.png‎

-3.19 KB
Loading

‎clouds/taming-ecoop25.words.txt‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
1-
Taming and Dissecting Recursions through Interprocedural Weak
2-
Topological Ordering
1+
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering
32

‎clouds/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.words.png‎

27.9 KB
Loading

‎clouds/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.words.txt‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
Towards Cumulative Abstract Semantics via Handlers (Short Paper)
2+
We consider the problem of modularizing control flow in a generic abstract interpretation framework. A generic abstract interpretation framework is not truly flexible if it does not allow interpreting with different path- and flow-sensitivities, by going forwards or backwards, and over- or under-approximately. Most interpreters inherently intertwine syntax and semantics, making the implementation antagonistic to modularity. Current approaches to modular designs require the use of complex data structures (e.g., monad transformers), providing modularity but often proving unwieldy (e.g., lifts). We observe that leveraging scoped effects within an interpreter facilitates the accumulation of semantic fragments against a fixed syntax. In this paper, we define cumulative abstract semantics, illustrating the potential for creating multiple dynamic evaluators and static analyses from one interpreter. This modularity is achieved by grouping effects into two categories: syntax elimination and domain-semantic introduction handlers. Our contribution shows the benefits of using effects as an instrument for designing a clean, elegant, and modular abstract interpretation framework.
3+

‎index.html‎

Lines changed: 62 additions & 70 deletions
Large diffs are not rendered by default.

‎news.html‎

Lines changed: 16 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -39,15 +39,28 @@
3939
<div id="header">
4040
<div class="title">News</div>
4141
</div>
42-
<h2 xmlns="" id="paper-ecoop25">2024.04.21</h2>
42+
<h2 xmlns="" id="paper-pepm26">2025.11.25</h2>
43+
<p xmlns="">
44+
<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">
45+
</div>
46+
CUPLV authors
47+
Cade Lueker,
48+
Andrew Fox,
49+
and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>
50+
have had a short paper
51+
"<a href="papers/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.html">Towards Cumulative Abstract Semantics via Handlers (Short Paper)</a>"
52+
accepted for presentation at <a href="https://popl26.sigplan.org/home/pepm-2026">PEPM 2026</a> in January.
53+
54+
</p>
55+
<div xmlns="" class="clearer"></div>
56+
<h2 xmlns="" id="paper-ecoop25">2025.04.21</h2>
4357
<p xmlns="">
4458
<div class="float-right"><img class="medium-face" src="pics/chang.jpg">
4559
</div>
4660
CUPLV author
4761
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a> with collaborators
4862
have had a paper
49-
"<a href="papers/taming-ecoop25.html">Taming and Dissecting Recursions through Interprocedural Weak
50-
Topological Ordering</a>"
63+
"<a href="papers/taming-ecoop25.html">Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering</a>"
5164
accepted for presentation at <a href="https://2025.ecoop.org/">ECOOP 2025</a> in June-July.
5265

5366
</p>

‎papers.html‎

Lines changed: 28 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -39,6 +39,23 @@
3939
<div id="header">
4040
<div class="title">Papers</div>
4141
</div>
42+
<div xmlns="" class="item">
43+
<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>
44+
<div class="item-block">
45+
<div class="item-date">2026</div>
46+
<ul class="hlinks">
47+
<li><a href="papers/towards-cumulative-abstract-semantics-via-handlers-pepm26-short.html">detail</a></li>
48+
<li><a href="https://doi.org/10.48550/arXiv.2512.10861">doi</a></li>
49+
</ul>
50+
<div class="item-header hanging">Towards Cumulative Abstract Semantics via Handlers (Short Paper)</div>
51+
<div class="hanging">Cade Lueker, Andrew Fox, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
52+
<div class="hanging">
53+
<a href="https://popl26.sigplan.org/home/pepm-2026">PEPM 2026</a>:
54+
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
55+
56+
</div>
57+
</div>
58+
</div>
4259
<div xmlns="" class="item">
4360
<div class="item-icon"><a href="https://doi.org/10.1145/3720502"><img src="clouds/taming-ecoop25.words.png" class="icon"></a></div>
4461
<div class="item-block">
@@ -47,9 +64,7 @@
4764
<li><a href="papers/taming-ecoop25.html">detail</a></li>
4865
<li><a href="https://doi.org/10.1145/3720502">doi</a></li>
4966
</ul>
50-
<div class="item-header hanging">Taming and Dissecting Recursions through Interprocedural Weak
51-
Topological Ordering
52-
</div>
67+
<div class="item-header hanging">Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering</div>
5368
<div class="hanging">Jiawei Yang, Xiao Cheng, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, Xiapu Luo, and <a href="https://yuleisui.github.io/">Yulei Sui</a></div>
5469
<div class="hanging">
5570
<a href="https://2025.ecoop.org/">ECOOP 2025</a>:
@@ -69,8 +84,11 @@
6984
<div class="item-header hanging">Bolt-On Strong Consistency: Specification, Implementation, and Verification</div>
7085
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
7186
<div class="hanging">
72-
<a href="https://2025.splashcon.org/track/splash-2025-oopsla">OOPSLA 2025</a>:
73-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
87+
88+
Proceedings of the ACM on Programming Languages
89+
PACMPL
90+
91+
7492

7593
</div>
7694
</div>
@@ -106,8 +124,11 @@
106124
<div class="item-header hanging">Historia: Refuting Callback Reachability with Message-History Logics</div>
107125
<div class="hanging"><a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
108126
<div class="hanging">
109-
<a href="http://2023.splashcon.org/">OOPSLA 2023</a>:
110-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
127+
128+
Proceedings of the ACM on Programming Languages
129+
PACMPL
130+
131+
111132

112133
</div>
113134
</div>

‎papers/bolt-oopsla25.html‎

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,8 @@
88
<head>
99
<meta http-equiv="content-type" content="text/html; charset=utf-8"></meta>
1010
<title>
11-
OOPSLA 2025
11+
PACMPL
12+
1213
:
1314
Bolt-On Strong Consistency: Specification, Implementation, and Verification | CUPLV
1415
</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,7 +50,8 @@
4950
<div id="header">
5051
<div xmlns="" class="small-title">Bolt-On Strong Consistency: Specification, Implementation, and Verification</div>
5152
<div xmlns="" class="subtitle">
52-
<a href="https://2025.splashcon.org/track/splash-2025-oopsla">OOPSLA 2025</a>
53+
PACMPL
54+
5355

5456
</div>
5557
</div>
@@ -65,8 +67,11 @@ <h4 xmlns="">Reference</h4>
6567
<div class="item-header hanging">Bolt-On Strong Consistency: Specification, Implementation, and Verification</div>
6668
<div class="hanging"><a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
6769
<div class="hanging">
68-
<a href="https://2025.splashcon.org/track/splash-2025-oopsla">OOPSLA 2025</a>:
69-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
70+
71+
Proceedings of the ACM on Programming Languages
72+
PACMPL
73+
74+
7075

7176
</div>
7277
</div>
@@ -89,17 +94,7 @@ <h4 xmlns="">Abstract</h4>
8994
a strong replication system based on an adaptation of the Raft consensus algorithm.
9095
</p>
9196

92-
<h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
93-
@string{OOPSLA = "ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)"}
94-
@inproceedings{bolt-oopsla25,
95-
author = {Nicholas V. Lewchenko and Gowtham Kaki and Bor-Yuh Evan Chang},
96-
title = {Bolt-On Strong Consistency: Specification, Implementation, and Verification},
97-
booktitle = OOPSLA,
98-
year = {2025},
99-
pages = {1604-1631},
100-
101-
}
102-
</pre></div>
97+
</div>
10398
</div>
10499
</body>
105100
</html>

‎papers/historia-oopsla23.html‎

Lines changed: 10 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,8 @@
88
<head>
99
<meta http-equiv="content-type" content="text/html; charset=utf-8"></meta>
1010
<title>
11-
OOPSLA 2023
11+
PACMPL
12+
1213
:
1314
Historia: Refuting Callback Reachability with Message-History Logics | CUPLV
1415
</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,7 +50,8 @@
4950
<div id="header">
5051
<div xmlns="" class="small-title">Historia: Refuting Callback Reachability with Message-History Logics</div>
5152
<div xmlns="" class="subtitle">
52-
<a href="http://2023.splashcon.org/">OOPSLA 2023</a>
53+
PACMPL
54+
5355

5456
</div>
5557
</div>
@@ -65,8 +67,11 @@ <h4 xmlns="">Reference</h4>
6567
<div class="item-header hanging">Historia: Refuting Callback Reachability with Message-History Logics</div>
6668
<div class="hanging"><a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
6769
<div class="hanging">
68-
<a href="http://2023.splashcon.org/">OOPSLA 2023</a>:
69-
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
70+
71+
Proceedings of the ACM on Programming Languages
72+
PACMPL
73+
74+
7075

7176
</div>
7277
</div>
@@ -93,17 +98,7 @@ <h4 xmlns="">Abstract</h4>
9398
the absence of multi-callback bug patterns in real-world open-source Android apps.
9499
</p>
95100

96-
<h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
97-
@string{OOPSLA = "ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)"}
98-
@inproceedings{historia-oopsla23,
99-
author = {Shawn Meier and Sergio Mover and Gowtham Kaki and Bor-Yuh Evan Chang},
100-
title = {Historia: Refuting Callback Reachability with Message-History Logics},
101-
booktitle = OOPSLA,
102-
year = {2023},
103-
pages = {1905-1934},
104-
105-
}
106-
</pre></div>
101+
</div>
107102
</div>
108103
</body>
109104
</html>

‎papers/taming-ecoop25.html‎

Lines changed: 5 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -10,8 +10,7 @@
1010
<title>
1111
ECOOP 2025
1212
:
13-
Taming and Dissecting Recursions through Interprocedural Weak
14-
Topological Ordering | CUPLV
13+
Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering | CUPLV
1514
</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">
1615
(function(w) { var p = w.onload;
1716
w.onload = function() {
@@ -48,9 +47,7 @@
4847
</ul><img xmlns="" src="pics/banner.jpg" height="50"></div>
4948
<div id="content">
5049
<div id="header">
51-
<div xmlns="" class="small-title">Taming and Dissecting Recursions through Interprocedural Weak
52-
Topological Ordering
53-
</div>
50+
<div xmlns="" class="small-title">Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering</div>
5451
<div xmlns="" class="subtitle">
5552
<a href="https://2025.ecoop.org/">ECOOP 2025</a>
5653

@@ -65,9 +62,7 @@ <h4 xmlns="">Reference</h4>
6562
<li><a href="papers/taming-ecoop25.html">detail</a></li>
6663
<li><a href="https://doi.org/10.1145/3720502">doi</a></li>
6764
</ul>
68-
<div class="item-header hanging">Taming and Dissecting Recursions through Interprocedural Weak
69-
Topological Ordering
70-
</div>
65+
<div class="item-header hanging">Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering</div>
7166
<div class="hanging">Jiawei Yang, Xiao Cheng, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, Xiapu Luo, and <a href="https://yuleisui.github.io/">Yulei Sui</a></div>
7267
<div class="hanging">
7368
<a href="https://2025.ecoop.org/">ECOOP 2025</a>:
@@ -82,11 +77,10 @@ <h4 xmlns="">BibTeX</h4><pre xmlns="" class="sh_bib">
8277
@string{ECOOP = "European Conference on Object-Oriented Programming (ECOOP)"}
8378
@inproceedings{taming-ecoop25,
8479
author = {Jiawei Yang and Xiao Cheng and Bor-Yuh Evan Chang and Xiapu Luo and Yulei Sui},
85-
title = {Taming and Dissecting Recursions through Interprocedural Weak
86-
Topological Ordering},
80+
title = {Taming and Dissecting Recursions through Interprocedural Weak Topological Ordering},
8781
booktitle = ECOOP,
8882
year = {2025},
89-
pages = {},
83+
pages = {34:1-34:31},
9084

9185
}
9286
</pre></div>

0 commit comments

Comments
 (0)