COMPUTER SYSTEMS RESEARCH
Fall/Spring 2005 - 2006
Research Areas

Product-oriented project: Current project opportunities
1. Mr. Strong's TJ project(s)
  - Web Applications Development Group
  - SchoolTools project, Shuttleworth Foundation, Shuttleworth projects, see Ubuntu bounties
2. Agent-based modeling:
  primate modeling:
  - Selforganization - Hemelrijk, RuG and web-page
  - Cooperation without genes, games, or cognition (Hemelrijk)
  - Integration of Social Dominance and Spatial Structure (Hemelrijk)
  - Spacial Centrality of Dominants
  Great Ape Trust, computer simulation studying the intelligence and behavior of great apes; how accurately can this model a real environment of orangutangs.
  We need 3-5 volunteers for this project this year, working in conjunction with Dr. Ann Palkovich, George Mason University
  - First step: implement Schelling Segregation Model and/or Sugarscape
  - You can start with NetLogo as a beginning prototype, but we want the final version in MASON (see below)
3. 3-D graphics statistical portrayals
  - creative techniques for displaying large quantities of data
  - Dr. Carr, GMU, Global grids, Geovista map projects
  - Edward Tufte, Sparklines and sparkline computer code
4. Online judge grader
  - Fix the online judge
  - Better diagnostics
  - Other language(s) such as Python
Open Source/Collaborative projects
- SourceForge
- Software development bounties from Mark Shuttleworth (Debian developer)
  - Ubuntu bounties
  - Keep scrolling to view SchoolTool bounties, (SchoolTools project)
- Google code and open source projects
- Freshmeat, Savannah nongnu, Berlios
- Collaborative Research Projects
- FreeSound collaborative projects, International Computer Music Conference
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
- MASON, Multi-Agent Simulator Of Neighborhoods
  - MASON applet - try running AntsForageWithUI, FlockersWithUI, HeatBugsWithUI,
    KeepAwayWithUI, MavWithUI, WoimsWithUI, SwarmGameWithUI, NetworkTestWithUI,
    VirusInfectionWithUI
  - More example projects:
  - Papers
- Netlogo and see the detailed list of Models and Applets example projects
- Computational Models of Social Systems
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
- 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

COMPUTER SYSTEMS RESEARCH Fall/Spring 2005 - 2006 Research Areas

COMPUTER SYSTEMS RESEARCH
Fall/Spring 2005 - 2006
Research Areas