TehOPengSiuDai
Arch-Supremacy Member
- Joined
- Jan 6, 2018
- Messages
- 12,667
- Reaction score
- 8,181
Tried greetings and smiling but still got door closed in my face
shinmin...Xu Na holds a Ph.D. from Cambridge. Former classmates describe her as knowledgeable, talented, introverted, and polite.
- Thread starter 11.11.
- Start date
Chemchem
Supremacy Member
- Joined
- Jan 30, 2019
- Messages
- 5,471
- Reaction score
- 2,902
Pic of her younger days in France...
What a pity...
I really suspect is relationship issues...
Such a high flyer in research...
https://vt.tiktok.com/ZSUMaoUaT/
What a pity...
I really suspect is relationship issues...
Such a high flyer in research...
https://vt.tiktok.com/ZSUMaoUaT/
Summary
Program errors are hard to detect and are costly, to both programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verification techniques have been applied to imperative and object-oriented languages, like Java and C#, for checking basic safety properties such as memory leaks. In a pure functional language, many of these basic properties are guaranteed by design, which suggests the opportunity for verifying more sophisticated program properties. Nevertheless, few automatic systems for doing so exist. In this thesis, we show the challenges and solutions to verifying advanced properties of a pure functional language, Haskell. We describe a sound and automatic static verification framework for Haskell, that is based on contracts and symbolic execution. Our approach gives precise blame assignments at compile-time in the presence of higher-order functions and laziness.
First, we give a formal definition of contract satisfaction which can be viewed as a denotational semantics for contracts. We then construct two contract checking wrappers, which are dual to each other, for checking the contract satisfaction. We prove the soundness and completeness of the construction of the contract checking wrappers with respect to the definition of the contract satisfaction. This part of my research shows that the two wrappers are projections with respect to a partial ordering crashes-more-often and furthermore, they form a projection pair and a closure pair. These properties give contract checking a strong theoretical foundation.
As the goal is to detect bugs during compile time, we symbolically execute the code constructed by the contract checking wrappers and prove the soundness of this approach. We also develop a technique named counter-example-guided (CEG) unrolling which only unroll function calls on demand. This technique speeds up the checking process.
Finally, our verification approach makes error tracing much easier compared with the existing set-based analysis. Thus equipped, we are able to tell programmers during compile-time which function to blame and why if there is a bug in their program. This is a breakthrough for lazy languages because it is known to be difficult to report such informative messages either at compile-time or run-time.
Xu Na summary thesis on static contract checking
Program errors are hard to detect and are costly, to both programmers who spend significant efforts in debugging, and for systems that are guarded by runtime checks. Static verification techniques have been applied to imperative and object-oriented languages, like Java and C#, for checking basic safety properties such as memory leaks. In a pure functional language, many of these basic properties are guaranteed by design, which suggests the opportunity for verifying more sophisticated program properties. Nevertheless, few automatic systems for doing so exist. In this thesis, we show the challenges and solutions to verifying advanced properties of a pure functional language, Haskell. We describe a sound and automatic static verification framework for Haskell, that is based on contracts and symbolic execution. Our approach gives precise blame assignments at compile-time in the presence of higher-order functions and laziness.
First, we give a formal definition of contract satisfaction which can be viewed as a denotational semantics for contracts. We then construct two contract checking wrappers, which are dual to each other, for checking the contract satisfaction. We prove the soundness and completeness of the construction of the contract checking wrappers with respect to the definition of the contract satisfaction. This part of my research shows that the two wrappers are projections with respect to a partial ordering crashes-more-often and furthermore, they form a projection pair and a closure pair. These properties give contract checking a strong theoretical foundation.
As the goal is to detect bugs during compile time, we symbolically execute the code constructed by the contract checking wrappers and prove the soundness of this approach. We also develop a technique named counter-example-guided (CEG) unrolling which only unroll function calls on demand. This technique speeds up the checking process.
Finally, our verification approach makes error tracing much easier compared with the existing set-based analysis. Thus equipped, we are able to tell programmers during compile-time which function to blame and why if there is a bug in their program. This is a breakthrough for lazy languages because it is known to be difficult to report such informative messages either at compile-time or run-time.
Xu Na summary thesis on static contract checking
- on extended leave now, working away from Europe. www.cas.cn Job application flow chart is not available at all research centers.
- I am in Beijing.
Her last known workplace is likely to be in china and maybe www.cas.cn
中国科学院
dotarian007
Arch-Supremacy Member
- Joined
- Aug 13, 2006
- Messages
- 22,431
- Reaction score
- 4,930
the truth ish out there
Mountainnodew
Master Member
- Joined
- Jan 25, 2022
- Messages
- 4,556
- Reaction score
- 2,058
Sad 
.. maybe she can’t cope with her mum’s death and when her dad passed on, she keep living in denial so choose not to call for help that one month. Plus she had mental illness before eg depression, panic attack, anxiety or even PTSD so put her in a state of confusion. But moi don’t understand is, the corpse if left one to two weeks, the stench would be very strong even it can spread to the ground floor. Yet how come those who walked pass the unit and block never suspect. Even dogs can sense it.
.. maybe she can’t cope with her mum’s death and when her dad passed on, she keep living in denial so choose not to call for help that one month. Plus she had mental illness before eg depression, panic attack, anxiety or even PTSD so put her in a state of confusion. But moi don’t understand is, the corpse if left one to two weeks, the stench would be very strong even it can spread to the ground floor. Yet how come those who walked pass the unit and block never suspect. Even dogs can sense it.
What pages, can write a thesis
moonlighter_sg
Arch-Supremacy Member
- Joined
- Aug 15, 2005
- Messages
- 16,076
- Reaction score
- 5,158
She has the clever ATB look.
May be studied too much until got PhD, permanent head damage and developed mental illness.
tokong
High Supremacy Member
- Joined
- Sep 26, 2015
- Messages
- 45,936
- Reaction score
- 14,187
Their generation is strictly stop at one (you know China those days). So all families have only one child. So I guess whole family of three is no more on this earth.
vespaguy
Supremacy Member
- Joined
- Jul 23, 2012
- Messages
- 6,178
- Reaction score
- 2,650
Pakcik meant his neighbour should say good morning. But Pakcik don't care....still wish la. No harm bah.Tried greetings and smiling but still got door closed in my face
vespaguy
Supremacy Member
- Joined
- Jul 23, 2012
- Messages
- 6,178
- Reaction score
- 2,650
multiply that by 1000x add belacam smell. That's the smell of death. it's the blood and the minerals in the blood that give off that smell.
70secs
Arch-Supremacy Member
- Joined
- Mar 18, 2017
- Messages
- 11,996
- Reaction score
- 4,540
A decomposing dead body emits a strong, unpleasant odor, often described as a mix of rotting meat, feces, and sickly sweet undertones, comparable to rotting vegetables, garbage, or even cheap perfume. This distinct stench comes from the breakdown of proteins by microorganisms, releasing chemicals like cadaverine, putrescine, hydrogen sulfide, skatole, and indole.
You see she won some Chinese essay competition, cfm is ATB.
Very few true blue sinkies can reach this level in Chinese.
I oni heard abt d case. But not in detail or abt her credentials.
But saw posts in tis thread n knew by now alr.
Important Forum Advisory Note
This forum is moderated by volunteer moderators who will react only to members' feedback on posts. Moderators are not employees or representatives of HWZ. Forum members and moderators are responsible for their own posts.
Please refer to our Community Guidelines and Standards, Terms of Service and Member T&Cs for more information.
Please refer to our Community Guidelines and Standards, Terms of Service and Member T&Cs for more information.
