{
types : {
    "Publication" : {
       pluralLabel : "Publications"
    },

    "Course" : {
       pluralLabel : "Courses"
    },

    "Author" : {
       pluralLabel : "Authors"
    },

    "Conference" : {
       pluralLabel : "Conferences"
    },

    "Journal" : {
       pluralLabel : "Journals"
    },

    "Magazine" : {
       pluralLabel : "Magazines"
    },

    "White Paper" : {
       pluralLabel : "White Papers"
    },

    "Presentation" : {
       pluralLabel : "Presentations"
    }
        },


properties: {
  "author" : {valueType : "item"},
  "conference" : {valueType : "item"},
  "journal" : {valueType : "item"},
  "whitepaper" : {valueType : "item"}
},

"items" : [


/* AUTHORS */
       {type : "Author",
       label : "Alex Aiken",
 sortingName : "Aiken, Alex"},

       {type : "Author",
       label : "Bowen Alpern",
 sortingName : "Alpern, Bowen"},

       {type : "Author",
       label : "Rajeev Alur",
 sortingName : "Alur, Rajeev"},

       {type : "Author",
       label : "Daphna Amit",
 sortingName : "Amit, Daphna"},

       {type : "Author",
       label : "Paul Anderson",
 sortingName : "Anderson, Paul",
     gtAffil : "yes"},

       {type : "Author",
       label : "Mikhail J. Atallah",
 sortingName : "Atallah, Mikhail J."},

       {type : "Author",
       label : "Darren C. Atkinson",
 sortingName : "Atkinson, Darren C."},

       {type : "Author",
       label : "Gogul Balakrishnan",
 sortingName : "Balakrishnan, Gogul"},

       {type : "Author",
       label : "Thomas Ball",
 sortingName : "Ball, Thomas "},

       {type : "Author",
       label : "Andr\u00E9 Baresel",
 sortingName : "Baresel, ndr\u00E9"},

       {type : "Author",
       label : "Samuel Bates",
 sortingName : "Bates, Samuel"},

       {type : "Author",
       label : "J\u00F6rg Bauer",
 sortingName : "Bauer, J\u00F6rg"},

       {type : "Author",
       label : "Michael Benedikt",
 sortingName : "Benedikt, Michael"},

       {type : "Author",
       label : "Leann Bent",
 sortingName : "Bent, Leann"},

       {type : "Author",
       label : "Lewis Berman",
    fullName : "Lewis I. Berman",
 sortingName : "Berman, Lewis I."},

       {type : "Author",
       label : "Arpad Beszedes",
 sortingName : "Beszedes, Arpad"},

       {type : "Author",
       label : "Jennifer Bevan",
 sortingName : "Bevan, Jennifer"},

       {type : "Author",
       label : "David Binkley",
 sortingName : "Binkley, David"},

       {type : "Author",
       label : "Peter G. Bishop",
 sortingName : "Bishop, Peter G."},

       {type : "Author",
       label : "Robin E. Bloomfield",
 sortingName : "Bloomfield, Robin E."},

       {type : "Author",
       label : "Rastislav Bodík",
 sortingName : "Bodik, Rastislav"},

       {type : "Author",
       label : "Igor Bogudlov",
 sortingName : "Bogudlov, Igor"},

       {type : "Author",
       label : "Cathal Boogerd",
 sortingName : "Boogerd, Cathal"},

       {type : "Author",
       label : "Zine E. Bouras",
 sortingName : "Bouras, Zine E."},

        {type : "Author",
        label : "Thomas Bracewell",
  sortingName : "Bracewell, Thomas" },

       {type : "Author",
       label : "Thomas Bricker",
 sortingName : "Bricker, Thomas"},

       {type : "Author",
       label : "Magiel Bruntink",
 sortingName : "Bruntink, Magiel"},

        {type : "Author",
        label : "Randal E. Bryant",
  sortingName : "Bryant, Randal E."},

        {type : "Author",
        label : "Amanda Burton",
  sortingName : "Burton, Amanda"},

        {type : "Author",
        label : "Andrew Butcher",
  sortingName : "Butcher, Andrew"},

        {type : "Author",
        label : "S. Jeromy Carriere",
  sortingName : "Carriere, S. Jeromy" },

        {type : "Author",
        label : "Sagar Chaki",
  sortingName : "Chaki, Sagar" },

        {type : "Author",
        label : "David Chandler",
  sortingName : "Chandler, David"},

        {type : "Author",
        label : "Satish Chandra",
 sortingName : "Chandra, Satish" },

        {type : "Author",
        label : "John Chapin",
 sortingName : "Chapin, John" },

        {type : "Author",
        label : "Richard Chapman",
 sortingName : "Chapman, Richard" },

       {type : "Author",
       label : "Chen Chen",
 sortingName : "Chen, Chen"},

       {type : "Author",
       label : "Chi-Hua Chen",
 sortingName : "Chen, Chi-Hua",
     gtAffil : "yes"},

       {type : "Author",
       label : "Wilfred Chen",
 sortingName : "Chen, Wilfred"},

        {type : "Author",
        label : "Tzi-cker Chiueh",
 sortingName : "Chiueh, Tzi-cker" },

        {type : "Author",
        label : "Mihai Christodorescu",
 sortingName : "Christodorescu, Mihai" },

        {type : "Author",
        label : "Edmund Clarke",
  sortingName : "Clarke, Edmund" },

        {type : "Author",
        label : "Tim Clement",
  sortingName : "Clement, Tim" },

        {type : "Author",
        label : "Holger Cleve",
  sortingName : "Cleve, Holger" },

        {type : "Author",
        label : "Michele Co",
  sortingName : "Co, Michele" },

       {type : "Author",
       label : "David R. Cok",
 sortingName : "Cok, David R.",
     gtAffil : "yes"},

       {type : "Author",
       label : "Janos Csirik",
 sortingName : "Csirik, Janos"},

        {type : "Author",
        label : "Manuvir Das" ,
 sortingName : "Das, Manuvir"},

        {type : "Author",
        label : "Jack W. Davidson",
  sortingName : "Davidson,Jack W." },

        {type : "Author",
        label : "Alan Demers",
 sortingName : "Demers, Alan" },

        {type : "Author",
        label : "Arie van Deursen",
 sortingName : "van Deursen, Arie" },

        {type : "Author",
        label : "Luc Devroye",
  sortingName : "Devroye, Luc" },

        {type : "Author",
        label : "Jens M. Dill",
  sortingName : "Dill, Jens M." },

        {type : "Author",
        label : "Frank DiMaio",
  sortingName : "DiMaio, Frank" },

        {type : "Author",
        label : "Julian Dolby",
  sortingName : "Dolby, Julian"},
  
        {type : "Author",
        label : "Nurit Dor",
  sortingName : "Dor, Nurit"},
  
        {type : "Author",
        label : "Evan Driscoll",
  sortingName : "Driscoll, Evan"},
  
        {type : "Author",
        label : "Mohammad El-Ramly",
  sortingName : "El-Ramly, Mohammad"},

        {type : "Author",
        label : "Kousha Etessami",
  sortingName : "Etessami, Kousha"},

        {type : "Author",
        label : "James Ezick",
     fullName : "James Randall Ezick",
  sortingName : "Ezick, James Randall"},

        {type : "Author",
        label : "Pia Fak",
  sortingName : "Fak, Pia"},

       {type : "Author",
       label : "Csaba Farago",
  sortingName : "Farago, Csaba"},

        {type : "Author",
        label : "Long Fei",
  sortingName : "Fei, Long"},

        {type : "Author",
        label : "John Field",
  sortingName : "Field, John"},

        {type : "Author",
        label : "Stephen Fink",
  sortingName : "Fink, Stephen"},

        {type : "Author",
        label : "Masahiro Fujita",
  sortingName : "Fujita, Masahiro"},

        {type : "Author",
        label : "Keith Gallagher",
     fullName : "Keith Brian Gallagher",
  sortingName : "Gallagher, Keith Brian"},

        {type : "Author",
        label : "Vinod Ganapathy",
  sortingName : "Ganapathy, Vinod"},

        {type : "Author",
        label : "Indradeep Ghosh",
  sortingName : "Ghosh, Indradeep"},

       {type : "Author",
       label : "Said Ghoul",
  sortingName : "Ghoul, Said"},

        {type : "Author",
        label : "Jonathon Giffin",
  sortingName : "Giffin, Jonathon"},

        {type : "Author",
        label : "Patrice Godefroid",
  sortingName : "Godefroid, Patrice"},

        {type : "Author",
        label : "Michael Godfrey",
  sortingName : "Godfrey, Michael"},

        {type : "Author",
        label : "Michael Goldsmith",
  sortingName : "Goldsmith, Michael"},


        {type : "Author",
        label : "Alwyn Goodloe",
  sortingName : "Goodloe, Alwyn"},

        {type : "Author",
        label : "Denis Gopan",
  sortingName : "Gopan, Denis",
      gtAffil : "yes"},

        {type : "Author",
        label : "Ananth Grama",
  sortingName : "Grama, Ananth"},

       {type : "Author",
       label : "GrammaTech, Inc.",
 sortingName : "GrammaTech, Inc.",
     gtAffil : "yes"},

       {type : "Author",
       label : "William G. Griswold",
  sortingName : "Griswold, William G."},

        {type : "Author",
        label : "Alex Groce",
  sortingName : "Groce, Alex"},

        {type : "Author",
        label : "Radu Grosu",
  sortingName : "Grosu, Radu"},

        {type : "Author",
        label : "Radu Gruian",
  sortingName : "Gruian, Radu",
      gtAffil : "yes"},

        {type : "Author",
        label : "Sofia Guerra",
  sortingName : "Guerra, Sofia"},

        {type : "Author",
        label : "Carl A. Gunter",
  sortingName : "Gunter, Carl A."},

        {type : "Author",
        label : "Tibor Gyimothy",
  sortingName : "Gyimothy, Tibor"},

        {type : "Author",
        label : "Jiawei Han",
  sortingName : "Han, Jiawei"},

        {type : "Author",
        label : "Mark Harman",
  sortingName : "Harman, Mark"},

        {type : "Author",
        label : "William R. Harris",
  sortingName : "Harris, William R."},

        {type : "Author",
        label : "Pascal Van Hentenryck",
  sortingName : "Van Hentenryck, Pascal"},

        {type : "Author",
        label : "Jason D. Hiser",
  sortingName : "Hiser, Jason D." },

        {type : "Author",
        label : "Maja D'Hondt",
  sortingName : "D'Hondt, Maja"},

        {type : "Author",
        label : "Roger Hoover",
  sortingName : "Hoover, Roger"},

        {type : "Author",
        label : "Susan Horwitz",
  sortingName : "Horwitz, Susan"},

        {type : "Author",
        label : "David Hyde",
  sortingName : "Hyde, David" },

        {type : "Author",
        label : "Neil Immerman",
  sortingName : "Immerman, Neil"},

        {type : "Author",
        label : "Daniel Jackson" ,
  sortingName : "Jackson, Daniel"},

        {type : "Author",
        label : "Suresh Jagannathan",
  sortingName : "Jagannathan, Suresh"},

        {type : "Author",
        label : "Bertrand Jeannet",
  sortingName : "Jeannet, Bertrand"},

        {type : "Author",
        label : "Raoul P. Jetley",
  sortingName : "Jetley, Raoul P."},

        {type : "Author",
        label : "Sundararaman Jeyaraman",
  sortingName : "Jeyaraman, Sundararaman"},

        {type : "Author",
        label : "Somesh Jha",
  sortingName : "Jha, Somesh"},

        {type : "Author",
        label : "Trevor Jim",
  sortingName : "Jim, Trevor"},

        {type : "Author",
        label : "Claire Jones",
  sortingName : "Jones, Claire" },

        {type : "Author",
        label : "Paul L. Jones",
  sortingName : "Jones, Paul L." },

        {type : "Author",
        label : "Michael I. Jordan",
  sortingName : "Jordan, Michael I."},
 
        {type : "Author",
        label : "Pankaj Kakkar",
  sortingName : "Kakkar, Pankaj" },

        {type : "Author",
        label : "Rick Kazman",
  sortingName : "Kazman, Rick" },

        {type : "Author",
        label : "Jacky W. Keung",
  sortingName : "Keung, Jacky W." },

        {type : "Author",
        label : "Tahar Khammaci",
  sortingName : "Khammaci, Tahar"},

        {type : "Author",
        label : "Nicholas Kidd",
  sortingName : "Kidd, Nicholas"},

       {type : "Author",
       label : "Sunghun Kim",
  sortingName : "Kim, Sunghun"},

       {type : "Author",
       label : "Raghavan Komondoor",
 sortingName : "Komondoor, Raghavan"},

       {type : "Author",
       label : "Dexter Kozen",
 sortingName : "Kozen, Dexter"},

        {type : "Author",
        label : "John C. Knight",
  sortingName : "Knight, John C." },

      {type : "Author",
       label : "Jens Knodel",
 sortingName : "Knodel, Jens"},

       {type : "Author",
       label : "Ekrem Kocaguneli",
  sortingName : "Kocaguneli, Ekrem"},

       {type : "Author",
       label : "Bogdan Korel",
  sortingName : "Korel, Bogdan"},

        {type : "Author",
        label : "Jaakko Korpi",
  sortingName : "Korpi, Jaakko"},

        {type : "Author",
        label : "Jussi Koskinen",
  sortingName : "Koskinen, Jussi"},

        {type : "Author",
        label : "Jens Krinke",
  sortingName : "Krinke, Jens"},

        {type : "Author",
        label : "Daniel Kroening",
  sortingName : "Kroening, Daniel"},

         {type : "Author",
        label : "Sumit Kumar",
  sortingName : "Kumar, Sumit"},

       {type : "Author",
        label : "Krishna Kunchithapadam",
  sortingName : "Kunchithapadam, Krishna"},

        {type : "Author",
        label : "George Kurtz",
  sortingName : "Kurtz, George"},

        {type : "Author",
        label : "Arun Lakhotia",
  sortingName : "Lakhotia, Arun"},

        {type : "Author",
        label : "Akash Lal",
  sortingName : "Lal, Akash"},

        {type : "Author",
        label : "Lap Chung Lam" ,
  sortingName : "Lam, Lap Chung"},

         {type : "Author",
        label : "Peter Lammich" ,
  sortingName : "Lammich, Peter"},

       {type : "Author",
        label : "James Larus",
  sortingName : "Larus, James" },

        {type : "Author",
        label : "Wenke Lee",
  sortingName : "Lee, Wenke" },

        {type : "Author",
        label : "Tal Lev-Ami",
  sortingName : "Lev-Ami, Tal"},

        {type : "Author",
        label : "Stella Levin",
  sortingName : "Levin, Stella"},

        {type : "Author",
        label : "Ben Liblit",
  sortingName : "Liblit, Ben"},

        {type : "Author",
        label : "Junghee Lim",
  sortingName : "Lim, Junghee"},

        {type : "Author",
        label : "Chao Liu",
  sortingName : "Liu, Chao"},

        {type : "Author",
        label : "Yanhong A. Liu",
  sortingName : "Liu, Yanhong A."},

        {type : "Author",
        label : "Alexey Loginov",
  sortingName : "Loginov, Alexey",
      gtAffil : "yes"},

        {type : "Author",
        label : "Leiqin Lu",
  sortingName : "Lu, Leiqin"},

        {type : "Author",
        label : "Roman Manevich",
  sortingName : "Manevich, Roman"},

        {type : "Author",
        label : "Carla Marceau",
  sortingName : "Marceau, Carla"},

        {type : "Author",
        label : "Andrian Marcus",
  sortingName : "Marcus, Andrian"},

        {type : "Author",
        label : "Brian Mastropietro",
  sortingName : "Mastropietro, Brian" },

        {type : "Author",
        label : "Stuart McClure",
  sortingName : "McClure, Stuart"},

        {type : "Author",
        label : "Bill McCloskey",
  sortingName : "McCloskey,Bill"},

        {type : "Author",
        label : "Michael McDougall",
  sortingName : "McDougall, Michael",
      gtAffil : "yes"},

        {type : "Author",
        label : "David Melski",
  sortingName : "Melski, David",
      gtAffil : "yes"},

        {type : "Author",
        label : "Tim Menzies",
  sortingName : "Menzies, Tim"},

        {type : "Author",
        label : "Robert Charles Metzger",
  sortingName : "Metzger, Robert Charles"},

         {type : "Author",
        label : "Timothy M. Meyers",
  sortingName : "Meyers, Timothy M."},

      {type : "Author",
        label : "Samuel P. Midkiff",
  sortingName : "Midkiff, Samuel P."},

        {type : "Author",
        label : "Lynette I. Millett",
  sortingName : "Millett, Lynette I."},

        {type : "Author",
        label : "Barton P. Miller",
  sortingName : "Miller, Barton P."},

        {type : "Author",
        label : "Moinuddin Mohammed",
  sortingName : "Mohammed, Moinuddin"},

        {type : "Author",
        label : "Leon Moonen",
  sortingName : "Moonen, Leon"},

        {type : "Author",
        label : "Khalid Azim Mughal",
  sortingName : "Mughal, Khalid Azim"},

        {type : "Author",
        label : "Mayur Naik",
  sortingName : "Naik, Mayur"},

        {type : "Author",
        label : "Mangala Gowri Nanda",
  sortingName : "Nanda, Mangala Gowri"},

        {type : "Author",
        label : "Anh Nguyen-Tuong",
  sortingName : "Nguyen-Tuong, Anh" },

        {type : "Author",
        label : "Tasuku Nishihara",
  sortingName : "Nishihara, Tasuku"},

        {type : "Author",
        label : "Peter O'Hearn",
  sortingName : "O'Hearn, Peter"},

        {type : "Author",
        label : "Arnd Poetzsch-Heffter",
  sortingName : "Poetzsch-Heffter, Arnd"},

        {type : "Author",
        label : "Rebecca Parsons Selke",
  sortingName : "Parsons Selke, Rebecca"},

        {type : "Author",
        label : "Saverio Perugini",
  sortingName : "Perugini, Saverio"},

        {type : "Author",
        label : "Phil Pfeiffer",
  sortingName : "Pfeiffer, Phil"},

        {type : "Author",
        label : "Mukul Prasad",
  sortingName : "Prasad, Mukul"},

        {type : "Author",
        label : "Jan Prins",
  sortingName : "Prins, Jan"},

        {type : "Author",
        label : "William Pugh",
  sortingName : "Pugh, William"},

        {type : "Author",
        label : "Alexander Rabinovich",
        fullName : "Alexander Moshe Rabinovich",
  sortingName : "Rabinovich, Alexander Moshe"},

        {type : "Author",
        label : "Sreeranga P. Rajan",
  sortingName : "Rajan, Sreeranga P."},

        {type : "Author",
        label : "Louis Rall",
  sortingName : "Rall, Louis"},

        {type : "Author",
        label : "Ganesan Ramalingam",
  sortingName : "Ramalingam, Ganesan"},

        {type : "Author",
        label : "Murali Krishna Ramanathan",
  sortingName : "Ramanathan, Murali Krishna"},

        {type : "Author",
        label : "Manos Renieris",
  sortingName : "Renieris, Manos"},

        {type : "Author",
        label : "Steven P. Reiss",
  sortingName : "Reiss, Steven P."},

        {type : "Author",
        label : "Thomas Reps",
     fullName : "Thomas W. Reps",
  sortingName : "Reps, Thomas",
      gtAffil : "yes"},

        {type : "Author",
        label : "Noam Rinetzky",
  sortingName : "Rinetzky, Noam"},

        {type : "Author",
        label : "Genevieve Rosay",
  sortingName : "Rosay, Genevieve"},

        {type : "Author",
        label : "Barry K. Rosen",
  sortingName : "Rosen, Barry K."},

        {type : "Author",
        label : "Peter F. Sweeney",
  sortingName : "Sweeney, Peter F."},

         {type : "Author",
        label : "F. Kenneth Zadeck",
  sortingName : "Zadeck, F. Kenneth "},

        {type : "Author",
        label : "Abhik Roychoudhury",
  sortingName : "Roychoudhury, Abhik"},

        {type : "Author",
        label : "Shai Rubin",
  sortingName : "Rubin, Shai"},

        {type : "Author",
        label : "Yair Sade",
  sortingName : "Sade, Yair"},

        {type : "Author",
        label : "Mooly Sagiv",
  sortingName : "Sagiv, Mooly"},

        {type : "Author",
        label : "Shunsuke Sasaki",
  sortingName : "Sasaki, Shunsuke"},

        {type : "Author",
        label : "Joel Scambray",
  sortingName : "Scambray, Joel"},

        {type : "Author",
        label : "Bryan Scattergood",
  sortingName : "Scattergood, Bryan"},

        {type : "Author",
        label : "Robin van Schendel",
  sortingName : "van Schendel, Robin"},

        {type : "Author",
        label : "Stefan Schwoon",
  sortingName : "Schwoon, Stefan"},

        {type : "Author",
        label : "Sanjit A. Seshia",
  sortingName : "Seshia, Sanjit A."},

        {type : "Author",
        label : "Michael Siff",
  sortingName : "Siff, Michael"},

        {type : "Author",
        label : "Ran Shaham",
  sortingName : "Shaham, Ran"},

        {type : "Author",
        label : "Lexin Shan",
  sortingName : "Shan, Lexin"},

        {type : "Author",
        label : "Subash Shankar",
  sortingName : "Shankar, Subash"},

        {type : "Author",
        label : "Marc Shapiro",
  sortingName : "Shapiro, Marc"},

        {type : "Author",
        label : "Alexey Skidanov",
  sortingName : "Skidanov, Alexey"},

        {type : "Author",
        label : "Chengyu Song",
  sortingName : "Song, Chengyu" },

        {type : "Author",
        label : "Manu Sridharan",
  sortingName : "Sridharan, Manu"},

        {type : "Author",
        label : "Siddharth Srivastava",
  sortingName : "Srivastava, Siddharth"},

        {type : "Author",
        label : "Ofer Strichman",
  sortingName : "Strichman, Ofer"},

        {type : "Author",
        label : "Stuart Stubblebine",
  sortingName : "Stubblebine, Stuart"},

       {type : "Author",
       label : "Zsolt Mihaly Szabo",
 sortingName : "Szabo, Zsolt Mihaly"},

        {type : "Author",
       label : "Scott D. Stoller",
 sortingName : "Stoller, Scott D."},

       {type : "Author",
        label : "Tim Teitelbaum",
  sortingName : "Teitelbaum, Tim",
      gtAffil : "yes"},

        {type : "Author",
        label : "Aditya V. Thakur",
  sortingName : "Thakur, Aditya V."},

        {type : "Author",
        label : "Cesare Tinelli",
  sortingName : "Tinelli, Cesare"},

        {type : "Author",
        label : "Tayssir Touili",
  sortingName : "Touili, Tayssir"},

        {type : "Author",
        label : "Konstantinos Tourlas",
  sortingName : "Tourlas, Konstantinos"},

        {type : "Author",
        label : "Tom Tourw\u00E9",
  sortingName : "Tourw\u00E9, Tom"},

        {type : "Author",
        label : "Todd Turnidge",
  sortingName : "Turnidge, Todd"},

        {type : "Author",
        label : "Brad Vander Zanden",
  sortingName : "Vander Zanden, Brad"},

        {type : "Author",
        label : "Mandana Vaziri",
  sortingName : "Vaziri, Mandana"},

        {type : "Author",
        label : "David Vitek",
  sortingName : "Vitek, David",
      gtAffil : "yes"},

        {type : "Author",
        label : "Hao Wang",
  sortingName : "Wang, Hao"},

        {type : "Author",
        label : "Tao Wang",
  sortingName : "Wang, Tao"},

        {type : "Author",
        label : "Rick Wayne",
  sortingName : "Wayne, Rick"},

        {type : "Author",
        label : "Christoph Weidenbach",
  sortingName : "Weidenbach, Christoph"},

       {type : "Author",
       label : "E. James Whitehead, Jr.",
  sortingName : "Whitehead, E. James, Jr."},

        {type : "Author",
        label : "John Wilander",
  sortingName : "Wilander, John"},

        {type : "Author",
        label : "Reinhard Wilhelm",
  sortingName : "Wilhelm, Reinhard"},

        {type : "Author",
        label : "Yuk Kuen Wong",
  sortingName : "Wong, Yuk Kuen"},

        {type : "Author",
        label : "Steven G. Woods",
  sortingName : "Woods, Steven G." },

        {type : "Author",
        label : "Zhichen Xu",
  sortingName : "Xu, Zhichen"},

        {type : "Author",
        label : "Eran Yahav",
  sortingName : "Yahav, Eran"},

        {type : "Author",
        label : "Xifeng Yan",
  sortingName : "Yan, Xifeng"},

        {type : "Author",
        label : "Zijiang Yang",
  sortingName : "Yang, Zijiang"},

         {type : "Author",
        label : "Wuu Yang",
  sortingName : "Yang, Wuu"},

        {type : "Author",
        label : "Mihalis Yannakakis",
  sortingName : "Yannakakis, Mihalis"},

        {type : "Author",
        label : "Amiram Yehudai",
  sortingName : "Yehudai, Amiram"},

        {type : "Author",
        label : "Suan Hsi Yong",
  sortingName : "Yong, Suan Hsi",
      gtAffil : "yes"},

        {type : "Author",
        label : "Greta Yorsh",
  sortingName : "Yorsh, Greta"},

        {type : "Author",
        label : "Philip S. Yu",
  sortingName : "Yu, Philip S."},

        {type : "Author",
        label : "Mark Zarins",
  sortingName : "Zarins, Mark",
      gtAffil : "yes"},

        {type : "Author",
        label : "Andreas Zeller",
  sortingName : "Zeller, Andreas"},

        {type : "Author",
        label : "Alice X. Zheng",
  sortingName : "Zheng, Alice X."},

        {type : "Author",
        label : "Thomas Zimmermann",
  sortingName : "Zimmermann, Thomas"},


/* CONFERENCES */

       {type: "Conference",
      label : "AADEBUG",
   fullName : "International Workshop on Automated and Algorithmic Debugging"},

       {type: "Conference",
      label : "ACSAC",
   fullName : "Annual Computer Security Applications Conference"},

       {type: "Conference",
      label : "AIOOL",
   fullName : "Workshop on Abstract Interpretation of Object-Oriented Languages"},

       {type: "Conference",
      label : "AMAST",
   fullName : "Algebraic Methodology and Software Technology"},

       {type: "Conference",
      label : "AOSD",
   fullName : "International Conference on Aspect-Oriented Software Development"},

       {type: "Conference",
      label : "APLAS",
   fullName : "Asian Symposium on Programming Languages and Systems"},

       {type: "Conference",
      label : "ASE",
   fullName : "International Conference on Automated Software Engineering"},

       {type: "Conference",
      label : "ASPLOS",
   fullName : "International Conference on Architectural Support for Programming Languages and Operating Systems"},

      {type : "Conference",
      label : "CADE",
   fullName : "International Conference on Automated Deduction"},

      {type : "Conference",
      label : "CASES",
   fullName : "International Conference on Compilers, Architecture and Synthesis of Embedded Systems"},

      {type : "Conference",
      label : "CATCH",
   fullName : "Cybersecurity Applications & Technology Conference for Homeland Security"},

     {type: "Conference",
      label : "CAV",
   fullName : "International Conference on Computer-Aided Verification"},

      {type: "Conference",
      label : "CHARME",
   fullName : "Correct Hardware Design and Verification Methods"},

      {type: "Conference",
      label : "CC",
   fullName : "International Conference on Compiler Construction"},

      {type: "Conference",
      label : "CCIPL",
   fullName : "Colloquium on Current Issues in Programming Languages"},

      {type: "Conference",
      label : "CCPSD",
   fullName : "Colloquium on Combining Paradigms for Software Development"},

       {type: "Conference",
      label : "CCS",
   fullName : "ACM Conference on Computer and Communications Security"},

      {type : "Conference",
      label : "CoBaSSA",
   fullName : "International Workshop on Code Based Software Security Assessments"},

       {type: "Conference",
      label : "CSFW",
   fullName : "IEEE Computer Security Foundations Workshop"},

       {type: "Conference",
      label : "CSL",
   fullName : "Computer Science Logic"},

       {type: "Conference",
      label : "Dagstuhl",
   fullName : "Dagstuhl Seminar"},

        {type: "Conference",
      label : "DFRWS",
   fullName : "Digital Forensic Research Workshop"},

       {type: "Conference",
      label : "EMSOFT",
   fullName : "ACM International Conference On Embedded Software"},

       {type: "Conference",
      label : "ESOP",
   fullName : "European Symposium on Programming"},

       {type: "Conference",
      label : "ESORICS",
   fullName : "European Symposium on Research in Computer Security"},

       {type: "Conference",
      label : "ESEC-FSE",
   fullName : "European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering"},

       {type: "Conference",
      label : "FASE",
   fullName : "Fundamental Approaches to Software Engineering"},

       {type: "Conference",
      label : "FM",
   fullName : "International Symposium on Formal Methods"},

       {type: "Conference",
      label : "FSE",
   fullName : "ACM SIGSOFT Symposium on Foundations of Software Engineering"},

       {type: "Conference",
      label : "FSTTCS",
   fullName : "Conference on Foundations of Software Technology and Theoretical Computer Science"},

       {type: "Conference",
      label : "HVC",
   fullName : "International Haifa Verification Conference"},

       {type: "Conference",
      label : "ICAD",
   fullName : "International Conference on Auditory Display"},

       {type: "Conference",
      label : "ICALP",
   fullName : "International Colloquium on Automata, Languages and Programming"},

       {type: "Conference",
      label : "ICML",
   fullName : "International Conference on Machine Learning"},

       {type: "Conference",
      label : "ICSE",
   fullName : "International Conference on Software Engineering"},

       {type: "Conference",
      label : "ICSM",
   fullName : "IEEE International Conference on Software Maintenance"},

      {type: "Conference",
      label : "ILPS",
   fullName : "International Logic Programming Symposium"},

      {type: "Conference",
      label : "Informatik",
   fullName : "Informatik"},

      {type: "Conference",
      label : "ISSTA",
   fullName : "International Symposium on Software Testing and Analysis"},

      {type: "Conference",
      label : "IWAN",
   fullName : "International Working Conference on Active Networks"},

      {type: "Conference",
      label : "IWPC",
   fullName : "International Workshop on Program Comprehension"},

       {type: "Conference",
      label : "LFP",
   fullName : "ACM Conference on LISP and Functional Programming"},

        {type: "Conference",
      label : "LICS",
   fullName : "Symposium on Logic in Computer Science"},

      {type: "Conference",
      label : "KDD",
   fullName : "International Conference on Knowledge Discovery and Data Mining"},

       {type: "Conference",
      label : "METRICS",
   fullName : "IEEE International Software Metrics Symposium"},

       {type: "Conference",
      label : "MILCOM",
   fullName : "Military Communications Conference"},

        {type: "Conference",
      label : "NFM",
   fullName : "NASA Formal Methods"},

        {type: "Conference",
      label : "NSAD",
   fullName : "Workshop on Numerical and Symbolic Abstract Domains"},

        {type: "Conference",
      label : "PASTE",
   fullName : "Workshop on Program Analysis For Software Tools and Engineering"},

       {type: "Conference",
      label : "PDSE",
   fullName : "International Symposium on Software Engineering for Parallel and Distributed Systems"},

       {type: "Conference",
      label : "PEPM",
   fullName : "Symposium/Workshop on Partial Evaluation and Program Manipulation"},

       {type: "Conference",
      label : "PLDI",
   fullName : "SIGPLAN Conference on Programming Language Design and Implementation"},

       {type: "Conference",
      label : "RV",
   fullName : "Runtime Verification"},

       {type: "Conference",
      label : "POPL",
   fullName : "Symposium on Principles of Programming Languages"},

       {type: "Conference",
      label : "SAFECOMP",
   fullName : "Computer Safety, Reliability, and Security"},

       {type: "Conference",
      label : "SAS",
   fullName : "International Static Analysis Symposium"},

       {type: "Conference",
      label : "SAW",
   fullName : "Static Analysis Workshop"},

       {type: "Conference",
      label : "SCM",
   fullName : "Software Configuration Management", 
       "note" : "Before 1989, Software Version and Configuration Control"},

       {type: "Conference",
      label : "SCAM",
   fullName : "IEEE International Workshop on Source Code Analysis and Manipulation"},

       {type: "Conference",
      label : "SDE",
   fullName : "ACM SIGSOFT Symposium on Software Development Environments"},

      {type : "Conference",
      label : "SCAN",
   fullName : "International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics"},

      {type : "Conference",
      label : "SCC",
   fullName : "ACM SIGPLAN Symposium on Compiler Construction"},

      {type : "Conference",
      label : "SESS",
   fullName : "International Workshop on Software Engineering for Secure Systems "},

      {type : "Conference",
      label : "SIGAda",
   fullName : "ACM SIGAda International Conference on Ada"},

      {type : "Conference",
      label : "SLIPE",
   fullName : "ACM SIGPLAN Symposium on Language Issues in Programming Environments"},

      {type : "Conference",
      label : "SODA",
   fullName : "ACM-SIAM Symposium on Discrete Algorithms"},

      {type : "Conference",
      label : "SPAA",
   fullName : "ACM Symposium on Parallel Algorithms and Architectures"},

       {type : "Conference",
      label : "SPIN",
   fullName : "Workshop on SPIN Model Checking"},

     {type : "Conference",
      label : "Spring CompCon",
   fullName : "IEEE Spring CompCon"},

      {type : "Conference",
      label : "Symposium on Text Manipulation",
   fullName : "ACM SIGPLAN-SIGOA Symposium on Text Manipulation"},

      {type : "Conference",
      label : "TACAS",
   fullName : "Tools and Algorithms for Construction and Analysis of Systems"},

       {type: "Conference",
      label : "TACS",
   fullName : "International Symposium on Theoretical Aspects of Computer Software"},

       {type: "Conference",
      label : "UITP",
   fullName : "User-Interfaces for Theorem Provers"},

       {type: "Conference",
      label : "VisLang",
   fullName : "Workshop on Visual Languages"},

       {type: "Conference",
      label : "VMCAI",
   fullName : "International Conference on Verification, Model Checking and Abstract Interpretation"},

       {type: "Conference",
      label : "VSTTE",
   fullName : "Verified Software: Theories, Tools, Experiments"},

       {type: "Conference",
      label : "WCRE",
   fullName : "Working Conference on Reverse Engineering"},

       {type: "Conference",
      label : "WISE",
   fullName : "Workshop on Inspection in Software Engineering"},


/* JOURNALS */

       {type: "Journal",
      label : "Acta Informatica",
   fullName : "Acta Informatica"},

       {type: "Journal",
      label : "Berichte des German Chapter of the ACM",
   fullName : "Berichte des German Chapter of the ACM"},

       {type: "Journal",
      label : "Boards & Solutions",
   fullName : "Boards & Solutions"},

       {type: "Journal",
      label : "CACM",
   fullName : "Communications of the ACM"},

       {type: "Journal",
      label : "CrossTalk",
   fullName : "CrossTalk: The Journal of Defense Software Engineering"},

       {type: "Journal",
      label : "DDJ",
   fullName : "Dr Dobb's"},

      {type: "Journal",
      label : "EETimes Asia",
   fullName : "EETimes Asia"},

       {type: "Journal",
      label : "Electronic Publishing",
   fullName : "Electronic Publishing"},

      {type: "Journal",
      label : "Embedded Computing Design",
   fullName : "Embedded Computing Design"},

       {type: "Journal",
      label : "Embedded Control Europe",
   fullName : "Embedded Control Europe"},

       {type: "Journal",
      label : "Embedded Intel Solutions",
   fullName : "Embedded Intel Solutions"},

       {type: "Journal",
      label : "Embedded Technology",
   fullName : "Embedded Technology"},

       {type: "Journal",
      label : "Embedded.com",
   fullName : "Embedded.com"},

       {type: "Journal",
      label : "Formal Methods in System Design",
   fullName : "Formal Methods in System Design"},

       {type: "Journal",
      label : "ENTCS",
   fullName : "Electronic Notes in Theoretical Computer Science"},

       {type: "Journal",
      label : "HOSC",
   fullName : "Higher-Order and Symbolic Computation"},

       {type: "Journal",
      label : "IEEE Computer",
   fullName : "IEEE Computer"},

        {type: "Journal",
      label : "IEEE Software",
   fullName : "IEEE Software"},

      {type: "Journal",
      label : "Information and Software Technology",
   fullName : "Information and Software Technology"},

       {type: "Journal",
      label : "IPL",
   fullName : "Information Processing Letters"},

       {type: "Journal",
      label : "JALG",
   fullName : "Journal of Algorithms"},

       {type: "Journal",
      label : "JACM",
   fullName : "Journal of the ACM"},

       {type: "Journal",
      label : "JCS",
   fullName : "Journal of Computer Security"},

       {type: "Journal",
      label : "Logic Journal of the IGPL",
   fullName : "Logic Journal of the IGPL"},

       {type: "Journal",
      label : "MDT",
   fullName : "Medical Design Technology"},

       {type: "Journal",
      label : "RTC",
   fullName : "RTC"},

       {type: "Journal",
      label : "Science of Computer Programming",
   fullName : "Science of Computer Programming"},

       {type: "Journal",
      label : "SEN",
   fullName : "ACM SIGSOFT Software Engineering Notes"},

       {type: "Journal",
      label : "SIGPLAN Notices",
   fullName : "ACM SIGPLAN Notices"},

       {type: "Journal",
      label : "Software Development Magazine",
   fullName : "Software Development Magazine"},

       {type: "Journal",
      label : "STTT",
   fullName : "International Journal on Software Tools for Technology Transfer"},

       {type: "Journal",
      label : "TCS",
   fullName : "Theoretical Computer Science"},

       {type: "Journal",
      label : "TOCL",
   fullName : "ACM Transactions on Computational Logic"},

       {type: "Journal",
      label : "TOPLAS",
   fullName : "ACM Transactions on Programming Languages and Systems"},

       {type: "Journal",
      label : "TOSEM",
   fullName : "ACM Transactions on Software Engineering and Methodology"},

       {type: "Journal",
      label : "TSE",
   fullName : "IEEE Transactions on Software Engineering"},

       {type: "Journal",
      label : "VME and Critical Systems",
   fullName : "VME and Critical Systems"},


/* PUBLICATIONS */
/* every key is now quoted, to shut up the validator */

         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Analysis Techniques for Information Security",
         "author" : ["Somesh Jha", 
                     "Anupam Dutta", 
                     "Ninghui Li", 
                     "David Melski", 
                     "Thomas Reps"],
      "published" : "Morgan & Claypool Publishers",
"published_series" : "Synthesis Lectures on Information Security, Privacy, and Trust",
           "isbn" : "1598296299",
       "abstract" : "http://www.morganclaypool.com/doi/abs/10.2200/S00260ED1V01Y201003SPT002",
	     "doi" : "10.2200/S00260ED1V01Y201003SPT002",
           "date" : "April 2010",
           "year" : "2010"
            },

          { "type" : "Publication",
        "subtype" : "Book",
          "label" : "The Synthesizer Generator: A System for Constructing Language-Based Editors",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sg_book.abs.html",
         "author" : ["Thomas Reps","Tim Teitelbaum"],
      "published" : "Springer-Verlag, New York, NY",
           "date" : "1988",
           "year" : "1988"
            },

        { "type" : "Publication",
        "subtype" : "Book",
          "label" : "The Cornell Program Synthesizer: A Tutorial Introduction",
         "author" : "Tim Teitelbaum",
      "published" : "Cornell University",
           "date" : "First Edition July 1979",
           "year" : "1979",
       "abstract" : "http://hdl.handle.net/1813/7496",
            "pdf" : "http://ecommons.cornell.edu/bitstream/1813/7496/1/79-381.pdf",
           "note" : ["Fifth Edition May 1983", 
                     "also Department of Computer Science Technical Report 79-381"]
            },

        { "type" : "Publication",
        "subtype" : "Book",
          "label" : "The Synthesizer Generator Reference Manual: Third Edition",
         "author" : [ "Thomas Reps", "Tim Teitelbaum" ],
      "published" : "Springer-Verlag, New York, NY",
           "date" : "1988",
           "year" : "1988",
           "note" : "Chinese reprint published by the World Publishing Corporation, Beijing, China, 1991"
                         },

  {        "type" : "Publication",
        "subtype" : ["Book", "Thesis"],
         "degree" : "PhD",
          "label" : "Generating Language-Based Environments",
         "author" : "Thomas Reps",
      "published" : "The M.I.T. Press, Cambridge, MA",
           "date" : "1984",
           "year" : "1984",
    "thesis_dept" : "Department of Computer Science, Cornell University, Ithaca NY",
    "tech_report" : "TR82-514, Department of Computer Science, Cornell University",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/reps_thesis.abs.html",
           "note" : "Awarded the 1983 ACM Doctoral Dissertation Award"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "A relational approach to interprocedural shape analysis",
             "id" : "A relational approach to interprocedural shape analysis, TOPLAS",
         "author" : ["Bertrand Jeannet", 
                   "Alexey Loginov", 
                   "Thomas Reps", 
                   "Mooly Sagiv"],
        "journal" : "TOPLAS",
         "in_vol" : "32",
         "in_num" : "2",
           "date" : "January 2010",
           "year" : "2010",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/jlrs-toplas10.abs.html", 
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/jlrs-toplas10.pdf",
      "copyright" : "ACM"
                         },


  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Logical characterizations of heap abstractions",
         "author" : ["Greta Yorsh", 
                   "Thomas Reps", 
                   "Mooly Sagiv", 
                   "Reinhard Wilhelm"],
        "journal" : "TOCL",
         "in_vol" : "8",
         "in_num" : "1",
           "date" : "January 2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tocl07.abs.html", 
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tocl07.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tocl07.pdf"
                         },

         {"type" : "Publication",
        "subtype" : "Journal",
          "label" : "Verifying temporal heap properties specified via evolution logic",
          "author" : ["Eran Yahav", 
                    "Thomas Reps", 
                    "Mooly Sagiv", 
                    "Reinhard Wilhelm"],
         "journal" : "Logic Journal of the IGPL",
          "in_vol" : "14",
          "in_num" : "5",
            "date" : "October 2006",
            "year" : "2006",
           "pages" :  "755-784",
        "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/ljigpal06.abs.html",
             "pdf" : "http://www.cs.tau.ac.il/~nachum/papers/LJ/YRSW.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Weighted pushdown systems and their application to interprocedural dataflow analysis",
         "author" : ["Thomas Reps",
                   "Stefan Schwoon", 
                   "Somesh Jha", 
                   "David Melski"],
             "id" : "Weighted pushdown systems and their application to interprocedural dataflow analysis, Science of Computer Programming",
        "journal" : "Science of Computer Programming",
         "in_vol" : "58", 
         "in_num" : "1-2",
           "date" : "October 2005",
           "year" : "2005",
          "pages" : "206-263",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/scp05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/scp05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/scp05.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Analysis of recursive state machines",
         "author" : ["Rajeev Alur", 
                   "Michael Benedikt", 
                   "Kousha Etessami", 
                   "Patrice Godefroid", 
                   "Thomas Reps", 
                   "Mihalis Yannakakis"
                 ],
        "journal" : "TOPLAS",
         "in_vol" : "27",
         "in_num" :  "4", 
           "date" : "2005",
           "year" : "2005",
          "pages" : "786-818",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas05.abs.html",
            "pdf" : "http://portal.acm.org/ft_gateway.cfm?id=1075387&type=pdf&coll=GUIDE&dl=GUIDE&CFID=22973964&CFTOKEN=53515611"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Model checking SPKI/SDSI",
         "author" : ["Somesh Jha",
                   "Thomas Reps"],
        "journal" : "JCS",
         "in_vol" : "12", 
         "in_num" : "3-4", 
           "date" : "2004",
           "year" : "2004",
          "pages" : "317-353",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/jcs04.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/JCS04.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Design and implementation of a fine-grained software inspection tool",
         "author" : ["Paul Anderson", "Thomas Reps", "Tim Teitelbaum" ],
        "journal" : "TSE",
         "in_vol" : "29",
         "in_num" : "8",
           "date" : "Aug. 2003",
           "year" : "2003",
          "pages" : "721-733",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tse03.abs.html",
            "pdf" : "http://ieeexplore.ieee.org/iel5/32/27483/01223646.pdf"
                         },


  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Computational divided differencing and divided-difference arithmetics",
             "id" : "Computational divided differencing and divided-difference arithmetics, HOC",
         "author" : ["Thomas Reps", "Louis Rall" ],
        "journal" : "HOSC",
         "in_vol" : "16",
         "in_num" : "1-2",
           "date" :  "2003",
           "year" :  "2003",
          "pages" : "93-149",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tr1415r.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr1415r.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tr1415r.pdf",
            "ppt" : "http://www.cs.wisc.edu/~reps/talks/CDD.ppt"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Program slicing for VHDL",
         "author" : [
                   "Edmund Clarke",
                   "Masahiro Fujita",
                   "Sreeranga P. Rajan",
                   "Thomas Reps",
                   "Subash Shankar",
                   "Tim Teitelbaum"
                 ],
        "journal" : "STTT",
         "in_vol" : "4",
         "in_num" : "1",
           "date" : "October 2002",
           "year" : "2002",
          "pages" : "125-137",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sttt02.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/sttt02.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Parametric shape analysis via 3-valued logic",
         "author" : ["Mooly Sagiv",
                   "Thomas Reps",
                   "Reinhard Wilhelm"
                 ],
             "id" : "Parametric shape analysis via 3-valued logic, TOPLAS",
        "journal" : "TOPLAS",
         "in_vol" : "24",
         "in_num" : "3",
           "date" : "2002",
           "year" : "2002",
          "pages" : "217-298",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas02.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas02.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/toplas02.pdf",
            "ppt" : "http://www.cs.wisc.edu/wpis/talks/3VLA.CAV04.ppt"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Undecidability of context-sensitive data-dependence analysis",
         "author" : "Thomas Reps",
        "journal" : "TOPLAS",
         "in_vol" : "22",
         "in_num" : "1",
           "date" : "January 2000",
           "year" : "2000",
          "pages" : "162-186",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas00.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas00.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/toplas00.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Interconvertibility of a class of set constraints and context-free language reachability",
        "author" : ["David Melski", "Thomas Reps" ],
        "journal" : "TCS",
         "in_vol" : "248",
         "in_num" : "1-2",
           "date" : "Nov. 2000",
           "year" : "2000",
          "pages" : "29-98",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tcs_submission98r2.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tcs_submission98r2.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tcs_submission98r2.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Identifying modules via concept analysis",
         "author" : ["Michael Siff", "Thomas Reps" ],
             "id" : "Identifying modules via concept analysis, IEEE TSE",
        "journal" : "TSE",
         "in_vol" : "25",
         "in_num" : "6",
           "date" : "Nov./Dec. 1999",
           "year" : "1999",
          "pages" : "749-768",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tse98.abs.html",
            "pdf" : "http://ieeexplore.ieee.org/iel5/32/17844/00824377.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Program analysis via graph reachability",
         "author" : "Thomas Reps",
        "journal" : "Information and Software Technology",
         "in_vol" : "40",
         "in_num" : "11-12",
           "date" : "November/December 1998",
           "year" : "1998",
          "pages" : "701-726",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/ist98.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr1386.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tr1386.pdf",
            "ppt" : "http://www.cs.wisc.edu/~reps/talks/PLDI00.tutorial.ppt"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "\"Maximal-munch\" tokenization in linear time",
         "author" : "Thomas Reps",
        "journal" : "TOPLAS",
         "in_vol" : "20",
         "in_num" : "2",
           "date" : "March 1998",
           "year" : "1998",
          "pages" : "259-273",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas98b.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas98b.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/toplas98b.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Solving shape-analysis problems in languages with destructive updating",
         "author" : ["Mooly Sagiv", "Thomas Reps", "Reinhard Wilhelm" ],
        "journal" : "TOPLAS",
         "in_vol" : "20",
         "in_num" : "1",
           "date" : "January 1998",
           "year" : "1998",
          "pages" : "1-50",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas98a.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas98a.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/toplas98a.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Precise interprocedural dataflow analysis with applications to constant propagation",
         "author" : ["Mooly Sagiv", "Thomas Reps", "Susan Horwitz" ],
             "id" : "Precise interprocedural dataflow analysis with applications to constant propagation, Theoretical Computer Science",
        "journal" : "TCS",
         "in_vol" : "167",
           "date" : "1996",
           "year" : "1996",
          "pages" : "131-170",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tcs96b.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tcs96b.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "On the sequential nature of interprocedural program-analysis problems",
         "author" : "Thomas Reps",
        "journal" : "Acta Informatica",
         "in_vol" : "33",
           "date" : "1996",
           "year" : "1996",
          "pages" : "739-757",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/acta96.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/acta96.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "An incremental algorithm for a generalization of the shortest-path problem",
         "author" : ["Ganesan Ramalingam", "Thomas Reps" ],
        "journal" : "JALG",
         "in_vol" : "21",
           "date" : "1996",
           "year" : "1996",
          "pages" : "267-305",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/jalg96.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/jalg96.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "On the computational complexity of dynamic graph problems",
         "author" : ["Ganesan Ramalingam",
                   "Thomas Reps"
                 ],
        "journal" : "TCS",
         "in_vol" : "158",
           "date" : "May 1996",
           "year" : "1996",
          "pages" : "233-277",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tcs96a.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tcs96a.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Program integration for languages with procedure calls",
         "author" : ["David Binkley", "Susan Horwitz", "Thomas Reps" ],
        "journal" : "TOSEM",
         "in_vol" : "4",
         "in_num" : "1",
           "date" : "January 1995",
           "year" : "1995",
          "pages" : "3-35",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tosem95.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tosem95.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "On competitive on-line algorithms for the dynamic priority-ordering problem",
         "author" : ["Ganesan Ramalingam", "Thomas Reps" ],
        "journal" : "IPL",
         "in_vol" : "51",
           "date" : "1994",
           "year" : "1994",
          "pages" : "155-161",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/ipl94.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/ipl94.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "A program integration algorithm that accommodates semantics-preserving transformations",
         "author" : ["Wuu Yang", "Susan Horwitz", "Thomas Reps" ],        
             "id" : "program integration, TOSEM",
        "journal" : "TOSEM",
         "in_vol" : "1",
         "in_num" : "3",
           "date" : "July 1992",
           "year" : "1992",
          "pages" : "310-354",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tosem92.abs.html"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Algebraic properties of program integration",
         "author" : "Thomas Reps",
        "journal" : "Science of Computer Programming",
             "id" : "Algebraic properties of program integration, Science of Computer Programming",
         "in_vol" : "17",
           "date" : "1991",
           "year" : "1991",
          "pages" : "139-215",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/scp91.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/scp91.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Efficient comparison of program slices",
         "author" : ["Susan Horwitz", "Thomas Reps" ],
        "journal" : "Acta Informatica",
         "in_vol" : "28",
           "date" : "1991",
           "year" : "1991",
          "pages" : "713-732",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/acta91.abs.html"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Interprocedural slicing using dependence graphs",
         "author" : ["Susan Horwitz",
                   "Thomas Reps",
                   "David Binkley"
                 ],
             "id" : "Interprocedural slicing using dependence graphs, ACM TOPLAS",
        "journal" : "TOPLAS",
         "in_vol" : "12",
         "in_num" : "1",
           "date" : "January 1990",
           "year" : "1990",
          "pages" : "26-60",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas90.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas90.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Integrating non-interfering versions of programs",
         "author" : ["Susan Horwitz",
                   "Jan Prins",
                   "Thomas Reps"
                 ],
        "journal" : "TOPLAS",
         "in_vol" : "11",
         "in_num" : "3",
           "date" : "July 1989",
           "year" : "1989",
          "pages" : "345-387",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas89.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas89.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Incremental evaluation for attribute grammars with unrestricted movement between tree modifications",
         "author" : "Thomas Reps",
        "journal" : "Acta Informatica",
         "in_vol" : "25",
           "date" : "1988",
           "year" : "1988",
          "pages" : "155-178",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/acta88.abs.html"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Sublinear-space evaluation algorithms for attribute grammars",
         "author" : ["Thomas Reps", "Alan Demers" ],
        "journal" : "TOPLAS",
         "in_vol" : "9",
         "in_num" : "3",
           "date" : "July 1987",
           "year" : "1987",
          "pages" : "408-440",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas87.abs.html",
     "postscript" : "http://doi.acm.org/10.1145/24039.214529"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Incremental context-dependent analysis for language-based editors",
         "author" : ["Thomas Reps", "Tim Teitelbaum", "Alan Demers" ],
        "journal" : "TOPLAS",
         "in_vol" : "5",
         "in_num" : "3",
           "date" : "July 1983",
           "year" : "1983",
          "pages" : "449-477",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas83.abs.html",
     "postscript" : "http://doi.acm.org/10.1145/2166.357218"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "The Cornell Program Synthesizer: A syntax-directed programming environment",
         "author" : ["Tim Teitelbaum", "Thomas Reps" ],
        "journal" : "CACM",
         "in_vol" : "24",
         "in_num" : "9",
           "date" : "September 1981",
           "year" : "1981",
          "pages" : "563-573",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cacm81.abs.html",
     "postscript" : "http://doi.acm.org/10.1145/358746.358755"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Static Analysis of Software Executables",
      "author" : ["David Melski",
		  "Tim Teitelbaum",
                  "Thomas Reps"],
     "conference" : "CATCH",
 "conference_num" : "16th",
       "location" : "",
           "date" : "March 3-4 2009",
           "year" : "2009",
          "pages" : "97-102",
      "published" : "IEEE Computer Society, Washington, DC",
      "copyright" : "Springer-Verlag",
            "doi" : "10.1109/CATCH.2009.42"
                         },



   {       "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A decision procedure for detecting atomicity violations for communicating processes with locks",
             "id" : "A decision procedure for detecting atomicity violations for communicating processes with locks, SPIN",
      "author" : ["Nicholas Kidd",
		  "Peter Lammich",
		  "Tayssir Touili",
                  "Thomas Reps"],
     "conference" : "SPIN",
 "conference_num" : "16th",
       "location" : "Grenoble, France",
           "date" : "June 26-28, 2009",
           "year" : "2009",
          "pages" : "125-142",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/spin09.atomicity.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/spin09.atomicity.pdf",
      "copyright" : "Springer-Verlag",
            "doi" : "10.1007/978-3-642-02652-2_12",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "5578",
           "note" : "Invited for special submission to the Int. Journal on Software Tools for Technology Transfer"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Symbolic Analysis via Semantic Reinterpretation",
      "author" : ["Junghee Kim",
		  "Akash Lal",
                  "Thomas Reps"],
     "conference" : "SPIN",
 "conference_num" : "16th",
       "location" : "Grenoble, France",
           "date" : "June 26-28, 2009",
           "year" : "2009",
          "pages" : "148-168",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/spin09.savsr.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/spin09.savsr.pdf",
      "copyright" : "Springer-Verlag",
            "doi" : "10.1007/978-3-642-02652-2_14",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "5578"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Language Strength Reduction",
         "author" : ["Nicholas Kidd",
                     "Akash Lal",
                     "Thomas Reps"],
     "conference" : "SAS",
 "conference_num" : "15th",
       "location" : "Valencia, Spain",
           "date" : "July 16-18, 2008",
           "year" : "2008",
          "pages" : "283-298",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas08-lsr.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas08-lsr.pdf",
      "copyright" : "Springer-Verlag",
            "doi" : "10.1007/978-3-540-69166-2_19",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "5079"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Solving Multiple Dataflow Queries Using WPDSs",
         "author" : ["Akash Lal",
                     "Thomas Reps"],
     "conference" : "SAS",
 "conference_num" : "15th",
       "location" : "Valencia, Spain",
           "date" : "July 16-18, 2008",
           "year" : "2008",
          "pages" : "93-109",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas08-mpost.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas08-mpost.pdf",
      "copyright" : "Springer-Verlag",
            "doi" : "10.1007/978-3-540-69166-2_7",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "5079"
                         },


  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Analyzing Stripped Device-Driver Executables",
         "author" : ["Gogul Balakrishnan",
                     "Thomas Reps"],
     "conference" : "TACAS",
 "conference_num" : "14th",
       "location" : "Budapest, Hungary",
           "date" : "April, 2008",
           "year" : "2008",
          "pages" : "124-140",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tacas08.dda-x86.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tacas08.dda-x86.pdf",
      "copyright" : "Springer-Verlag",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "4963"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Interprocedural Analysis of Concurrent Programs Under a Context Bound",
         "author" : ["Akash Lal",
                     "Tayssir Touili",
                     "Nicholas Kidd",
                     "Thomas Reps"],
     "conference" : "TACAS",
 "conference_num" : "14th",
       "location" : "Budapest, Hungary",
           "date" : "April, 2008",
           "year" : "2008",
          "pages" : "282-298",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tacas08-cba.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tacas08-cba.pdf",
      "copyright" : "Springer-Verlag",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "4963"
                         },


  {       "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Program analysis using weighted pushdown systems",
         "author" : ["Thomas Reps", "Akash Lal", "Nicholas Kidd" ],
     "conference" : "FSTTCS",
 "conference_num" : "27th",
       "location" : "New Delhi, India",
           "date" : "Dec. 12-14, 2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fsttcs07.invited.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/fsttcs07.invited.pdf",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "DIVINE: DIscovering Variables IN Executables",
         "author" : ["Gogul Balakrishnan",
                   "Thomas Reps"
                 ],
     "conference" : "VMCAI",
       "location" : "Nice, France",
           "date" : "January 14-16, 2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/vmcai07.invited.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/vmcai07.invited.pdf",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Weighted pushdown systems and trust-management systems",
         "author" : ["Somesh Jha",
                   "Stefan Schwoon",
                   "Hao Wang",
                   "Thomas Reps"
                 ],
     "conference" : "TACAS",
       "location" : "Vienna, Austria",
           "date" : "Mar. 25 - Apr. 2, 2006",
           "year" : "2006",
      "published" : "Springer-Verlag, New York, NY, 2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tacas06.invited.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tacas06.invited.pdf",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Intermediate-representation recovery from low-level code",
         "author" : ["Thomas Reps",
                   "Gogul Balakrishnan",
                   "Junghee Lim"
                 ],
     "conference" : "PEPM",
       "location" : "Charleston, SC",
           "date" : "January 9-10, 2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pepm06.invited.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pepm06.invited.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/pepm06.invited.pdf",
           "note" : "invited"
                         },


  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A next-generation platform for analyzing executables",
         "author" : ["Thomas Reps",
                   "Gogul Balakrishnan",
                   "Junghee Lim",
                   "Tim Teitelbaum"
                 ],
     "conference" : "APLAS",
 "conference_num" : "3rd",
       "location" : "Tsukuba, Japan",
           "date" : "Nov. 3-5, 2005",
           "year" : "2005",
      "published" : "Springer-Verlag, New York, NY, 2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/aplas05.invited.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/aplas05.invited.pdf",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/aplas05.invited.pdf",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Static program analysis via 3-valued logic",
         "author" : ["Thomas Reps",
                   "Mooly Sagiv",
                   "Reinhard Wilhelm"
                 ],
     "conference" : "CAV",
       "location" : "Boston, MA",
           "date" : "July 13-17 , 2004",
           "year" : "2004",
      "published" : "Springer-Verlag, New York, NY, 2004",
          "pages" : "15-30",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav04.invited.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cav04.invited.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav04.invited.pdf",
            "ppt" : "http://www.cs.wisc.edu/wpis/talks/3VLA.CAV04.ppt",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Algorithmic differencing.",
         "author" : ["Louis Rall",
                   "Thomas Reps"
                 ],
     "conference" : "SCAN",
       "location" : "Karlsruhe, Germany",
           "date" : "Sept. 19-22, 2000",
           "year" : "2000",
             ed : ["U. Kulisch",
                   "R. Lohner",
                   "A. Faciush"
                     ],
      "published" : "Springer-Verlag, Vienna, 2001",
 "published_name" : "Perspectives on Enclosure Methods", 
          "pages" : "133-147",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/scan2000.abs.html",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Shape analysis.",
         "author" : ["Reinhard Wilhelm",
                   "Mooly Sagiv",
                   "Thomas Reps"
                 ],
     "conference" : "CC",
 "conference_num" : "9th",
       "location" : "Berlin, Ger.",
           "date" : "Mar. 27 - Apr. 2, 2000",
           "year" : "2000",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc2000.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cc2000.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cc2000.pdf",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Program analysis via graph reachability",
         "author" : "Thomas Reps",
     "conference" : "ILPS",
             id : "Program analysis via graph reachability, ILPS 97",
       "location" : "Port Jefferson, NY",
           "date" : "October 12-16, 1997",
           "year" : "1997",
             "ed" : "J. Maluszynski",
      "published" : "The M.I.T. Press, Cambridge, MA, 1997",
          "pages" : "5-19",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/ilps97.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/ilps97.large_font.ps",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The use of program profiling in software testing",
         "author" : "Thomas Reps",
     "conference" : "Informatik",
       "location" : "Aachen, Germany",
           "date" : "Sept. 24-27, 1997",
           "year" : "1997",
             "ed" : ["M. Jarke",
                   "K. Pasedach",
                   "K. Pohl"],
      "published" : "Springer-Verlag, Berlin, Ger., 1997",
          "pages" : "4-16",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/informatik97.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/informatik97.ps",
      "copyright" : "Springer-Verlag",
           "note" : "invited"
                        },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The use of program dependence graphs in software engineering",
         "author" : ["Susan Horwitz",
                   "Thomas Reps"
                 ],
     "conference" : "ICSE",
 "conference_num" : "14th",
       "location" : "Melbourne, Australia",
           "date" : "May 11-15, 1992",
           "year" : "1992",
      "published" : "ACM, New York, NY, 1992",
          "pages" : "392-411",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/icse92.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/icse92.ps",
           "note" : "invited"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Semantics-based program integration",
         "author" : ["Thomas Reps",
                   "Susan Horwitz"
                 ],
     "conference" : "ESOP",
 "conference_num" : "2nd",
       "location" : "Nancy, France",
           "date" : "March 21-25, 1988",
           "year" : "1988",
      "published" : "Springer-Verlag, New York, NY, 1988",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "300",
             "ed" : "H. Ganzinger",
          "pages" : "1-20",
           "note" : "invited"
          },


  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Static analysis to enhance the power of model checking for concurrent software",
         "author" : ["Edmund Clarke", "Daniel Kroening", "Thomas Reps"],
      "published" : "Wiley",
           "date" : "July 2007",
           "year" : "2007",
 "published_name" : "Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats",
          "pages" : "349-360",
           "isbn" : "0-471-78756-6"
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "ALEX-an alexical programming language",
             "id" : "ALEX, chapter",
         "author" : ["Dexter Kozen",
                     "Tim Teitelbaum",
                     "Wilfred Chen",
                     "John Field",
                     "William Pugh",
                     "Brad Vander Zanden"],
      "published" : "Plenum Press",
           "date" : "1990",
           "year" : "1990",
          "pages" : "147-158",
 "published_name" : "Visual Languages and Applications",
             "ed" : ["Tadao Ichikawa",
                     "Erland Jungert",
                     "Robert R. Korfhage"
                  ],
          "pages" : "147-158",
           "isbn" : "030643427X"
                         },


  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Analysis of COTS for Security Vulnerability Remediation",
         "author" : ["Gogul Balakrishnan",
                     "Mihai Christodorescu",
                     "Vinod Ganapathy", 
                     "Jonathon Giffin",
                     "Shai Rubin",
                     "Hao Wang",
                     "Somesh Jha",
                     "Barton P. Miller", 
                     "Thomas Reps"],
      "published" : "Wiley",
           "date" : "July 2007",
           "year" : "2007",
 "published_name" : "Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats",
          "pages" : "375-380",
           "isbn" : "0-471-78756-6"
                         },


  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "On the utility of canonical abstraction",
         "author" : ["Mooly Sagiv",
                   "Thomas Reps",
                   "Reinhard Wilhelm",
                   "Eran Yahav"
                 ],
      "published" : "Kluwer Academic Publisheds, Dordrecht, The Netherlands",
           "date" : "2005",
           "year" : "2005",
 "published_name" : "Engineering Theories of Software Intensive Systems",
             "ed" : ["M. Broy",
                   "J. Gruenbauer",
                   "T. Hoare",
                   "D. Harel"
                  ],
          "pages" : "215-253"
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Shape analysis and applications",
         "author" : ["Thomas Reps",
                   "Mooly Sagiv",
                   "Reinhard Wilhelm"
                 ],
      "published" : "CRC Press",
           "date" : "2002",
           "year" : "2002",
 "published_name" : "The Compiler Design Handbook: Optimizations and Machine Code Generation",
          "pages" : "175-217"
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Demand interprocedural program analysis using logic databases",
         "author" : "Thomas Reps",
      "published" : "Kluwer Academic Publisheds, Boston, MA",
           "date" : "1994",
           "year" : "1994",
 "published_name" : "Applications of Logic Databases",
             "ed" : "R. Ramakrishnan",
          "pages" : "163-196",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/ald94.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/ald94.ps"
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "A next-generation platform for analyzing executables",
         "author" : ["Thomas Reps",
                   "Gogul Balakrishnan",
                   "Junghee Lim",
                   "Tim Teitelbaum"],
          "id" : "A next-generation platform for analyzing executables, Malware Detection",
      "published" : "Springer-Verlag",
           "date" : "2006",
           "year" : "2006",
 "published_name" : "Malware Detection",
"published_series" :"Advances in Information Security Series",
          "pages" : "43-61",
           "note" : ["Reprinted from Proc. 3rd Asian Symposium on Programming Languages and Systems, (Tsukuba, Japan, Nov. 3-5, 2005)", "reprint"]
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Interprocedural slicing using dependence graphs",
             "id" : "Interprocedural slicing using dependence graphs, SIGPLAN Notices",
         "author" : ["Susan Horwitz",
                   "Thomas Reps",
                   "David Binkley"
                 ],
 "published_name" : "20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation (1979 - 1999): A Selection",
         "journal" : "SIGPLAN Notices",
          "in_vol" : "39",
          "in_num" : "4",
           "pages" : "232-243",
            "date" : "April 2004",
           "year" : "2004",
              "ed" : "K.S. McKinley",
        "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pldi88.abs.html",
            "note" : ["Reprinted from Proceedings of the ACM SIGPLAN 88 Conference on Programming Language Design and Implementation, (Atlanta, GA, June 22-24, 1988), ACM SIGPLAN Notices 23, 7 (July 1988), pp. 35-46.",
                         "reprint"]
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Interprocedural slicing using dependence graphs",
             "id" : "Interprocedural slicing using dependence graphs, Software Change Impact Analysis",
         "author" : ["Susan Horwitz",
                   "Thomas Reps",
                   "David Binkley"
                 ],
             "ed" : ["S.A. Bohner",
                   "R.S. Arnold"
                 ],
      "published" : "IEEE Computer Society, Los Alamitos, CA, 1996",
           "date" : "1996",
           "year" : "1996",
 "published_name" : "Software Change Impact Analysis",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas90.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas90.ps",
           "note" : ["Reprinted from ACM Transactions on Programming Languages and Systems 12, 1 (January 1990), 26-60.",
                   "reprint"]
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Interprocedural slicing using dependence graphs",
         "author" : ["Susan Horwitz",
                   "Thomas Reps",
                   "David Binkley"
                 ],
             "id" : "Interprocedural slicing using dependence graphs, Software Merging and Slicing",
      "published" : "IEEE Computer Society, Los Alamitos, CA",
           "date" : "1995",
           "year" : "1995",
 "published_name" : "Software Merging and Slicing",
          "pages" : "10-44",
             "ed" : "V. Berzins",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas90.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas90.ps",
           "note" : ["Reprinted from ACM Transactions on Programming Languages and Systems 12, 1 (January 1990), 26-60.",
                   "reprint"]
                         },

  {        "type" : "Chapter",
          "label" : "Integrating non-interfering versions of programs",
          "id" : "Integrating non-interfering versions of programs, Software Merging and Slicing",
         "author" : ["Susan Horwitz",
                   "Jan Prins",
                   "Thomas Reps"
                 ],
      "published" : "IEEE Computer Society, Los Alamitos, CA",
           "date" : "1995",
           "year" : "1995",
 "published_name" : "Software Merging and Slicing",
             "ed" : "V. Berzins",
          "pages" : "137-179",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas89.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/toplas89.ps",
           "note" : ["Reprinted from ACM Transactions on Programming Languages and Systems 11, 3 (July 1989), 345-387.","reprint"]
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "A theory of program modifications",
          id : "A theory of program modifications, Software Merging and Slicing",
         "author" : ["Ganesan Ramalingam",
                   "Thomas Reps"
                 ],
      "published" : "IEEE Computer Society, Los Alamitos, CA",
           "date" : "1995",
           "year" : "1995",
 "published_name" : "Software Merging and Slicing",
             "ed" : "V. Berzins",
          "pages" : "90-105",
           "note" : ["Reprinted from Proceedings of the Colloquium on Combining Paradigms for Software Development, (Brighton, UK, April 8-12, 1991),  Lecture Notes in Computer Science, Vol. 494, S. Abramsky and T.S.E. Maibaum (eds.), Springer-Verlag, New York, NY, 1991, pp. 137-152.","reprint"]
                  },

  {        "type" : "Chapter",
          "label" : "Language processing in program editors",
          "id" : "Language processing in program editors, Language Architectures and Programming Environments",
         "author" : ["Thomas Reps",
                   "Tim Teitelbaum"
                 ],
      "published" : "The World Scientific Publishing Company, Singapore",
           "date" : "1992",
           "year" : "1992",
 "published_name" : "Language Architectures and Programming Environments",
             "ed" : ["T. Ichikawa",
                     "H. Tsubotani"],
          "pages" : "146-169",
           "note" : ["Reprinted from IEEE Computer 20, 11 (November 1987), 29-40.", "reprint"]
                         },

  {        "type" : "Chapter",
          "label" : "The Cornell Program Synthesizer: A syntax-directed programming environment",
           "id" : "The Cornell Program Synthesizer: A syntax-directed programming environment,Interactive Programming Environments",
        "author" : ["Tim Teitelbaum",
                   "Thomas Reps"
                 ],
      "published" : "McGraw-Hill",
           "date" : "1984",
           "year" : "1984",
 "published_name" : "Interactive Programming Environments",
             "ed" : ["D. Barstow, E. Sandewall",
                   "E. Sandewall",
                   "H. Shrobe"
                 ],
          "pages" : "97-116",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cacm81.abs.html",
     "postscript" : "http://doi.acm.org/10.1145/358746.358755",
           "note" : ["Reprinted from Communications of the ACM 24, 9 (September 1981), 563-573.", "reprint"]
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "The why and wherefore of the Cornell Program Synthesizer",
         "author" : ["Tim Teitelbaum",
                   "Thomas Reps",
                   "Susan Horwitz"
                 ],
             "id" : "The why and wherefore of the Cornell Program Synthesizer, Software Development Environments",
      "published" : "IEEE Computer Society, Washington, DC",
           "date" : "1981",
           "year" : "1981",
 "published_name" : "Software Development Environments",
          "pages" : "64-72",
             "ed" : "A.I. Wasserman",
           "note" : ["Reprinted from Proceedings of the ACM SIGPLAN/SIGOA Symposium on Text Manipulation, (Portland, OR, June 8-10, 1981), ACM SIGPLAN Notices 16, 6 (June 1981), pp. 8-16.",
                   "reprint"]
                         },

  {        "type" : "Publication",
        "subtype" : "Edited Book",
          "label" : "Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm",
             "ed" : ["Thomas Reps",
                   "M. Sagiv",
                   "J\u00F6rg Bauer"
                 ],
      "published" : "Springer-Verlag",
           "date" : "2007",
           "year" : "2007",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "4444"
                         },


  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Tool support for fine-grained software inspection",
         "author" : ["Paul Anderson",
                   "Thomas Reps",
                   "Tim Teitelbaum",
                   "Mark Zarins"
                 ],
        "journal" : "IEEE Software",
         "in_vol" : "20",
         "in_num" : "4",
          "pages" : "42-50",
           "date" : "2003",
           "year" : "2003",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/software03.abs.html",
             "pdf" : "http://ieeexplore.ieee.org/iel5/52/27180/01207453.pdf"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Language processing in program editors",
         "author" : ["Thomas Reps", "Tim Teitelbaum" ],
         "journal" : "IEEE Computer",
          "in_vol" : "20",
          "in_num" : "11",
           "pages" : "29-40",
            "date" : "November 1987",
           "year" : "1987"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "An efficient general iterative algorithm for data-flow analysis",
         "author" : ["Susan Horwitz", 
                     "Alan Demers",
                     "Tim Teitelbaum"
                 ],
         "journal" : "Acta Informatica",
       "published" : "Springer-Verlag New York, Inc.",
          "in_vol" : "24",
          "in_num" : "6",
           "pages" : "679-694",
            "date" : "July 1987",
        "abstract" : "http://www.springerlink.com/content/n6734lt5t46m082u/",
            "year" : "1987"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Generating editing environments based on relations and attributes",
         "author" : ["Susan Horwitz", "Tim Teitelbaum"
                 ],
         "journal" : "TOPLAS",
       "published" : "ACM",
          "in_vol" : "9",
          "in_num" : "3",
           "pages" : "577-608",
            "date" : "October 1986",
        "abstract" : "http://doi.acm.org/10.1145/6465.6512",
            "year" : "1986"
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Abstract error projection",
         "author" : ["Akash Lal",
                   "Nicholas Kidd",
                   "Thomas Reps",
                   "Tayssir Touili"
                 ],
     "conference" : "SAS",
           "date" : "2007",
           "year" : "2007",
"published_series" : "Lecture Notes in Computer Science",
   "published_vol" : "4634",
           "pages" : "200-217",
 "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas07.projection.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/sas07.projection.pdf",
      "copyright" : "Springer-Verlag"                  
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Guided static analysis",
         "author" : ["Denis Gopan",
                     "Thomas Reps"
                 ],
     "conference" : "SAS",
"published_series" : "Lecture Notes in Computer Science",
   "published_vol" : "4634",
           "pages" : "349-365",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas07.guided.abs.html",
           "date" : "2007",
           "year" : "2007",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas07.guided.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Labelled clauses",
         "author" : ["Tal Lev-Ami",
                   "Christoph Weidenbach",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "CADE",
           "date" : "2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cade07.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cade07.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Low-level library analysis and summarization",
         "author" : ["Denis Gopan",
                   "Thomas Reps"
                 ],
     "conference" : "CAV",
           "date" : "2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav07.summarization.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav07.summarization.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Comparison under abstraction for verifying linearizability",
         "author" : ["Daphna Amit",
                   "Noam Rinetzky",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Eran Yahav"
                 ],
     "conference" : "CAV",
           "date" : "2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav07.linearizability.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav07.linearizability.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Revamping TVLA: Making parametric shape analysis competitive (tool paper)",
         "author" : ["Igor Bogudlov",
                   "Tal Lev-Ami",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "CAV",
           "date" : "2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav07.revamping_tvla.abs.html",
                 "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav07.revamping_tvla.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Refinement-based verification for possibly-cyclic lists",
         "author" : ["Alexey Loginov",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
      "published" : "Springer-Verlag",
           "date" : "2007",
           "year" : "2007",
 "published_name" : "Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/festschrift4444.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/festschrift4444.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "WYSINWYX: What You See Is Not What You eXecute",
         "author" : ["Gogul Balakrishnan",
                   "Thomas Reps",
                   "David Melski",
                   "Tim Teitelbaum"
                 ],
      "published" : "Springer-Verlag",
           "date" : "2005",
           "year" : "2005",
     "conference" : "VSTTE",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/wysinwyx05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/wysinwyx05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/wysinwyx05.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Automatic verification of strongly dynamic software systems",
         "author" : ["Nurit Dor",
                   "John Field",
                   "Denis Gopan",
                   "Tal Lev-Ami",
                   "Alexey Loginov",
                   "Roman Manevich",
                   "Ganesan Ramalingam",
                   "Thomas Reps",
                   "Noam Rinetzky",
                   "Mooly Sagiv",
                   "Reinhard Wilhelm",
                   "Eran Yahav",
                   "Greta Yorsh"
                 ],
      "published" : "Springer-Verlag",
           "date" : "2007",
           "year" : "2007",
     "conference" : "VSTTE",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/avsdss05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/avsdss05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/avsdss05.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Shape analysis of uniform change",
         "author" : ["Tal Lev-Ami",
                   "Mooly Sagiv",
                   "Neil Immerman",
                   "Thomas Reps"
                 ],
     "conference" : "VMCAI",
       "location" : "Nice, France",
           "date" : "January 14-16, 2007",
           "year" : "2007",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/vmcai07.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/vmcai07.pdf",
      "copyright" : "Springer-Verlag"
                          },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Extracting output formats from executables",
         "author" : ["Junghee Lim",
                   "Thomas Reps",
                   "Ben Liblit"
                 ],
     "conference" : "WCRE",
       "location" : "Benevento, Italy",
           "date" : "October 23-27, 2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/wcre06.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/wcre06.pdf",
            "ppt" : "http://www.cs.wisc.edu/~junghee/WCRE2006.ppt"
                        },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Reducing the dependence of SPKI/SDSI on PKI",
         "author" : ["Hao Wang",
                   "Somesh Jha",
                   "Thomas Reps",
                   "Stefan Schwoon",
                   "Stuart Stubblebine"
                 ],
     "conference" : "ESORICS",
           "date" : "2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/esorics06.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/esorics06.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Automated verification of the Deutsch-Schorr-Waite tree-traversal algorithm",
         "author" : ["Alexey Loginov",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "SAS",
           "date" : "2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas06-dsw.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas06-dsw.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Recency-abstraction for heap-allocated storage",
         "author" : ["Gogul Balakrishnan",
                   "Thomas Reps"
                 ],
     "conference" : "SAS",
           "date" : "2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas06-recency.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas06-recency.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Improving pushdown system model checking",
         "author" : ["Akash Lal",
                   "Thomas Reps"
                 ],
     "conference" : "CAV",
           "date" : "2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav06-fwpds.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav06-fwpds.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Lookahead widening",
         "author" : ["Denis Gopan",
                   "Thomas Reps"
                 ],
     "conference" : "CAV",
           "date" : "2006",
           "year" : "2006",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav06-widening.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav06-widening.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Verifying concurrent message-passing C programs with recursive calls",
         "author" : ["Sagar Chaki",
                   "Edmund Clarke",
                   "Nicholas Kidd",
                   "Thomas Reps",
                   "Tayssir Touili"
                 ],
     "conference" : "TACAS",
           "date" : "2006",
           "year" : "2006",
      "published" : "Springer-Verlag, New York, NY",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tacas06.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tacas06.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tacas06.pdf",
            "ppt" : "http://www.cs.wisc.edu/~kidd/Presentations/CPDS.TACAS.2006.ppt",
      "copyright" : "Springer-Verlag"
                        },


 {        "type"  : "Publication",
        "subtype" : "Conference",
          "label" : "A relational abstraction for functions",
          "id"    : "A relational abstraction for functions SAS",
         "author" : ["Bertrand Jeannet",
                   "Denis Gopan",
                   "Thomas Reps"
                 ],
     "conference" : "SAS",
 "conference_num" : "12th",
           "date" : "2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/sas05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas05.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Simulating reachability using first-order logic with applications to verification of linked data structures",
         "author" : ["Tal Lev-Ami",
                   "Neil Immerman",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Siddharth Srivastava",
                   "Greta Yorsh"
                 ], 
     "conference" : "CADE",
           "date" : "2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cade05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cade05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cade05.pdf",
            "ppt" : "http://www.cs.wisc.edu/wpis/talks/CADE05TCfinal.ppt",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Model checking x86 executables with CodeSurfer/x86 and WPDS++, (tool-demonstration paper).",
         "author" : ["Gogul Balakrishnan",
                   "Thomas Reps",
                   "Nicholas Kidd",
                   "Akash Lal",
                   "Junghee Lim",
                   "David Melski",
                   "Radu Gruian",
                   "Suan Hsi Yong",
                   "Chi-Hua Chen",
                   "Tim Teitelbaum"
                ],
     "conference" : "CAV",
           "date" : "2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/CAV05-tool-demo.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/CAV05-tool-demo.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/CAV05-tool-demo.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Extended weighted pushdown systems",
         "author" : ["Akash Lal",
                   "Gogul Balakrishnan",
                   "Thomas Reps"
                 ],
     "conference" : "CAV",
           "date" : "2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav05-ewpds.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cav05-ewpds.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav05-ewpds.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Abstraction refinement via inductive learning",
             "id" : "Abstraction refinement via inductive learning, CAV",
         "author" : ["Alexey Loginov",
                     "Thomas Reps",
                     "Mooly Sagiv"
             ],
     "conference" : "CAV",
           "date" : "2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav05-refinement.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cav05-refinement.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav05-refinement.pdf",
      "copyright" : "Springer-Verlag"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Automatic discovery of API-level exploits",
         "author" : ["Vinod Ganapathy",
                   "Sanjit A. Seshia",
                   "Somesh Jha",
                   "Thomas Reps",
                   "Randal E. Bryant"
                 ],
     "conference" : "ICSE",
       "location" : "St. Louis, Missouri",
           "date" : "May 15-21, 2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/icse05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/icse05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/icse05.pdf"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "CodeSurfer/x86 -- A platform for analyzing x86 executables, (tool demonstration paper).",
         "author" : ["Gogul Balakrishnan",
                   "Radu Gruian",
                   "Thomas Reps",
                   "Tim Teitelbaum"
                 ],
     "conference" : "CC",
           "date" : "April 2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc05-tool-demo.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cc05-tool-demo.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cc05-tool-demo.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A relational abstraction for functions",
             "id" : "A relational abstraction for functions NSAD",
         "author" : ["Bertrand Jeannet",
                   "Denis Gopan",
                   "Thomas Reps"
                 ],
     "conference" : "NSAD",
           "date" : "January 2005",
           "year" : "2005",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/nsad05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/nsad05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/nsad05.pd"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Assume/guarantee reasoning for heap-manipulating programs",
         "author" : ["Greta Yorsh",
                   "Alexey Skidanov",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "AIOOL",
 "conference_num" : "1st",
           "date" : "May 2005",
           "year" : "2005",
"published_series" :"Electronic Notes in Theoretical Computer Science",
  "published_vol" : "131",
  "published_num" : "24",
          "pages" : "125-138",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/aiool05.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/aiool05.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/aiool05.pdf"
                         },




 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Numeric analysis of array operations",
         "author" : ["Denis Gopan",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "POPL",
 "conference_num" : "32nd",
       "location" : "Long Beach, CA",
           "date" : "January 12-14, 2005",
           "year" : "2005",
          "pages" : "338-350",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl05_naao.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/popl05_naao.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/popl05_naao.pdf"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A semantics for procedure local heaps and its abstractions",
         "author" : ["Noam Rinetzky",
                   "J\u00F6rg Bauer",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Reinhard Wilhelm"
                  ],
     "conference" : "POPL",
 "conference_num" : "32nd",
       "location" : "Long Beach, CA",
           "date" : "January 12-14, 2005",
           "year" : "2005",
          "pages" : "296-309",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl05_asfplh.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/popl05_asfplh.pdf"
                         },




 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The boundary between decidability and undecidability for transitive closure logics",
         "author" : ["Neil Immerman",
                   "Alexander Rabinovich",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Greta Yorsh"
                  ],
     "conference" : "CSL",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2004",
           "year" : "2004",
"published_series" : "Lecture Notes in Computer Science",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/csl04.abs.html"
                         },



 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A relational approach to interprocedural shape analysis",
             "id" : "A relational approach to interprocedural shape analysis, SAS",
         "author" : ["Bertrand Jeannet",
                   "Alexey Loginov",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "SAS",
 "conference_num" : "11th",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2004",
           "year" : "2004",
"published_series" : "Lecture Notes in Computer Science",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas04.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/sas04.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas04.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Verification via structure simulation",
         "author" : ["Neil Immerman",
                   "Alexander Rabinovich",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Greta Yorsh"
                 ],
     "conference" : "CAV",
           "date" : "2004",
           "year" : "2004",
          "pages" : "281-294",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav04.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cav04.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav04.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Analyzing memory accesses in x86 executables",
         "author" : ["Gogul Balakrishnan",
                   "Thomas Reps"
                 ],
     "conference" : "CC",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2004",
           "year" : "2004",
          "pages" : "5-23",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc04.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cc04.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cc04.pdf",
            "ppt" : "http://www.cs.wisc.edu/~reps/talks/VSA.ppt",
           "note" : "Awarded the EAPLS Best Paper Award at ETAPS 2004",
      "copyright" : "Springer-Verlag"
                        },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Symbolically computing most-precise abstract operations for shape analysis",
         "author" : ["Greta Yorsh",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "TACAS",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2004",
           "year" : "2004",
          "pages" : "530-545",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tacas04.scmpao.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tacas04.scmpao.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tacas04.scmpao.pdf",
      "copyright" : "Springer-Verlag"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Numeric domains with summarized dimensions",
         "author" : ["Denis Gopan",
                   "Frank DiMaio",
                   "Nurit Dor",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "TACAS",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2004",
           "year" : "2004",
          "pages" : "512-529",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tacas04.ndsd.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tacas04.ndsd.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tacas04.ndsd.pdf",
      "copyright" : "Springer-Verlag"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Symbolic implementation of the best transformer",
         "author" : ["Thomas Reps",
                   "Mooly Sagiv",
                   "Greta Yorsh"
                 ],
     "conference" : "VMCAI",
           "date" : "2004",
           "year" : "2004",
          "pages" : "252-266",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/vmcai04.BT.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/vmcai04.BT.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/vmcai04.BT.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Weighted pushdown systems and their application to interprocedural dataflow analysis",
         "author" : ["Thomas Reps",
                   "Stefan Schwoon",
                   "Somesh Jha"
                 ],
     "conference" : "SAS",
 "conference_num" : "10th",
       "location" : "San Diego, CA",
           "date" : "June 11-13, 2003",
           "year" : "2003",
      "published" : "Springer-Verlag, New York, NY, 2003",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2694",
          "pages" : "189-213",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas03.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/sas03.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas03.pdf",
            "ppt" : "http://www.cs.wisc.edu/wpis/talks/SAS03.ppt",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "On generalized authorization problems",
         "author" : ["Stefan Schwoon",
                   "Somesh Jha",
                   "Thomas Reps",
                   "Stuart Stubblebine"
                 ],
     "conference" : "CSFW",
 "conference_num" : "16th",
       "location" : "Asilomar, Pacific Grove, CA",
           "date" : "June 30 - July 2, 2003",
           "year" : "2003",
          "pages" : "202-218",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/csfw03.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/csfw03.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/csfw03.pdf",
            "ppt" : "http://www.cs.wisc.edu/wpis/talks/CSFW03.ppt"
                          },



 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Finite differencing of logical formulas for static analysis",
             "id" : "Finite differencing of logical formulas for static analysis, ESOP",
         "author" : ["Thomas Reps",
                   "Mooly Sagiv",
                   "Alexey Loginov"
                 ],
     "conference" : "ESOP",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2003",
           "year" : "2003",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2618",
          "pages" : "380-398",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/esop03.FD.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/esop03.FD.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/esop03.FD.pdf",
      "copyright" : "Springer-Verlag"
                        },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Verifying temporal heap properties specified via evolution logic",
          "id" : "Verifying temporal heap properties specified via evolution logic, ESOP",
         "author" : ["Eran Yahav",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Reinhard Wilhelm"
                 ],
     "conference" : "ESOP",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2003",
           "year" : "2003",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2618",
          "pages" : "204-222",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/esop03.ETL.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/esop03.ETL.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The interprocedural express-lane transformation",
         "author" : ["David Melski",
                   "Thomas Reps"
                 ],
     "conference" : "CC",
      "published" : "Springer-Verlag, New York, NY",
           "date" : "2003",
           "year" : "2003",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2622",
          "pages" : "200-216",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc03.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cc03.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Semantic minimization of 3-valued propositional formulae",
         "author" : ["Thomas Reps",
                   "Alexey Loginov",
                   "Mooly Sagiv"
                 ],
     "conference" : "LICS",
       "location" : "Copenhagen, Denmark",
           "date" : "July 22-25, 2002",
           "year" : "2002",
          "pages" : "40-54",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/lics02.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/lics02.pdf",
            "ppt" : "http://www.cs.wisc.edu/wpis/talks/lics02.ppt"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Analysis of SPKI/SDSI certificates using model checking",
         "author" : ["Somesh Jha", "Thomas Reps" ],
     "conference" : "CSFW",
 "conference_num" : "15th",
       "location" : "Cape Breton, Nova Scotia, Canada",
           "date" : "June 24-26, 2002",
           "year" : "2002",
          "pages" : "129-146",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/csfw02.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/csfw02.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/csfw02.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Model checking of unrestricted hierarchical state machines",
         "author" : ["Michael Benedikt",
                   "Patrice Godefroid",
                   "Thomas Reps"
                 ],
     "conference" : "ICALP",
 "conference_num" : "28th",
       "location" : "Crete, Greece",
           "date" : "July 8-12, 2001",
           "year" : "2001",
      "published" : "Springer-Verlag, New York, NY, 2001",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2076",
          "pages" : "652-666",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/icalp01.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/icalp01.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/icalp01.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Debugging via run-time type checking",
         "author" : ["Alexey Loginov",
                   "Suan Hsi Yong",
                   "Susan Horwitz",
                   "Thomas Reps"
                 ],
     "conference" : "FASE",
       "location" : "Genoa, Italy",
           "date" : "April 2-6, 2001",
           "year" : "2001",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fase01.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fase01.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/fase01.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Typestate checking of machine code",
         "author" : ["Zhichen Xu",
                   "Thomas Reps",
                   "Barton P. Miller"
                 ],
     "conference" : "ESOP",
       "location" : "Genoa, Italy",
           "date" : "April 2-6, 2001",
           "year" : "2001",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/esop01.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/esop01.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/esop01.pdf",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Putting static analysis to work for verification: A case study",
         "author" : ["Tal Lev-Ami",
                   "Thomas Reps",
                   "Mooly Sagiv",
                   "Reinhard Wilhelm"
                 ],
     "conference" : "ISSTA",
       "location" : "Portland, OR",
           "date" : "Aug. 21-25, 2000",
           "year" : "2000",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/issta00.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/issta00.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/issta00.pdf"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Safety checking of machine code",
         "author" : ["Zhichen Xu",
                   "Barton P. Miller",
                   "Thomas Reps"
                 ],
     "conference" : "PLDI",
       "location" : "Vancouver B.C., Canada",
           "date" : "June 18-21, 2000",
           "year" : "2000",
          "pages" : "70-82",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pldi00.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pldi00.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Physical type checking for C",
         "author" : ["Satish Chandra",
                   "Thomas Reps"
                 ],
     "conference" : "PASTE",
       "location" : "Toulouse, France",
           "date" : "Sept. 6, 1999",
           "year" : "1999",
        "journal" : "SEN",
         "in_vol" : "24",
         "in_num" : "5",
        "in_date" : "Sept. 1999",
          "pages" : "66-75",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/paste99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/paste99.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/paste99.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Coping with type casts in C",
         "author" : ["Michael Siff",
                   "Satish Chandra",
                   "Thomas Ball",
                   "Krishna Kunchithapadam",
                   "Thomas Reps"
                 ],
     "conference" : "ESEC-FSE",
       "location" : "Toulouse, France",
           "date" : "Sept. 6-10, 1999",
           "year" : "1999",
          "pages" : "180-198",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fse99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fse99.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/fse99.pdf"
                 },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Program slicing of hardware description languages",
         "author" : ["Edmund Clarke",
                   "Masahiro Fujita",
                   "Sreeranga P. Rajan",
                   "Thomas Reps",
                   "Subash Shankar",
                   "Tim Teitelbaum"
                 ],
     "conference" : "CHARME",
       "location" : "Bad Herrenalb, Ger.",
           "date" : "Sept. 27-29, 1999",
           "year" : "1999",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/charme99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/charme99.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/charme99.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Pointer analysis for programs with structures and casting",
         "author" : ["Suan Hsi Yong",
                   "Susan Horwitz",
                   "Thomas Reps"
                 ],
     "conference" : "PLDI",
       "location" : "Atlanta, GA",
           "date" : "May 1-4, 1999",
        "journal" : "SIGPLAN Notices",
         "in_vol" : "34",
         "in_num" : "5",
        "date" : "May 1999",
           "year" : "1999",
          "pages" : "91-103",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pldi99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pldi99.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/pldi99.pdf"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Interprocedural path profiling",
         "author" : ["David Melski",
                   "Thomas Reps"
                 ],
     "conference" : "CC",
 "conference_num" : "8th",
       "location" : "Amsterdam, The Netherlands",
           "date" : "Mar. 22-26, 1999",
           "year" : "1999",
      "published" : "Springer-Verlag, New York, NY, 1999",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1575",
             "ed" : "S. Jaehnichen",
          "pages" : "47-62",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cc99.ps",
      "copyright" : "Springer-Verlag",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cc99.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A decidable logic for describing linked data structures",
         "author" : ["Michael Benedikt",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "ESOP",
       "location" : "Amsterdam, The Netherlands",
           "date" : "Mar. 22-26, 1999",
           "year" : "1999",
      "published" : "Springer-Verlag, New York, NY, 1999",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1576",
             "ed" : "S.D. Swierstra ",
          "pages" : "2-19",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/esop99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/esop99.ps",
      "copyright" : "Springer-Verlag",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/esop99.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Parametric shape analysis via 3-valued logic",
         "author" : ["Mooly Sagiv",
                   "Thomas Reps",
                   "Reinhard Wilhelm"
                 ],
     "conference" : "POPL",
 "conference_num" : "26th",
       "location" : "San Antonio, TX",
           "date" : "January 20-22, 1999",
           "year" : "1999",
      "published" : "ACM, New York, NY, 199",
          "pages" : "105-118",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl99.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/popl99.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/popl99.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Identifying modules via concept analysis",
         "author" : ["Michael Siff",
                   "Thomas Reps"
                 ],
     "conference" : "ICSM",
       "location" : "Bari, Italy",
           "date" : "October 1-3, 1997",
           "year" : "1997",
      "published" : "IEEE Computer Society, Washington, DC, 1997",
             "ed" : ["M.J. Harrold",
                   "G. Visaggio"
                 ],
          "pages" : "170-179",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/icsm97.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/icsm97.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/icsm97.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The use of program profiling for software maintenance with applications to the Year 2000 Problem",
         "author" : ["Thomas Reps",
                   "Thomas Ball",
                   "Manuvir Das",
                   "James Larus"
                 ],
     "conference" : "ESEC-FSE",
       "location" : "Zurich, Switzerland",
           "date" : "Sept. 22-25, 1997",
           "year" : "1997",
      "published" : "Springer-Verlag, New York, NY, 1997",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1301",
             "ed" : ["M. Jazayeri",
                   "H. Schauer"
                 ],
          "pages" : "432-449",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fse97.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fse97.ps",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Interconvertibility of set constraints and context-free language reachability",
         "author" : ["David Melski",
                   "Thomas Reps"
                 ],
     "conference" : "PEPM",
       "location" : "Amsterdam, The Netherlands",
           "date" : "June 12-13, 1997",
           "year" : "1997",
      "published" : "ACM, New York, NY, 1997",
          "pages" : "74-89",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pepm97.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pepm97.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Program generalization for software reuse: From C to C++",
         "author" : ["Michael Siff",
                   "Thomas Reps"
                 ],
     "conference" : "FSE",
 "conference_num" : "4th",
       "location" : "San Francisco, CA",
           "date" : "October 16-18, 1996",
           "year" : "1996",
      "published" : "ACM, New York, NY, 1996",
          "pages" : "135-146",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fse96.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fse96.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Program specialization via program slicing",
         "author" : ["Thomas Reps",
                   "Todd Turnidge"
                 ],
     "conference" : "Dagstuhl",
 "conference_sub" : "Partial Evaluation",
       "location" : "Schloss Dagstuhl, Wadern, Germany",
           "date" : "Feb. 12-16, 1996",
           "year" : "1996",
      "published" : "Springer-Verlag, New York, NY, 1996",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1110",
             "ed" : ["O. Danvy",
                   "R. Glueck",
                   "P. Thiemann"
                 ],
          "pages" : "409-429",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/dagstuhl96.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/dagstuhl96.ps",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Solving shape-analysis problems in languages with destructive updating",
         "author" : ["Mooly Sagiv",
                   "Thomas Reps",
                   "Reinhard Wilhelm"
                 ],
             "id" : "Solving shape-analysis problems in languages with destructive updating, ACM POPL",
     "conference" : "POPL",
 "conference_num" : "23rd",
       "location" : "St. Petersburg, FL",
           "date" : "January 22-24, 1996",
           "year" : "1996",
      "published" : "ACM, New York, NY",
          "pages" : "16-31",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl96.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/popl96.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Demand interprocedural dataflow analysis",
         "author" : ["Susan Horwitz",
                   "Thomas Reps",
                   "Mooly Sagiv"
                 ],
     "conference" : "FSE",
 "conference_num" : "3rd",
       "location" : "Washington, DC",
           "date" : "October 10-13, 1995",
           "year" : "1995",
        "journal" : "SEN",
         "in_vol" : "20",
         "in_num" : "4",
          "pages" : "104-115",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fse95a.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fse95a.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Precise interprocedural chopping",
         "author" : ["Thomas Reps",
                   "Genevieve Rosay"
                 ],
     "conference" : "FSE",
 "conference_num" : "3rd",
       "location" : "Washington, DC",
           "date" : "October 10-13, 1995",
           "year" : "1995",
        "journal" : "SEN",
         "in_vol" : "20",
         "in_num" : "4",
        "in_date" : "1995",
          "pages" : "41-52",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fse95b.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fse95b.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Semantic foundations of binding-time analysis for imperative programs",
         "author" : ["Manuvir Das",
                   "Thomas Reps",
                   "Pascal Van Hentenryck"
                 ],
     "conference" : "PEPM",
       "location" : "La Jolla, California",
           "date" : "June 21-23, 1995",
           "year" : "1995",
      "published" : "ACM, New York, NY, 1995",
          "pages" : "100-110",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pepm95a.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pepm95a.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Shape analysis as a generalized path problem",
         "author" : "Thomas Reps",
     "conference" : "PEPM",
       "location" : "La Jolla, California",
           "date" : "June 21-23, 1995",
           "year" : "1995",
      "published" : "ACM, New York, NY, 1995",
          "pages" : "1-11",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pepm95b.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pepm95b.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/pepm95b.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Precise interprocedural dataflow analysis with applications to constant propagation",
         "author" : ["Mooly Sagiv",
                   "Thomas Reps",
                   "Susan Horwitz"
                 ],
     "conference" : "FASE",
       "location" : "Aarhus, Denmark",
           "date" : "May 22-26, 1995",
           "year" : "1995",
      "published" : "Springer-Verlag, New York, NY, 1995",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "915",
             "ed" : ["P.D. Mosses",
                   "M. Nielsen",
                   "M.I. Schwartzbach"
                 ],
          "pages" : "651-665",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tapsoft95.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tapsoft95.ps",
      "copyright" : "Springer-Verlag"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Precise interprocedural dataflow analysis via graph reachability",
         "author" : ["Thomas Reps",
                   "Susan Horwitz",
                   "Mooly Sagiv"
                 ],
     "conference" : "POPL",
 "conference_num" : "22nd",
       "location" : "San Francisco, CA",
           "date" : "January 23-25, 1995",
           "year" : "1995",
          "pages" : "49-61",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl95.abs.html",
     "postscript" : "ttp://www.cs.wisc.edu/wpis/papers/popl95.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/popl95.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Speeding up slicing",
         "author" : ["Thomas Reps",
                   "Susan Horwitz",
                   "Mooly Sagiv",
                   "Genevieve Rosay"
                 ],
     "conference" : "FSE",
 "conference_num" : "2nd",
       "location" : "New Orleans, LA",
           "date" : "December 7-9, 1994",
           "year" : "1994",
        "journal" : "SEN",
         "in_vol" : "19",
         "in_num" : "5",
        "in_date" : "December 1994",
          "pages" : "11-20",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fse94.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/fse94.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/fse94.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Solving demand versions of interprocedural analysis problems",
         "author" : "Thomas Reps",
     "conference" : "CC",
 "conference_num" : "5th",
       "location" : "Edinburgh, Scotland",
           "date" : "April 7-9, 1994",
           "year" : "1994",
      "published" : "Springer-Verlag, New York, NY, 1994",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "786",
             "ed" : "P. Fritzson",
          "pages" : "389-403",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc94.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/cc94.ps",
      "copyright" : "Springer-Verlag"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "An incremental algorithm for maintaining the dominator tree of a reducible flowgraph",
         "author" : ["Ganesan Ramalingam",
                   "Thomas Reps"
                 ],
     "conference" : "POPL",
 "conference_num" : "21st",
       "location" : "Portland, OR",
           "date" : "January 16-19, 1994",
           "year" : "1994",
          "pages" : "287-296",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl94.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/popl94.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/popl94.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Scan grammars: Parallel attribute evaluation via data-parallelism",
         "author" : "Thomas Reps",
     "conference" : "SPAA",
 "conference_num" : "5th",
       "location" : "Velen, Germany",
           "date" : "June 30 - July 2, 1993",
           "year" : "1993",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/spaa93.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/spaa93.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/spaa93.pdf"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Modification algebras",
         "author" : ["Ganesan Ramalingam",
                   "Thomas Reps"
                 ],
     "conference" : "AMAST",
 "conference_num" : "2nd",
       "location" : "Iowa City, Iowa",
           "year" : "1991",
           "date" : "May 22-24, 1991"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A theory of program modifications",
         "author" : ["Ganesan Ramalingam",
                   "Thomas Reps"
                 ],
     "conference" : "CCPSD",
       "location" : "Brighton, UK",
           "date" : "April 8-12, 1991",
           "year" : "1991",
      "published" : "Springer-Verlag, New York, NY",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "494",
             ed : ["S. Abramsky",
                   "T.S.E. Maibaum"
                 ],
          "pages" : "137-152"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A program integration algorithm that accommodates semantics-preserving transformations",
         "author" : ["Wuu Yang",
                   "Susan Horwitz",
                   "Thomas Reps"
                 ],
     "conference" : "SDE",
 "conference_num" : "4th",
       "location" : "Irvine, CA",
           "date" : "December 3-5, 1990",
           "year" : "1990",       
        "journal" : "SEN",
         "in_vol" : "15",
         "in_num" : "6",
        "in_date" : "December 1990",
          "pages" : "133-143"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Algebraic properties of program integration",
         "author" : "Thomas Reps",
     "conference" : "ESOP",
 "conference_num" : "3rd",
       "location" : "Copenhagen, Denmark",
           "date" : "May 15-18, 1990",
           "year" : "1990",       
      "published" : "Springer-Verlag, New York, NY, 1990",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "432",
             "ed" : "N. Jones",
          "pages" : "326-340"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Illustrating interference in interfering versions of programs",
         "author" : ["Thomas Reps",
                   "Thomas Bricker"
                 ],
     "conference" : "SCM",
       "location" : "Princeton, NJ",
           "date" : "October 24-27, 1989",
           "year" : "1989",       
        "journal" : "SEN",
         "in_vol" : "17",
         "in_num" : "7",
        "in_date" : "November 1989",
          "pages" : "46-55"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Dependence analysis for pointer variables",
         "author" : ["Susan Horwitz",
                   "Phil Pfeiffer",
                   "Thomas Reps"
                 ],

     "conference" : "PLDI",
       "location" : "Portland, OR",
           "date" : "June 21-23, 1989",
           "year" : "1989",       
          "journal" : "SIGPLAN Notices",
         "in_vol" : "24",
         "in_num" : "7",
          "pages" : "28-40"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The semantics of program slicing and program integration",
         "author" : ["Thomas Reps",
                   "Wuu Yang"
                 ],
     "conference" : "CCIPL",
       "location" : "Barcelona, Spain",
           "date" : "March 13-17, 1989",
           "year" : "1989",       
      "published" : "Springer-Verlag, New York, NY, 1989",
             "ed" : ["J. Diaz",
                   "F. Orejas"
                 ],
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "352"
                 },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Interprocedural slicing using dependence graphs",
         "author" : ["Susan Horwitz",
                   "Thomas Reps",
                   "David Binkley"
                 ],
             "id" : "Interprocedural slicing using dependence graphs, ACM SIGPLAN 88",
     "conference" : "PLDI",
       "location" : "Atlanta, GA",
           "date" : "June 22-24, 1988",
           "year" : "1988",       
       "journal" : "SIGPLAN Notices",
         "in_vol" : "23",
         "in_num" : "7",
        "in_date" : "July 1988",
          "pages" : "35-46",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/pldi88.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/pldi88.retrospective.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/pldi88.retrospective.pdf"
                         },




 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Support for integrating program variants in an environment for programming in the large",
         "author" : ["Thomas Reps",
                   "Susan Horwitz",
                   "Jan Prins"
                 ],
     "conference" : "SCM",
       "location" : "Grassau, W. Germany",
           "date" : "January 27-29, 1988",
           "year" : "1988",       
      "published" : "B.G. Teubner, Stuttgart, W. Germany, 1988",
        "journal" : "Berichte des German Chapter of the ACM",
         "in_vol" : "30",
             "ed" : "J.F.H. Winkler",
          "pages" : "197-216"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Integrating non-interfering versions of programs",
             "id" : "Integrating non-interfering versions of programs, POPL",
         "author" : ["Susan Horwitz",
                   "Jan Prins",
                   "Thomas Reps"
                 ],
     "conference" : "POPL",
 "conference_num" : "15th",
       "location" : "San Diego, CA",
           "date" : "January 13-15, 1988",
           "year" : "1988",       
      "published" : "ACM, New York, NY",
          "pages" : "133-145"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "On the adequacy of program dependence graphs for representing programs",
         "author" : ["Susan Horwitz",
                   "Jan Prins",
                   "Thomas Reps"
                 ],
     "conference" : "POPL",
 "conference_num" : "15th",
       "location" : "San Diego, CA",
           "date" : "January 13-15, 1988",
           "year" : "1988",       
      "published" : "ACM, New York, NY",
          "pages" : "146-157",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl88b.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/popl88b.ps"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Remote attribute updating for language-based editors",
         "author" : ["Thomas Reps",
                   "Carla Marceau",
                   "Tim Teitelbaum"
                 ],
     "conference" : "POPL",
 "conference_num" : "13th",
       "location" : "St. Petersburg, FL",
           "date" : "January 13-15, 1986",
           "year" : "1986",       
      "published" : "ACM, New York, NY, 1986",
          "pages" : "1-13"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The Synthesizer Generator",
         "author" : ["Thomas Reps",
                   "Tim Teitelbaum"
                 ],
     "conference" : "SDE",
       "location" : "Pittsburgh, PA",
           "date" : "April 23-25, 1984",
           "year" : "1984",       
        "journal" : "SIGPLAN Notices",
         "in_vol" : "19",
         "in_num" : "5",
        "in_date" : "May 1984",
          "pages" : "42-48",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/psde84.abs.html"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Interactive proof checking",
         "author" : ["Thomas Reps",
                   "Bowen Alpern"
                 ],
     "conference" : "POPL",
 "conference_num" : "11th",
       "location" : "Salt Lake City, Utah",
           "date" : "January 15-18, 1984",
           "year" : "1984",       
      "published" : "ACM, New York, NY",
          "pages" : "36-45",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl84.abs.html"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Static-semantic analysis in language-based editors",
         "author" : "Thomas Reps",
     "conference" : "Spring CompCon",
       "location" : "San Francisco, CA",
           "date" : "March 1-3, 1983",
           "year" : "1983",       
      "published" : "IEEE Computer Society, Washington, DC",
          "pages" : "411-414"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Optimal-time incremental semantic analysis for syntax-directed editors",
         "author" : "Thomas Reps",
     "conference" : "POPL",
 "conference_num" : "9th",
       "location" : "Albuquerque, NM",
           "date" : "January 25-27, 1982",
           "year" : "1982",       
      "published" : "ACM, New York, NY",
          "pages" : "169-176",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl82.abs.html"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The why and wherefore of the Cornell Program Synthesizer",
         "author" : ["Tim Teitelbaum",
                   "Thomas Reps",
                   "Susan Horwitz"
                 ],
     "conference" : "Symposium on Text Manipulation",
        "journal" : "SIGPLAN Notices",
         "in_vol" : "16",
         "in_num" : "6",
           "date" : "June 1981",
           "year" : "1981",       
          "pages" : "8-16"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Incremental evaluation for attribute grammars with application to syntax-directed editors",
         "author" : ["Alan Demers",
                   "Thomas Reps",
                   "Tim Teitelbaum"
                 ],
     "conference" : "POPL",
 "conference_num" : "8th",
       "location" : "Williamsburg, VA",
           "date" : "January 26-28, 1981",
           "year" : "1981",       
      "published" : "ACM, New York, NY, 1981",
 "published_name" : "Conference Record of the Eighth ACM Symposium on Principles of Programming Languages",
          "pages" : "105-116",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/popl81.abs.html"
                         },




 {         "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "WYSINWYX: What You See Is Not What You eXecute",
             "id" : "WYSINWYX, thesis",
         "author" : "Gogul Balakrishnan",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 2007",
           "year" : "2007",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/balakrishnan_thesis.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/balakrishnan_thesis.pdf",
    "tech_report" : "Tech. Rep. TR-1603, Computer Sciences Department, University of Wisconsin, Madison, WI, August 2007"
                         },

 {         "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Modeling and Analyzing Integrated Policies",
         "author" : "Michael McDougall",
    "thesis_dept" : "University of Pennsylvania",
           "date" : "2005",       
           "year" : "2005",       
       "abstract" : "http://repository.upenn.edu/dissertations/AAI3165727/",
            "pdf" : "http://michaelmcdougall.com/diss.pdf"
                         },





{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Numeric program analysis techniques with applications to array analysis and library summarization",
         "author" : "Denis Gopan",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 2007",
           "year" : "2007",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/gopan_thesis.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/gopan_thesis.pdf",
    "tech_report" : "TR-1602, Computer Sciences Department, University of Wisconsin, Madison, WI, August 2007"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Refinement-based program verification via three-valued-logic analysis",
         "author" : "Alexey Loginov",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 2006",
           "year" : "2006",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/loginov_thesis.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/loginov_thesis.pdf",
    "tech_report" : "TR-1574, Computer Sciences Department, University of Wisconsin, Madison, WI, August 2006"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Interprocedural path profiling and the interprocedural express-lane transformation",
         "author" : "David Melski",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "February 2002",
           "year" : "2002",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tr1435.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr1435.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tr1435.pdf",
    "tech_report" : "TR-1435, Computer Sciences Department, University of Wisconsin, Madison, WI, February 2002"
                         },


{          "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Minimal Distance Analysis of Syntax Errors in Computer Programs",
         "author" : "Tim Teitelbaum",
    "thesis_dept" : "Department of Computer Science, Carnegie-Mellon University, Pittsburgh, PA",
           "date" : "September 1975",
           "year" : "1975"
                         },


{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Safety-checking of machine code",
         "author" : "Zhichen Xu",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "December 2000",
           "year" : "2000",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/xu_thesis.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/xu_thesis.ps",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/xu_thesis.pdf"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Techniques for software renovation",
         "author" : "Michael Siff",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 1998",
           "year" : "1998",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tr1384.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr1384.ps",
    "tech_report" : "TR-1384, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1998"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Partial evaluation using dependence graphs",
         "author" : "Manuvir Das",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "February 1998",
           "year" : "1998",       
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/tr1362.abs.html",
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr1362.ps",
    "tech_report" : "TR-1362, Computer Sciences Department, University of Wisconsin, Madison, WI, February 1998"
                         },

{          "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Bounded incremental computation",
         "author" : "Ganesan Ramalingam",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 1993",
           "year" : "1993",       
    "tech_report" : "TR-1172, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1993",
      "published" : "Springer-Verlag, New York, NY, 1996",
 "published_name" : "Bounded Incremental Computation",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1089"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Multi-procedure program integration",
         "author" : "David Binkley",
    "thesis_dept" : "University of Wisconsin, Madison, WI",
           "date" : "August 1991",
           "year" : "1991",       
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr1038.ps",
    "tech_report" : "TR-1038, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1991"
                },
      
{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Dependence-based representations for programs with reference variables",
         "author" : "Phil Pfeiffer",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 1991",
           "year" : "1991",       
           "pdf" : "http://www.cs.wisc.edu/wpis/papers/tr1037.pdf",
    "tech_report" : "TR-1037, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1991"
                         },


{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "A new algorithm for semantics-based program integration",
         "author" : "Wuu Yang",
    "thesis_dept" : "Computer Sciences Department, University of Wisconsin, Madison, WI",
           "date" : "August 1990",
           "year" : "1990",       
     "postscript" : "http://www.cs.wisc.edu/wpis/papers/tr962.ps",
    "tech_report" : "TR-962, Computer Sciences Department, University of Wisconsin, Madison, WI, August 1990"
                },


         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Modern Software Review: Techniques And Technologies",
         "author" : "Yuk Kuen Wong",
      "published" : "IRM Press",
           "isbn" : "978-1599040141",
           "date" : "April 6, 2006",
           "year" : "2006",       
           "note" : "Has section on CodeSurfer"
                         },

         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Debugging by Thinking: A Multidisciplinary Approach",
         "author" : "Robert Charles Metzger",
      "published" : "Digital Press",
           "isbn" : "978-1555583071",
           "date" : "October 31, 2003",
           "year" : "2003",       
           "note" : "Has section on CodeSurfer"
                         },

         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Why Programs Fail: A Guide to Systematic Debugging",
         "author" : "Andreas Zeller",
      "published" : "Morgan Kaufmann",
           "isbn" : "978-1558608665",
           "date" : "October 11, 2005",
           "year" : "2005",       
           "note" : "CodeSurfer cited as a tool, used in a couple of examples."
                         },

         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Hacking Exposed",
         "author" : ["Stuart McClure", 
                   "Joel Scambray", 
                   "George Kurtz"],
      "published" : "McGraw-Hill Osborne Media",
           "isbn" : "978-0072260816",
           "date" : "April 19, 2005 (5 edition)",
           "year" : "2005",       
           "note" : "CodeSurfer cited as a tool, used in a case study"
                         },

         { "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Program Slicing: Precise Chops Extraction Approaches",
         "author" : ["Tahar Khammaci",
                   "Zine E. Bouras",
                   "Said Ghoul"],
             "ed" : "S. K. Chang",
      "published" : "World Scientific Publishing Company",
 "published_name" : "Handbook of Software Engineering and Knowledge Engineering, Volume 1",
           "isbn" : "978-9810249731",
           "pages" : "465-486",
           "date" : "January 2002",
           "year" : "2002",       
           "note" : "CodeSurfer cited as a tool"
                         },

         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Essential Open Source Toolset",
         "author" : ["Andreas Zeller",
                   "Jens Krinke"],
      "published" : "Wiley",
           "isbn" : "978-0470844458",
           "date" : "August 14, 2002",
           "year" : "2002",       
           "note" : "Cited in application for academic license"
                         },


  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Supporting Impact Analysis by Program Dependence Graph Based Forward Slicing",
         "author" : ["Jaakko Korpi",
                   "Jussi Koskinen"],
      "published" : "Springer",
 "published_name" : "Advances and Innovations in Systems, Computing Sciences and Software Engineering",
             "ed" : "Khaled Elleithy",
           "date" : "2007",       
           "year" : "2007",       
          "pages" : "197-202",
           "isbn" : "978-1-4020-6263-6",
       "abstract" : "http://www.springerlink.com/content/g1108582p5873047/",
           "note" : "CodeSurfer compared to other slicing tools"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Locating Dependence Clusters and Dependence Pollution",
         "author" : ["David Binkley",
                   "Mark Harman"
                 ],
     "conference" : "ICSM",
 "conference_num" : "21st",
       "location" : "Budapest, Hungary",
           "year" : "2005",       
           "date" : "Sept 25-30, 2005"
  },

         {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "A qualitative study of two whole-program slicers for C",
         "author" : ["Leann Bent",
                   "Darren C. Atkinson",
                   "William G. Griswold"],
      "published" : "University of California at San Diego",
         "number" : "CS20000643",
           "date" : "2000",
           "year" : "2000",       
       "abstract" : "http://citeseer.ist.psu.edu/bent01qualitative.html",
           "note" : ["A preliminary version appeared at the 2000 ACM SIGSOFT International Symposium on the Foundations of Software Engineering.",
                   "Compares CodeSurfer and Sprite"]
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Union Slices for Program Maintenance",
         "author" : ["Arpad Beszedes",
                   "Csaba Farago",
                   "Zsolt Mihaly Szabo",
                   "Janos Csirik",
                   "Tibor Gyimothy"
                 ],
     "conference" : "ICSM",
       "location" : "Montreal",
           "date" : "October 2002",
           "year" : "2002",       
       "abstract" : "http://citeseer.ist.psu.edu/beszedes02union.html",
           "note" : "CodeSurfer used to generate static slices for comparison"
                         },

 {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Redesigning Air Traffic Control: An Exercise in Software Design",
         "author" : ["Daniel Jackson",
                   "John Chapin"
                 ],
        "journal" : "IEEE Software",
         "in_vol" : "17",
         "in_num" : "3",
           "date" : "2000",
           "year" : "2000",       
          "pages" : "63-70",
       "abstract" : "http://citeseer.ist.psu.edu/jackson00redesigning.html",
           "note" : "CodeSurfer one of several tools evaluated"
                         },


 {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Counterexample for \"A Simpler Construction for Showing the Intrinsically Complexity of the Circularity Problem for Attribute Grammars\"",
         "author" : "Jens M. Dill",
        "journal" : "JACM",
         "in_vol" : "36",
         "in_num" : "1",
           "date" : "January 1989",
           "year" : "1989",       
          "pages" : "92-96",
       "abstract" : "http://doi.acm.org/10.1145/58562.77393",
      "published" : "ACM",
           "note" : "Synthesizer Generator"
                         },

 {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Slicing-based Hardware/Software Co-design Methodology From Functional Specifications",
         "author" : ["Shunsuke Sasaki",
                   "Tasuku Nishihara",
                   "Masahiro Fujita"
                 ],
        "journal" : "ENTCS",
         "in_vol" : "159",
           "date" : "2006",
           "year" : "2006",       
          "pages" : "265-280",
           "note" : "CodeSurfer used to generate SDGs"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "An empirical study of automatic event reconstruction systems",
         "author" : ["Sundararaman Jeyaraman",
                   "Mikhail J. Atallah"
                 ],
     "conference" : "DFRWS",
       "location" : "Lafayette, Indiana",
           "date" : "August 14-16, 2006",
           "year" : "2006",       
            "pdf" : "http://www.dfrws.org/2006/proceedings/14-Jeyaraman.pdf",
           "note" : "Used CodeSurfer to obtain static slices."
                         },


 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Linking Analysis and Transformation Tools with Source-Based Mappings,",
         "author" : "Magiel Bruntink",
     "conference" : "SCAM",
 "conference_num" : "6th",
           "date" : "2006",
           "year" : "2006",       
          "pages" : "107-116",
           "note" : ["Also technical report SEN-R0606, Centrumvoor Wiskundeen Informatica, May 2006",
                   "Analyses performed with CodeSurfer plugins"]
                         },

  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Integrity Static Analysis of COTS/SOUP",
         "author" : ["Peter G. Bishop",
                   "Robin E. Bloomfield",
                   "Tim Clement",
                   "Sofia Guerra",
                   "Claire Jones"
                 ],
     "conference" : "SAFECOMP",
 "conference_num" : "22nd",
       "location" : "Edinburgh, UK",
           "date" : "September 23-26, 2003",
           "year" : "2003",       
      "published" : "Springer Berlin / Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
 "published_name" : "Computer Safety, Reliability, and Security",
  "published_vol" : "2788",
             "ed" : ["Stuart Anderson",
                   "Massimo Felici",
                   "Bev Littlewood"],
           "isbn" : "978-3-540-20126-7",
          "pages" : "63-76"
                         },

 {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "A Survey of Empirical Results on Program Slicing",
         "author" : ["David Binkley",
                   "Mark Harman"],
      "published" : "Academic Press San Diego, CA",
"published_series" : "Advances in Computers",
  "published_vol" : "62",
             "ed" : "Marvin Zelkowitz",
           "date" : "September 2, 2004",
           "year" : "2004",       
           "isbn" : "978-0120121625",
           "note" : "CodeSurfer compared with other tools in slice size, precision, slicing time"
                 },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Pattern Matching Security Properties of Code using Dependence Graphs",
         "author" : ["John Wilander",
                   "Pia Fak"
                 ],
     "conference" : "CoBaSSA",
 "conference_num" : "1st",
       "location" : "Pittsburgh, Pennsylvania",
           "date" : "November 2005",
           "year" : "2005",       
       "abstract" : "http://citeseer.ist.psu.edu/740927.html",
           "note" : "Use CodeSurfer to build dependence graphs"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "An End-To-End System For Model Checking Over Context-Sensitive Analyses",
         "author" : "James Ezick",
    "thesis_dept" : "Computer Science, Cornell University",
           "date" : "August 2004",
           "year" : "2004",       
       "abstract" : "http://citeseer.ist.psu.edu/ezick04endtoend.html",
           "note" : "System is built as a plugin to CodeSurfer"
                         },

 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Visualization of Program Dependence and Slices",
         "author" : "Jens Krinke",
     "conference" : "ICSM",
           "date" : "2004",
           "year" : "2004",
          "pages" : "168-177",
           "note" : "CodeSurfer's visualization functionality discussed"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Fault Localization With Nearest Neighbor Queries",
         "author" : ["Manos Renieris",
                   "Steven P. Reiss"
                 ],
     "conference" : "ASE",
 "conference_num" : "18th",
       "location" : "Montreal, Canada",
           "date" : "6-10 October 2003",
           "year" : "2003",       
      "published" : "IEEE Computer Society",
           "isbn" : "0-7695-2035-9",
          "pages" : "30-39",
           "note" : "CodeSurfer used to generate PDGs"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach",
         "author" : ["Andr\u00E9 Baresel",
                   "David Binkley",
                   "Mark Harman",
                   "Bogdan Korel"
                 ],
     "conference" : "ISSTA",
       "location" : "Boston, Massachusetts, USA",
           "date" : "2004",
           "year" : "2004",       
      "published" : "ACM",
"published_series" : "SIGSOFT Softw. Eng. Notes",
  "published_vol" : "29",
  "published_num" : "4",
             "ed" : ["George S. Avrunin",
                   "Gregg Rothermel"],
       "location" : "Boston, Massachusetts, USA",
           "date" : "July 2004",
          "pages" : "108-118",
       "abstract" : "http:/citeseer.ist.psu.edu/article/baresel04evolutionary.html",
           "note" : "CodeSurfer used to generate dependence graphs"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "An optimizing compiler for batches of temporal logic formulas",
         "author" : "James Ezick",
     "conference" : "ISSTA",
      "published" : "ACM",
"published_series" : "SIGSOFT Softw. Eng. Notes",
  "published_vol" : "29",
  "published_num" : "4",
             "ed" : ["George S. Avrunin",
                   "Gregg Rothermel"],
       "location" : "Boston, Massachusetts, USA",
           "date" : "July 2004",
           "year" : "2004",       
          "pages" : "183-194",
       "abstract" : "http://citeseer.ist.psu.edu/728046.html",
           "note" : "Analysis written as CodeSurfer plugin"
                         },


  {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Stop-List Slicing",
         "author" : ["Keith Gallagher",
                   "David Binkley",
                   "Mark Harman"
                 ],
     "conference" : "SCAM",
 "conference_num" : "6th",
       "location" : "Philadelphia, Pennsylvania, USA",
           "date" : "27-29 September 2006",
           "year" : "2006",       
      "published" : "IEEE Computer Society",
          "pages" : "11-20",
           "isbn" : "0-7695-2353-6",
       "abstract" : "http://citeseer.ist.psu.edu/753890.html",
           "note" : "Stop-list slicer implemented as an extension to CodeSurfer"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Software Architectural Transformation",
         "author" : ["S. Jeromy Carriere",
                   "Steven G. Woods",
                   "Rick Kazman"
                 ],
     "conference" : "WCRE",
       "location" : "Atlanta, Georgia, USA",
           "date" : "6-8 October, 1999",
           "year" : "1999",       
      "published" : "IEEE Computer Society Press",
          "pages" : "13-23",
       "abstract" : "http://citeseer.ist.psu.edu/carri99software.html",
           "note" : "CodeSurfer used to guide manual code removal"
                         },



 {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Analysis and Visualization of Predicate Dependence on Formal Parameters and Global Variables",
         "author" : ["David Binkley",
                   "Mark Harman"
                 ],
        "journal" : "TSE",
         "in_vol" : "30",
         "in_num" : "11",
           "date" : "2004",
           "year" : "2004",       
           "issn" : "0098-5589",
      "published" : "IEEE Press",
          "pages" : "715-735",
           "note" : "CodeSurfer used to generate SDGs - I think - paper is not absolutely clear."
                         },

{          "type" : "Course",
    "label" : "CprE 426/526 : Introduction to Parallel Algorithms & Programming",
     "course_url" : "http://class.ece.iastate.edu/cpre526/",
  "course_school" : "Iowa State University of Science and Technology",
"course_instructor" : "Professor Suraj C. Kothari kothari@iastate.edu ",
    "course_date" : "Fall 2007",
           "year" : "2007",       
  "date_accessed" : "2007/12/07",
           "note" : "CodeSurfer given as a link on course page"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Experiences in Teaching Program Transformation for Software Reengineering",
         "author" : "Mohammad El-Ramly",
  "conference_num" : "05161",
     "conference" : "Dagstuhl",
 "conference_sub" : "Transformation Techniques in Software Engineering",
       "location" : "Schloss Dagstuhl, Germany",
           "date" : "17-22 April, 2005",
           "year" : "2005",       
      "published" : "Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany",
"published_series" : "Dagstuhl Seminar Proceedings",
  "published_vol" : "05161",
             "ed" : ["James R. Cordy",
                   "Ralf L{\"a}mmel",
                   "Andreas Winter"],
           "note" : "CodeSurfer one of tools used in class"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Listening to Program Slices",
         "author" : ["Lewis Berman",
                   "Keith Gallagher"
                 ],
     "conference" : "ICAD",
       "location" : "London, UK",
           "date" : "20-23 June 2006",
           "year" : "2006",       
      "published" : "Department of Computer Science, Queen Mary, University of London, UK",
             "ed" : ["Tony Stockman",
                   "Louise Valgerður Nickerson",
                   "Christopher Frauenberger",
                   "Alistair D. N. Edwards",
                   "Derek Brock"],
           "isbn" : "0-902-23821-3 (CDROM), 0-902-23820-5 (online)",
           "note" : "CodeSurfer used to obtain slices"
                         },


{        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Isolating Idiomatic Crosscutting Concerns",
         "author" : ["Magiel Bruntink",
                   "Arie van Deursen",
                   "Tom Tourw\u00E9"
                 ],
     "conference" : "ICSM",
 "conference_num" : "21st",
       "location" : "Budapest, Hungary",
           "date" : "25-30 September 2005",
           "year" : "2005",       
      "published" : "IEEE Computer Society",
          "pages" : "37-46",
           "isbn" : "0-7695-2368-4",
       "abstract" : "http://citeseer.ist.psu.edu/744399.html",
           "note" : "Verifier developed as a CodeSurfer plugin"
                         },

{          "type" : "Course",
    "label" : "COMP3033: Software Evolution",
   "course_school" : "The University of Manchester",
     "course_url" : "http://intranet.cs.man.ac.uk/Study_subweb/Ugrad/coursenotes/CS3331/lectures.php",
"course_instructor" : "Suzanne Embury SEmbury@cs.manchester.ac.uk",
    "course_date" : "2006/2007 academic session",
  "date_accessed" : "2007/12/07",
           "year" : "2007",       
           "note" : "CodeSurfer/GT discussed in Lectures 9 and 10"
                         },


{          "type" : "Course",
    "label" : "17-654/17-754: Analysis of Software Artifacts",
"course_instructor" : "Jonathan Aldrich jonathan.aldrich@cs.cmu.edu",
     "course_url" : "http://www.cs.cmu.edu/~aldrich/courses/654/",
    "course_date" : "Spring 2007",
  "course_school" : "Carnegie Mellon University",
  "date_accessed" : "2007/12/07",
           "year" : "2007",       
           "note" : "CodeSurfer offered as a subject for Tools presentations"
                         },

{          "type" : "Course",
    "label" : "15-413: Introduction to Software Engineering",
"course_instructor": "Jonathan Aldrich jonathan.aldrich@cs.cmu.edu",
     "course_url" : "http://www.cs.cmu.edu/~aldrich/courses/413/",
  "course_school" : "Carnegie Mellon University",
  "date_accessed" : "2007/12/07",
           "year" : "2007",       
           "note" : "CodeSurfer offered as a subject for Tools presentations"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "SOBER: statistical model-based bug localization",
         "author" : ["Chao Liu",
                   "Xifeng Yan",
                   "Long Fei",
                   "Jiawei Han",
                   "Samuel P. Midkiff"
                 ],
"conference" : "ESEC-FSE",
       "location" : "Lisbon, Portugal",
           "date" : "September 5-9, 2005",
           "year" : "2005",       
      "published" : "ACM",
"published_series" : "ACM SIGSOFT Software Engineering Notes",
  "published_vol" : "30",
  "published_num" : "5",
             "ed" : ["Michel Wermelinger",
                   "Harald Gall"],
          "pages" : "286-295",
           "isbn" : "1-59593-014-0",
       "abstract" : "http://portal.acm.org/citation.cfm?id=1081753",
           "note" : "CodeSurfer used to generate PDGs"
                         },


 {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Statistical Debugging: A Hypothesis Testing-Based Approach",
         "author" : ["Chao Liu",
                   "Long Fei",
                   "Xifeng Yan",
                   "Jiawei Han",
                   "Samuel P. Midkiff"
                 ],
        "journal" : "TSE",
         "in_vol" : "32",
         "in_num" : "10",
           "date" : "October 2006",
           "year" : "2006",       
       "abstract" : "http://portal.acm.org/citation.cfm?id=1248773",
          "pages" : "831-848",
           "note" : "CodeSurfer used to generate PDGs"
                         },



{          "type" : "Course",
    "label" : "CISC422: Formal Methods in Software Engineering",
"course_instructor" : "Juergen Dingel dingel@cs.queensu.ca",
   "course_school" : "Queen's University",
     "course_url" : "http://www.cs.queensu.ca/~cisc422/index.html",
    "course_date" : "Fall 2006",
  "date_accessed" : "2007/12/07",
           "year" : "2006",       
           "note" : "CodeSurfer on Tools list"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "Masters",
          "label" : "Optimizing C Multithreaded Memory Management Using Thread-Local Storage",
         "author" : "Yair Sade",
    "thesis_dept" : "School of Computer Science, Tel-Aviv University, Israel",
           "date" : "November 27, 2004",
           "year" : "2004",       
           "note" : "Uses CodeSurfer points-to algorithm"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Facilitating software evolution research with Kenyon",
         "author" : ["Jennifer Bevan",
                   "E. James Whitehead, Jr.",
                   "Sunghun Kim",
                   "Michael Godfrey"
                 ],
"conference" : "ESEC-FSE",
       "location" : "Lisbon, Portugal",
           "date" : "September 5-9, 2005",
           "year" : "2005",       
      "published" : "ACM",
"published_series" : "ACM SIGSOFT Software Engineering Notes",
  "published_vol" : "30",
  "published_num" : "5",
             "ed" : ["Michel Wermelinger",
                   "Harald Gall"],
          "pages" : "177-186",
           "isbn" : "1-59593-014-0",
           "note" : "CodeSurfer used as 'fact extractor', whatever that means"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Imposing Order on Program Statements to Assist Anti-Virus Scanners",
         "author" : ["Arun Lakhotia",
                   "Moinuddin Mohammed"
                 ],
     "conference" : "WCRE",
       "location" : "Delft, The Netherlands",
           "date" : "8-12 November 2004",
           "year" : "2004",       
      "published" : "IEEE Computer Society",
         "pages" : "161-170",
           "isbn" : "0-7695-2243-2",
       "abstract" : "http://portal.acm.org/citation.cfm?id=1038267.1039048#",
           "note" : "CodeSurfer used to generate PDGs"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A General Dynamic Information Flow Tracking Framework for Security Applications",
         "author" : ["Lap Chung Lam",
                   "Tzi-cker Chiueh"
                 ],
     "conference" : "ACSAC",
 "conference_num" : "22nd",
       "location" : "Miami Beach, Florida, USA}",
           "date" : "1-15 December 2006",
           "year" : "2006",       
      "published" : "IEEE Computer Society",
         "pages" : "463-472",
           "isbn" : "0-7695-2716-7", 
          "note" : "Use CodeSurfer slicing result as input to tool"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "Diplom",
          "label" : "Conception and Implementation of a Source Code Navigator",
         "author" : "Leiqin Lu",
    "thesis_dept" : "University of Stuttgart, Institute of Software Technology, Department of Programming Languages and Compilers",
           "date" : "2004",
           "year" : "2004",       
            "pdf" : "ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2128/DIP-2128.pdf",
           "note" : "CodeSurfer discussed in tools evaluation"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A Longitudinal and Comparative Study of Slice-Based Metrics",
         "author" : ["Timothy M. Meyers",
                   "David Binkley"
                 ],
     "conference" : "METRICS",
 "conference_num" : "10th",
       "location" : "Chicago, IL, USA",
           "date" : "11-17 September 2004",
           "year" : "2004",       
           "note" : ["Acknowledgement says implementation is based on CodeSurfer",
                   "Apparently in 'late breaking papers' - don't see in standard ToC"]
                         },


{          "type" : "Course",
    "label" : "CO7206: Software Systems Reengineering",
"course_instructor" : "Mohammad El-Ramly",
   "course_school" : "University of Leicester",
     "course_url" : "http://www.cs.le.ac.uk/people/mer14/lab3.htm",
    "course_date" : "Fall 2003",
           "year" : "2003",       
  "date_accessed" : "2007/12/07",
           "note" : "Lab 3 is 'Program Analysis Using CodeSurfer'"
                         },


{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "Undergraduate",
          "label" : "Modeling and Pattern Matching Security Properties with Dependence Graphs",
         "author" : "Pia Fak",
    "thesis_dept" : "Software and Systems, Department of Computer and Information Science, Link\u00F6ping University",
           "date" : "September 20, 2005",
           "year" : "2005",       
            "pdf" : "http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-3956",
           "note" : "Uses CodeSurfer to generate SDGs"
                         },


 
 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Prioritizing Software Inspection Results using Static Profiling", 
         "author" : ["Cathal Boogerd",
                   "Leon Moonen" 
                 ],
     "conference" : "SCAM",
 "conference_num" : "6th",
       "location" : "Philadelphia, Pennsylvania, USA",
           "date" : "27-29 September 2006",
           "year" : "2006",       
      "published" : "IEEE Computer Society",
          "pages" : "149-160",
           "isbn" : "0-7695-2353-6",
       "abstract" : "http://portal.acm.org/citation.cfm?id=1174136#",
           "note" : ["ELAN tool implemented as a plugin to CodeSurfer",
                   "also Delft University of Technology Software Engineering Research Group Report TUD-SERG-2006-001"]
                         },


 {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Error explanation with distance metrics",
         "author" : ["Alex Groce",
                   "Sagar Chaki",
                   "Daniel Kroening",
                   "Ofer Strichman"
                 ],
        "journal" : "STTT",
         "in_vol" : "8",
         "in_num" : "3",
           "date" : "2006",
           "year" : "2006",       
       "abstract" : "http://portal.acm.org/citation.cfm?id=1210247#",
      "published" : "Springer-Verlag, Berlin, Heidelberg",
          "pages" : "229-247",
           "note" : ["CodeSurfer used to generate PDGs",
                   "Also is a Groce-solo conference paper with same name (and content?)"]
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Error Explanation with Distance Metrics",
         "author" : "Alex Groce",
     "conference" : "TACAS",
       "location" : "Barcelona, Spain",
           "date" : "March 29 - April 2, 2004",
           "year" : "2004",       
      "published" : "Springer",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2988",
             "ed" : ["Kurt Jensen",
                   "Andreas Podelski"],
          "pages" : "108-122",
           "isbn" : "{3-540-21299-X",
       "abstract" : "http://citeseer.ist.psu.edu/groce04error.html",
          "note" : ["CodeSurfer used to generate PDGs",
                  "Also is a Groce-et-al conference paper with same name (and content?)"]
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Locating causes of program failures",
         "author" : ["Holger Cleve",
                   "Andreas Zeller"
                 ],
     "conference" : "ICSE",
 "conference_num" : "27th",
       "location" : "St. Louis, Missouri, USA",
           "date" : "15-21 May 2005",
           "year" : "2005",       
      "published" : "ACM",
            "ed" : ["Gruia-Catalin Roman",
                   "William G. Griswold",
                   "Bashar Nuseibeh"],
          "pages" : "342-351",
       "abstract" : "http://doi.acm.org/10.1145/1062455.1062522",
           "note" : "CodeSurfer used to generate PDGs"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "Masters",
          "label" : "Static Detection of Exploitable Vulnerabilities in Input Dependencies",
         "author" : "Robin van Schendel",
    "thesis_dept" : "Software Engineering Research Group, Department of Software Technology, Faculty EEMCS, Delft University of Technology",
           "date" : "March 5, 2007",
           "year" : "2007",       
            "pdf" : "http://swerl.tudelft.nl/twiki/pub/Main/RobinVanSchendel/rvschendel_mscthesis.pdf",
           "note" : "CodeSurfer used to determine input dependences"
                         },

{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "Diplom",
          "label" : "Process Models for the Reconstruction of Software Architecture Views",
         "author" : "Jens Knodel",
    "thesis_dept" : "Institut für Informatik, Universität Stuttgart",
           "date" : "3 July 2002",
           "year" : "2002",       
            "pdf" : "http://elib.uni-stuttgart.de/opus/volltexte/2002/1176/pdf/DIP-1987.pdf",
           "note" : "CodeSurfer used in slicing component of process"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Discovering faults in idiom-based exception handling",
         "author" : ["Magiel Bruntink",
                   "Arie van Deursen",
                   "Tom Tourw\u00E9"
                 ],
     "conference" : "ICSE",
 "conference_num" : "28th",
       "location" : "Shanghai, China",
           "date" : "May 20-28, 2006",
           "year" : "2006",       
      "published" : "ACM",
             "ed" : ["Leon J. Osterweil",
                   "H. Dieter Rombach",
                   "Mary Lou Soffa"],
          "pages" : "242-251",
           "isbn" : "1-59593-375-1",
       "abstract" : "http://doi.acm.org/10.1145/1134320",
            "pdf" : "http://www.st.ewi.tudelft.nl/~arie/papers/exceptions/icse2006.pdf",
           "note" : "Tool implemented as a CodeSurfer plugin"
                         },



 {        "type" : "Publication",
        "subtype" : "Conference", 
          "label" : "Simple crosscutting concerns are not so simple: analysing variability in large-scale idioms-based implementations",
         "author" : ["Magiel Bruntink",
                   "Arie van Deursen",
                   "Maja D'Hondt",
                   "Tom Tourw\u00E9"
                 ],
     "conference" : "AOSD",
 "conference_num" : "6th",
       "location" : "Vancouver, British Columbia, Canada",
           "date" : "March 12-16, 2007",
           "year" : "2007",       
      "published" : "ACM",
             "ed" : ["Brian M. Barry", "Oege de Moor"],
          "pages" : "199-211",
           "isbn" : "1-59593-615-7",
       "abstract" : "http://doi.acm.org/10.1145/1218563.1218586",
           "note" : ["CodeSurfer used to help 'extract tracing idiom'",
                   "Also Delft University of Technology Software Engineering Research Group Report TUD-SERG-2007-001 http://swerl.tudelft.nl/twiki/pub/Main/TechnicalReports/TUD-SERG-2007-001.pdf"]
                         },


{           "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "A Conformance Review Strategy for Regulating Safety-Critical Software",
         "author" : "Raoul P. Jetley",
    "thesis_dept" : "North Carolina State University",
           "date" : "June, 2006",
           "year" : "2006",       
            "pdf" : "http://www.lib.ncsu.edu/theses/available/etd-06142006-110213/unrestricted/etd.pdf",
           "note" : "CodeSurfer used for slicing"
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Automated path generation for software fault localization",
         "author" : ["Tao Wang",
                   "Abhik Roychoudhury"
                 ],
     "conference" : "ASE",
 "conference_num" : "20th",
       "location" : "Long Beach, CA, USA",
           "date" : "November 7-11, 2005",
           "year" : "2005",       
      "published" : "ACM",
             "ed" : ["David F. Redmiles",
                   "Thomas Ellman",
                   "Andrea Zisman"],
          "pages" : "347-351",
       "abstract" : "http://doi.acm.org/10.1145/1101908.1101966",
           "note" : ["CodeSurfer used to construct PDG",
                   "Also The National University of Singapore, School of Computing, TRC6/05"]
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Statistical debugging: simultaneous identification of multiple bugs",
         "author" : ["Alice X. Zheng",
                   "Michael I. Jordan",
                   "Ben Liblit",
                   "Mayur Naik",
                   "Alex Aiken"
                 ],
     "conference" : "ICML",
 "conference_num" : "23rd",
       "location" : "Pittsburgh, Pennsylvania, USA",
           "date" : "June 25-29, 2006",
           "year" : "2006",       
      "published" : "ACM",
"published_series" : "ACM International Conference Proceeding Series",
  "published_vol" : "148",
             "ed" : ["William W. Cohen",
                   "Andrew Moore"],
          "pages" : "1105-1112",
           "isbn" : "1-59593-383-2",
       "abstract" : "http://doi.acm.org/10.1145/1143844.1143983",
           "note" : "Use a metric implemented as a CodeSurfer plugin for evaluation."
                         },



 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "GPLAG: detection of software plagiarism by program dependence graph analysis",
         "author" : ["Chao Liu",
                   "Chen Chen",
                   "Jiawei Han",
                   "Philip S. Yu"
                 ],
     "conference" : "KDD",
 "conference_num" : "12th",
       "location" : "Philadelphia, PA, USA",
           "date" : "August 20-23, 2006",
           "year" : "2006",       
      "published" : "ACM",
             "ed" : ["Tina Eliassi-Rad",
                   "Lyle H. Ungar",
                   "Mark Craven",
                   "Dimitrios Gunopulos"],
          "pages" : "872-881",
           "isbn" : "1-59593-339-5",
       "abstract" : "http://doi.acm.org/10.1145/1150402.1150522",
            "pdf" : "http://www.ews.uiuc.edu/~chaoliu/papers/kdd06liu.pdf",
           "note" : "CodeSurfer used to extract PDGs"
                         },


{          "type" : "Publication",
        "subtype" : "Thesis", 
         degree : "PhD",
          "label" : "A Research Framework for Software-Fault Localization Tools",
         "author" : "Manos Renieris",
    "thesis_dept" : "Department of Computer Science, Brown University, Providence, Rhode Island",
           "date" : "May 2005",
           "year" : "2005",       
            "pdf" : "http://www.cs.brown.edu/~er/papers/renieris-thesis.pdf",
           "note" : "CodeSurfer used to extract SDGs"
                         },


{          "type" : "Publication",
        "subtype" : "Thesis", 
         "degree" : "PhD",
          "label" : "Program Transformations for Information Personalization",
         "author" : "Saverio Perugini",
    "thesis_dept" : "Computer Science and Applications, Virginia Polytechnic Institute and State University",
           "date" : "May 14, 2004",
           "year" : "2004",       
            "pdf" : "http://scholar.lib.vt.edu/theses/available/etd-06252004-162449/unrestricted/thesis-sperugin.pdf",
           "note" : "CodeSurfer used for slicing and set operations over slices"
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Static specification inference using predicate mining",
         "author" : ["Murali Krishna Ramanathan",
                   "Ananth Grama",
                   "Suresh Jagannathan"
                 ],
     "conference" : "PLDI",
       "location" : "San Diego, California, USA",
           "date" : "June 10-13, 2007",
           "year" : "2007",       
      "published" : "ACM",
             "ed" : ["Jeanne Ferrante",
                   "Kathryn S. McKinley"],
          "pages" : "123-134",
           "isbn" : "978-1-59593-633-2",
       "abstract" : "http://doi.acm.org/10.1145/1250734.1250749",
            "pdf" : "http://www.cs.purdue.edu/homes/suresh/papers/pldi07.pdf",
           "note" : "CodeSurfer used to generate CFGs and dataflow graphs"
                         },

 
 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Optimizing C Multithreaded Memory Management Using Thread-Local Storage",
         "author" : ["Yair Sade",
                   "Mooly Sagiv",
                   "Ran Shaham"
                 ],
     "conference" : "CC",
 "conference_num" : "14th",
       "location" : "Edinburgh, UK",
           "date" : "April 4-8, 2005",
           "year" : "2005",       
      "published" : "Springer",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "3443",
             "ed" : "Rastislav Bodík ",
          "pages" : "137-155",
           "isbn" : "3-540-25411-0",
       "abstract" : "http://www.springerlink.com/content/var6pr4lg6d2crxt/",
           "note" : ["Uses CodeSurfer points-to analysis",
                   "See also Sade Thesis"]
                         },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Justification of Smart Sensors for Nuclear Applications",
         "author" : ["Peter G. Bishop",
                   "Robin E. Bloomfield",
                   "Sofia Guerra",
                   "Konstantinos Tourlas"
                 ],
     "conference" : "SAFECOMP",
 "conference_num" : "24th",
       "location" : "Fredrikstad, Norway",
           "date" : "September 28-30, 2005",
           "year" : "2005",       
      "published" : "Springer",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "3688",
             "ed" : ["Rune Winther",
                   "Bjørn Axel Gran",
                   "Gustav Dahll"],
          "pages" : "194-207",
           "isbn" : "3-540-29200-4",
       "abstract" : "http://dx.doi.org/10.1007/11563228_15",
           "note" : "Used CodeSurfer to analyze machine code that had been translated into C."
                         },

{        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Explaining abstract counterexamples",
         "author" : ["Sagar Chaki",
                   "Alex Groce",
                   "Ofer Strichman"
                 ],
     "conference" : "FSE",
 "conference_num" : "12th",
       "location" : "Newport Beach, CA, USA",
           "date" : "October 31 - November 6, 2004",
           "year" : "2004",       
      "published" : "ACM",
             "ed" : ["Richard N. Taylor",
                   "Matthew B. Dwyer"],
          "pages" : "73-82",
           "isbn" : "1-58113-855-5",
       "abstract" : "http://doi.acm.org/10.1145/1029894.1029908",
            "pdf" : "http://www.cs.cmu.edu/~chaki/publications/FSE-2004.pdf",
           "note" : "CodeSurfer used to generate PDGs for evaluation."
                         },

{        "type" : "Publication",
        "subtype" : "Conference",
         "label" : "Failure proximity: a fault localization-based approach",
        "author" : ["Chao Liu",
                  "Jiawei Han"
                ],
     "conference" : "FSE",
 "conference_num" : "14th",
      "location" : "Portland, Oregon, USA",
          "date" : "November 5-11, 2006",
           "year" : "2006",       
     "published" : "ACM",
            "ed" : ["Michal Young",
                  "Premkumar T. Devanbu"],
         "pages" : "46-56",
          "isbn" : "1-59593-468-5",
      "abstract" : "http://doi.acm.org/10.1145/1181775.1181782",
           "pdf" : "http://www.ews.uiuc.edu/~chaoliu/papers/fse06chaoliu.pdf",
          "note" : "Thanks GT for CodeSurfer, but doesn't say why."
                        },

 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Evolutionary Testing: A Case Study",
         "author" : ["Stella Levin",
                   "Amiram Yehudai"
                 ],
     "conference" : "HVC",
       "location" : "Haifa, Israel",
           "date" : "October 23-26, 2006",
           "year" : "2006",       
      "published" : "Springer",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "4383",
             "ed" : ["Eyal Bin",
                   "Avi Ziv",
                   "Shmuel Ur"],
          "pages" : "155-165",
           "isbn" : "978-3-540-70888-9",
       "abstract" : "http://dx.doi.org/10.1007/978-3-540-70889-6_12",
           "note" : "can't find a copy of the paper, but google gives the fragment '...generated by CodeSurfer are used by GDB to calculate fitness and print statistics...' "
                         },


 {        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation",
         "author" : ["David Binkley",
                   "Mark Harman",
                   "Jens Krinke"
                 ],
     "conference" : "SCAM",
 "conference_num" : "6th",
       "location" : "Philadelphia, Pennsylvania, USA",
           "date" : "27-29 September 2006",
           "year" : "2006",       
      "published" : "IEEE Computer Society",
          "pages" : "43-52",
           "isbn" : "0-7695-2353-6",
       "abstract" : "http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.7",
            "pdf" : "http://www.fernuni-hagen.de/ST/publications/scam06.pdf",
           "note" : "GT thanked for CodeSurfer, but CS not mentioned in paper"
                         },


         { "type" : "Publication",
        "subtype" : "Book",
          "label" : "Verification Techniques for System-Level Design",
         "author" : ["Masahiro Fujita", 
                   "Indradeep Ghosh", 
                   "Mukul Prasad"],
      "published" : "Morgan Kaufmann",
           "isbn" : "978-0123706164",
           "date" : "October 23, 2007",
           "year" : "2007",       
           "note" : "p 104 (ch5) : '... Although the SpecC SDG presented here is defined based on the SDG for C++ used in CodeSurfer [8] from Grammatech Inc., any existing program slicers for C/C++ languages can be used in similar ways to construct SpcC SDGs.'  Author has been a user."
                         },

{        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Improved memory-access analysis for x86 executables",
         "author" : ["Thomas Reps", "Gogul Balakrishnan"],
     "conference" : "CC",
 "conference_num" : "17th",
       "location" : "Budapest, Hungary",
           "date" : "April 2008",
           "year" : "2008",       
      "published" : "Springer Berlin / Heidelberg",
          "pages" : "16-35",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "4959",
           "isbn" : "978-3-540-78790-7",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/etaps08.invited.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/etaps08.invited.pdf",
      "copyright" : "Springer-Verlag"
                         },

{        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The use and implementation of coding standards for high-confidence embedded systems",
         "author" : ["Paul Anderson", "Michael McDougall", "Mark Zarins"],
     "conference" : "IEEE Aerospace Conference",
       "location" : "Big Sky, MT",
           "date" : "February, 2008",
           "year" : "2008",       
      "published" : "IEEE",
          "pages" : "1-10",
           "isbn" : "978-1-4244-1487-1",
            "pdf" : "http://ieeexplore.ieee.org/iel5/32/4526225/4526570.pdf",
       "abstract" : "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?tp=&arnumber=4526570&isnumber=4526225"
                         },


{        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Incremental reduction in the lambda calculus",
         "author" : ["John Field", "Tim Teitelbaum"],
     "conference" : "LFP",
       "location" : "Nice, France",
           "year" : "1990",       
      "published" : "ACM",
          "pages" : "307-322",
           "isbn" : "0-89791-368-X",
       "abstract" : "http://doi.acm.org/10.1145/91556.91679"
                         },

{        "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Higher-order Attribute Grammars and Editing Environments",
         "author" : ["Tim Teitelbaum", "Richard Chapman"],
     "conference" : "PLDI",
       "location" : "White Plains, NY",
           "date" : "June 1990",       
           "year" : "1990",       
      "published" : "ACM",
          "pages" : "197-208",
           "isbn" : "0-89791-364-7",
       "abstract" : "http://doi.acm.org/10.1145/93542.93567"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Incremental Evaluation of Computational Circuits",
         "author" : ["Bowen Alpern",
                     "Roger Hoover",
                     "Barry K. Rosen",
                     "Peter F. Sweeney",
                     "F. Kenneth Zadeck"
                 ],
     "conference" : "SODA",
       "location" : "San Francisco, CA",
           "date" : "January 1990",       
           "year" : "1990",       
      "published" : "SIAM",
          "pages" : "32-42",
           "isbn" : "0-89871-251-3"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "On Laziness and Optimality in Lambda Interpreters: Tools for Specification and Analysis",
         "author" : "John Field",
     "conference" : "POPL",
       "location" : "San Francisco, CA",
 "conference_num" : "17th",
           "date" : "January 1990",       
           "year" : "1990",       
      "published" : "ACM",
          "pages" : "1-15",
           "isbn" : "0-89791-343-4",
       "abstract" : "http://doi.acm.org/10.1145/96709.96710"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Incremental computation via function caching",
         "author" : ["William Pugh", "Tim Teitelbaum"],
     "conference" : "POPL",
       "location" : "Austin, TX",
 "conference_num" : "16th",
           "year" : "1989",       
      "published" : "ACM",
          "pages" : "315-328",
           "isbn" : "0-89791-294-2"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "An Improved Replacement Strategy for Function Caching",
         "author" : "William Pugh", 
     "conference" : "LFP",
       "location" : "Snowbird, UT",
           "year" : "1988",       
      "published" : "ACM",
          "pages" : "269-278",
           "isbn" : "0-89791-273-X",
       "abstract" : "http://doi.acm.org/10.1145/62678.62719"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Efficient incremental evaluation of aggregate values in attribute grammars",
         "author" : ["Roger Hoover", "Tim Teitelbaum"], 
     "conference" : "SCC",
       "location" : "Palo Alto, CA",
           "year" : "1986",       
      "published" : "ACM",
          "pages" : "39-50",
           "isbn" : "0-89791-197-0",
       "abstract" : "http://doi.acm.org/10.1145/12276.13315"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Dynamically bypassing copy rule chains in attribute grammars",
         "author" : "Roger Hoover",
     "conference" : "POPL",
 "conference_num" : "13th",
       "location" : "St. Petersburg Beach, FL",
           "year" : "1986",       
      "published" : "ACM",
          "pages" : "14-25",
       "abstract" : "http://doi.acm.org/10.1145/512644.512646"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Relations and attributes: A symbiotic basis for editing environments",
         "author" : ["Susan Horwitz", "Tim Teitelbaum"],
     "conference" : "SLIPE",
       "location" : "Seattle, WA",
           "year" : "1985",       
      "published" : "ACM",
          "pages" : "93-106",
          "isbn" : "0-89791-165-2",
      "abstract" : "http://doi.acm.org/10.1145/800225.806831"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Control flow aspects of generating runtime facilities for language-based programming environments",
         "author" : "Khalid Azim Mughal",
     "conference" : "IEEE Conference on Software Tools",
       "location" : "New York, NY",
           "year" : "1985",       
      "published" : "IEEE",
          "pages" : "85-91"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Software Criticality Analysis of COTS/SOUP",
         "author" : ["Peter G. Bishop",
                     "Robin E. Bloomfield",
                     "Tim Clement",
                     "Sofia Guerra"
                 ],
     "conference" : "SAFECOMP",
 "conference_num" : "21st",
           "year" : "2002",       
      "published" : "Springer-Verlag, London, UK",
          "pages" : "198-211",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2434",
           "isbn" : "3-540-44157-3 ",
            "pdf" : "http://www.adelard.com/papers/SCAv20bsafecomp2002.pdf"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Tool support for improving test coverage",
         "author" : "Susan Horwitz",
     "conference" : "ESOP",
 "conference_num" : "11th",
           "year" : "2002",       
      "published" : "Springer-Verlag, London, UK",
          "pages" : "162-177",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2305",
           "isbn" : "3-540-43363-5",
       "abstract" : "/research/papers/2002/esop02.abs.html",
            "pdf" : "/research/papers/2002/esop02.pdf",
             "ps" : "/research/papers/2002/esop02.ps",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Better slicing of programs with jumps and switches",
         "author" : ["Sumit Kumar", "Susan Horwitz"],
     "conference" : "FASE",
       "location" : "Grenoble, France",
 "conference_num" : "5th",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2306",
           "year" : "2002",
           "date" : "April, 2002",
      "published" : "Springer-Verlag",
          "pages" : "96-112",
           "isbn" : "3-540-43353-8",
       "abstract" : "/research/papers/2002/fase02.abs.html",
            "pdf" : "/research/papers/2002/fase02.pdf",
             "ps" : "/research/papers/2002/fase02.ps",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Flow Insensitive Points-to Sets",
         "author" : ["Paul Anderson", 
                     "David Binkley",
                     "Genevieve Rosay",
                     "Tim Teitelbaum"],
     "conference" : "SCAM",
 "conference_num" : "1st",
       "location" : "Florence, Italy",
           "year" : "2001",       
      "published" : "IEEE",
          "pages" : "79-89",
       "abstract" : "/research/papers/2001/scam01.abs.html",
            "pdf" : "/research/papers/2001/scam01.pdf",
             "ps" : "/research/papers/2001/scam01.ps",
            "doi" : "http://doi.ieeecomputersociety.org/10.1109/SCAM.2001.972669"

                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Software Inspection Using CodeSurfer",
         "author" : ["Paul Anderson", "Tim Teitelbaum"],
     "conference" : "WISE",
       "location" : "Paris, France",
           "year" : "2001",       
           "date" : "July, 2001",
       "doi" : "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.88.8284",
            "pdf" : "/research/papers/2001/AndersonTeitelbaum.pdf"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Using slicing to identify duplication in source code",
         "author" : ["Raghavan Komondoor", 
                     "Susan Horwitz"],
     "conference" : "SAS",
 "conference_num" : "8th",
       "location" : "Paris, France",
           "year" : "2001",
      "published" : "Springer-Verlag,  London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2126",
          "pages" : "40-56",
           "isbn" : "3-540-42314-1 ",
       "abstract" : "/research/papers/2001/sas01.abs.html",
            "pdf" : "/research/papers/2001/sas01.pdf",
             "ps" : "/research/papers/2001/sas01.ps",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Tool Demonstration: Finding duplicated code using program dependences",
         "author" : ["Raghavan Komondoor", 
                     "Susan Horwitz"],
     "conference" : "ESOP",
 "conference_num" : "10th",
       "location" : "Genoa, Italy",
           "year" : "2001",
           "date" : "April, 2001",
      "published" : "Springer-Verlag,  London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2028",
          "pages" : "3830386",
           "isbn" : "3-540-41862-8",
            "pdf" : "/research/papers/2001/esop01-demo.pdf",
             "ps" : "/research/papers/2001/esop01-demo.ps",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The effects of the precision of pointer analysis",
         "author" : ["Marc Shapiro", "Susan Horwitz"],
     "conference" : "SAS",
 "conference_num" : "4th",
       "location" : "Paris, France",
           "year" : "1997",
           "date" : "September 8-10, 1997",
      "published" : "Springer-Verlag,  London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1302",
          "pages" : "16-34",
           "isbn" : "3-540-63468-1",
       "abstract" : "/research/papers/sas97.abs.html",
             "ps" : "/research/papers/sas97.ps",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Fast and accurate flow-insensitive points-to analysis",
         "author" : ["Marc Shapiro", "Susan Horwitz"],
     "conference" : "POPL",
 "conference_num" : "24th",
       "location" : "Paris, France",
           "year" : "1997",
           "date" : "January 15-17, 1997",
      "published" : "ACM",
          "pages" : "1-14",
           "isbn" : "ISBN:0-89791-853-3",
       "abstract" : "/research/papers/popl97.abs.html",
             "ps" : "/research/papers/popl97.ps"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Slicing programs with arbitrary control flow",
         "author" : ["Thomas Ball", "Susan Horwitz"],
     "conference" : "AADEBUG",
 "conference_num" : "1st",
       "location" : "Linkoeping, Sweden",
           "year" : "1993",
           "date" : "May 1993",
       "published" : "Springer-Verlag, London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "749",
          "pages" : "206-222",
           "isbn" : "3-540-57417-4 ",
             "ps" : "/research/papers/aadebug93.ps",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Incremental program testing using program dependence graphs",
         "author" : ["Samuel Bates", "Susan Horwitz"],
     "conference" : "POPL",
 "conference_num" : "20th",
       "location" : "Charleston, SC",
           "year" : "1993",
      "published" : "ACM",
          "pages" : "384-396",
           "isbn" : "0-89791-560-7",
       "abstract" : "http://doi.acm.org/10.1145/158511.158694"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "On the adequacy of dependence-based representations for programs with heaps",
         "author" : ["Phil Pfeiffer", 
                     "Rebecca Parsons Selke"],
     "conference" : "TACS",
       "location" : "Sendai, Japan",
           "year" : "1991",
           "date" : "September, 1991",
      "published" : "Springer-Verlag, London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "526",
           "pages" : "365-386",
           "isbn" : "3-540-54415-1"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Identifying the semantic and textual differences between two versions of a program",
         "author" : "Susan Horwitz",
     "conference" : "PLDI",
       "location" : "White Plains, NY",
           "year" : "1990",
           "date" : "June 20-22, 1990",
       "published" : "ACM",
          "pages" : "234-245",
           "isbn" : "0-89791-364-7",
       "abstract" : "http://doi.acm.org/10.1145/93542.93574"
                         },

         {"type" : "Publication",
        "subtype" : "Journal",
          "label" : "Surf the Code",
          "author" : "Rick Wayne",
         "journal" : "Software Development Magazine",
            "date" : "March 1, 2002",
            "year" : "2002",
             "web" : "http://www.ddj.com/architect/184414828"
                       },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Verifying dereference safety via expanding-scope analysis",
         "author" : ["Alexey Loginov", 
                     "Eran Yahav", 
                     "Satish Chandra", 
                     "Stephen Fink", 
                     "Noam Rinetzky", 
                     "Mangala Gowri Nanda"],
     "conference" : "ISSTA",
       "location" : "Seattle, WA",
           "year" : "2008",
           "date" : "July 20-24, 2008",
      "published" : "ACM",
          "pages" : "213-224",
           "isbn" : "978-1-60558-050-0",
            "pdf" : "http://www.research.ibm.com/people/e/eyahav/papers/issta08.pdf",
       "abstract" : "http://doi.acm.org/10.1145/1390630.1390657"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Buffer overrun detection using linear programming and static analysis",
         "author" : ["Vinod Ganapathy",
                     "Somesh Jha", 
                     "David Chandler",
                     "David Melski",
                     "David Vitek"],
     "conference" : "CCS",
 "conference_num" : "10th",
       "location" : "Washington, DC",
           "year" : "2003",
           "date" : "October 27-30, 2003",
      "published" : "ACM",
          "pages" : "345-354",
           "isbn" : "1-58113-738-9 ",
            "pdf" : "/research/papers/2003/tr1488.pdf",
       "abstract" : "http://doi.acm.org/10.1145/948109.948155",
           "note" : "also UW-Madison Computer Sciences Technical Report 1488"
                         },
  	

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Demand-driven points-to analysis for Java",
        "author" : ["Manu Sridharan",
                    "Denis Gopan",
                    "Lexin Shan",
                    "Rastislav Bodík"],
     "conference" : "OOPSLA",
 "conference_num" : "20th",
       "location" : "San Diego, CA",
           "year" : "2005",
           "date" : "October 16-20, 2005",
      "published" : "ACM",
          "pages" : "59-76",
           "isbn" : "1-59593-031-0",
       "abstract" : "http://doi.acm.org/10.1145/1094811.1094817"
                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A Model-Based Approach to Integrating Security Policies for Embedded Devices",
         "author" : ["Michael McDougall",
                     "Rajeev Alur",
                     "Carl A. Gunter"],
     "conference" : "EMSOFT",
 "conference_num" : "4th",
       "location" : "Pisa, Italy",
           "year" : "2004",
           "date" : "September 27-29, 2004",
      "published" : "ACM",
          "pages" : "211-219",
           "isbn" : "1-58113-860-1",
            "pdf" : "http://michaelmcdougall.com/polaris/p52-mcdougall.pdf",
             "ps" : "http://michaelmcdougall.com/polaris/p52-mcdougall.ps",
       "abstract" : "http://doi.acm.org/10.1145/1017753.1017789"
                         },

  
{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Predictable programs in barcodes",
         "author" : ["Alwyn Goodloe",
                     "Michael McDougall",
                     "Carl A. Gunter",
                     "Rajeev Alur"],
     "conference" : "CASES",
 "conference_num" : "20th",
       "location" : "Grenoble, France",
           "year" : "2002",
           "date" : "October 8-11, 2002",
      "published" : "ACM",
          "pages" : "298-303",
           "isbn" : "1-58113-575-0 ",
       "abstract" : "http://repository.upenn.edu/cis_papers/200/",
            "doi" : "http://doi.acm.org/10.1145/581630.581679"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Exploiting behavioral hierarchy for efficient model checking",
         "author" : ["Rajeev Alur",
                     "Michael McDougall",
                     "Zijiang Yang"],
     "conference" : "CAV",
 "conference_num" : "14th",
           "year" : "2002",
           "date" : "July 27-31, 2002",
      "published" : "Springer-Verlag, London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "2404",
          "pages" : "338-342",
           "isbn" : "3-540-43997-8",
       "abstract" : "http://repository.upenn.edu/cis_papers/201/",
            "pdf" : "http://www.cis.upenn.edu/~alur/cav02.pdf"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Certificate Distribution with Local Autonomy,",
         "author" : ["Pankaj Kakkar",
                     "Michael McDougall",
                     "Carl A. Gunter",
                     "Trevor Jim"],
     "conference" : "IWAN",
 "conference_num" : "2nd",
       "location" : "Tokyo, Japan",
           "year" : "2000",
           "date" : "October 16-18, 2000",
      "published" : "Springer-Verlag, London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1942",
          "pages" : "277-295",
           "isbn" : "3-540-41179-8",
            "pdf" : "http://www.research.att.com/~trevor/papers/qcmd.pdf",
             "ps" : "http://www.cis.upenn.edu/~gunter/dist/KakkarMGJ00.ps",
       "abstract" : "http://www.springerlink.com/content/6ft6lp21gck2qw30/"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Efficient reachability analysis of hierarchic reactive machines",
         "author" : ["Rajeev Alur",
                     "Radu Grosu",
                     "Michael McDougall"],
     "conference" : "CAV",
 "conference_num" : "12th",
       "location" : "Chicago, IL",
           "year" : "2000",
           "date" : "July 15-19 2000",
      "published" : "Springer-Verlag, London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "1855",
          "pages" : "280-295",
           "isbn" : "3-540-67770-4",
             "ps" : "http://www.cis.upenn.edu/~alur/Cav00.ps",
       "abstract" : "http://www.cis.upenn.edu/~alur/Cav00.html"
                         },

        {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "When good compilers go bad, or What you see is not what you execute",
         "author" : ["Thomas Reps", "Paul Anderson"],
        "journal" : "Embedded.com",
           "date" : "February 3, 2010",
           "year" : "2010",
            "web" : "http://www.embedded.com/design/222400497"
                       },

          {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Trends in Safety-Critical Coding and Testing Practices",
         "author" : "Paul Anderson",
        "journal" : "Boards & Solutions",
           "date" : "June 2009",
	  "pages" : "32-33",
           "year" : "2009",
            "pdf" : "http://www.embedded-know-how.com/images/pdf/basjun09.pdf"
                       },


          {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Trends in Safety-Critical Coding and Testing Practices",
         "author" : "Paul Anderson",
        "journal" : "Embedded Control Europe",
           "date" : "June 2009",
           "year" : "2009"
                       },

        {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Finding defects using Holzmann's \"Power of 10\" rules for writing safety critical code",
         "author" : "Paul Anderson",
        "journal" : "Embedded.com",
           "date" : "April 14, 2009",
           "year" : "2009",
            "web" : "http://www.embedded.com/design/216500700"
                       },


        {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Finding defects in safety critical code",
         "author" : "Paul Anderson",
        "journal" : "EETimes Asia",
           "date" : "March 31, 2009",
           "year" : "2009",
            "web" : "http://www.eetasia.com/ART_8800568477_499495_NP_345cb49a.HTM"
                       },


          {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Static vs. Dynamic Detection of Bugs in Safety-Critical Code",
         "author" : "Paul Anderson",
        "journal" : "Embedded Technology",
           "date" : "March 1 2008",
           "year" : "2008",
            "web" : "http://www.embeddedtechmag.com/component/content/article/6148"
                       },


          {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Detecting Bugs in Safety-Critical Code",
         "author" : "Paul Anderson",
        "journal" : "DDJ",
           "date" : "February 5 2008",
           "year" : "2008",
            "web" : "http://www.ddj.com/development-tools/206104422"
                       },


          {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Improving reliability and security by analyzing executables",
         "author" : "David Melski",
        "journal" : "Embedded Computing Design",
           "date" : "April 2008",
           "year" : "2008",
            "web" : "http://www.embedded-computing.com/articles/id/?3123"
                       },

         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Using static analysis to evaluate software in medical devices",
         "author" : ["Raoul P. Jetley", "Paul Anderson"],
        "journal" : "Embedded.com",
           "date" : "April 14 2008",
           "year" : "2008",
            "web" : "http://www.embedded.com/design/207000574"
                       },

         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "How to develop a coding standard for an embedded project",
         "author" : "Paul Anderson",
        "journal" : "Embedded Control Europe",
           "date" : "June 8 2008",
           "year" : "2008"
                       },
 

  
         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "The Use and Limitations of Static-Analysis Tools to Improve Software Quality",
         "author" : "Paul Anderson",
        "journal" : "CrossTalk",
           "date" : "June 2008",
           "year" : "2008",
            "web" : "http://www.stsc.hill.af.mil/crosstalk/2008/06/0806Anderson.html"
                       },

         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "The Use and Limitations of Static-Analysis Tools to Improve Software Quality",
         "author" : "Paul Anderson",
        "journal" : "CrossTalk",
           "date" : "June 2008",
           "year" : "2008",
            "web" : "http://www.stsc.hill.af.mil/crosstalk/2008/06/0806Anderson.html"
                         },

 
{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Static analysis of medical device software using CodeSonar",
         "author" : ["Raoul P. Jetley",
                     "Paul L. Jones",
                     "Paul Anderson"],
     "conference" : "SAW",
       "location" : "Tucson, AZ",
           "year" : "2008",
           "date" : "June 12 2008",
      "published" : "ACM",
          "pages" : "22-29",
           "isbn" : "978-1-59593-924-1",
       "abstract" : "http://doi.acm.org/10.1145/1394504.1394507"
                         },

         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Analyze x86 Executables to Improve Software Quality",
         "author" : "Paul Anderson",
        "journal" : "Embedded Intel Solutions",
           "date" : "June 19 2008",
           "year" : "2008",
            "web" : "http://www.embeddedintel.com/search_results.php?article=608"
                         },

          {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Static analysis and the impact of the target architecture",
         "author" : "Paul Anderson",
        "journal" : "VME and Critical Systems",
           "date" : "October 2008",
           "year" : "2008",
            "web" : "http://www.vmecritical.com/articles/id/?3587"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Coding standards for high-confidence embedded systems",
         "author" : "Paul Anderson",
     "conference" : "MILCOM",
       "location" : "San Diego, CA",
           "year" : "2008",
           "date" : "November 16-19 2008",
      "published" : "IEEE",
           "isbn" : "978-1-4244-2676-8",
            "doi" : "10.1109/MILCOM.2008.4753206",
       "abstract" : "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4753206"
                         },

 {          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Improving software reliability and security with automated analysis",
         "author" : "Paul Anderson",
     "conference" : "MILCOM",
       "location" : "San Diego, CA",
           "year" : "2008",
           "date" : "November 16-19 2008",
      "published" : "IEEE",
           "isbn" : "978-1-4244-2676-8",
            "doi" : "10.1109/MILCOM.2008.4753207",
       "abstract" : "http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=4753207"
                         },
  
         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Applying hardware verification techniques to software",
         "author" : "Paul Anderson",
        "journal" : "Embedded Computing Design",
           "date" : "October 2008",
           "year" : "2008",
            "web" : "http://www.embedded-computing.com/articles/id/?3620"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications",
         "author" : "Paul Anderson",
     "conference" : "SCAM",
 "conference_num" : "8th",
       "location" : "Beijing, China",
           "year" : "2008",
           "date" : "September 28-29 2008",
      "published" : "IEEE",
          "pages" : "3-12",
           "isbn" : "978-0-7695-3353-7",
       "abstract" : "http://doi.ieeecomputersociety.org/10.1109/SCAM.2008.11"
                         },

         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "2028 - Software quality: economically important & standardized",
         "author" : "Paul Anderson",
        "journal" : "Embedded.com",
           "date" : "November 27 2008",
           "year" : "2008",
            "web" : "http://www.embedded.com/design/opensource/212000172"
                         },

         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Improving Security with Static Software Analysis",
         "author" : "Paul Anderson",
        "journal" : "RTC",
           "date" : "November 2008",
           "year" : "2008",
            "web" : "http://www.rtcmagazine.com/home/article.php?id=101045"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The Performance Penalty of XML for Program Intermediate Representations",
         "author" : "Paul Anderson",
     "conference" : "SCAM",
 "conference_num" : "5th",
       "location" : "Budapest, Hungary",
           "year" : "2005",
           "date" : "September 30 - October 1 2005",
      "published" : "IEEE",
          "pages" : "193-202",
           "isbn" : "0-7695-2292-0",
       "abstract" : "http://portal.acm.org/citation.cfm?id=1100807"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "The CodeSurfer Software Understanding Platform",
         "author" : ["Paul Anderson", "Mark Zarins"],
     "conference" : "IWPC",
 "conference_num" : "13th",
       "location" : "St Louis, MO",
           "year" : "2005",
           "date" : "May 15-16 2005",
      "published" : "IEEE",
          "pages" : "147-148",
           "isbn" : "0-7695-2254-8",
            "doi" : "10.1109/WPC.2005.37",
       "abstract" : "http://portal.acm.org/citation.cfm?id=1059333"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "CodeSurfer/Path Inspector",
         "author" : "Paul Anderson", 
     "conference" : "ICSM",
 "conference_num" : "20th",
       "location" : "Chicago, IL",
           "year" : "2004",
           "date" : "September 11-17 2004",
      "published" : "IEEE",
          "pages" : "508",
           "isbn" : "0-7695-2213-0",
            "doi" : "http://www2.computer.org/portal/web/csdl/doi/10.1109/ICSM.2004.1357853",
       "abstract" : "http://www2.computer.org/portal/web/csdl/abs/proceedings/icsm/2004/2213/00/22130508abs.htm"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A refactoring tool for Ada 95",
         "author" : "Paul Anderson", 
     "conference" : "SIGAda",
       "location" : "Atlanta, GA",
           "year" : "2004",
           "date" : "November 14-18 2004",
      "published" : "ACM",
          "pages" : "23-38",
           "isbn" : "1-58113-906-3 ",
       "abstract" : "http://doi.acm.org/10.1145/1032297.1032302"
                         },


  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Strengthening invariants for efficient computation",
         "author" : ["Yanhong A. Liu",
                     "Scott D. Stoller",
                     "Tim Teitelbaum"],
        "journal" : "Science of Computer Programming",
         "in_vol" : "41", 
         "in_num" : "2", 
           "date" : "October 2001",
           "year" : "2001",
          "pages" : "139-172",
       "abstract" : "http://dx.doi.org/10.1016/S0167-6423(01)00003-X"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Using Static Analysis to Reduce Dynamic Analysis Overhead",
         "author" : ["Suan Hsi Yong",
                     "Susan Horwitz"],
        "journal" : "Formal Methods in System Design",
         "in_vol" : "27", 
         "in_num" : "3", 
           "date" : "November 2005",
           "year" : "2005",
          "pages" : "313-334",
       "abstract" : "http://www.springerlink.com/content/72830681p76m3753/",
            "doi" : "10.1007/s10703-005-3401-0"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Reducing Concurrent Analysis Under a Context Bound to Sequential Analysis",
         "author" : ["Akash Lal",
                     "Thomas Reps"],
        "journal" : "Formal Methods in System Design",
         "in_vol" : "35", 
         "in_num" : "1", 
           "date" : "August 2009",
           "year" : "2009",
          "pages" : "73-97",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav08.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav08.pdf",
      "copyright" : "Springer-Verlag",
            "doi" : "10.1007/s10703-009-0078-9"
                         },




{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Pointer-Range Analysis",
         "author" : ["Suan Hsi Yong",
                     "Susan Horwitz"],
     "conference" : "SAS",
 "conference_num" : "11th",
       "location" : "Verona, Italy",
           "year" : "2004",
           "date" : "August 2004",
      "published" : "Springer-Verlag, London, UK",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "3148",
          "pages" : "133-148",
           "isbn" : "3-540-22791-1",
       "abstract" : "http://pages.cs.wisc.edu/~suan/Projects/PointerRangeAnalysis/",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas04.suan.pdf"
                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Protecting C programs from attacks via invalid pointer dereferences",
         "author" : ["Suan Hsi Yong",
                     "Susan Horwitz"],
     "conference" : "FSE",
 "conference_num" : "9th",
       "location" : "Helsinki, Finland",
           "year" : "2003",
           "date" : "September 1-5 2003",
      "published" : "ACM",
"published_series" : "ACM SIGSOFT Software Engineering Notes",
  "published_vol" : "28",
  "published_num" : "5",
          "pages" : "307-316",
           "isbn" : "1-58113-743-5",
       "abstract" : "http://doi.acm.org/10.1145/949952.940113",
            "pdf" : "http://pages.cs.wisc.edu/~suan/Projects/SecurityTool/p040-yong.pdf"
                         },

 {          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Reducing the Overhead of Dynamic Analysis",
         "author" : ["Suan Hsi Yong",
                     "Susan Horwitz"],
     "conference" : "RV",
 "conference_num" : "2nd",
       "location" : "Copenhagen, Denmark",
           "year" : "2002",
           "date" : "July 26 2002",
"published_series" : "ENTCS",
  "published_vol" : "70",
  "published_num" : "4",
            "pdf" : "http://pages.cs.wisc.edu/~suan/Projects/TypecheckDebugger/rv-types.pdf"
                         },

{          "type" : "Publication",
        "subtype" : "White Paper",
          "label" : "Dependence Graphs and Program Slicing",
      "gtkeyword" : "slicing",
           "year" : "1999",
         "author" : "GrammaTech, Inc.",
            "pdf" : "http://www.grammatech.com/research/papers/slicing/slicingWhitePaper.pdf",
            "web" : "http://www.grammatech.com/research/papers/slicing/slicingWhitepaper.html"
                         },
 
{          "type" : "Publication",
        "subtype" : "White Paper",
          "label" : "Overview of GrammaTech Static-Analysis Technology",
         "author" : "GrammaTech, Inc.",
           "year" : "2009",
            "pdf" : "http://www.grammatech.com/products/codesonar/GrammaTechCodeSonarOverview.pdf"
                         },

{          "type" : "Publication",
        "subtype" : "Presentation",
          "label" : "Static Program Analysis via Dependence Graphs",
         "author" : "GrammaTech, Inc.",
      "gtkeyword" : "slicing",
           "year" : "1999",
            "web" : "http://www.grammatech.com/research/papers/staticAnalysis/index.html"
                         },
 
         {"type" : "Publication",
        "subtype" : "Magazine",
          "label" : "Safety Critical Coding Standards Reduce Medical Device Risks",
         "author" : "Paul Anderson",
        "journal" : "MDT",
           "date" : "March 1 2009",
           "year" : "2009",
          "pages" : "68-70",
            "web" : "http://e-ditionsbyfry.com/activemagazine/welcome/mdt/mdt090301.asp",
            "pdf" : "http://e-ditionsbyfry.com/Repository/MDT/2009/03/01/MDT090301.pdf"
                         },

 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Issues in Slicing PROMELA and Its Applications to Model Checking, Protocol Understanding, and Simulation",
         "author" : ["Lynette I. Millett",
                     "Tim Teitelbaum"
                 ],
        "journal" : "STTT",
         "in_vol" : "2",
         "in_num" : "4",
          "pages" : "343-349",
           "date" : "2000",
           "year" : "2000",
       "abstract" : "http://www.springerlink.com/content/weq55e5taf082pek/",
            "doi" : "10.1007/s100090050041"
                         },

 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Static Caching for Incremental Computation",
         "author" : ["Yanhong A. Liu",
                     "Scott D. Stoller",
                     "Tim Teitelbaum"
                 ],
        "journal" : "TOPLAS",
         "in_vol" : "20",
         "in_num" : "3",
          "pages" : "546-585",
           "date" : "May 1998",
           "year" : "1998",
            "pdf" : "http://www.grammatech.com/corporate/Papers/Scic-TOPLAS98-1.pdf",
       "abstract" : "http://doi.acm.org/10.1145/291889.291895",
            "doi" : "10.1145/291889.291895"
                         },

 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Systematic Derivation of Incremental Programs",
             "id" : "Systematic Derivation of Incremental Programs, SCP",
        "author" : ["Yanhong A. Liu",
                     "Tim Teitelbaum"
                 ],
        "journal" : "Science of Computer Programming",
         "in_vol" : "24",
         "in_num" : "1",
          "pages" : "1-39",
           "date" : "February 1995",
           "year" : "1995",
            "pdf" : "http://grammatech.com/corporate/Papers/Inc-SCP95-1.pdf",
       "abstract" : "http://linkinghub.elsevier.com/retrieve/pii/0167642394000319",
            "doi" : "10.1016/0167-6423(94)00031-9"
                         },


 {          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Channel Dependence Analysis for Slicing Promela",
         "author" : ["Lynette I. Millett",
                     "Tim Teitelbaum"],
     "conference" : "PDSE",
       "location" : "Los Angeles, CA",
           "year" : "1999",
           "date" : "May 17-18 1999",
          "pages" : "52-61",
           "isbn" : "0-7695-0191-5",
            "pdf" :"",
       "abstract" : "http://www2.computer.org/portal/web/csdl/doi/10.1109/PDSE.1999.779738",
            "doi" : "10.1109/PDSE.1999.779738"
                         },


 {          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Slicing Promela and its Applications to Protocol Understanding and Analysis",
         "author" : ["Lynette I. Millett",
                     "Tim Teitelbaum"],
     "conference" : "SPIN",
 "conference_num" : "4th",
       "location" : "Paris, France",
           "year" : "1998",
           "date" : "November 1998",
          "pages" : "75-84",
            "pdf" :"http://spinroot.com/spin/Workshops/ws98/millet.pdf"
                         },


 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "An Environment for Integrating Formal Methods Tools",
         "author" : ["Paul Anderson",
                     "Michael Goldsmith",
                     "Bryan Scattergood",
                     "Tim Teitelbaum"],
     "conference" : "UITP",
       "location" : "Sophia Antipolis, France",
           "year" : "1997",
           "date" : "September 1-2 1997",
            "web" : "http://www.grammatech.com/research/papers/1997/uitp.html"
                         },


 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Discovering Auxiliary Information for Incremental Computation",
         "author" : ["Yanhong A. Liu",
                     "Scott D. Stoller",
                     "Tim Teitelbaum"],
     "conference" : "POPL",
 "conference_num" : "23rd",
       "location" : "St. Petersburg Beach, FL",
           "year" : "1996",
           "date" : "January 21-24 1996",
      "published" : "ACM",
           "isbn" : "0-89791-769-3",
          "pages" : "157-170",
            "pdf" : "http://grammatech.com/corporate/Papers/Dai-POPL96-2.pdf",
       "abstract" : "http://www.cs.sunysb.edu/~liu/papers/Dai-POPL96.html",
            "doi" : "10.1145/237721.237769"
                        },


 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Caching Intermediate Results for Program Improvement",
             "id" : "Caching Intermediate Results for Program Improvement, PEPM",
         "author" : ["Yanhong A. Liu",
                     "Tim Teitelbaum"],
     "conference" : "PEPM",
       "location" : "La Jolla, CA",
           "year" : "1995",
           "date" : "June 21-23 1995",
      "published" : "ACM",
           "isbn" : "0-89791-720-0",
          "pages" : "190-201",
            "pdf" : "http://grammatech.com/corporate/Papers/Cir-PEPM95-1.pdf",
            "doi" : "10.1145/215465.215590"
                         },

 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "ALEX-an alexical programming language",
             "id" : "ALEX, conference",
         "author" : ["Dexter Kozen",
                     "Tim Teitelbaum",
                     "Wilfred Chen",
                     "John Field",
                     "William Pugh",
                     "Brad Vander Zanden"],
     "conference" : "VisLang",
       "location" : "Linkoping, Sweden",
           "year" : "1987",
           "date" : "August 19-21 1987",
          "pages" : "315-329"
                         },


 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "On the Value of Syntax-directed Editors",
         "author" : "Tim Teitelbaum",
        "journal" : "CACM",
         "in_vol" : "25",
         "in_num" : "5",
          "pages" : "351-352",
           "date" : "May 1982",
           "year" : "1982"
                         },


 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "The Cornell Program Synthesizer: a syntax-directed programming environment",
             "id" : "The Cornell Program Synthesizer,  announcement",
         "author" : "Tim Teitelbaum",
        "journal" : "SIGPLAN Notices",
         "in_vol" : "14",
         "in_num" : "10",
          "pages" : "75",
            "doi" : "10.1145/953997.954001",
           "date" : "October 1979",
           "year" : "1979"
                         },


        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "Incremental Computation for Transformational Software Development",
         "author" : ["Yanhong A. Liu",
                     "Tim Teitelbaum"],
      "published" : "Department of Computer Science, Cornell University",
         "number" : "95-1499",
           "date" : "March 1995",
           "year" : "1995",
       "abstract" : "http://hdl.handle.net/1813/7157",
            "pdf" : "http://grammatech.com/corporate/Papers/TR95-1499-1.pdf"
                         },


        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "Caching Intermediate Results for Program Improvement",
             "id" : "Caching Intermediate Results for Program Improvement, TR",
         "author" : ["Yanhong A. Liu",
                     "Tim Teitelbaum"],
      "published" : "Department of Computer Science, Cornell University",
         "number" : "95-1498",
           "date" : "March 1995",
           "year" : "1995",
       "abstract" : "http://hdl.handle.net/1813/7156",
            "pdf" : "http://grammatech.com/corporate/Papers/TR95-1498.pdf"
                         },

        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "Systematic Derivation of Incremental Programs",
             "id" : "Systematic Derivation of Incremental Programs, TR",
         "author" : ["Yanhong A. Liu",
                     "Tim Teitelbaum"],
      "published" : "Department of Computer Science, Cornell University",
         "number" : "94-1444",
           "date" : "August 1994",
           "year" : "1994",
            "pdf" : "http://grammatech.com/corporate/Papers/TR94-1444.pdf"
                         },


        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "Deriving Incremental Programs",
         "author" : ["Yanhong A. Liu",
                     "Tim Teitelbaum"],
      "published" : "Department of Computer Science, Cornell University",
         "number" : "93-1384",
           "date" : "September 1993",
           "year" : "1993",
       "abstract" : "http://hdl.handle.net/1813/6158", 
            "pdf" : "http://grammatech.com/corporate/Papers/TR93-1384-1.pdf"
                         },

{          "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "ALEX-an alexical programming language",
             "id" : "ALEX, TR",
         "author" : ["Dexter Kozen",
                     "Tim Teitelbaum",
                     "Wilfred Chen",
                     "John Field",
                     "William Pugh",
                     "Brad Vander Zanden"],
       "published" : "Department of Computer Science, Cornell University",
         "number" : "87-835",
           "date" : "May 1987",
           "year" : "1987",
       "abstract" : "http://hdl.handle.net/1813/6675",
            "pdf" : "http://ecommons.library.cornell.edu/bitstream/1813/6675/1/87-835.pdf"

                        },


        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "The Cornell Program Synthesizer: A Microcomputer Implementation of PL/CS",
         "author" : "Tim Teitelbaum",
      "published" : "Department of Computer Science, Cornell University",
         "number" : "79-370",
           "date" : "March 1979",
           "year" : "1979",
            "pdf" : "http://grammatech.com/corporate/Papers/TR79-370-1.pdf"
                         },


        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "A Formal Syntax for PL/CS",
         "author" : "Tim Teitelbaum",
      "published" : "Department of Computer Science, Cornell University",
         "number" : "76-281",
           "date" : "June 1976",
           "year" : "1976",
       "abstract" : "http://hdl.handle.net/1813/7127",
            "pdf" : "http://grammatech.com/corporate/Papers/TR76-281.pdf"
                         },

  
 {         "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Static Analysis of Binary Executable Code",
         "author" : ["Thomas Reps",
                     "Tim Teitelbaum",
                     "Paul Anderson",
                     "David Melski"],
     "conference" : "Defining the State of the Art in Software Security Tools Workshop",
       "location" : "Gaithersburg, MD",
           "year" : "2005",
           "date" : "August 10-11 2005",
      "published" : "NIST",
 "published_name" : "NIST Special Publication 500-264",
            "pdf" : "http://hissa.nist.gov/~black/Papers/NIST%20SP%20500-264.pdf"
                         },

 
 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Release of the Synthesizer Generator",
         "author" : ["Tim Teitelbaum",
                     "Thomas Reps"],
        "journal" : "SEN",
         "in_vol" : "11",
         "in_num" : "1",
          "pages" : "109-110",
           "date" : "January 1986",
           "year" : "1986"
                 },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "A system for generating static analyzers for machine instructions",
         "author" : ["Junghee Lim", "Thomas Reps"],
     "conference" : "CC",
 "conference_num" : "17th",
       "location" : "Budapest, Hungary",
           "date" : "April 2008",
           "year" : "2008",       
      "published" : "Springer Berlin / Heidelberg",
          "pages" : "36-52",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "4959",
           "isbn" : "978-3-540-78790-7",
            "doi" : "10.1.1.76.6259",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cc08.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cc08.pdf",
      "copyright" : "Springer-Verlag"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Improved usability and performance of SMT solvers for debugging specifications",
         "author" : ["David R. Cok"],
        "journal" : "STTT",
         "in_vol" : "12",
         "in_num" : "6",
           "date" : "November 2010",
           "year" : "2010",
          "pages" : "467-481",
            "doi" : "10.1007/s10009-010-0138-x",
       "abstract" : "http://www.springerlink.com/content/92g456v142u74553/",
      "copyright" : "Springer-Verlag"
                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Local vs Global Models for Effort Estimation and Defect Prediction",
         "author" : ["Tim Menzies", 
                     "Andrew Butcher", 
                     "Andrian Marcus", 
                     "Thomas Zimmermann",
                     "David R. Cok"],
     "conference" : "ASE",
 "conference_num" : "26th",
       "location" : "Lawrence, KA",
           "date" : "November 2011",
           "year" : "2011",  
         "status" : "accepted"
                         },

{          "type" : "Publication",
        "subtype" : "Presentation",
          "label" : "The SMT-LIB Initiative",
        "author" : ["David R. Cok",
                    "Cesare Tinelli"],
     "conference" : "SAT/SMT Summer School",
       "location" : "Cambridge, MA",
           "date" : "June 2011",
           "year" : "2011",
                         },
 

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Preventing Exploits Against Software of Uncertain Provenance",
         "author" : ["Michele Co",
                     "Jack W. Davidson",
                     "Jason D. Hiser",
                     "John C. Knight",
                     "Anh Nguyen-Tuong",
                     "David R. Cok",
                     "Denis Gopan",
                     "David Melski",
                     "Wenke Lee",
                     "Chengyu Song",
                     "Thomas Bracewell",
                     "David Hyde",
                     "Brian Mastropietro"],
     "conference" : "SESS",
 "conference_num" : "7th",
           "date" : "May 2011",
           "year" : "2011",  
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "jSMTLIB: Tutorial, Validation and Adapter Tools for SMT-LIBv2",
         "author" : ["David R. Cok"],
 "conference_num" : "3rd",
     "conference" : "NFM",
           "year" : "2011",
           "date" : "April 2011",
       "location" : "Pasadena, CA",
       "published" : "Springer-Verlag, Berlin Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "6617",
          "pages" : "480-486",
           "isbn" : "978-3-642-20398-5",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "OpenJML: JML for Java 7 by extending OpenJDK",
         "author" : ["David R. Cok"],
 "conference_num" : "3rd",
     "conference" : "NFM",
           "year" : "2011",
           "date" : "April 2011",
       "location" : "Pasadena, CA",
       "published" : "Springer-Verlag, Berlin Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "6617",
          "pages" : "472-486",
           "isbn" : "978-3-642-20398-5",
      "copyright" : "Springer-Verlag"
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Observational purity by underspecification (and separation logic?)",
         "author" : ["David R. Cok"],
 "conference_num" : "09301",
     "conference" : "Dagstuhl",
 "conference_sub" : "Typing, Analysis, and Verification of Heap-Manipulating Programs",
       "location" : "Schloss Dagstuhl, Germany",
           "date" : "19-24 July, 2009",
           "year" : "2009",
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "OpenJML: Progress, Prospects, and Innovations",
         "author" : ["David R. Cok"],
 "conference_num" : "09292",
     "conference" : "Dagstuhl",
 "conference_sub" : "Java Modeling Language (JML)",
       "location" : "Schloss Dagstuhl, Germany",
           "date" : "12-17 July, 2009",
           "year" : "2009",
                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Observational purity by underspecification",
         "author" : ["David R. Cok"],
 "conference_num" : "09292",
     "conference" : "Dagstuhl",
 "conference_sub" : "Java Modeling Language (JML)",
       "location" : "Schloss Dagstuhl, Germany",
           "date" : "12-17 July, 2009",
           "year" : "2009",
        },


  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "A decision procedure for detecting atomicity violations for communicating processes with locks",
             "id" : "A decision procedure for detecting atomicity violations for communicating processes with locks, STTT",
           "author" : ["Nicholas Kidd",
                      "Peter Lammich",
                      "Tayssir Touili",
                      "Thomas Reps"],
        "journal" : "STTT",
         "in_vol" : "13",
         "in_num" : "1",
           "date" : "January 2011",
           "year" : "2011",
          "pages" : "37-60",
            "doi" : "10.1007/s10009-010-0159-5",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/STTT10.AS-serializability.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/STTT10.AS-serializability.pdf",
      "copyright" : "Springer-Verlag"
                         },


  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Symbolic analysis via semantic reinterpretation",
          "author" : ["Junghee Lim",
                      "Akash Lal",
                      "Thomas Reps"],
        "journal" : "STTT",
         "in_vol" : "13",
         "in_num" : "1",
           "date" : "January 2011",
           "year" : "2011",
          "pages" : "61-87",
            "doi" : "10.1007/s10009-010-0158-6",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/STTT10.symbolic.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/STTT10.symbolic.pdf",
      "copyright" : "Springer-Verlag"
                         },

  {        "type" : "Publication",
        "subtype" : "Journal",
          "label" : "View-augmented abstractions",
          "author" : ["Matt Elder",
                      "Denis Gopan",
                      "Thomas Reps"],
        "journal" : "ENTCS",
         "in_vol" : "267",
         "in_num" : "1",
           "date" : "October 2010",
           "year" : "2010",
          "pages" : "43-57",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/nsad10.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/nsad10.pdf"
          },

 {         "type" : "Publication",
        "subtype" : "Journal",
          "label" : "Finite differencing of logical formulas for static analysis",
             "id" : "Finite differencing of logical formulas for static analysis, TOPLAS",
         "author" : ["Thomas Reps",
                     "Mooly Sagiv",
                     "Alexey Loginov"
                 ],
        "journal" : "TOPLAS",
         "in_vol" : "32",
         "in_num" : "6",
           "date" : "July 2010",
           "year" : "2010",
            "doi" : "10.1145/1749608.1749613",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/toplas-rsl-differencing.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/toplas-rsl-differencing.pdf",
      "copyright" : "ACM"
         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Statically Inferring Complex Heap, Array, and Numeric Invariants",
        "author" : ["Bill McCloskey","Thomas Reps", "Mooly Sagiv"],
 "conference_num" : "17th",
     "conference" : "SAS",
           "year" : "2010",
           "date" : "September 2010",
       "location" : "Perpignan, France",
      "published" : "Springer-Verlag Berlin Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "6337",
          "pages" : "71-99",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas10.invited.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas10.invited.pdf",
      "copyright" : "Springer-Verlag",
           "isbn" : "978-3-642-15768-4",
           "note" : "invited",
                         },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "There's Plenty of Room at the Bottom: Analyzing and Verifying Machine Code",
        "author" : ["Thomas Reps", 
                    "Junghee Lim", 
                    "Aditya V. Thakur", 
                    "Gogul Balakrishnan", 
                    "Akash Lal"],
 "conference_num" : "22nd",
     "conference" : "CAV",
           "year" : "2010",
           "date" : "July 2010",
       "location" : "Edinburgh, UK",
      "published" : "Springer-Verlag Berlin Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "6174",
          "pages" : "41-56",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav10-tutorial.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav10-tutorial.pdf",
      "copyright" : "Springer-Verlag",
           "isbn" : "978-3-642-14294-9",
           "note" : "invited",
                         },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Semantics of program representation graphs",
         "author" : ["Ganesan Ramalingam", "Thomas Reps"],
      "published" : "Cambridge University Press",
           "date" : "September 2009",
           "year" : "2009",
 "published_name" : "From Semantics to Computer Science: Essays in Honour of Gilles Kahn",
          "pages" : "205-234",
           "isbn" : "978-0521518253",
             "ed" : ["Y. Bertot", 
                     "G. Huet", 
                     "J.-J. Levy", 
                     "G. Plotkin"],
          },

  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Computational divided differencing and divided-difference arithmetics",
             "id" : "Computational divided differencing and divided-difference arithmetics, tribute Robert Page",
          "author" : ["Thomas Reps", "Louis Rall"],
      "published" : "Springer-Verlag",
           "date" : "2008",
           "year" : "2008",
 "published_name" : "Automatic Program Development: A Tribute to Robert Paige",
          "pages" : "178-214",
           "isbn" : "978-1-4020-6584-2",
             "ed" : ["O. Danvy", 
                     "H. Mairson", 
                     "F. Henglein", 
                     "A. Pettorossi"],
            "note": ["revised from HOSC 2003", "reprint"]
          },


  {        "type" : "Publication",
        "subtype" : "Chapter",
          "label" : "Abstraction refinement via inductive learning",
             "id" : "Abstraction refinement via inductive learning, DoD",
         "author" : ["Alexey Loginov", "Thomas Reps", "Mooly Sagiv"],
      "published" : "Wiley",
           "date" : "2007",
           "year" : "2007",
 "published_name" : "Department of Defense Sponsored Information Security Research: New Methods for Protecting Against Cyber Threats",
          "pages" : "361-374",
           "isbn" : "978-0-4717-8756-3",
            "note": ["Reprinted from CAV 2005", "reprint"]
          },

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Abstract domains of affine relations",
             "id" : "Abstract domains of affine relations, SAS",
         "author" : ["Matt Elder", 
                     "Junghee Lim", 
                     "Tushar Sharma", 
                     "Tycho Andersen", 
                     "Thomas Reps"],
 "conference_num" : "18th",
     "conference" : "SAS",
           "year" : "2011",
           "date" : "September 2011",
       "location" : "Venice, Italy",
      "published" : "Springer-Verlag Berlin Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "6887",
          "pages" : "198-215",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas11.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/sas11.pdf",
      "copyright" : "Springer-Verlag",
           "isbn" : "978-3-642-23701-0"
                         },

        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "Abstract domains of affine relations",
             "id" : "Abstract domains of affine relations, TR",
         "author" : ["Matt Elder", 
                     "Junghee Lim", 
                     "Tushar Sharma", 
                     "Tycho Andersen", 
                     "Thomas Reps"],
      "published" : "Computer Sciences Department, University of Wisconsin-Madison",
         "number" : "1691",
           "date" : "2011",
           "year" : "2011",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/sas11.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tr1691.pdf",
            "note": "extended version of SAS paper, with proofs"
                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Checking compatibility of a producer and a consumer",
        "author" : ["Evan Driscoll", 
                    "Amanda Burton", 
                    "Thomas Reps"],
 "conference_num" : "19th",
     "conference" : "FSE",
           "year" : "2011",
           "date" : "September 2011",
       "location" : "Szeged, Hungary",
      "published" : "ACM",
          "pages" : "113-123",
      "copyright" : "ACM",
           "isbn" : "978-1-4503-0443-6"
                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "ConSeq: Detecting concurrency bugs through sequential errors",
        "author" : ["Wei Zhang", 
                    "Junghee Lim", 
                    "Ramya  Olichandran", 
                    "Joel Scherpelz", 
                    "Guoliang Jin", 
                    "Shan Lu", 
                     "Thomas Reps"],
 "conference_num" : "16th",
     "conference" : "ASPLOS",
           "year" : "2011",
           "date" : "March 2011",
       "location" : "Newport Beach, CA",
      "published" : "ACM, New York, NY, USA",
          "pages" : "251-264",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/asplos11.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/asplos11.pdf",
           "isbn" : "978-1-4503-0266-1",
            "doi" : "10.1145/1950365.1950395"
                        },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "DIFC programs by automatic instrumentation",
        "author" : ["William R. Harris", 
                    "Somesh Jha", 
                    "Thomas Reps"],
 "conference_num" : "17th",
     "conference" : "CCS",
           "year" : "2010",
           "date" : "October 2010",
       "location" : "Chicago, IL",
      "published" : "ACM, New York, NY, USA",
          "pages" : "284-296",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/ccs2010.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/ccs2010.pdf",
           "isbn" : "978-1-4503-0245-6"
                        },
 

{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Directed proof generation for machine code",
        "author" : ["Thakur, A.", 
                    "Junghee Lim", 
                    "Lal, A.", 
                    "Burton, A.", 
                    "Driscoll, E.", 
                    "Elder, M.", 
                    "Andersen, T", 
                    "Thomas Reps"],
 "conference_num" : "22nd",
     "conference" : "CAV",
           "year" : "2010",
           "date" : "July 2010",
       "location" : "Edinburgh, UK",
      "published" : "Springer-Verlag Berlin Heidelberg",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "6174",
          "pages" : "288-305",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav10-mcveto.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/cav10-mcveto.pdf",
      "copyright" : "Springer-Verlag",
           "isbn" : "978-3-642-14294-9"
                         },


        {  "type" : "Publication",
        "subtype" : "TechReport",
          "label" : "Directed proof generation for machine code",
             "id" : "Directed proof generation for machine code, TR",
         "author" : ["Thakur, A.",
                     "Junghee Lim", 
                     "Lal, A.", 
                     "Burton, A.", 
                     "Evan Driscoll", 
                     "Matt Elder", 
                     "Tycho Andersen", 
                     "Thomas Reps"],
      "published" : "Computer Sciences Department, University of Wisconsin-Madison",
         "number" : "1669",
           "date" : "2010",
           "year" : "2010",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/cav10-mcveto.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/tr1669.pdf",
            "note": "extended version of CAV paper"

                         },


{          "type" : "Publication",
        "subtype" : "Conference",
          "label" : "Verifying information flow over unbounded processes",
        "author" : ["William R. Harris", 
                    "Nicholas Kidd", 
                    "Sagar Chaki", 
                    "Somesh Jha", 
                    "Thomas Reps"],
 "conference_num" : "16th",
     "conference" : "FM",
           "year" : "2009",
           "date" : "November 2009",
       "location" : "Eindhoven, the Netherlands",
      "published" : "Springer-Verlag",
"published_series" : "Lecture Notes in Computer Science",
  "published_vol" : "5850",
          "pages" : "773-789",
       "abstract" : "http://www.cs.wisc.edu/wpis/abstracts/fm09.abs.html",
            "pdf" : "http://www.cs.wisc.edu/wpis/papers/fm09.pdf",
      "copyright" : "Springer-Verlag",
           "isbn" : "978-3-642-05088-6"
                         }
       
]}