From horton at cs.virginia.edu Mon Apr 4 14:14:52 2005 From: horton at cs.virginia.edu (Tom Horton) Date: Thu Mar 23 11:27:30 2006 Subject: [Ugrads07] summer internship at Systems Integration Lab @ UVa Message-ID: <4251841C.7050100@cs.virginia.edu> An HTML attachment was scrubbed... URL: http://www.cs.Virginia.EDU/pipermail/ugrads07/attachments/20050404/8c31c44e/attachment.htm From mv at cs.virginia.edu Mon Apr 11 17:07:59 2005 From: mv at cs.virginia.edu (Malathi Veeraraghavan) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] RE: Need student help In-Reply-To: <8928438.1112614333@[192.168.0.3]> Message-ID: <200504112107.j3BL7wdD001824@ares.cs.Virginia.EDU> To CS/CpE students: Prof. B. S. Shivaram from the Physics Dept. is looking for a php programmer. If you are interested, please contact him at bss2d@virginia.edu. *********************************************** Malathi Veeraraghavan Assoc. Prof./Director, Comp. Engg. Depts. of CS and ECE University of Virginia 151 Engineer's Way, P.O. Box 400740 Charlottesville, VA 22904-4743 Phone: 1-434-982-2208 Fax: 1-434-982-2214 Email: mv@cs.virginia.edu http://www.ece.virginia.edu/~mv *********************************************** From wnm at cs.virginia.edu Tue Apr 12 10:37:36 2005 From: wnm at cs.virginia.edu (Worthy Martin) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] possible summer interns Message-ID: Students, Hello. I would like to let you know that a couple of CS faculty are looking to hire undergraduates for the summer. In addition a local office of a large national company is interested in interns (see below). Cheers, W.Martin >> SAIC OIS, Charlottesville >> possible intern positions for this summer >> >> Dear Computer Science and Computer Engineering Majors, >> We have several summer intern positions open. These are Java developer >> positions here in our Charlottesville office. A wide range of >> interesting projects are scheduled, ranging from development on our data >> mining system to automated testing using JUnit. >> >> Requirements: >> - 3rd year up >> - Java experience >> Preferences: >> - Experience in lightweight J2EE technologies >> >> Please send resumes to John Baird, john.m.baird@saic.com. >> >> -- >> Jonathan D. Michel, Ph.D. >> Chief Technology Officer >> SAIC OIS >> 675 Peter Jefferson Parkway suite 300 >> Charlottesville, VA 22911 >> 434-872-8553 (office) >> 434-989-7994 (cell) >> From kj6g at cms.mail.virginia.edu Tue Apr 12 23:43:54 2005 From: kj6g at cms.mail.virginia.edu (Katherine Jogerst) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] ACM-W Mock Dissertation Presentation Message-ID: <9FCD4D9977439816063A5097@[192.168.0.10]> This Thursday, April 14 at 4:30pm in Olsson 228E ACM-W will host a mock dissertation talk by one of our senior ACM-W members, Elisabeth Strunk. The purpose of this meeting is to help Elizabeth practice for her dissertation presentation this coming Monday. We can also all learn about her area of research and eat free pizza! Elizabeth has also agreed to answer any questions about graduate school life, how to interact with your advisor, and how to balance the demanding work of a Ph.D. student and still have a life. This is a great opportunity for those undergraduates considering graduate school. All are welcome! Following Elizabeth's talk, we will be discussing the CS open house (http://www.cs.virginia.edu/openhouse/) this Saturday 12-4. On Thursday, we need people to help us make a poster. On Saturday, we need volunteers to work our table and help out the department. As always, if you have any questions, feel free to contact me. If you would like to join our mailing list, please visit: http://www.cs.virginia.edu/mailman-2.1.5/listinfo/acm-w I hope to see you there! Thanks, Katie Jogerst Undergraduate co-Chair *************************************************************************** Reconfiguration Assurance in Embedded System Software As software systems continually become larger and more complex, assurance of their critical properties becomes correspondingly more difficult. While construction of systems of the quality produced in the past might be feasible, the engineering foundation on which the dependability record of those systems rests is weak. The lack of a rigorous dependability argument in many cases implies that system dependability is probably due at least in part to the care taken by experienced developers in the software's design. Careful development and review are likely to become less effective as the complexity of the developed software grows beyond the limits of straightforward human comprehension. In many software systems, critical properties are only a small subset of all desirable system properties. In this dissertation, I hypothesize that, in most very complex systems, there is often some much simpler subset of functionality over which critical properties can be expressed. Assuring properties over the simpler subset can provide assurance of critical properties over the entire system. In this case, system dependability can be reduced to a guarantee that either the system will function correctly, or the non-critical function will do nothing to interfere with critical system properties. My work provides a method for constructing systems to be dependably reconfigurable. A system with reconfiguration at the center of its assurance argument can allow its primary function to fail and then reconfigure to some simpler function, mitigating any unacceptable failure consequences. Reconfiguration thus controls the effective complexity of the system without forcing that system to sacrifice desired, but unassurable, capabilities. Focusing a system's dependability argument on reconfiguration means that reconfiguration must proceed correctly with very high assurance. The system construction approach in this work also provides a method through which system dependability properties can be shown. The approach accomplishes this by: (1) introducing a formal definition of reconfiguration and an associated set of high-level, general properties; (2) constructing an architecture that guarantees the high-level reconfiguration properties; and (3) making non-crucial software function fail-stop, so that the software either works correctly or fails in a way that does not disrupt other applications. Showing that a specific system complies with the architecture's properties implies assurance of reconfiguration for that system. To illustrate the ideas in this work, my colleagues and I have built part of a hypothetical avionics system that is typical of what might be found on a modern general-aviation aircraft or an unmanned aerial vehicle. From ms6ep at cs.virginia.edu Wed Apr 13 16:13:01 2005 From: ms6ep at cs.virginia.edu (Michael Spiegel) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] UVA Linux Users Group Message-ID: <425D7D4D.6050708@cs.virginia.edu> For those who are interested, a Linux users group (LUG) has been formed for the university. A LUG is simply a forum for asking and answering questions about the GNU/Linux operating system (http://en.wikipedia.org/wiki/Linux_user_group). Follow this url if you are interested in joining their mailing list, https://list.mail.virginia.edu/mailman/listinfo/uvalug Cheers, --Spiegel Michael Spiegel Graduate Student Department of Computer Science School of Engineering and Applied Science University of Virginia From skadron at cs.virginia.edu Wed Apr 13 22:15:28 2005 From: skadron at cs.virginia.edu (Kevin Skadron) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] Summer research positions and senior-thesis opportunities Message-ID: <425DD240.406@mail.cs.virginia.edu> I am looking for undergrads to join my research group for the summer and hopefully stay on through the following year. We have a number of exciting research projects, which you can find here: http://www.cs.virginia.edu/~skadron/ugrad_proj.html Please note that I have funding to pay you over the summer. Everyone is invited -- these opportunities are NOT just limited to up-and-coming fourth-years. If you have taken 333 you are definitely qualified to start this research, and even if you haven't please talk to me if you are interested. If you think you want to pursue a senior thesis with me, you really need to get started over the summer, because it takes a little while to come up to speed on our tool chain. Doing that in the fall with classes and other imminent deadlines inevitably works out poorly. Hope to hear from you, /K -- skadron@cs.virginia.edu | Assistant Professor http://www.cs.virginia.edu/~skadron | Dept. of Computer Science voice: (434) 982-2042 | University of Virginia fax: (434) 982-2214 | Charlottesville, VA 22904 From montgomery at virginia.edu Tue Apr 19 18:19:19 2005 From: montgomery at virginia.edu (Louise Montgomery) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] ACM Trivia Bowl Message-ID: <1113949160.5383.24.camel@localhost.localdomain> Constituents, CS majors, The ACM is pleased to announce its 2005 Computer Science Trivia Bowl, to be held next Friday, the 29th of April at 5PM in Olsson Hall. Questions will mainly focus on CS-related topics, it is free to sign up, and there will be prizes for the winners. Teams shall consist of up to 4 UVA students. To enter as either a team or as an individual to be set up with a team, send your name(s), year(s), major(s), and e-mail handle(s) to the ACM secretary, Dhruv Kapadia (dhruv@virginia.edu). As always, let me know if you have any questions. Louise Montgomery lam8x@virginia.edu ACM Chair From lam8x at virginia.edu Mon Apr 25 14:26:42 2005 From: lam8x at virginia.edu (Louise Anna Montgomery) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] Professor of the Year award Message-ID: ACM Members, computing majors, Now is your chance to vote for the ACM Professor of the Year Award, right here on the ACM website: http://acm.cs.virginia.edu/prof_nom_2005.php3 Also remember to sign up for the trivia bowl, which is this Friday at 5, by e-mailing Dhruv (dhruv@virginia.edu). As always, send me any questions or comments you have. Louise Montgomery ACM Chair 571-265-9328 From horton at cs.virginia.edu Thu Apr 28 15:37:14 2005 From: horton at cs.virginia.edu (Tom Horton) Date: Thu Mar 23 11:27:31 2006 Subject: [Ugrads07] Fall 05 ugrad TAs/graders needed! Message-ID: <42713B6A.2070301@cs.virginia.edu> An HTML attachment was scrubbed... URL: http://www.cs.Virginia.EDU/pipermail/ugrads07/attachments/20050428/fcec4d2f/attachment.htm