Repositories list

• 202510-trial-lecture-infinity

  Public
  A Trial Lecture on Infinity at HNU in 2025-10

  TeX

  •

  MIT License

  •0•0•0•0•Updated Oct 10, 2025Oct 10, 2025

• dbconf2025

  Public
  2025 Papers on Verification of Transactional Isolation Levels

  databaseverificationsmt+ 4concurrency-controlrobustnessisolation-levelstransactional-consistency-model

  TeX

  •

  The Unlicense

  •0•2•0•0•Updated Aug 26, 2025Aug 26, 2025

• report-veristrong

  Public
  On VeriStrong

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Jul 1, 2025Jul 1, 2025

• 2025-icde-minitesting-hongkong

  Public
  2025-icde-minitesting-hongkong

  The Unlicense

  •0•0•0•0•Updated Jun 19, 2025Jun 19, 2025

• 2025-icde-timekiller-hongkong

  Public
  2025-icde-timekiller-hongkong

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Jun 1, 2025Jun 1, 2025

• 202411-industrial-software-meeting

  Public
  工业软件产教联合主题交流会 (2024 年 11 月 11 日（星期一）上午，09:30–11:30)

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Nov 10, 2024Nov 10, 2024

• 202408-vldb2024-report

  Public
  0•0•0•0•Updated Sep 5, 2024Sep 5, 2024

• 202408-vldb2024-poster

  Public
  0•0•0•0•Updated Sep 5, 2024Sep 5, 2024

• 202405-poster-transactional-consistency

  Public
  202405-poster-transactional-consistency

  The Unlicense

  •0•0•0•0•Updated May 20, 2024May 20, 2024

• 2023-annual-report

  Public template
  2023-annual-report

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Jan 6, 2024Jan 6, 2024

• 202311-assessment-report

  Public
  202311-assessment-report

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Nov 23, 2023Nov 23, 2023

• 202310-software-institute

  Public
  202310-software-institute

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Oct 18, 2023Oct 18, 2023

• polysi-vldb2023-report

  Public
  Report on PolySI at VLDB2023

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Sep 26, 2023Sep 26, 2023

• report-beamer-template

  Public template
  My Beamer Template for Reports

  TeX

  •

  The Unlicense

  •0•0•0•0•Updated Sep 1, 2023Sep 1, 2023

• 202211-research-report

  Public
  Research Report in 2022-11

  TeX

  •

  MIT License

  •0•0•0•0•Updated Nov 3, 2022Nov 3, 2022

• 202211-teach-report

  Public
  Report on Teaching

  HTML

  •0•0•0•0•Updated Oct 27, 2022Oct 27, 2022

• 202101-unistore

  Public
  Report on UniStore in 2021-01 with Li from Tencent Inc.

  TeX

  •0•0•0•0•Updated Oct 22, 2022Oct 22, 2022

• verifying-mongodb-tx-report

  Public
  Report on the Work "Verifying Transactional Consistency of MongoDB"

  TeX

  •

  The Unlicense

  •0•0•1•0•Updated Dec 29, 2021Dec 29, 2021

• phd-survey-consistency-models-report

  Public
  PhD Suvery Report on Consistency Models

  TeX

  •

  MIT License

  •0•0•0•0•Updated Oct 7, 2020Oct 7, 2020

• njucs-youth-salon-2018-report

  Public
  Report for Youth-Salon at njucs, 2018.

  reportnju-cs

  TeX

  •

  MIT License

  •0•0•0•0•Updated Feb 16, 2019Feb 16, 2019

• ccf2018-report

  Public
  CCF 2018 优博论坛报告 (北京大学)

  reportsccfccf-2018

  TeX

  •

  MIT License

  •1•0•0•0•Updated Dec 25, 2018Dec 25, 2018

• opodis18-jupiter-report

  Public
  Report Prepared for the OPODIS'2018 Conference

  jupiterconference-reportopodis-2018

  TeX

  •

  MIT License

  •0•0•0•0•Updated Dec 15, 2018Dec 15, 2018

• podc18-jupiter-report

  Public
  Report (brief announcement) prepared for the PODC'2018 conference

  conference-talkpodc

  TeX

  •

  MIT License

  •0•0•0•0•Updated Jul 21, 2018Jul 21, 2018

• phd-defense-report-2016

  Public
  Report for PhD defense, 2016.

  phd-defensephd-report

  TeX

  •0•1•2•0•Updated Dec 7, 2016Dec 7, 2016