Add SAS'23

cuplv · Dec 1, 2023 · a764cdf · a764cdf
1 parent 02ea9ff
commit a764cdf
Show file tree

Hide file tree

Showing 10 changed files with 246 additions and 29 deletions.
diff --git a/clouds/ondemandcg-sas23.words.png b/clouds/ondemandcg-sas23.words.png
diff --git a/clouds/ondemandcg-sas23.words.txt b/clouds/ondemandcg-sas23.words.txt
@@ -0,0 +1,5 @@
+Lifting On-Demand Analysis to Higher-Order Languages
+        In this paper, we present an approach to lift on-demand analysis to higher-order languages. Specifically, our approach bootstraps an on-demand call graph construction by leveraging a pair of on-demand data flow analyses. Static analysis is increasingly applied to find subtle bugs or prove deep properties in large, industrial code bases. To effectively do this at scale, analyzers need to both resolve function calls in a precise manner (i.e., construct a precise call graph) and examine only the relevant portion of the program (i.e., be on-demand). A strawman strategy to this problem is to use fast, approximate, whole-program call graph construction algorithms. However, this strategy is generally not adequate for modern languages like JavaScript that rely heavily on higher-order features, such as callbacks and closures, where scalable approximations often introduce unacceptable imprecision. This strategy also limits increasingly sophisticated on-demand analyses, which scale by analyzing only parts of a program as needed: the scalability advantages of an on-demand analysis may be thwarted by the need to construct a whole-program call graph. The key insight of this paper is that existing on-demand data flow analyses can themselves be applied in a black-box manner to construct call graphs on demand. We propose a soundness condition for the existing on-demand analyses with respect to partial call graphs, formalize our algorithm as an abstract domain combinator, and prove it sound in Isabelle/HOL. Furthermore, we evaluate a prototype implementation of the resulting on-demand call graph construction algorithm for a subset of JavaScript (using the Synchronized Push-Down Systems framework as the underlying data flow analysis) on benchmarks making heavy use of higher-order functions.
+
+
+
diff --git a/index.html b/index.html
@@ -238,7 +238,17 @@ <h3 xmlns="">Affiliates</h3>
                      <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>
-                     have had papers accepted for presentation at <a href="http://2023.splashcon.org/">OOPSLA 2023</a> in October (<a href="papers/historia-oopsla23.html">Meier  et al.</a> and ).
+                     have had papers accepted for presentation at <a href="http://2023.splashcon.org/">OOPSLA 2023</a> in October (<a href="papers/historia-oopsla23.html">Meier  et al.</a> and <a href="papers/indistinguishability-oopsla23.html">Linvill  et al.</a>).
+
+                  </div>
+                  <div class="news-detail">2023.06.29:
+
+                     <div class="float-right"><img class="medium-face" src="pics/chang.jpg"> 
+                     </div>
+                     CUPLV author
+                     <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a> with collaborators
+                     has had a paper "<a href="papers/ondemandcg-sas23.html">Lifting On-Demand Analysis to Higher-Order Languages</a>" accepted for presentation at
+                     <a href="https://conf.researchr.org/home/sas-2023">SAS 2023</a> in October.
 
                   </div>
                   <div class="news-detail">2022.11.01:
@@ -250,9 +260,9 @@ <h3 xmlns="">Affiliates</h3>
                   </div>
                   <div class="news-detail">2022.02.25:
 
-                     <div class="float-right"><img class="medium-face" src="pics/generic-male.png">  <img class="medium-face" src="pics/nlewchenko.jpg"> 
+                     <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/nlewchenko.jpg"> 
                      </div>
-                     CUPLV authors <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, , and <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>
+                     CUPLV authors <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, Prasanth Prahladan, and <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>
                      have had papers accepted for presentation at <a href="https://pldi22.sigplan.org/">PLDI 2022</a> in June (<a href="papers/runtimeassisted-pldi22.html">Kaki  et al.</a> and <a href="papers/antipotentials-pldi22.html">Žikelić  et al.</a>).
 
                   </div>
@@ -367,16 +377,6 @@ <h3 xmlns="">Affiliates</h3>
                      <a href="papers/amytiss-cav20.html">Lavaei  et al.</a>).
 
                   </div>
-                  <div class="news-detail">2019.11.01:
-
-                     <div class="float-right"></div>
-                     Please consider applying or encourage your students and postdocs to apply for positions in the <a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/cs/">Department of Computer Science</a>.
-                     We have <a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/cs/jobs">multiple openings</a> with one particular interest area being <a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="news.html#faculty-2019"><em>trustworthy software</em></a>.
-                     <a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://jobs.colorado.edu/jobs/JobDetail/21053/">Applications</a>
-                     will be evaluated beginning on December 1, 2019, although applications will continue to be evaluated until the position is
-                     filled.
-
-                  </div>
                </div>
                <div class="news-item" id="phd-call-2023">2023.11.01:
 
@@ -390,6 +390,13 @@ <h3 xmlns="">Affiliates</h3>
                   [<a href="papers/historia-oopsla23.html">1</a>,
                   <a href="papers/indistinguishability-oopsla23.html">2</a>]
 
+               </div>
+               <div class="news-item" id="paper-sas23">2023.06.29:
+
+                  Paper by
+                  <a href="papers/ondemandcg-sas23.html">Schoepe  et al.</a> accepted to
+                  <a href="https://conf.researchr.org/home/sas-2023">SAS 2023</a>.
+
                </div>
                <div class="news-item" id="phd-call-2022">2022.11.01:
 
@@ -477,11 +484,6 @@ <h3 xmlns="">Affiliates</h3>
                   <a href="papers/amytiss-cav20.html">4</a>].
 
                </div>
-               <div class="news-item" id="faculty-2019">2019.11.01:
-
-                  <a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="news.html#faculty-2019">Tenure-track and instructor openings</a> in <a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/cs/">CS</a>.
-
-               </div>
             </div>
             <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>.
                	We are looking for strong students to join our diverse and
@@ -525,7 +527,6 @@ <h2 xmlns=""><a href="http://2023.splashcon.org/">OOPSLA 2023</a><span class="su
                   <ul class="hlinks">
                      <li><a href="papers/historia-oopsla23.html">detail</a></li>
                      <li><a href="https://doi.org/10.1145/3622865">doi</a></li>
-                     <li><a href="papers/historia-oopsla23.pdf" onClick="_gaq.push(['_trackPageview', '/papers/historia-oopsla23.pdf']);">pdf</a></li>
                   </ul>
                   <div class="item-header hanging">Historia: Refuting Callback Reachability with Message-History Logics</div>
                   <div class="hanging"><a href="http://www.cs.colorado.edu/~shme8881/">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>
@@ -543,7 +544,6 @@ <h2 xmlns=""><a href="http://2023.splashcon.org/">OOPSLA 2023</a><span class="su
                   <ul class="hlinks">
                      <li><a href="papers/indistinguishability-oopsla23.html">detail</a></li>
                      <li><a href="https://doi.org/10.1145/3622849">doi</a></li>
-                     <li><a href="papers/indistinguishability-oopsla23.pdf" onClick="_gaq.push(['_trackPageview', '/papers/indistinguishability-oopsla23.pdf']);">pdf</a></li>
                   </ul>
                   <div class="item-header hanging">Verifying Indistinguishability of Privacy-Preserving Protocols</div>
                   <div class="hanging"><a href="https://kirby.linvill.net">Kirby Linvill</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,  and <a href="https://ericw.us/trow/">Eric Wustrow</a></div>
@@ -555,6 +555,26 @@ <h2 xmlns=""><a href="http://2023.splashcon.org/">OOPSLA 2023</a><span class="su
                </div>
             </div>
 
+            <h2 xmlns=""><a href="https://conf.researchr.org/home/sas-2023">SAS 2023</a><span class="subh">Cascais, Portugal</span><span class="subh">October 2023</span></h2>
+
+            <div xmlns="" class="item">
+               <div class="item-icon"><a href="https://doi.org/10.1007/978-3-031-44245-2_21"><img src="clouds/ondemandcg-sas23.words.png" class="icon"></a></div>
+               <div class="item-block">
+                  <div class="item-date">2023</div>
+                  <ul class="hlinks">
+                     <li><a href="papers/ondemandcg-sas23.html">detail</a></li>
+                     <li><a href="https://doi.org/10.1007/978-3-031-44245-2_21">doi</a></li>
+                  </ul>
+                  <div class="item-header hanging">Lifting On-Demand Analysis to Higher-Order Languages</div>
+                  <div class="hanging"><a href="https://schoepe.org/~daniel/">Daniel Schoepe</a>, David Seekatz, <a href="https://istoilkovska.github.io/">Ilina Stoilkovska</a>, <a href="https://sstucki.github.io/">Sandro Stucki</a>, Daniel Tattersall, Pauline Bolignano, <a href="https://www.rmnd.net/">Franco Raimondi</a>,  and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
+                  <div class="hanging">
+                     <a href="https://conf.researchr.org/home/sas-2023">SAS 2023</a>:
+                     International Static Analysis Symposium
+
+                  </div>
+               </div>
+            </div>
+
             <h2 xmlns=""><a href="https://pldi22.sigplan.org/">PLDI 2022</a><span class="subh">San Diego, California, USA</span><span class="subh">June 2022</span></h2>
 
             <div xmlns="" class="item">

diff --git a/news.html b/news.html
@@ -69,7 +69,18 @@ <h2 xmlns="" id="paper-oopsla23">2023.07.01</h2>
                <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>
-               have had papers accepted for presentation at <a href="http://2023.splashcon.org/">OOPSLA 2023</a> in October (<a href="papers/historia-oopsla23.html">Meier  et al.</a> and ).
+               have had papers accepted for presentation at <a href="http://2023.splashcon.org/">OOPSLA 2023</a> in October (<a href="papers/historia-oopsla23.html">Meier  et al.</a> and <a href="papers/indistinguishability-oopsla23.html">Linvill  et al.</a>).
+
+            </p>
+            <div xmlns="" class="clearer"></div>
+            <h2 xmlns="" id="paper-sas23">2023.06.29</h2>
+            <p xmlns="">
+               <div class="float-right"><img class="medium-face" src="pics/chang.jpg"> 
+               </div>
+               CUPLV author
+               <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a> with collaborators
+               has had a paper "<a href="papers/ondemandcg-sas23.html">Lifting On-Demand Analysis to Higher-Order Languages</a>" accepted for presentation at
+               <a href="https://conf.researchr.org/home/sas-2023">SAS 2023</a> in October.
 
             </p>
             <div xmlns="" class="clearer"></div>
@@ -96,9 +107,9 @@ <h3 xmlns="">Ph.D. Positions</h3>
             <div xmlns="" class="clearer"></div>
             <h2 xmlns="" id="paper-pldi22">2022.02.25</h2>
             <p xmlns="">
-               <div class="float-right"><img class="medium-face" src="pics/generic-male.png">  <img class="medium-face" src="pics/nlewchenko.jpg"> 
+               <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/nlewchenko.jpg"> 
                </div>
-               CUPLV authors <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, , and <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>
+               CUPLV authors <a href="https://gowthamk.github.io/">Gowtham Kaki</a>, Prasanth Prahladan, and <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>
                have had papers accepted for presentation at <a href="https://pldi22.sigplan.org/">PLDI 2022</a> in June (<a href="papers/runtimeassisted-pldi22.html">Kaki  et al.</a> and <a href="papers/antipotentials-pldi22.html">Žikelić  et al.</a>).
 
             </p>

diff --git a/papers.html b/papers.html
@@ -46,7 +46,6 @@
                   <ul class="hlinks">
                      <li><a href="papers/historia-oopsla23.html">detail</a></li>
                      <li><a href="https://doi.org/10.1145/3622865">doi</a></li>
-                     <li><a href="papers/historia-oopsla23.pdf" onClick="_gaq.push(['_trackPageview', '/papers/historia-oopsla23.pdf']);">pdf</a></li>
                   </ul>
                   <div class="item-header hanging">Historia: Refuting Callback Reachability with Message-History Logics</div>
                   <div class="hanging"><a href="http://www.cs.colorado.edu/~shme8881/">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>
@@ -64,7 +63,6 @@
                   <ul class="hlinks">
                      <li><a href="papers/indistinguishability-oopsla23.html">detail</a></li>
                      <li><a href="https://doi.org/10.1145/3622849">doi</a></li>
-                     <li><a href="papers/indistinguishability-oopsla23.pdf" onClick="_gaq.push(['_trackPageview', '/papers/indistinguishability-oopsla23.pdf']);">pdf</a></li>
                   </ul>
                   <div class="item-header hanging">Verifying Indistinguishability of Privacy-Preserving Protocols</div>
                   <div class="hanging"><a href="https://kirby.linvill.net">Kirby Linvill</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,  and <a href="https://ericw.us/trow/">Eric Wustrow</a></div>
@@ -75,6 +73,23 @@
                   </div>
                </div>
             </div>
+            <div xmlns="" class="item">
+               <div class="item-icon"><a href="https://doi.org/10.1007/978-3-031-44245-2_21"><img src="clouds/ondemandcg-sas23.words.png" class="icon"></a></div>
+               <div class="item-block">
+                  <div class="item-date">2023</div>
+                  <ul class="hlinks">
+                     <li><a href="papers/ondemandcg-sas23.html">detail</a></li>
+                     <li><a href="https://doi.org/10.1007/978-3-031-44245-2_21">doi</a></li>
+                  </ul>
+                  <div class="item-header hanging">Lifting On-Demand Analysis to Higher-Order Languages</div>
+                  <div class="hanging"><a href="https://schoepe.org/~daniel/">Daniel Schoepe</a>, David Seekatz, <a href="https://istoilkovska.github.io/">Ilina Stoilkovska</a>, <a href="https://sstucki.github.io/">Sandro Stucki</a>, Daniel Tattersall, Pauline Bolignano, <a href="https://www.rmnd.net/">Franco Raimondi</a>,  and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
+                  <div class="hanging">
+                     <a href="https://conf.researchr.org/home/sas-2023">SAS 2023</a>:
+                     International Static Analysis Symposium
+
+                  </div>
+               </div>
+            </div>
             <div xmlns="" class="item">
                <div class="item-icon"><a href="papers/runtimeassisted-pldi22.pdf" onClick="_gaq.push(['_trackPageview', '/papers/runtimeassisted-pldi22.pdf']);"><img src="clouds/runtimeassisted-pldi22.words.png" class="icon"></a></div>
                <div class="item-block">

diff --git a/papers/historia-oopsla23.html b/papers/historia-oopsla23.html
@@ -61,7 +61,6 @@ <h4 xmlns="">Reference</h4>
                   <ul class="hlinks">
                      <li><a href="papers/historia-oopsla23.html">detail</a></li>
                      <li><a href="https://doi.org/10.1145/3622865">doi</a></li>
-                     <li><a href="papers/historia-oopsla23.pdf" onClick="_gaq.push(['_trackPageview', '/papers/historia-oopsla23.pdf']);">pdf</a></li>
                   </ul>
                   <div class="item-header hanging">Historia: Refuting Callback Reachability with Message-History Logics</div>
                   <div class="hanging"><a href="http://www.cs.colorado.edu/~shme8881/">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>

diff --git a/papers/indistinguishability-oopsla23.html b/papers/indistinguishability-oopsla23.html
@@ -61,7 +61,6 @@ <h4 xmlns="">Reference</h4>
                   <ul class="hlinks">
                      <li><a href="papers/indistinguishability-oopsla23.html">detail</a></li>
                      <li><a href="https://doi.org/10.1145/3622849">doi</a></li>
-                     <li><a href="papers/indistinguishability-oopsla23.pdf" onClick="_gaq.push(['_trackPageview', '/papers/indistinguishability-oopsla23.pdf']);">pdf</a></li>
                   </ul>
                   <div class="item-header hanging">Verifying Indistinguishability of Privacy-Preserving Protocols</div>
                   <div class="hanging"><a href="https://kirby.linvill.net">Kirby Linvill</a>, <a href="https://gowthamk.github.io/">Gowtham Kaki</a>,  and <a href="https://ericw.us/trow/">Eric Wustrow</a></div>