COMPUTER SYSTEMS RESEARCH
Fall/Spring 2007 - 2008
Research Areas
- Product-oriented project
- School based TJ support project(s)
- Intranet Web Applications Development Group - check with Mr. Torbert and the System Administrators for Intranet modules that are needed
- Open Source/Collaborative projects
- 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
- Matlab (scroll down for application areas
- BLAST for Bioinformatics,
also see BLAST home page (Basic Local Alignment Search Tool)
- Robotics
- 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
- 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
- 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
- Read one of the following papers from these example areas of research:
- Computer graphics:
- Compilers and Languages:
- Grid computing: Legion: Lessons Learned Building a Grid Operating System from
Grid computing at
UVa
- Opensource development:
- Artificial life:
Seeing Around Corners from
Brookings Institue and
Sugarscape
- Agent based ecology:
- Agent based models of society
- Agent based models of financial markets:
- Agent based software engineering:
On Agent Based Software Engineering from
Computational Laboratories
- Cooperation: Evolution of Cooperation from
Evolution of Social Norms
- Ant Colony Optimization:
- Game AI:
- 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:
- 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
- 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
- Computability Logic: