COMPUTER SYSTEMS RESEARCH
Fall/Spring 2007 - 2008
Example University Research Areas

University Research
- Carnegie Mellon Universiy
  - Artificial Intelligence: Computer Music, Data Mining, Graphics,
    Machine Learning, Speech, Vision
  - Systems and Languages: Computer Architecture, Databases, Distributed Systems,
    Formal Methods, Graphics, Networking, Operating Systems, Parallel Systems
    Programming Languages, Software Engineering
  - Theory: Algorithms, Complexity Theory, Semantics
  - Computational Biology: Computational Molecular Biology
  - Robotics Institute
  - Software Research: Combination, Constructability, Fitness, Policy, Ubiquity
  - Human-Computer Interaction: Cognitive Modeling
  - Educational Technologies
  - Language Technologies: Computer Aided Language Learning, Computational Linguistics,
    Informational Retrieval,Machine Translation, Speech
- MIT - CSAIL Computer Science and AI Laboratory
  - abstracts from all sections:
  - Architecture, Systems and Networks covers all aspects of the building of both hardware and software computational systems
  - Language, Learning, Vision and Graphics includes work on the sorts of things that all people manage to do effortlessly, both emulating those abilities, and simulating their appearance.
  - Physical, Biological and Social Systems might also be called complex adaptive systems, and covers work from robotics, to molecular biology, to semantic systems, to computational models of politics.
  - Theory looks at the fundamental mathematical underpinnings of all aspects of computer science and artificial intelligence.
- University of Virginia
  - Architecture: LAVA - Laboratory for Computer Architecture at Virginia, VLSI CAD - Physical Design and Layout
  - Artificial Intelligence: Computer Vision, Programming the Swarm
  - Computational Biology
  - Dependability: Programming the Swarm, Willow, Zeus - Practical Formal Techniques for Software Developement
  - Distributed Computing: Grid Computing Group, Isotach - Concurrency control without locks or barriers, Legion - World-Wide Virtual Computer
  - Electronic Commerce: Internet Technology Innovation Center
  - Embedded Systems: Component Based OSs for Embedded Systems, VEST - Virginia Embedded Systems Toolkit
  - Graphics: Chromium - Scalable Interactive Graphics with Commodity Technology, Dynamically Simulated Characters in Graphical Environments, Scanning Monticello, VLSIR - Very Large Scale Interactive Rendering, VDSLib - Free Software for View-Dependent Simplification
  - Information Management: Cyberia - Information Retrieval Group, PIE - Personalized Information Environments
  - Networking: Isotach - Concurrency control without locks or barriers, Multimedia Networks Group (MNG), Web QoS Group
  - Programming Languages: Programming the Swarm, Zephyr - National Compiler Infrastructure
  - Real-Time Systems: BeeHive - Global Multimedia Database Support for Dependable, Real-Time Application
  - Security: Advancing Cyber Security with .NET, Intrusion Detection, Physicrypt - Physical Cryptography and Security, Splint - Secure Programming Lint
  - Software EngineeringGalileo - An Advanced Fault Tree Analysis Tool, Inexpensive Program Analysis, Zeus - Practical Formal Techniques for Software Developement
  - Theory: Computational Geometry
- Virginia Tech
  - Human-computer Interaction
  - Computational Biology and Bioinformatics
  - High Performance Computing and Computational Science and Engineering
  - Software Engineering
- College of William and Mary
  - algorithms
  - computer systems and networking
  - high performance computing
  - modeling and simulation
  - programming languages and compilers
  - scientific computing
  - scientific visualization
  - Computational Science
  - Computational Operations research
- George Mason Univ
  - Algorithms and Theory of Computation
  - Artificial Intelligence and Robotics
  - Computer Vision
  - Databases
  - Graphics and Image Processing
  - Languages
  - Software Engineering
  - Security
  - Systems and Networking
  - Parallel and Distributed Computing
  - Data Mining
  - Information Systems
  - Computer Science Education
  - BS in Applied CS
  - Volgenau School of Information Technology and Engineering and research areas
  - Information and Software Engineering
  - Center for Social Complexity and MASON (Multi-Agent Simulator of Networks and Neighborhoods), see coursework for example application ideas
  - College of Science: bioinformatics and computational biology, computational and data sciences, mathematical sciences, physics and astronomy
  - Example current project with GMU/Smithsonian - Inner Asia BC civilization modeling (will use MASON)
- Stanford University
  - Algorithms: Theory Group, Stanford AI Laboratory, Geometric Computation Group, Computer Graphics Laboratory, Information Privacy
  - Artificial Intelligence
  - BioComputation: Theory Group, Stanford AI Laboratory, Scientific Computing/Computational Mathematics, Computer Graphics Laboratory, Geometric Computation Group, Information Privacy
  - Database and Information Systems: Information Privacy, Logic Group, Stanford AI Laboratory, Bio-X, Natural Language Processing Group, Theory Group, Medical Information Science
  - Distributed Systems/Ubiquitous Computing: Distributed Systems Group, HCI Group, Security Laboratory, SimOS, Center for Study of Language and Information
  - Geometric Computation: Scientific Computing/Computational Mathematics, Computer Graphics Laboratory, Theory Group, Bio-X, Stanford AI Laboratory
  - Graphics: Scientific Computing/Computational Mathematics, Computer Graphics Laboratory, Image, Video, and Multimedia Systems, Information Systems Laboratory, VLSI Research Group, CIS Circuits and Design
  - Hardware/Architecture: Concurrent VLSI Architecture Group, CAD Synthesis Group, Bio-X, Security Laboratory Formal Verification Group Computer Architecture and Arithmetic Group FLASH Multiprocessor VLSI Research Group SUIF Compiler Group Neural Prosthetic Systems Lab High-Level Design Group SimOS
  - Human Computer Interaction: HCI Group Center for Study of Language and Information
  - Internet Systems & Infrastructure: Distributed Systems Group Software Infrastructures Group InfoLab Information Privacy Security Laboratory SimOS
  - Knowledge Representation & Reasoning:Stanford AI Laboratory Security Laboratory Knowledge Systems Laboratory Logic Group Theory Group Bio-X DAGS Formal Reasoning Group Multiagent Group InfoLab Large-scale Interoperation and Composition Medical Information Science
  - Machine Learning: Theory Group Bio-X Stanford AI Laboratory DAGS InfoLab Natural Language Processing Group
  - Math Theory of Computation: Theory Group REACT Research Group CIS Circuits and Design Center for Study of Language and Information Concurrency Group
  - Natural Language & Speech: Natural Language Processing Group Bio-X InfoLab Stanford AI Laboratory Theory Group CIS Circuits and Design Center for Study of Language and Information Concurrency Group
  - Networks: Distributed Systems Group Image, Video, and Multimedia Systems Information Systems Laboratory VLSI Research Group CIS Circuits and Design High Performance Networking Group Theory Group Information Systems Networking Lab Multimedia Networking Group
  - Probabilistic Methods and Game Theoretic Methods: Theory Group Bio-X Stanford AI Laboratory DAGS InfoLab Natural Language Processing Group Multiagent Group
  - Programming Languages and Compilers: Theory Group Concurrent VLSI Architecture Group Security Laboratory SUIF Compiler Group High-Level Design Group
  - Robotics, Vision & Physical Modeling: Scientific Computing/Computational Mathematics Computer Graphics Laboratory Stanford AI Laboratory Knowledge Systems Laboratory Theory Group Bio-X Geometric Computation Group Manipulation Group InfoLab Information Privacy
  - Scientific Computing: Scientific Computing/Computational Mathematics Computer Graphics Laboratory
  - Security and Privacy: Theory Group Applied Crypto Group Security Laboratory Bio-X Formal Verification Group CIS Circuits and Design InfoLab Information Privacy VLSI Research Group SUIF Compiler Group SimOS Large-scale Interoperation and Composition Medical Information Science
  - Software/Operating Systems: Theory Group Bio-X Security Laboratory Formal Verification Group CIS Circuits & Design Software Infrastructures Group SUIF Compiler Group SimOS
  - Systems Reliability/Dependability: Bio-X Security Laboratory Formal Verification Group CIS Circuits & Design Software Infrastructures Group Center for Reliable Computing
- Univ. of Washington AI group, also see other research areas
- Brandeis Univ robotics, also see CS dept.
Applications Software
- 3D Computer Graphics
  - Processing.org OpenGL-like graphics with quick learning curve + applets. (Try out the spinning cube example)
  - OpenGL, see Coding Resources/Code Samples
- Grid Computing
  - Teragrid
  - San Diego Supercomputer center
  - UVa Grid Computing group
  - DataCutter for grid high performance computing apps
  - Image Research Assistant
- Matlab (scroll down for application areas
- BLAST for Bioinformatics, also see BLAST home page (Basic Local Alignment Search Tool)
Robotics
- NASA
- ROV competition
- DARPA challenge
Multiagent Modeling
- First step: implement Schelling Segregation Model and/or Sugarscape
- You can start with NetLogo (see below) as a beginning prototype, but the final version should be in something like MASON, Multi-Agent Simulator Of Neighborhoods:
  - MASON applet - try running AntsForageWithUI, FlockersWithUI, HeatBugsWithUI,
    KeepAwayWithUI, MavWithUI, WoimsWithUI, SwarmGameWithUI, NetworkTestWithUI,
    VirusInfectionWithUI
  - Example current project with GMU/Smithsonian - Inner Asia BC civilization modeling (will use MASON)
  - More example projects:
  - Papers
- Netlogo and see the detailed list of Models and Applets example projects
- Computational Models of Social Systems and Center for Social Complexity at GMU
Read one of the following papers from these example areas of research:
- Computer graphics:
  - Control of Complex, Physically Simulated Robot Groups from UVa Graphics Group papers
  - Computer generated watercolor
  - and RUBE: A CUSTOMIZED 2D AND 3D MODELING FRAMEWORK FOR SIMULATION by Fishwick, Lee et al; Adaptive Unwrapping for Interactive Texture Painting by Igarashi and Cosgrove; Interactive Solid Texturing using Point-based Multiresolution Representations by Reuter and Schmitt
  - Physics engine:
    - Finite Element analysis: CHARMS: A Simple Framework for Adaptive Simulation using finite element solvers, from Eitan Grinspun
    - How To Implement a Pressure Soft Body Model by Matyka, from Computer Simulations in Physics
  - Virtual Solar System Project:Building Understanding through Model Building by Barab, Hay, Barnett, Keating
- Compilers and Languages:
  - Functional Programming in C++ from FC++,
  - Georgia Tech
  - Designing and Implementing the Chuck Programming Language by Wang, Cook, Misra Princeton Dept of CS and School of Music;
  - Designing and Implementing Combinator Languages by Swierstra
  - Implementing Constraint Imperative Languages with Higher-order Functions by Grabmuller
  - Why C++ is not just an Object-Oriented Programming Language by Stroustrup, from Publications by Bjarne Stroustrup and Specifying C++ Concepts
- Grid computing: Legion: Lessons Learned Building a Grid Operating System from Grid computing at UVa
- Opensource development:
  - Experience in Discovering, Modeling, and Reenacting Open Source Software Development Processes from Open Source Software Development Univ. of California Irvine
  - I Walk the Open Road from Open Source Research community
  - Open Source in the business world: Open, but not as usual from The Economist
- Artificial life: Seeing Around Corners from Brookings Institue and Sugarscape
- Agent based ecology:
  - The Ecology of Echo from Echo by John Holland
  - Epidemic spread: AGENT-BASED MODELING OF SEASONAL POPULATION MOVEMENT AND THE SPREAD OF THE 1918-1919 FLU:THE EFFECT ON A SMALL COMMUNITY by Carpenter, written in Repast
  - Agent-Based Modeling of Cultural Change in Swarm Using Cultural Algorithmsby Kobti, Reynolds, Kohler; and Echo by John Holland; and Modeling Nature's Emergent Patterns with Multi-agent Languages by Wilensky and Individual-based Modeling and Ecology by Grimm and Railsback Individual-based Modeling and Ecology by Grimm and Railsback
  - Agent based modeling links
- Agent based models of society
  - Tutorial on Agent-based Modeling and Simulation by Macal and North
  - Modeling civil violence: An agent-based computational approach by Epstein from PNAS;
  - A Comparison of Two Methods of Network Formation:Top-Down and Bottom-Up (societal dynamics);
- Agent based models of financial markets:
  - Estimation of Agent-based models: Asymmetric Herding Model from Empirical Validation of Computational Models
  - also see Using Adaptive Multi-Agent Systems to Simulate Economic Models by Guessoum and Rejeb and Agent-based modelling of customer behaviour in the telecoms and media markets by Twomey and Cadman
- Agent based software engineering: On Agent Based Software Engineering from Computational Laboratories
- Cooperation: Evolution of Cooperation from Evolution of Social Norms
- Ant Colony Optimization:
  - Ant Algorithms
  - An Efficient Rectilinear Steiner Minimum Tree Algorithm Based on Ant Colony Optimization
  - Ant colony optimization
- Game AI:
  - Using Experience-Based Learning in Game Playing by Dejong and Schultz, from online papers
  - Interactive Computer Games by Laird and van Lent, from AI and Computer Games Research
  - AI Characters and Directors for Interactive Computer Games from Game Research and Technology
  - GO and AI; Computer Go: an AI Oriented Survey; Evolving a Roving Eye for GO
- Games - Optimal Path Finding: Near Optimal Hierarchical Path Finding from Journal of Game Development
- Games: Game Design Patterns and Diverse World of Computer Games from Digital Library at Digital Games Research Association
- Traffic Modeling: Modeling Lane-changing Behavior in Presence of Exclusive Lanes from Publications at Intelligent Traffic Systems Program MIT, referenced from Individual Based Models
  also Agent-Based Simulation of Traffic Jams, Crowds, and Supply Networks by Helbing; and A Multi-Agent System for On-Line Simulations based on Real-World Traffic Data by Wahle and Schreckenberg;
  Multiagent Traffic Management: Opportunities for Multiagent Learning; and Intelligent Traffic Light Control by Wiering
- Computer Music:
  - Time stretching and pitch-shifting of audio signals
  - Sound Analysis and Processing
  - At the Crossroads of Evolutionary Computation and Music: Self-Programming Synthesizers, Swarm Orchestras and the Origins of Melody and On the evolution of music in a society of self-taught digital creatures from Interdisciplinary Centre for Computer Music Research, also see Computer Music Research
- Algorithms: An O(NxN) Heuristic for Steiner Minimal Trees in 3d by MacGregor Smith, Weiss, Patel, from J. MacGregor Smith ECS U. Mass
- Object oriented programming: Why C++ is not just an Object-Oriented Programming Language by Stroustrup, from Publications by Bjarne Stroustrup and Specifying C++ Concepts
- Distributed and Grid computing
  - Distributed Computing Life Science Apps at Distributed Computing.info; also Grid.org projects
  - XGrid agent for Unix architectures and Cross platform Xgrid project and XGrid and Cross Platform Computing, the paper
  - Building a Distributed Object System
- Machine Learning and Pattern Recognition: Introduction to Machine Learning by Nils J. Nilsson, download from machine learning website (view with xpdf), Pattern recognition resources, more Pattern recognition files
- Computer Vision: Human Motion Analysis from Computer Vision Researchby Ken Tabb
- Natural Language Processing
  - "Dialog Processing" - Natural language processing and understanding by software.
  - "An Interactive Russian-English Translation Program" - Natural language processing and understanding.
    also see Natural Language processing overview, and NATURAL LANGUAGE PROCESSING AS A SOURCE OF LINGUISTIC KNOWLEDGE by L.L. Iomdin
    and To the Cosmos by Electric Train English/Russian version for translation test; sample software for sale $$$
  - also see Part-of-Speech Tagging of Transcribed Speech from Natural Language Processing publications
- Computability Logic:
  - Computability Logic: a formal theory of Interaction from Giorgi Japaridze
  - Computability Logic on the web, Computability Logic homepage

COMPUTER SYSTEMS RESEARCH Fall/Spring 2007 - 2008 Example University Research Areas

COMPUTER SYSTEMS RESEARCH
Fall/Spring 2007 - 2008
Example University Research Areas