Skip to content

Commit

Permalink
refine
Browse files Browse the repository at this point in the history
  • Loading branch information
@cutelimination
cutelimination committed Jan 22, 2024
1 parent 7254acc commit 25a4ad4
Show file tree
Hide file tree
Showing 2 changed files with 98 additions and 21 deletions.
58 changes: 37 additions & 21 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -45,27 +45,38 @@ <H2>Yao Peisen </H2> Assistant Professor (ZJU 100 Young Professor) <br>
<big>
<b>Publications</b>
</big>
</a>] [ <a href="#awards">
</a>]
[ <a href="#awards">
<big>
<b>Awards</b>
</big>
</a>] [ <a href="#software">
</a>]
[ <a href="#software">
<big>
<b>Software</b>
</big>
</a>] [ <a href="#service">
</a>]
[ <a href="#service">
<big>
<b>Service</b>
</big>
</a>] [ <a href="#students">
</a>]
[ <a href="#teaching">
<big>
<b>Teaching</b>
</big>
</a>]
[<a href="#students">
<big>
<b>Students</b>
</big>
</a>] [ <a href="#misc">
</a>]
[<a href="#misc">
<big>
<b>Misc</b>
</big>
</a>] </center>
</a>]
</center>
<p>Please read <a href="html/note-to-prospective-students.html">this</a> if you are a student interested in working with me (e.g., for Ph.D., Master, RA/intern, and Bachelor's thesis).</p>
<hr noShade size=3.5>
<a name="news"></a>
Expand Down Expand Up @@ -119,13 +130,13 @@ <h3>Current Research</h3>
<a>Program Analysis and Verification</a>
<ul>
<li class="item">
<a>Path sensitivity [<a href="./files/PLDI21Fusion.pdf">PLDI21'a</a>] [<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA'20</a>], context sensitivity (via CFL-reachability) </a> [ <a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>]
<a>Path sensitivity [<a href="./files/PLDI21Fusion.pdf">PLDI21'a</a>] [<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA'20</a>], context sensitivity (via CFL-reachability) </a> [<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>]
</li>
<li class="item">
<a>Reasoning about concurrency</a> [<a href="./files/PLDI21Canary.pdf">PLDI21'b</a>] [<a href="">USENIX Security'23</a>], collections [<a href="./files/TOSEMAnchor.pdf">TOSEM'23</a>], and numerics [<a href="https://dl.acm.org/doi/10.1145/3485495">OOPSLA'21</a>] [<a href="./files/ASE21TransCode.pdf">ASE'21</a>] [<a href="./files/ICSE22Wit.pdf">ICSE'22</a>] [<a href="">ASE'23a</a>]
</li>
<li class="item">
<a>Fuzz testing</a>: general purpose [<a href="">S&P'24</a>] [ <a href="https://5hadowblad3.github.io/files/TDSC.pdf">TDSC'23</a>] [ <a href="https://qingkaishi.github.io/public_pdfs/SP22.pdf">S&P'22</a>
<a>Fuzz testing</a>: general purpose [<a href="">S&P'24</a>] [<a href="https://5hadowblad3.github.io/files/TDSC.pdf">TDSC'23</a>] [ <a href="https://qingkaishi.github.io/public_pdfs/SP22.pdf">S&P'22</a>
<img src="figs/award.gif" width="18" alt="">] [<a href="./files/SP20Pangolin.pdf">S&P'20</a>], domain specific [<a href="https://dl.acm.org/doi/abs/10.1145/3468264.3468540">ESEC/FSE'21</a>] [ <a href="https://dl.acm.org/doi/10.1145/3460319.3464803">ISSTA'21</a>]
</li>
<li class="item">
Expand Down Expand Up @@ -298,15 +309,15 @@ <h3>Software</h3>

<li class="item">
<p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
<a href="https://github.com/ZJU-Automated-Reasoning-Group/efmc">efmc</a>: An SMT-based software model checker </a> ( <a href="">ASE'23a</a>)
<a href="https://github.com/ZJU-Automated-Reasoning-Group/efmc">efmc</a>: An SMT-based software model checker </a> (<a href="">ASE'23a</a>)
</p>
</li>
<li>
<a href="https://github.com/ZJU-Automated-Reasoning-Group/arlib">arlib</a>: A library for playing with various automated reasoning tasks, such as model counting, Optimization Modulo Theory (OMT) solving, etc.
</li>
<li class="item">
<p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
<a href="https://github.com/ZJU-Automated-Reasoning-Group/smtfuzz">smtfuzz</a>: A fuzz testing tool for SMT solvers ( <a href="https://dl.acm.org/doi/abs/10.1145/3468264.3468540">ESEC/FSE'21</a>, <a href="https://dl.acm.org/doi/10.1145/3460319.3464803">ISSTA'21</a>)
<a href="https://github.com/ZJU-Automated-Reasoning-Group/smtfuzz">smtfuzz</a>: A fuzz testing tool for SMT solvers (<a href="https://dl.acm.org/doi/abs/10.1145/3468264.3468540">ESEC/FSE'21</a>, <a href="https://dl.acm.org/doi/10.1145/3460319.3464803">ISSTA'21</a>)
<ul>
<li class="item">smtfuzz has found <a href="https://smtfuzz.github.io/">hundreds of bugs</a> in several state-of-the-art SMT solvers and first-order theorem provers, such as Z3, CVC5, Yices2, STP, Boolector, MathSAT5, SMTInterpol, OpenSMT, SMT-RAT, DReal, SPASS, and Vampire </li>
<li class="item">You may try a simplified implementation of the random formula generator by "pip install smtfuzz" </li>
Expand All @@ -321,7 +332,7 @@ <h3>Software</h3>
<li>Former Projects<ul>
<li class="item">
<p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
<a href="https://www.sourcebrella.com/">Pinpoint</a>: An SMT-based, industrial-strength static analysis framework ( <a href="https://dl.acm.org/doi/10.1145/3453483.3454099">PLDI'21b</a>, <a href="./files/ASE21TransCode.pdf">ASE'21</a>, <a href="https://dl.acm.org/doi/10.1145/3453483.3454099">PLDI'21a</a>, <a href="https://dl.acm.org/doi/10.1145/3453483.3454099">PLDI'21b</a>, <a href="./files/ICSE22Wit.pdf">ICSE'22</a>, <a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>, <a href="">USENIX Security'23</a>, <a href="./files/TOSEMAnchor.pdf">TOSEM'23</a>...) <br>
<a href="https://www.sourcebrella.com/">Pinpoint</a>: An SMT-based, industrial-strength static analysis framework (<a href="https://dl.acm.org/doi/10.1145/3453483.3454099">PLDI'21b</a>, <a href="./files/ASE21TransCode.pdf">ASE'21</a>, <a href="https://dl.acm.org/doi/10.1145/3453483.3454099">PLDI'21a</a>, <a href="https://dl.acm.org/doi/10.1145/3453483.3454099">PLDI'21b</a>, <a href="./files/ICSE22Wit.pdf">ICSE'22</a>, <a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>, <a href="">USENIX Security'23</a>, <a href="./files/TOSEMAnchor.pdf">TOSEM'23</a>...) <br>
<ul>
<li class="item">Pinpoint has found <a href="https://fusion-scan.github.io/">hundreds of bugs</a> in many mature and fundamental open-source projects, including Linux Kernel, FreeBSD, MySQL, Firefox, HBase, OpenSSL, PostgreSQL, MariaDB, FFmpeg, Apache HTTPd, Git, Python, Memcached, Redis, Tmux, Vim, Mariadb, and many others. </li>
<li> Pinpoint was commercialized at <a href="https://www.sourcebrella.com/">Sourcebrella Inc</a>, which was acquired by Ant Group in 2020. </li>
Expand All @@ -341,16 +352,16 @@ <h3>Software</h3>
</li>
<li class="item">
<p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
<a href="https://github.com/EqDAC/EqDACTool">EqDAC</a>: An equivalence checker for verifying data constraint equivalence </a>( <a href="./files/ICSE23EqDAC.pdf">ICSE'23</a>)
<a href="https://github.com/EqDAC/EqDACTool">EqDAC</a>: An equivalence checker for verifying data constraint equivalence </a>(<a href="./files/ICSE23EqDAC.pdf">ICSE'23</a>)
</p>
<ul>
<li class="item">EqDAC has been deployed in Ant Group, a global FinTech company with 1 billion activeusers. </li>
</ul>
</li>
<li class="item">
<p style="text-align:justify; text-justify:inter-ideograph; margin-right: 5mm">
<a href="">Cres</a>: Program synthesis for code optimization [ <a href="./files/OOPSLA22Cres.pdf">OOPSLA'22b</a>
<img src="figs/award.gif" width="18" alt="">] and code search [ <a href="">ECOOP'23</a>]
<a href="">Cres</a>: Program synthesis for code optimization [<a href="./files/OOPSLA22Cres.pdf">OOPSLA'22b</a>
<img src="figs/award.gif" width="18" alt="">] and code search [<a href="">ECOOP'23</a>]
</li>
</ul>

Expand All @@ -363,10 +374,13 @@ <h3>Service</h3>
<a>Chair or Co-chair: CCF ChinaSoft'23优秀博士生论坛</a>
</li>
<li class="item">
<a>Program Committee: CCS'24, SNAER'24 (Demo), IEEE EuroS&P'24, ISSTA'24, SPLASH'23 (SRC), ChinaSoft'23, RAID'23, PLDI'23</a>
<a>Technical Program Committee: CCS'24, IEEE EuroS&P'24, ISSTA'24, ChinaSoft'23, RAID'23, PLDI'23</a>
</li>
<li class="item">
<a>Artifact Evaluation Committee: OOPSLA'24, ICSE'24, PLDI'23, USENIX Security'23, MobiSys'23, ATC'22, OSDI'22</a>
<a>Artifact Evaluation Committee: PLDI'24, OOPSLA'24, ICSE'24, PLDI'23, USENIX Security'23, MobiSys'23, ATC'22, OSDI'22</a>
</li>
<li class="item">
<a>Program Committee of other Tracks: SNAER'24 (Demo), OOPSLA'23 (SRC)</a>
</li>
<li class="item">
<a>Conference Reviewer/Sub-reviewer/Co-reviewer: ATVA'22, ISSRE'21, ESEC/FSE'19, ISSTA'19, ASE'18, VMCAI'17</a>
Expand All @@ -383,11 +397,13 @@ <h3>Mentoring</h3>
</a>
</li>
</ul>
<a name="courses"></a>

<hr noShade size=3.5>
<a name="teaching"></a>
<h3>Courses</h3>
<ul>
<li class="item">
<a>Compilers (Spring 2024), ZJU </a>
<a href="teaching/compilers.html">Compilers (Spring 2024), ZJU.</a>
</li>
<li class="item">
<a>COMP4632: Practicing CyberSecurity: Attacks and Counter-measures, Teaching Assistant, HKUST </a>
Expand Down Expand Up @@ -441,16 +457,16 @@ <h3>
<a>Program Analysis via Symbolic Abstraction, HCP'23 (第六届难解问题的表示、算法与应用研讨会), 2023.07</a>
</li>
<li class="item">
<a>高精度静态数值缺陷分析 [ <a href="files/chinasoft22.pdf">slide</a>], CCF ChinaSoft'22 高可信嵌入式软件工程技术论坛，2022.11 </a>
<a>高精度静态数值缺陷分析 [<a href="files/chinasoft22.pdf">slide</a>], CCF ChinaSoft'22 高可信嵌入式软件工程技术论坛，2022.11 </a>
</li>
<li class="item">
<a>Complexity-Guided Container Replacement Synthesis, CCF ChinaSoft'22 顶会顶刊论坛, 2022.11</a>
</li>
<li class="item">
<a>Program Analysis via Symbolic Abstraction [ <a href="files/symbolic_abstraction_intro.pdf">slide</a>], SIG-Program Analysis, 2022.10 </a>
<a>Program Analysis via Symbolic Abstraction [<a href="files/symbolic_abstraction_intro.pdf">slide</a>], SIG-Program Analysis, 2022.10 </a>
</li>
<li class="item">
<a>Introduction to Metamorphic Testing (蜕变测试导引) [ <a href="files/metamorphic_testing_intro.pdf">slide</a>], System Security Summer School, Zhejiang University </a>
<a>Introduction to Metamorphic Testing (蜕变测试导引) [<a href="files/metamorphic_testing_intro.pdf">slide</a>], System Security Summer School, Zhejiang University </a>
</li>
<li class="item">
<a>Solidifying and Scaling SMT-based Program Analysis, Xiamen University</a>
Expand Down
61 changes: 61 additions & 0 deletions teaching/compilers.html
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,61 @@
<html>
<head>
<title>Formal Semantics of Programming Languages, Fall 2022</title>
<meta content="text/html;charset=UTF-8" http-equiv="Content-Type">
</head>

<body style="line-height:150%">

<h3><font size="5" face="Georgia">编译原理 (Principle of Compilers）</font></h3>
<p><font size="4" face="Georgia">学期：2023-2024学年春夏学期</font></p>
<p><font size="4" face="Georgia">授课老师：<a href="https://rainoftime.github.io/">姚培森</a>，浙江大学杭州国际科创中心水博园区B06, 311</p>
<p><font size="4" face="Georgia">助教：<a href="mailto:???">陈楷骐</a></font></p>
<hr>
<hr>

<h3><font face="Georgia">Lecture Notes</font></h3>
<ul>
<li> <b>[XX/XX]</b>: Introduction (<a href="">slide</a>)
</li>

</ul>
<hr>

<h3><font face="Georgia">Assignments/Labs</font></h3>
<ul>
<li> <b>[XX/XX]</b>: <a href="XXX">XXXX</a>.
Due by <b>23:59pm, XX/XX</b>.
</li>

</ul>

<hr>

<h3><font face="Georgia">Textbooks and References</font></h3>
<ul>
<li>Textbooks: Modern Compiler Implementation in C</li>
<li>References:</li>
<ul>
<li>Alfred V. Aho, Monica S. Lam, et al. Compilers: Principles, Techniques, and Tools</li>
<li> Keith Cooper & Linda Torczon, Engineering a Compiler
</li>
<li> Hanne Riis Nielson, Flemming Nielson. Semantics with Applications: A Formal Introduction.</li>
<li>Steven Muchnick. Advanced Compiler Design and Implementation</li>
<li>Michael L. Scott. Programming Language Pragmatics</li>
<li>Christopher W. Fraser, David R. Hanson. A Retargetable C Compiler</li>
</ul>
</ul>
<hr>

<h3><font face="Georgia">Article of Interest</font></h3>
<ul>
<li><a href="https://dl.acm.org/doi/10.1145/1461928.1461946">Mary Hall, David Padua, Keshav Pingali. Compiler Research: The Next 50 Years, Comm. ACM 52(2): 60 - 67, Feb. 2009.</a> </li>
<li><a href="https://dl.acm.org/doi/10.1145/1461928.1461946">Thomas Reps. “Maximal-munch” tokenization in linear time. ACM Transactions on Programming Languages and Systems, Volume 20, Issue 2, pp 259–273. 1998.</a> </li>

</ul>
<hr>

<p><font size="3" face="Georgia">最后更新日期：2024-01-12</font></p>
</body>

</html>

0 comments on commit 25a4ad4

Please sign in to comment.