Resources and Links

Our Servers

202.120.38.146 = adapt.seiee.sjtu.edu.cn
HostIP (port)Power SupplyCPUGPURAMHDDOS
Galaxy202.120.38.146:222400WIntel Xeon-E5504 GTX2080Ti(11G)x4 128G30TUbuntu
Blackhole202.120.38.146:9595850WIntel Xeon E5-2640 v3 2.6GHz (8 cores) RTX3090(24G) 192G13TUbuntu
Milkyway202.120.38.146:100861300WIntel Xeon E5 2630 V4 2.2 GHz (10 cores)GTX1080Ti(11G)x2128G10TUbuntu
Darkstar202.120.38.146:8686300WIntel Xeon E5-1620 V2 3.70GHz (4 cores) GTX970 (4G)128G6.5TUbuntu

Research Experience for Undergraduate

ACL2 REU Website
ACL2 @ UTA 2023-2024.

Good research advices

What's the right way to do scientific experiments
Amer Diwan @ PLDI 2012.
How to write a good research paper
Simon Peyton Jones.
How to give a good research talk
Simon Peyton Jones.

Useful links

ACL2 's List of Top Conferences
Impact ratio
DBLP
CiteSeer
Math symbols for LaTex

Utilities

Pandoc
 A universal document converter
TextMate Bundles for Ruby on Rails:
1 2 3 4 5 6 7
TextMate Bundle for Haskell
TextMate Bundle for Io
Cena - Offline Judge
MultiMarkdown

Online readings

Effectively Using Git With Subversion
Great Hackers
 by Paul Graham
Lua Coroutines Tutorial
Reading C type declarations
Learn Prolog
Developing Backbone.js Applications
The Architecture of Open Source Applications
 (Chinese translation)
Build your own compiler in Ruby with LLVM
The syntax of C in Backus-Naur form
Re: How to Design (Declarative) Programming Languages
Great Works in Programming Languages Collected by Benjamin C. Pierce
List of important publications in computer science
POSIX Threads Programming
Garfixia Software Architectures