Skip to content

Commit

Permalink
update broken link
Browse files Browse the repository at this point in the history
  • Loading branch information
@ftc
ftc committed Jan 12, 2024
1 parent a764cdf commit 071bd87
Show file tree
Hide file tree
Showing 11 changed files with 17 additions and 376 deletions.
98 changes: 4 additions & 94 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -52,7 +52,7 @@ <h4 xmlns="">PhD</h4>
<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>
<div xmlns=""><a href="https://kirby.linvill.net"><img class="small-face" src="pics/klinvill.jpg"></a><a href="https://kirby.linvill.net">Kirby Linvill</a></div>
<div xmlns=""><a href="https://plv.colorado.edu/tianhan/"><img class="small-face" src="pics/tianhan.jpg"></a><a href="https://plv.colorado.edu/tianhan/">Tianhan Lu</a></div>
<div xmlns=""><a href="http://www.cs.colorado.edu/~shme8881/"><img class="small-face" src="pics/meier.jpg"></a><a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a></div>
<div xmlns=""><a href="http://plv.colorado.edu/shawn/"><img class="small-face" src="pics/meier.jpg"></a><a href="http://plv.colorado.edu/shawn/">Shawn Meier</a></div>
<div xmlns=""><img class="small-face" src="pics/generic-male.png">Vishnu Murali
</div>
<div xmlns=""><img class="small-face" src="pics/mnarasimhamurthy.jpg">Monal Narasimhamurthy
Expand Down Expand Up @@ -233,7 +233,7 @@ <h3 xmlns="">Affiliates</h3>

<div class="float-right"></div>
CUPLV authors
<a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>,
<a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>,
<a href="https://kirby.linvill.net">Kirby Linvill</a>,
<a href="http://www.sergiomover.eu/">Sergio Mover</a>,
<a href="https://gowthamk.github.io/">Gowtham Kaki</a>, and
Expand Down Expand Up @@ -488,7 +488,7 @@ <h3 xmlns="">Affiliates</h3>
<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
dynamic group in programming languages and verification.
Application deadline is December 15, 2023.
Application deadline is December 15, 2024.

</div>
<div xmlns="" style="clear: left;"></div>
Expand Down Expand Up @@ -529,7 +529,7 @@ <h2 xmlns=""><a href="http://2023.splashcon.org/">OOPSLA 2023</a><span class="su
<li><a href="https://doi.org/10.1145/3622865">doi</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>
<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>
<div class="hanging">
<a href="http://2023.splashcon.org/">OOPSLA 2023</a>:
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
Expand Down Expand Up @@ -672,96 +672,6 @@ <h2 xmlns=""><a href="https://conf.researchr.org/home/pldi-2021">PLDI 2021</a><s
</div>
</div>
</div>

<h2 xmlns="">FNTPL<span class="subh">6(1-2)</span><span class="subh">October 2020</span></h2>

<div xmlns="" class="item">
<div class="item-icon"><a href="papers/shapeanalysis-fnt20.pdf" onClick="_gaq.push(['_trackPageview', '/papers/shapeanalysis-fnt20.pdf']);"><img src="clouds/shapeanalysis-fnt20.words.png" class="icon"></a></div>
<div class="item-block">
<div class="item-date">2020</div>
<ul class="hlinks">
<li><a href="papers/shapeanalysis-fnt20.html">detail</a></li>
<li><a href="papers/shapeanalysis-fnt20.pdf" onClick="_gaq.push(['_trackPageview', '/papers/shapeanalysis-fnt20.pdf']);">pdf</a></li>
</ul>
<div class="item-header hanging">Shape Analysis</div>
<div class="hanging"><a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, <a href="https://www.di.ens.fr/~cezarad/">Cezara Drăgoi</a>, <a href="https://sites.google.com/view/roman-manevich">Roman Manevich</a>, <a href="https://www.cs.tau.ac.il/~maon/">Noam Rinetzky</a>, and <a href="http://www.di.ens.fr/~rival/">Xavier Rival</a></div>
<div class="hanging">

Foundations and Trends in Programming Languages (FnTPL)
Found. Trends Program. Lang.


</div>
</div>
</div>

<h2 xmlns=""><a href="http://i-cav.org/2020/">CAV 2020</a><span class="subh">Virtual</span><span class="subh">July 2020</span></h2>

<div xmlns="" class="item">
<div class="item-icon"><img src="clouds/reachability-cav20.words.png" class="icon"></div>
<div class="item-block">
<div class="item-date">2020</div>
<ul class="hlinks">
<li><a href="papers/reachability-cav20.html">detail</a></li>
</ul>
<div class="item-header hanging">Reachability Analysis using Message Passing over Tree Decompositions</div>
<div class="hanging"><a href="http://www.cs.colorado.edu/~srirams/">Sriram Sankaranarayanan</a></div>
<div class="hanging">
<a href="http://i-cav.org/2020/">CAV 2020</a>:
International Conference on Computer Aided Verification

</div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><img src="clouds/unboundedtime-cav20.words.png" class="icon"></div>
<div class="item-block">
<div class="item-date">2020</div>
<ul class="hlinks">
<li><a href="papers/unboundedtime-cav20.html">detail</a></li>
</ul>
<div class="item-header hanging">Unbounded-Time Safety Verification of Stochastic Differential Dynamics</div>
<div class="hanging">Shenghua Feng, Mingshuai Chen, Bai Xue, <a href="http://www.cs.colorado.edu/~srirams/">Sriram Sankaranarayanan</a>, and Naijun Zhan
</div>
<div class="hanging">
<a href="http://i-cav.org/2020/">CAV 2020</a>:
International Conference on Computer Aided Verification

</div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><img src="clouds/pirk-cav20.words.png" class="icon"></div>
<div class="item-block">
<div class="item-date">2020</div>
<ul class="hlinks">
<li><a href="papers/pirk-cav20.html">detail</a></li>
</ul>
<div class="item-header hanging">PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems</div>
<div class="hanging">Alex Devonport, Mahmoud Khaled, Murat Arcak, and <a href="https://sites.google.com/site/zamani1362/home">Majid Zamani</a></div>
<div class="hanging">
<a href="http://i-cav.org/2020/">CAV 2020</a>:
International Conference on Computer Aided Verification

</div>
</div>
</div>
<div xmlns="" class="item">
<div class="item-icon"><img src="clouds/amytiss-cav20.words.png" class="icon"></div>
<div class="item-block">
<div class="item-date">2020</div>
<ul class="hlinks">
<li><a href="papers/amytiss-cav20.html">detail</a></li>
</ul>
<div class="item-header hanging">AMYTISS: Parallelized Automated Controller Synthesis for Large-Scale Stochastic Systems</div>
<div class="hanging">Abolfazi Lavaei, Mahmoud Khaled, <a href="http://homepages.cs.ncl.ac.uk/sadegh.soudjani/">Sadegh Soudjani</a>, and <a href="https://sites.google.com/site/zamani1362/home">Majid Zamani</a></div>
<div class="hanging">
<a href="http://i-cav.org/2020/">CAV 2020</a>:
International Conference on Computer Aided Verification

</div>
</div>
</div>
</div>
</div>
</body>
Expand Down
10 changes: 5 additions & 5 deletions news.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -64,7 +64,7 @@ <h2 xmlns="" id="paper-oopsla23">2023.07.01</h2>
<p xmlns="">
<div class="float-right"></div>
CUPLV authors
<a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>,
<a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>,
<a href="https://kirby.linvill.net">Kirby Linvill</a>,
<a href="http://www.sergiomover.eu/">Sergio Mover</a>,
<a href="https://gowthamk.github.io/">Gowtham Kaki</a>, and
Expand Down Expand Up @@ -434,7 +434,7 @@ <h2 xmlns="" id="paper-ecoop19">2019.03.31</h2>
<div class="float-right"><img class="medium-face" src="pics/meier.jpg"> <img class="medium-face" src="pics/smover.jpg"> <img class="medium-face" src="pics/chang.jpg">
</div>
CUPLV authors
<a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>,
<a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>,
<a href="http://www.sergiomover.eu/">Sergio Mover</a>, and
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>
have had a paper "<a href="papers/verivita-ecoop19.html">Lifestate: Event-Driven Protocols and Callback Control Flow</a>" accepted for presentation at
Expand Down Expand Up @@ -470,7 +470,7 @@ <h2 xmlns="" id="catalyzecu18">2018.08.01</h2>
<p xmlns="">
<div class="float-right"><img class="medium-face" src="pics/meier.jpg">
</div>
CUPLV student <a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>
CUPLV student <a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>
<a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.facebook.com/InnovateCUBldr/videos/2139011353088118/">pitched</a>
at
<a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/catalyzecu/2018-companies">Catalyze CU</a> Demo Day 2018.
Expand Down Expand Up @@ -567,7 +567,7 @@ <h2 xmlns="" id="award-nvc10">2018.03.22</h2>
<div class="float-right"><img class="medium-face" src="pics/meier.jpg"> <img class="medium-face" src="pics/chang.jpg">
</div>
CUPLV researchers
<a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a> and
<a href="http://plv.colorado.edu/shawn/">Shawn Meier</a> and
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a> with collaborators
came in 3rd in the R&amp;D track of
<a xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" href="https://www.colorado.edu/nvc/">New Venture Challenge</a> 10, earning $1,000 for the venture.
Expand Down Expand Up @@ -634,7 +634,7 @@ <h2 xmlns="" id="paper-icse18">2017.12.13</h2>
</div>
CUPLV authors
<a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>,
<a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>,
<a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>,
<a href="http://www.sergiomover.eu/">Sergio Mover</a>,
<a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and
<a href="http://ecee.colorado.edu/pavol/">Pavol Černý</a> with collaborators
Expand Down
6 changes: 3 additions & 3 deletions papers.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@
<li><a href="https://doi.org/10.1145/3622865">doi</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>
<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>
<div class="hanging">
<a href="http://2023.splashcon.org/">OOPSLA 2023</a>:
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
Expand Down Expand Up @@ -370,7 +370,7 @@
<li><a href="papers/verivita-ecoop19.pdf" onClick="_gaq.push(['_trackPageview', '/papers/verivita-ecoop19.pdf']);">pdf</a></li>
</ul>
<div class="item-header hanging">Lifestate: Event-Driven Protocols and Callback Control Flow</div>
<div class="hanging"><a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
<div class="hanging"><a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, and <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a></div>
<div class="hanging">
<a href="https://2019.ecoop.org/">ECOOP 2019</a>:
European Conference on Object-Oriented Programming
Expand Down Expand Up @@ -488,7 +488,7 @@
<li><a href="papers/droidstar-icse18.pdf" onClick="_gaq.push(['_trackPageview', '/papers/droidstar-icse18.pdf']);">pdf</a></li>
</ul>
<div class="item-header hanging">DroidStar: Callback Typestates for Android Classes</div>
<div class="hanging"><a href="http://www.seas.upenn.edu/~arjunrad/">Arjun Radhakrishna</a>, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://ecee.colorado.edu/pavol/">Pavol Černý</a></div>
<div class="hanging"><a href="http://www.seas.upenn.edu/~arjunrad/">Arjun Radhakrishna</a>, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://ecee.colorado.edu/pavol/">Pavol Černý</a></div>
<div class="hanging">
<a href="https://www.icse2018.org/">ICSE 2018</a>:
International Conference on Software Engineering
Expand Down
2 changes: 1 addition & 1 deletion papers/droidstar-icse18.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ <h4 xmlns="">Reference</h4>
<li><a href="papers/droidstar-icse18.pdf" onClick="_gaq.push(['_trackPageview', '/papers/droidstar-icse18.pdf']);">pdf</a></li>
</ul>
<div class="item-header hanging">DroidStar: Callback Typestates for Android Classes</div>
<div class="hanging"><a href="http://www.seas.upenn.edu/~arjunrad/">Arjun Radhakrishna</a>, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://www.cs.colorado.edu/~shme8881/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://ecee.colorado.edu/pavol/">Pavol Černý</a></div>
<div class="hanging"><a href="http://www.seas.upenn.edu/~arjunrad/">Arjun Radhakrishna</a>, <a href="https://www.octalsrc.org/research">Nicholas V. Lewchenko</a>, <a href="http://plv.colorado.edu/shawn/">Shawn Meier</a>, <a href="http://www.sergiomover.eu/">Sergio Mover</a>, <a href="http://www.cs.colorado.edu/~bec/">Bor-Yuh Evan Chang</a>, and <a href="http://ecee.colorado.edu/pavol/">Pavol Černý</a></div>
<div class="hanging">
<a href="https://www.icse2018.org/">ICSE 2018</a>:
International Conference on Software Engineering
Expand Down
2 changes: 1 addition & 1 deletion papers/historia-oopsla23.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ <h4 xmlns="">Reference</h4>
<li><a href="https://doi.org/10.1145/3622865">doi</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>
<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>
<div class="hanging">
<a href="http://2023.splashcon.org/">OOPSLA 2023</a>:
ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications
Expand Down
Loading

0 comments on commit 071bd87

Please sign in to comment.