“Life is really simple, but we insist on making it complicated.” ― Confucius
Presentation of DSpot: a test suite amplification tool.slides
Presentation of Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation. slides
Exploring the Perturbability Envelope in Software:
Perturbation is change in the state of a system at runtime. Such changes has a surprisingly low impact on the correctness (final output) of system according to our study. Does the equilibrium of the correctness of software is naturally present?
Development of N2S3: a Neural Network Scalable Spiking Simulator. Written in scala and using akka actors, N2S3 scale up and allow users to the simulate of neuro-inspired hardware accelerators. N2S3 got a real time UI to monitor the current state of the neuronal network.