ifip-wg24.org
Membership of IFIP Working Group 2.4 | IFIP WG 2.4 Software Implementation Technology
http://www.ifip-wg24.org/Members
IFIP WG 2.4 Software Implementation Technology. Membership of IFIP Working Group 2.4. Membership of IFIP Working Group 2.4. Web site: http:/ www.franktip.org. Dept of Computer Science. Web site: http:/ cs.au.dk/ amoeller/. Welf M. Löwe. Department of Computer Science. Web site: http:/ welf.se/. Technische Universität Dresden, Dresden, Germany. Microsoft Research, Redmond, USA. KTH Royal Institute of Technology, Kista, Sweden. Samsung Electronics, Mountain View, USA. Linköping University, Linköping, Sweden.
issta2015.cs.uoregon.edu
ISSTA 2015 Program Committee
http://issta2015.cs.uoregon.edu/pc.php
University College London, UK. Fraunhofer SIT & TU Darmstadt, Germany. Federal University of Pernambuco, Brazil. IMDEA Software Institute, Spain. William G.J. Halfond. University of Southern California, USA. University of Minnesota, Twin Cities, USA. University of Texas at Austin, USA. Iowa State University, USA. University of Sheffield, UK. Rensselaer Polytechnic Institute, USA. Carnegie Mellon Silicon Valley, NASA Ames, USA. NASA Langley Research Center, USA. Fujitsu Laboratories of America, USA.
prl.ccs.neu.edu
People - Programming Research Laboratory - Northeastern University
http://prl.ccs.neu.edu/people.html
Http:/ ccs.neu.edu/home/wand. Joined Northeastern, 1985. Joined Indiana University, 1973. PhD, MIT, 1973. BS, MIT, 1969. Over the years, I have worked on a variety of problems associated with semantics of programming languages. Here is a selected list, in roughly reverse chronological order: probabilistic programming languages, binding-safe programming, aspect-oriented programming, analysis-based program transformation, compiler correctness proofs, continuations, macros. Joined Northeastern, 2001. MS, Ha...