Image

Welcome on my profile.

Currently I am a Mobile game developer in Xinyoudi Studio, Leqee Company.

Formerly, I've been:
»   master student at Large-scale System Architecture (LSA) Laboratory,
National Tsing Hua University (Taiwan).

I am working in the area of erasure codes and cloud storage system
under the supervision of Jerry Chou.

»  research intern at Proval of LRI (Laboratoire de Recherche en Informatique),
University of Paris XI (France).

I was working on "automated constraint verification for databases"
under the supervision of Véronique Benzaken and Évelyne Contejean.

»  member of Microsoft Visual Perception Laboratory (VIPA Group of Eagle (InnovativE SoftwAre TechnoloGy DeveLopment CentEr) Lab),
Zhejiang University (China).

I was working on "scene audio recognition of image"
under the supervision of Mingli Song.

You may want to have a look at my resume (html | pdf).

You may be interested in my blog.

Career

Career Experiences

Frontend mobile game developer in Xinyoudi Studio, Leqee Company, 2014/7–current.

Research

Research Interests

  • Cloud Computing
  • Storage Systems
  • Erasure Codes
  • Integrity Constraint Enforcement
  • Machine Learning

Research Experiences

I joined Microsoft Visual Perception Laboratory of Zhejiang University in 2010 when I was a junior student. Under the direction of Prof. Mingli Song, I started reading papers in the wide area of Speech-driven facial animation, Speech emotion recognition, AED (Audio event detection), Music emotion recognition, Sound localization, Unstructured audio scene recognition and also Image inpainting and Image completion. Later, we combined the research work of image scene classification and auditory scene recognition, and develop an approach to recognize the scene sounds of images. That is, given an image, to find the environmental sounds that are fit to the scene of the image. Probabilistic Latent Semantic Analysis (pLSA) and Matching Pursuit (MP) algorithms are applied to extract the features of training images and sounds respectively. Then machine learning approach is used to recognize the corresponding environmental sounds for the specified image. In the training stage, For each image, pLSA is used to obtain its topic distribution P(z|d) while MP algorithm is used to get the first 10 Gabor atom reconstructed signal for each environmental sound. We joint topic distribution P(z|d) of image with the reconstructed signal of the corresponding audio to obtain the vectors of mixed feature of the training pair of images and sounds. And then we calculate the cluster indices of each vector of mixed features and the centroid locations of the clusters. In the testing stage, For an input image, we mix its topic distribution P(z|d) with the reconstructed signal of different audio to get different vectors of mixed features. Then we compare this set of testing mixed features with the centroid vector of training clusters and obtain the category of the test mixed feature vector which is most similar to the centroid vector of a certain training cluster. The target audio are the sounds in the same category.

During my stay at Proval Group as a research intern, I was working on my bachelor's thesis "automated constraint verification for databases" under the guidance of Véronique Benzaken and Évelyne Contejean. Our motivation of this thesis is from the observation that currently no real DBMS (database management system) have fully support the management of integrity constraints. Instead, they use triggers as an alternative. However, the behavior of triggers is complex and the semantics of them are hard to understand. We present a strategy to automatically verify the integrity constraints of databases. Our method is based on the weakest precondition and predicate transformer approaches. First we reduce database integrity constraints in SQL into SQL assertions, and then transfer assertions into FOL (first-order logic) formula. Based on the logical formalization of both SQL assertions and data modification operations, we implement integrity constraints checking for databases with the help of the program verification platform Why3. For the input SQL statements, our program translate them into WhyML program, later Why3 is called to compute the weakest preconditions and generate the verification conditions for the back-end provers (such as Alt-Ergo, CVC3, etc.). Finally the provers will check whether the databases after executing the data modification operations satisfy the constraints. All the process is fully automatic. My bachelor's thesis now is available in Chinese and the English slides are also available. The source code is opened under the GPLv3. (View assertion-verification on GitHub)

Now I am working on issues related to cloud storage system, and erasure codes. Recently, I implemented a GPGPU approach to accelerate Reed-Solomon coding. Source code and some documents are available. (View GPU-RSCode on GitHub)

Techniques

Programming Skills

  • I have sufficient knowledge and practical experiences of the following programming language:
    C, C++, Java, Verilog HDL, Matlab/Octave.
  • I have used the following programming languages in some projects but my knowledge of them is still not complete:
    Ocaml, HTML Markup/Markdown.
  • I have used the following programming languages in some small tasks: Python.
  • I know the following techniques:
    • GPGPU: CUDA, OpenCL
    • Parallel Programming: Hadoop, MPI
    • Graphics: OpenGL
    • Database: Postgres, Mysql
  • I also have strong interests in the following programming languages and are willing to learn them: Ruby, LISP, Haskel, etc.

Programming Tools

  • Version control tools: I am mostly experienced of git, and I also have experiences of svn and cvs.
  • Editor/IDE: I am a VIM lover, and I also have used Eclipse, Visual Studio and Xilinx ISE before.
  • I prefer GNU Make to IDE, and I also like using autoconf and automake.
  • I have rich experiences with GNU/Linux (Archlinux is my favourite!) and bash script, including sed and awk.
  • Documentation related tools: I use LaTeX to write documents and slides, and I use DOT to generate figures.

Project Experiences

For more projects, please view my Github and Google code profile.

Interests

Music

I am a Classical music fan, and I love playing the violin.
You may be interested in the short essay Innovation and Conservation -- Classical Music of the UK written by me when I was a sophomore.

Sports

My favourite sports are badminton and table tennis. I also like watching tennis and basketball games.


E-mail
yszheda AT gmail DOT com

Phone
0988473989/(886)988473989

Mail address
EECS 836
National Tsing Hua University
101 Section 2 Kuang Fu Road
Hsinchu 30013
Taiwan

Physical address

View EECS, NTHU in a larger map