• ASC14 required the participated team to wring the most HPC performance out of a 3000W power allowance, and also to compete scalability of 3D-EW on Tianhe-2 supercomputer
• Mastered the numerical methods, relevant algorithms, multiprocessor and parallel programmings, GPGPU heterogeneous computing
• Optimized the SU² -- a Stanford University developed open-source C++ code for Partial Differential Equation analysis and designed things that adhere to PDE constraints, and assisted in the HPL event

• Z. Cao, Y. Zhen, G. Fan and S. Gao, "TokenPatronus: A Decentralized NFT Anti-theft Mechanism," arXiv:2208.05168 [cs.CR], Aug. 2022.

A universal technical solution to be adapted to any ERC721 standard smart contract to help NFT holders guard their property security jointly

• ERC721G: major smart contract. The solution helps NFT holders protect property safety through pre-protection, mid-blocking, and post-compensation
• ERC721GAdmin: GUI for ERC721G Operations
• BigBroOracle: Oracle smart contract of communication between BigBrother risk control engine and web3 user
• Designer of BigBrother risk control solution
• KeywordsEthereum, Oracle, Solidity, React, TypeScript
• Github Addresshttps://github.com/turtlecasedao/OpenERC721G
• Project AddressTurtleCase-Origins TurtleCaseGang

Gödel datalog-based OO programming language system, with many contemporary features, such language focus on big data analytics, integrated with soufflé as the datalog execution engine

• Programming Model: logic, declarative, objected-oriented, query-based
• Lambda Calculus and Desugar: closure is a great feature, Gödel implemented lambda as a grammar sugar in early version, and will have a real closure in next release
• Name Resolution: name analysis, closure capture analysis, path resolution
• Type Inference and Type Check: Gödel has a simple type system, the type inference and checking based on intuitionistic logic
• Multi-IR Hierarchy: Gödel has several layers of IR: AST->HIR->MIR->LIR->soufflé
  HIR stands for "high-level IR", roughly an abstract syntax tree
  MIR stands for mid-level IR, because the MIR comes between the existing HIR and LIR(in abstract conception)
  LIR stands for SSA-based "low-level" IR
• Codegen: IR2IR transformation; Gödel2Soufflé transformation
• Semantic Optimization: speed up the Soufflé code and solve ungrounded problem
• Compiler Architecture: semi-pass based and semi-query based architecture
• Session and Compile Environment: serialization and thread-safe global compile environment. Enbale incremental compilation, parallelizing compilation, support external library and dynamic loading
• Documentation: composed and wrote language specification of Gödel
• Business: research for web3 and decentralized edge streaming system
• KeywordsRust, DSL, Soufflé, Datalog, Runtime, Compiler

Conducted research review of robust compiling. Make decision of technique selection and design the architecture that includes unbiased model, AST translator, DAO and robust compiling components. Implemented PoC mainly based on clangd and LLVM/Clang

• KeywordsC++, TypeScript, vscode-clangd, clangd, LLVM/Clang, Prisma

• SUBTASK 1 Communicate with more than four teams for undertaking dependency of render engine, runtime, plugin and language framework
• SUBTASK 2 Lead team to determine the architecture of low-code IDE kernel with code generator and model checking engine for compiling from UI Model to CharUI source code. Designer of the meta model and inner DSL component
• SUBTASK 3 SwiftUI-like component. Conducted reconciliation submodule for bidirectional preview of CharUI. Implemented BFS and Longest Increasing Sequence, a kind of Dynamic Programming, diffing algorithm
• Websitehttps://developer.harmonyos.com/cn/develop/deveco-studio

HMS Toolkit is a plugin installed in Android Studio to facilitate App creation, API conversion etc. It helps developer integrate HMS APIs in the most efficient way

• INNOVATION POINT Convertor for automated adaptation between HMS API and GMS API, dealing with Exception submodule, Collection submodule and TODO submodule
• Improving technical documentation
• Deobfuscation for GMS API
• Websitehttps://plugins.jetbrains.com/plugin/13220-hms-toolkit/

MapleFE/dex2mpl development for Maple/Ark compiler, which is a kind of Ahead-Of-Time compiling alternative of Google ART/Dalvik on Huawei Mobile ecosystem

• INNOVATION POINT Researched and implemented one invoke-custom(invoke-dynamic in Java Virtual Machine) instruction under maple front-end framework, converting this dynamic feature to static equivalently based on invoke-polymorphic opcode
• Designed smali-like language grammar for MapleFE, front-end intermediate representation, and Implemented such parser part(details confidential)
• Help interpreter team with instruction implementation; Writing simple string pattern-mathcing algorithm scripts for verification; Open Source supporting
• Opcode IntroductionDalvik Opcodes for Dynamic Invocation
• Websitehttps://www.openarkcompiler.cn/home

Customers book payment, pre-advice and deposit wire transfers on the platform

• Full-stack development for Currency Eligibility module: Developed front-end using MVC model with the help of Ext JS. Implemented CRUD, approval and drill-down analysis of Available Straddle value. Using Facade, Factory and Dynamic Proxy patterns designed and implemented controller, services and DAO for back-end
• Developed reconciliation module for downstream data warehouse team: abstracted business logic to 2PC-like protocol(similiar to Two-Phase Commit) through Finite State Machine model
• Implemented component of unmarshalling SOAP message to JavaBean
• Debugging existing bugs and analyzing daily logs. Continuous Integration

• Implemented approval logic for tree-form entities. Developed general DAO for arbitrary tables by JDBC
• Participated in email alert ability implementation, RESTful API design, PDF report module enhancement
• Using reflection techniques to implement Automated Test Framework for POJO

• Recognition and NLP for scanning image of bank statement. Writing and debugging image alignment algorithm with Hough Line Transform and Affine Transformation

A Hacker-News-like social information platform focusing on IT industry and computer science, which users could publish general news, academic contents and questions through it. Reducing time wasting on nonnutritive information is the major goal

• Websitehttp://sweetpotato.ai
• Project Homehttps://github.com/ProLambda/Times
• KeywordsHaskell 8.0.2, Scotty, Persistent, mime-mail, websockets, Blaze, PostgreSQL, Bootstrap, jQuery
• My duties
  • Everything

PPrinter is a Haskell library that supports automatic derivation of pretty printing functions on user defined arbitrary data types (the deriving mechanism supports the automatic generation of instances for functions)

• Project Homehttp://hackage.haskell.org/package/PPrinter-0.1.0
• KeywordsDissertation Project, Hackage, Haskell 7.10.2
• My duties
  • Developed the library and wrote the dissertation

A compiler for the subset of C language that compiles the source code to Java bytecode. It contains the essential parts of a standard compiler including lexer, parser, semantic analyzer and code generator

• Project Homehttps://github.com/i-zhen/Reactor-C
• KeywordsJava 7, ASM 4
• My duties
  • Developed and tested the compiler

An interpreter written in scala for a simple ML-like programming language which supports syntactic sugar, type checking, recursive function and first-order lambda calculus

• Project Homehttps://github.com/i-zhen/Apache-Longbow
• KeywordsScala 2.11.7
• My duties
  • Developed and tested the interpreter

People with little education may find it hard to understand the content in the wiki. Our new system made wiki much easier for people to read. The GUI can display different colors in one page. Each color stands for one education level

• Project HomeNone. Screenshot
• KeywordsPython 2.7.5, C/C++, linux/win, QT
• My duties
  • Designed the kernel algorithm which take linear complexity of time
  • Determined ratings and conducted initial data training

Designed a room reservation system for the Student Activity Center in Sun Yat-sen University. Students can use this system to book rooms in SAC and managed their own information

• Project homeNone(internal use only). Screenshot
• KeywordsPython 2.7.5, Javascript, MySQL, web.py, Bootstrap, jQuery
• My duties
  • Developed the back end system
  • Designed the UI
  • Tested and debugged the system before release

This is an online system that can compile and execute codes and then test them with pre-constructed data. Users submit code and run it with restrictions (time limit, memory limit, etc.). The output of the code will be compared with the standard output and then return the result to the users. This project is critical to the online judge system which provides the interfaces of the methods described above

• Project Homehttps://github.com/i-zhen/Simple-OJ-core
• KeywordsC/C++, Linux, Linux-API
• My duties
  • Checked the Linux API and developed the kernel

Set a new world record of HPL(Linpack) performance and won ¥10,000 CNY