Main Page

From GradTurkey

Welcome to GradTurkey, a forum for discussing academic publications and issues.

Welcome, and thanks for visiting. This site began as a way to keep track of papers which I've been reading in grad school, and some of the questions or ideas I had about those papers. Questions and ideas are somewhat useless in a vacuum, though, so I am inviting you to skim through the papers and discussions, and contribute your own thoughts. Education is a collaborative process of discovery, whether at the knees of those who have come before, or beside friends.

Featured reading list A recent trend in software verification is combining static and dynamic analysis into a single tool, with output of test cases that reveal fatal executions. Some papers on this topic are: DART: Directed Automated Random Testing Compositional Dynamic Test Generation EXE: Automatically Generating Inputs of Death

See Also A list of our newest pages. Advice on reading an academic paper. Links for writing an academic paper. Overheard... The whole point of this website is to facilitate discussion about papers. What follows are some pointers to questions/discussions that could be interesting: Scalable_Component_Abstractions/BoAdler How is Aliasing Used in Systems Software/KennKnowles, with followup discussion on the Talk page. CMC: A Pragmatic Approach to Model Checking Real Code/KennKnowles