2014•Unpublished venueOpen access

Augmenting static program analysis and design verification with pattern recognition

Sun Ding

Open full text 0 citations

Abstract

The life I lived as a PhD student in NTU is a journey to reinvent myself.I learnt a lot from this journey.It gives me great pleasure to recount them here.Foremost acknowledge must go to

Open-access reader

About this research paper

What this paper is about

The life I lived as a PhD student in NTU is a journey to reinvent myself.I learnt a lot from this journey.It gives me great pleasure to recount them here.Foremost acknowledge must go to

Why it matters

A significance statement is not available in the OpenAlex record.

Key contribution

A contribution statement is not available in the OpenAlex record.

Method / approach

Method details are not available in the OpenAlex metadata.

Main findings

Findings are not separately available in the OpenAlex metadata.

Limitations

Limitations are not available in the OpenAlex metadata.

Applications

Application details are not available in the OpenAlex metadata.

Available abstract

The life I lived as a PhD student in NTU is a journey to reinvent myself.I learnt a lot from this journey.It gives me great pleasure to recount them here.Foremost acknowledge must go to

Key concepts: Computer science, Human–computer interaction, Data science

Related papers

Back to paper searchBrowse research topicsOriginal source