http://sss.cs.purdue.edu/ 2009-11-21T22:26:42-05:00 http://sss.cs.purdue.edu/ http://sss.cs.purdue.edu/lib/images/favicon.ico text/html 2009-01-14T16:08:26-05:00 http://sss.cs.purdue.edu/analysisreadinggroup?rev=1231967306&do=diff Meetings at 2:30pm in LWSN3162 Spring 2009 Date Presenter Paper Discussed 2/2/2008 Zhiqiang KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, and Dawson Engler. OSDI 2008 (10 am) 2/9/2008 Dasarath CTrigger: Exposing Atomicity Violation Bugs from Their Hiding Places Soyeon Park, Shan Lu, Yuanyuan Zhou. ASPLOS 2009 2/16/2008 Vinai Data Race Detection... 2/23/2008 Nick jPredictor:… text/html 2008-11-05T11:13:34-05:00 http://sss.cs.purdue.edu/benchmarks?rev=1225901614&do=diff (Still under construction) This page lists (in alphabetical order) all the available benchmarks within the S3 lab, a brief description of each, and their location. DaCapo This benchmark suite is intended as a tool for Java benchmarking by the programming language, memory management and computer architecture communities. It consists of a set of open source, real world applications with non-trivial memory loads. The suite is the culmination of over five years work at eight institutions, as par… text/html 2008-09-09T17:29:58-05:00 http://sss.cs.purdue.edu/courses?rev=1220995798&do=diff CS 502 text/html 2008-09-09T17:47:18-05:00 http://sss.cs.purdue.edu/cs_502?rev=1220996838&do=diff This is the CS 502 Course Wiki. Students are free to add to this page with questions and comments about the course and the course project. ---------- text/html 2008-10-18T00:44:47-05:00 http://sss.cs.purdue.edu/distributed_streams?rev=1224305087&do=diff Distributed Streams The focus has been primarily on the following factors: * Reliability * Availability * Monitoring * Security * Timeliness text/html 2009-10-23T07:03:20-05:00 http://sss.cs.purdue.edu/oopsla09?rev=1256295800&do=diff Who: * Jan, Ales, Christian, Brian, Veysel; * (student volunteers: Daniel, Gregor, Johan, Peta, Lei) When: * Mon - Thu, October 26th-29th, Research program Tue - Thu Travel Plans: * Mon: flight at 7pm from Indianapolis * Thu: flight at 6pm from Orlando Int text/html 2009-10-08T17:57:59-05:00 http://sss.cs.purdue.edu/people?rev=1255039079&do=diff Faculty Office Phone Patrick Eugster LWSN 3154N+1 765 494 6015 Tony HoskingLWSN 3154L+1 765 494 6001Suresh Jagannathan LWSN 3154J +1 765 494 0971Jan VitekLWSN 3154M+1 765 494 6531Xiangyu ZhangLWSN 3154K+1 765 496 9415Post-Doctoral Fellows Office Phone Christian HammerLWSN 3154S+1 765 496 9419Nicholas KiddLWSN 3154R+1 765 496 9418Graduate Students Athul AcharyaKevin HoffmanAshish KunduPhil McGacheyFadi MeawadArmand NavabiSalman PervezFil PizloK. R. JayaramMurali Krishna RamanathanGregor Ri… text/html 2009-08-24T15:58:21-05:00 http://sss.cs.purdue.edu/publications?rev=1251143901&do=diff Links use authoritative DOI where available. Articles may also be available at the individual authors' personal Web-sites. Conference articles use the form: Title. Authors. Conference:pages. Journal articles use the form: Title. Authors. Journal volume(number):pages.2009 Classifying Java Class Transformations for Pervasive Virtualized Access. McGachey P, Hosking AL, Moss JEB. GPCE.Pervasive Load-Time Transformation for Transparently Distributed Java. McGachey P, Hosking AL, Moss JEB. BYTECO… text/html 2008-09-11T14:28:22-05:00 http://sss.cs.purdue.edu/sidebar?rev=1221157702&do=diff Public Links People Publications Sponsors CS @ Purdue Private Links Internal text/html 2007-10-02T15:27:31-05:00 http://sss.cs.purdue.edu/sponsors?rev=1191353251&do=diff Array Array Array Array Array Array Array text/html 2008-02-08T12:05:57-05:00 http://sss.cs.purdue.edu/start?rev=1202490357&do=diff The S3 group brings together researchers exploring diverse aspects of programming language design and implementation. We investigate static approaches (such as program analysis and compiler optimization) to problems of performance, correctness, and usability in object-oriented, functional, and real-time programs, dynamic techniques to improve run-time execution and performance on modern multi-core systems, and software engineering mechanisms for program slicing and specification mining. text/html 2009-10-19T12:11:34-05:00 http://sss.cs.purdue.edu/turkey09?rev=1255968694&do=diff Meeting time: 8 am CS building. Business starts: 9:30 am. Link to the park map Directions: IN-43/US-231 south to IN-47 south, then follow signs to TRSP. route in google maps Cars * Jan (5 spots) * Brian (3 or 4 spots) * Rob (3 spots) * Lei (3 spots) * Sylvain (4 spots) text/html 2008-11-24T10:42:28-05:00 http://sss.cs.purdue.edu/ugprojects?rev=1227541348&do=diff Thorn-Related Project [To be fleshed out]. Thorn is a PL project joint with IBM. We are creating an extensible scripting language suitable for both prototyping and dependable systems. Key features include gradual typing, isolated processes, a PL-level plugin architecture, dynamic typing and a functional slant.