|
[March 2014] |
Prof. Brun wins a Microsoft Research Software Engineering Innovation Foundation (SEIF) award.
Doppio paper accepted for publication at PLDI 2014 and granted an Artifact Evaluation Committee certificate.
Two PLASMA students, Dan Barowy and Charlie Curtsinger, serve on PLDI 2014 Artifact Evaluation Committee.
|
|
[January 2014] |
Concurrency
modeling paper accepted to ICSE 2014 in Hyderabad,
India.
Prof. Brun speaks about speculative analysis at Carnegie Mellon University.
Type-based Verification of Web Sandboxes to appear in Journal of Computer Security.
|
|
[December 2013]
|
Three papers accepted at POPL OBT 2014!
Prof. Brun speaks about model inference at Schloss Dagstuhl in Wadern,
Germany.
|
|
[November 2013]
|
New tech reports issued: CheckCell (Data Debugging), Doppio.
Predator: Predictive False Sharing Detection accepted for publication at PPoPP 2014.
Prof. Guha presents an invited tutorial on the the Frenetic Network Controller at FMCAD 2013.
Prof. Guha speaks at Wesleyan and Princeton on Language-based Web Security.
|
|
[October 2013]
|
NetKAT: Semantic Foundations for Networks is accepted for publication at POPL 2014.
Prof. Brun's paper Early Detection of Collaboration Conflicts and Risks with Reid Holmes, Mike Ernst, and David Notkin selected as Spotlight Paper for October 2013 issue of IEEE Transactions on Software Engineering.
Prof. Brun speaks about Speculative Analysis at the SE@45 symposium.
Prof. Berger speaks at Brown and Tufts.
Prof. Guha gives a talk on the Frenetic Network Controller at the OCaml Users and Developers Workshop.
|
|
[August 2013]
|
Prof. Brun receives the 2013 IEEE
TCSC Young Achiever in Scalable Computing Award.
Prof. Berger speaks about Programming with People and Stabilizer at Microsoft Research.
|
|
[July 2013]
|
Prof. Berger teaches summer course on Software Fault Tolerance and Correction at the 2013 HiPEAC Summer School; speaks about AutoMan at Telefónica R&D.
|
|
[June 2013]
|
Solstice paper accepted to ESEC/FSE 2013.
|
|
[May 2013]
|
Conflict
prediction paper published in IEEE Transactions on
Software Engineering.
Prof. Brun speaks about fortune-telling developer tools at UC Davis and about speculative analysis at Inria, Paris, France.
Students at prestigious summer internships: Charlie Curtsinger at Google, Dan Barowy at Microsoft Research Silicon Valley, Dimitar Gochev at IBM TJ Watson, Tongping Liu at Futurewei (Huawei Research), and John Vilk at Microsoft Research.
|
|
[April 2013]
|
Prof. Berger receives Microsoft Research SEIF Award.
PLASMA accepted to the Google Summer of Code as a mentoring organization (177 chosen from 417 applications).
sTile
paper published in IEEE Transactions on
Dependable and Secure Computing.
Prof. Berger speaks about statistically sound performance evaluation (Stabilizer) at Google.
|
|
[March 2013]
|
Tech report issued describing Doppio.
Prof. Brun speaks about sTile and smart redundancy at
Microsoft Research, Redmond.
Prof. Brun speaks about speculative analysis at ASDS 2013.
Charlie Curtsinger presents work on Stabilizer at ASPLOS in Houston, Texas.
Prof. Berger gives invited talk on AutoMan at ETAPS Conference in Rome.
|
|
|
[February 2013]
|
Histaroach
paper accepted for publication at ICSE
NIER 2013.
InvariMint
paper accepted for publication at ICSE 2013.
|
|
[January 2013]
|
Professors Yuriy Brun and Arjun Guha join PLASMA.
|
|
[December 2012]
|
New Scientist magazine publishes article on our AutoMan project.
Prof. Berger talks on AutoMan at University of Marburg, Goethe University Frankfurt, and the ETH-Zurich CS Colloquium Series.
|
|
[November 2012]
|
Stabilizer paper accepted for publication at ASPLOS 2013.
|
|
[October 2012]
|
Most Influential Paper Award at OOPSLA 2012 for Reconsidering Custom Memory Allocation [Berger, Zorn, and McKinley; OOPSLA 2002].
|
|
[July 2012]
|
AutoMan paper accepted for publication at OOPSLA 2012.
|
|
[June 2012]
|
Charlie Curtsinger wins a Google Fellowship in Software Performance, one of just 14 Fellowship recipients in the US and Canada.
Five PLASMA students on prestigious internships this summer: Dan Barowy at Microsoft Research (in Redmond), Charlie Curtsinger and Tongping Liu at IBM TJ Watson, Nitin Gupta at Intel, and John Vilk at Google.
|
|
[May 2012]
|
Television interview with Prof. Emery Berger on the topic of Internet security.
|
|
[December 2011]
|
Google Research Award for our work on performance profiling.
|
|
[October 2011]
|
PLASMA students around the globe! Tongping Liu presented Sheriff at OOPSLA in Portland, while Charlie Curtsinger presented Dthreads at SOSP in Portugal.
|
