unit_of‘crew unit / Wright State University / Indiana University / Choppella Arijit Sengupta Indian Institute / /
Person
Edward Robertson / Paul Jackson Joseph Kiniry Panagiotis / Michael Whalen Brian Williams / Marsha Chechik Jin Song Dong / Sylvain Conchon / George Spanoudakis / Steve Johnson Topology / Bill James Ellis / Yunwen Ye / Marcelo Frias Chris George Mike / David Naumann Paritosh Pandya / Jin Song Dong Jean-Christophe Filliatre / Graham Hughes / Sven Schewe / Alexander Egyed / Bernd Fischer / Johannes Kanig / George Mike Gordon Constance / Srikanth / Ofer Strichman Neeraj Suri Mark / Steven D. Johnson / Bernd Finkbeiner Marcelo Frias Chris / Neeraj Suri Mark Utting Michael Whalen Brian / Paul Jackson / Shankar Menlo Park / Sam Owre / Evelyne Contejean / David Monniaux David Naumann Paritosh / John Rushby Natarajan Shankar Menlo / John Rushby / Dong Jean-Christophe Filliatre Bernd Finkbeiner Marcelo / David Lester / Bruno Dutertre / Edward L. Robertson Steven / Ramesh Scott Stoller Ofer Strichman Neeraj / Neelam Gupta / Ashish Tiwari / Jun Sun Yuzhang Feng iii / Joseph Kiniry Panagiotis Manolios Paul / Kathleen Sharp / Chris George Mike Gordon / Bernd Finkbeiner / Kurt Stirewalt / Mark-Oliver Stehr Jun Sun Yuzhang / Mike Gordon Constance Heitmeyer Paul Jackson Joseph / / /
Position
abstract data model for the mini-example / publicity chair / Proof Assistant / Model / designer / conference general chair / ACM Publications Coordinator / record-based ER model for the mini-example / Miner / /