A. Diwan / University of Waterloo / R. Garner / McGill University / Polytechnic Institute of Brooklyn / /
IndustryTerm
worklist algorithm / software reliability / call site / static typestateanalysis algorithm / type systems / potentially-recursive call site / potentiallyrecursive call site / /
Organization
Eric Bodden Software Technology Group Department of Computer Science Technische Universität Darmstadt / British Computing Society / McGill University / University of Waterloo / Polytechnic Institute / /
Person
G. Ramalingam / Hidehiko Masuhara / Emmanual Geay / Jennifer Lhot / Kevin Bierhoff / Raja Vall / Gregor Kiczales / Nurit Dor / Sascha Kuzins / Clara / Stephen Fink / Robert DeLine / Pavel Avgustinov / Etienne Gagnon / Ganesh Sittampalam / Laurie Hendren / Eric Bodden / Eran Yahav / Damien Sereni / Chris Allan / Laurie J. Hendren / Simon Christensen / Jonathan Aldrich / Vijay Sundaresan / George S. Avrunin / Matthew B. Dwyer / Julian Tibble / Patrick Lam / Chris Dutchyn / Feng Chen / Oege de Moor / Naeem / James C. Corbett / Andreas Sewe / Rahul Purandare / Grigore Ro¸su / /
Position
author / driver / FailSafeEnum FailSafeEnumHT FailSafeIter FailSafeIterMap HasNextElem HasNext Reader Writer / standard driver / Writer / compilation and optimization model for aspect-oriented programs / researcher / representative / single object representative / Validation General / programmer / /
Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States ∗ Eric Bodden