This server is used for research in Programming Languages and Software Engineering. Contact buse at cs dot virginia dot edu.

Network: Address:
OS Version: Ubuntu 12.04.5 LTS n
Uptime: 53 days, 16:02
CPU: 2 x Intel Xeon X5672 @ 3.20GHz 12M cache (8 physical, 16 logical cores)
Memory: 48 GB 1333MHz, Dual Ranked
Disk: 8 x 2TB 7.2k RPM Drives RAID 5 (usable space = 13037.50 GB)


Useful Instructions and Tools

Svn Repositories (login required)

Hg Repositories (login required)