Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
@cutelimination
cutelimination committed May 31, 2024
1 parent 5c0283b commit cc60170
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 15 deletions.
14 changes: 7 additions & 7 deletions index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -97,7 +97,7 @@ <h3>Research Interests</h3> I am broadly interested in topics related to program
<h3>Current Research</h3>
<ul>
<li class="item">
<a>Program Analysis and Verification</a>
Program Analysis and Verification
<ul>
<li class="item">
Path sensitivity [<a href="./files/PLDI21Fusion.pdf">PLDI'21a</a>] [<a href="https://dl.acm.org/doi/10.1145/3395363.3397378">ISSTA'20</a>], context sensitivity (via CFL-reachability) [<a href="./files/OOPSLA22-FLARE.pdf">OOPSLA'22a</a>]
Expand All @@ -118,7 +118,7 @@ <h3>Current Research</h3>
</ul>
</li>
<li class="item">
<a>Program Synthesis and Optimizations</a>
Program Synthesis and Optimizations
<ul>
<li class="item">
Program synthesis for code search [<a href="">ECOOP'23</a>] and translation [<a href="">ASPLOS'24</a>]
Expand All @@ -130,7 +130,7 @@ <h3>Current Research</h3>
</li>

<li class="item">
<a>Automted Reasoning</a>
Automted Reasoning
<ul>
<li class="item">
Symbolic abstraction: application in synthesizing best abstract transformers [<a href="https://dl.acm.org/doi/10.1145/3485495">OOPSLA'21</a>]
Expand Down Expand Up @@ -163,12 +163,12 @@ <h3>Selected Publications</h3>
The ACM SIGSOFT International Symposium on Software Testing and Analysis (CCF Rank A)
</li>
<li style="margin-bottom: 10px;"><a href="https://dl.acm.org/doi/pdf/10.1145/3632743">TOSEM 24: Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions</a>
<br>Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang.
<br>Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, and Charles Zhang
<br>ACM Transactions on Software Engineering and Methodology (CCF Rank A)
</li>
<li style="margin-bottom: 10px;">
<a href="https://arxiv.org/pdf/2309.05264.pdf">ICSE 2024: Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning</a>
<br> Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, and Kui Ren.
<br> Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, and Kui Ren
<br> The 2024 IEEE/ACM International Conference on Software Engineering (CCF Rank A)
</li>
<li style="margin-bottom: 10px;">
Expand Down Expand Up @@ -243,7 +243,7 @@ <h3>Selected Publications</h3>
</li>
<li style="margin-bottom: 10px;">
<a href="./files/OOPSLA21SymAbsExtended.pdf">OOPSLA 2021: Program Analysis via Efficient Symbolic Abstraction</a>
<br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang. <br> The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A) <br>
<br> Peisen Yao, Qingkai Shi, Heqing Huang, and Charles Zhang <br> The 36th ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages, and Applications (CCF Rank A) <br>
<a style="color:#FF0000">(One of the algorithms has been integrated into SVF)</a>
</li>
<li style="margin-bottom: 10px;">
Expand All @@ -253,7 +253,7 @@ <h3>Selected Publications</h3>
<li style="margin-bottom: 10px;">
<a href="./files/FSE21SparrowTest.pdf">ESEC/FSE 2021: Skeletal Approximation Enumeration for SMT Solver Testing</a>
<br> Peisen Yao, Heqing Huang, Wensheng Tang, Qingkai Shi, Rongxin Wu, and Charles Zhang
<br> The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (CCF Rank A) <br>
<br> The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (CCF Rank A)
</li>
<li style="margin-bottom: 10px;">
<a href="./files/ISSTA21FalconFuzz.pdf">ISSTA 2021: Fuzzing SMT Solvers via Two-Dimensional Input Space Exploration</a>
Expand Down
11 changes: 3 additions & 8 deletions teaching/index.html
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@
<h2>Course Information</h2>
<b>Lectures:</b> Tuesday, 10:00am - 12:25pm<br />
<b>Instructor:</b> <a href="https://rainoftime.github.io/">rainoftime</a>, <a href="mailto:[email protected]">[email protected]</a><br />
<b>Teaching assistant:</b> <a href="mailto:[email protected]">chiaki_cage</a><br />
<b>Teaching assistant:</b> <a href="mailto:[email protected]">Chiaki Cage</a><br />

<h2>Schedule</h2>

Expand Down Expand Up @@ -138,17 +138,14 @@ <h2>Assignments, Labs, Exams</h2>
<h2>References</h2>

<ul>
<li>
Lecture Notes of Principles of Compilers (ing...)
</li>
<li>[Appel] Andrew Appel. Modern Compiler Implementation in C.
<br> 现代编译原理 C语言描述. 人民邮电出版社 (虎书)
</li>
<li>[Dragon] Alfred V. Aho, Monica S. Lam, Ravi Sethi, Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools.
<br> 编译原理. 影印本-2011、译本-2009, 机械工业出版社 (龙书)</li>
<li>[Cooper] Keith Cooper & Linda Torczon. Engineering a Compiler.
<br> 编译器工程，机械工业出版社 （对应原书第1版)
<br> 编译器设计，人民邮电出版社 （对应原书第2版）
<br> 编译器工程，机械工业出版社 （对应原书第1版) (橡书?)
<br> 编译器设计，人民邮电出版社 （对应原书第2版) (橡书?)
</li>
<li>[Muchnick] Steven Muchnick. Advanced Compiler Design and Implementation.
<br> 高级编译器设计与实现，影印本-2003, 译本-2005 (鲸书)
Expand All @@ -161,8 +158,6 @@ <h2>References</h2>
</li>
<li>[HPG] <a href="https://dl.acm.org/doi/10.1145/1461928.1461946">Mary Hall, David Padua, Keshav Pingali. Compiler Research: The Next 50 Years, CACM 2009.</a>
</li>
<li>[Reps'98] <a href="https://dl.acm.org/doi/10.1145/276393.276394?cid=81100117392">Thomas Reps. “Maximal-munch” Tokenization in Linear Time. ACM AOPLAS 1998.</a>
</li>
<li>[G&J] Dick Grune, Ceriel J. H. Jacobs. Parsing Techniques: A Practical Guide.
</li>
<li>[Cantor'62] <a href="https://doi.org/10.1145/321138.321145">David G. Cantor. On The Ambiguity Problem of Backus Systems. JACM'62.</a>
Expand Down

0 comments on commit cc60170

Please sign in to comment.