Skip to content
View SpencerL-Y's full-sized avatar
💾
Coding
💾
Coding
  • Institute of Software, CAS
  • Beijing

Highlights

  • Pro

Block or report SpencerL-Y

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
SpencerL-Y/README.md

Welcome to Clexma's Github👋

About me

I am a Ph.d. student at State Key Lab. of Computer Science, ISCAS.

Detailed bio can be found here

Research Interests

  • Program verification and analysis: which includes invariant synthesis, ranking function synthesis and memory safety analysis
  • New logic and corresponding deciding algorithm that can be used to extend the scope and capability of formal method.
  • Fuzzing techniques of Linux kernel

Other Interests

  • KTM 390 ADV
  • War Thunder

Pinned Loading

  1. Z3-SLHV Z3-SLHV Public

    extension of z3 to logic SLHV

    C++ 2

  2. SELO SELO Public

    esbmc for learning

    C 2

  3. SESL SESL Public

    A Symbolic Executor based on Separaton Logic

    SWIG 7

  4. SVMRanker SVMRanker Public

    SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM

    Python 1

  5. Jinlong-He/ISADT Jinlong-He/ISADT Public

    C++

  6. OCAReach OCAReach Public

    Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula

    Java