Groups
Sign in
Groups
utexas-cs378-fall2008
Conversations
About
Send feedback
Help
utexas-cs378-fall2008
Contact owners and managers
1–30 of 30
Mark all as read
Report group
0 selected
sevan thamizh
12/24/08
JOB OPENINGS FOR MULTIPLE POSITIONS,PERI SOFTWARE SOLUTIONS
Hi , Greetings from PERI Software Solutions. This is Shrudhi, Would like to talk to you regarding
unread,locked,
JOB OPENINGS FOR MULTIPLE POSITIONS,PERI SOFTWARE SOLUTIONS
Hi , Greetings from PERI Software Solutions. This is Shrudhi, Would like to talk to you regarding
12/24/08
David Rager
2
12/18/08
[CS 378] KeY consistently loading "bad" .Java files
I don't know why students don't reply to all, but the two answers I received were useful, so
unread,
[CS 378] KeY consistently loading "bad" .Java files
I don't know why students don't reply to all, but the two answers I received were useful, so
12/18/08
sevan thamizh
12/18/08
ASSESSING JOB OFFERS FROM PERI SOFTWARE SOLUTIONS
Hi , Greetings from PERI Software Solutions. This is Shrudhi, Would like to talk to you regarding
unread,locked,
ASSESSING JOB OFFERS FROM PERI SOFTWARE SOLUTIONS
Hi , Greetings from PERI Software Solutions. This is Shrudhi, Would like to talk to you regarding
12/18/08
David Rager
12/14/08
[CS 378] Final presentations in normal classroom
See you at 9:00 AM. If they're not in the normal classroom, we can figure out where we're
unread,
[CS 378] Final presentations in normal classroom
See you at 9:00 AM. If they're not in the normal classroom, we can figure out where we're
12/14/08
David L. Rager
12/14/08
[CS 378] Runtime monitoring checking
Hello Students, You can see the below for an example of how to do java runtime monitoring using JML
unread,
[CS 378] Runtime monitoring checking
Hello Students, You can see the below for an example of how to do java runtime monitoring using JML
12/14/08
David Rager
12/14/08
[CS 378] TA at JP's Java this Afternoon
Hello, I'll be at JP's java (www.jpsjava.com) from 5-6 today. If you need last minute help,
unread,
[CS 378] TA at JP's Java this Afternoon
Hello, I'll be at JP's java (www.jpsjava.com) from 5-6 today. If you need last minute help,
12/14/08
shaun...@gmail.com
,Â
David Rager
2
12/14/08
Undergrad Runtime Monitoring
Andrey Petrov installed jmlc and jmlrac to the UTCS network. You are correct that you should be using
unread,
Undergrad Runtime Monitoring
Andrey Petrov installed jmlc and jmlrac to the UTCS network. You are correct that you should be using
12/14/08
David L. Rager
,Â
James C. Browne
2
12/12/08
[CS 378] FAQ: "Am I in the 'Writing Component' version of the undergraduate class?"
Ladies and Gentlemen, David is correct. Each person should submit an individual report JCB At 12:29
unread,
[CS 378] FAQ: "Am I in the 'Writing Component' version of the undergraduate class?"
Ladies and Gentlemen, David is correct. Each person should submit an individual report JCB At 12:29
12/12/08
pat2...@gmail.com
,Â
shaun...@gmail.com
2
12/12/08
KeY \ JML and Generics
No luck with Generics... had to remove them and convert to casting scenarios on all methods for JML
unread,
KeY \ JML and Generics
No luck with Generics... had to remove them and convert to casting scenarios on all methods for JML
12/12/08
David L. Rager
12/5/08
[CS 378] FAQ: "Am I in the 'Writing Component' version of the undergraduate class?"
---------- Forwarded message ---------- From: James C. Browne <bro...@cs.utexas.edu> Date: Fri,
unread,
[CS 378] FAQ: "Am I in the 'Writing Component' version of the undergraduate class?"
---------- Forwarded message ---------- From: James C. Browne <bro...@cs.utexas.edu> Date: Fri,
12/5/08
David Rager
2
12/5/08
[CS 378] Directory Permissions
In case you missed the other email (undergrads), the permissions are set to writeable at the moment.
unread,
[CS 378] Directory Permissions
In case you missed the other email (undergrads), the permissions are set to writeable at the moment.
12/5/08
David L. Rager
2
12/4/08
[CS 378] Possible Undergraduate Report Format
I don't know. Good question. Need to ask Dr. Browne. On Thu, Dec 4, 2008 at 4:52 PM, > Hey
unread,
[CS 378] Possible Undergraduate Report Format
I don't know. Good question. Need to ask Dr. Browne. On Thu, Dec 4, 2008 at 4:52 PM, > Hey
12/4/08
David L. Rager
12/4/08
[CS 378] Final Work Products Turnin
Hello Graduates and Undergraduates of UVV, Please turnin your final work products by running the
unread,
[CS 378] Final Work Products Turnin
Hello Graduates and Undergraduates of UVV, Please turnin your final work products by running the
12/4/08
David L. Rager
12/2/08
[CS 378] No Undergrad Final Exam
Hello Undergrads, There is no final exam for you to prepare for on Thursday. Make sure you're
unread,
[CS 378] No Undergrad Final Exam
Hello Undergrads, There is no final exam for you to prepare for on Thursday. Make sure you're
12/2/08
David L. Rager
11/24/08
[CS 378] Use the discussion group
Hello Students, This discussion group has been really quiet. I know for a fact that many of you are
unread,
[CS 378] Use the discussion group
Hello Students, This discussion group has been really quiet. I know for a fact that many of you are
11/24/08
David L. Rager
11/13/08
[CS 378] Need to switch someon
Hello Students, Neelima has interviews on November 20th, and as such needs to switch with someone. If
unread,
[CS 378] Need to switch someon
Hello Students, Neelima has interviews on November 20th, and as such needs to switch with someone. If
11/13/08
David L. Rager
11/12/08
[CS 378] Might be out tomorrow
Hello Students, If you were planning on trying to meet with me tomorrow (no one is afaik), let's
unread,
[CS 378] Might be out tomorrow
Hello Students, If you were planning on trying to meet with me tomorrow (no one is afaik), let's
11/12/08
David L. Rager
11/11/08
[CS 378] Presentation Schedule
The following presentation dates are linked from the UVV TA website. http://www.cs.utexas.edu/users/
unread,
[CS 378] Presentation Schedule
The following presentation dates are linked from the UVV TA website. http://www.cs.utexas.edu/users/
11/11/08
David L. Rager
11/4/08
[CS 378] Writing Services
Hello Graduate Students, Just looking over some of the drafts of the progress reports, I think some
unread,
[CS 378] Writing Services
Hello Graduate Students, Just looking over some of the drafts of the progress reports, I think some
11/4/08
David L. Rager
11/3/08
[CS 378] Class Tools
Hello Students, Either I haven't sent out the link or people have missed it. Either way, I've
unread,
[CS 378] Class Tools
Hello Students, Either I haven't sent out the link or people have missed it. Either way, I've
11/3/08
shrudhi peri
10/30/08
Job Offer From Peri software Solutions
Hi , Greetings from PERI Software Solutions. This is Mani, Would like to talk to you regarding some
unread,
Job Offer From Peri software Solutions
Hi , Greetings from PERI Software Solutions. This is Mani, Would like to talk to you regarding some
10/30/08
David L. Rager
10/9/08
[CS 378] Class Model Checker
Hello CS 378 and CS 395t Students, Dr. Hunt's model checker has been posted in the class tools
unread,
[CS 378] Class Model Checker
Hello CS 378 and CS 395t Students, Dr. Hunt's model checker has been posted in the class tools
10/9/08
David L. Rager
4
10/6/08
[CS 395T] Graduate Project Proposals
Hello *Graduate* Students (*not* undergrads -- I've cc'd the discussion group for archiving),
unread,
[CS 395T] Graduate Project Proposals
Hello *Graduate* Students (*not* undergrads -- I've cc'd the discussion group for archiving),
10/6/08
rag...@gmail.com
9/30/08
[CS 378] Model Checking Example
Hello Students, I typed up the model checking example from today. The compilation and execution
unread,
[CS 378] Model Checking Example
Hello Students, I typed up the model checking example from today. The compilation and execution
9/30/08
David Rager
9/29/08
Re: project deadlines
Hello, Dr. Browne can clarify, but I'll take a first stab at your question. Part (c) is really
unread,
Re: project deadlines
Hello, Dr. Browne can clarify, but I'll take a first stab at your question. Part (c) is really
9/29/08
rag...@gmail.com
9/25/08
[CS 378] Grammar for Java
I ran across across a picture of the Java Grammar, and I thought I would share it with you as another
unread,
[CS 378] Grammar for Java
I ran across across a picture of the Java Grammar, and I thought I would share it with you as another
9/25/08
rag...@gmail.com
2
9/25/08
[CS 378] Using Turnin
Hi students, Someone asked me what Part B is. Part B reads: (b) Properties in English -- the second
unread,
[CS 378] Using Turnin
Hi students, Someone asked me what Part B is. Part B reads: (b) Properties in English -- the second
9/25/08
rag...@gmail.com
9/17/08
[CS 378] Clarifying the Microwave Example
Hello Students, This note is in reference to the microwave example, which can be found in these
unread,
[CS 378] Clarifying the Microwave Example
Hello Students, This note is in reference to the microwave example, which can be found in these
9/17/08
David Rager
9/8/08
[CS 378] How to create filters in GMail
Hello Students, Since this mailing list was created with the idea of students using Gmail accounts to
unread,
[CS 378] How to create filters in GMail
Hello Students, Since this mailing list was created with the idea of students using Gmail accounts to
9/8/08
rag...@gmail.com
2
9/1/08
Welcome
I've suppressed the member list since there are a lot of students in undergraduate classes, and
unread,
Welcome
I've suppressed the member list since there are a lot of students in undergraduate classes, and
9/1/08