RA Information
Information for potential (and current) research assistants concerning hiring, graduation requirements and work responsibilities.
Information Board
Here you will find general information about the SLDG group concerning RA responsibilities, coding standards and definitions, useful links for language tools and papers, and information about reading groups and activities.
The Lambda Reading Group
The Lambda Group is our informal language semantics reading group. SLDG students must participate. Others are always welcome. Information on the Lambda group is now maintained on the Lambda Wiki as linked above.
Conference and Journal Links
- ACM Transactions on Embedded Systems
- ACM Transactions on Software Engineering Methodology
- ACM Transactions on Programming Languages and Systems
- ACM Transactions on Information and Systems Security
- AMAST
- Automated Software Engineering Conference (ASE)
- Automated Software Engineering Journal
- Design Automation Conference (DAC)
- Engineering of Computer Based Systems Conference (ECBS)
- Formal Specification of Computer-Based Systems (FMCBS)
- Formal Methods in Computer-Aided Design (FMCAD)
- Forum on Design Languages (FDL)
- High Assurance Systems Engineering (HASE)
- IEEE Transactions on Software Engineering
- IEEE Transactions on Dependable and Secure Computing
- International Conference on Functional Programming (ICFP)
- The Haskell Workshop
- International Conference on Software Engineering (ICSE)
- International Journal of Software Engineering and Knowledge Engineering
- Journal of Functional Programming
- Requirements Engineering Conference (RE)
- Software Engineering and Knowledge Engineering Conference (SEKE)
