NewsCreate a new blog post
Media ReleasesOfficial Victoria University of Wellington Media Releases and Publications about Elvis Research.
25 Jul 2013 - 12:48 in Seminar
Timothy Jones gave his PhD proposal seminar on Formalising a Structural, Gradual, Pluggable Type System.
22 Mar 2013 - 17:35 in Seminar
Jeff Patton gave a seminar on What I wish universities taught about software development.
22 Mar 2013 - 17:31 in Seminar
09 Jan 2013 - 13:47 in Seminar
Sustainable Open Source (Video) by Dirk Riehle MySQL was sold for one billion US-dollar. Red Hat is worth a multiple of that. The Eclipse Foundation has pushed many software tool vendors out of business. How come that open source, a phenomenon dubbed "temporary" not only has become sustainable but the business strategy of choice? In this talk, I discuss the four main business models, two for-profit and two not-for-profit, that have made open source sustainable. These models are changing the business of software and are the future of our industry.
09 Jan 2013 - 13:45 in Seminar
Best of (our) Empirical Open Source Research seminar (Video) by Dirk Riehle Open source software is publicly developed software. Thus, for the first time, we can broadly analyse in data-driven detail how people program, how bugs come about, and how we could improve our tools. In this talk, I'll review six years of our open source empirical (data) research and highlight the most interesting insights, including how different (or not) open source is from closed source programming.
06 Nov 2012 - 11:55 in Seminar
Jennifer Ferreira gave a seminar on User Experience Design and Agile Development in Practice: Where do we go next?
06 Nov 2012 - 11:54 in Seminar
Ranald Clouston gave a seminar on Reasoning about Computing Syntax
06 Nov 2012 - 11:53 in Seminar
David Streader gave a seminar on Putting Semantics and Interpretations First
05 Oct 2012 - 15:41 in Seminar
02 Aug 2012 - 13:53 in Seminar
02 Aug 2012 - 13:52 in Seminar
MarcoServetto gave a seminar on Strong exception-safety for checked and unchecked exceptions
12 Mar 2012 - 15:37 in Seminar
15 Feb 2012 - 13:32 in Seminar
15 Feb 2012 - 13:31 in Seminar
MarcoServetto a new academic staff member working with AlexPotanin gave a seminar on MetaFJig - A Meta-Circular Composition Language for Java-like Classes.
15 Feb 2012 - 13:29 in Seminar
Giuseppe Destefanis from the University of Cagliari, Italy and visiting EwanTempero at the University of Auckland visited Elvis and gave a seminar on An Analysis of Micro-Anti-Pattern Effects on Fault-Proneness in Large Java Systems
15 Feb 2012 - 13:16 in Seminar
JamesNoble gave a seminar on Grace: a new object-oriented educational programming language.
09 Sep 2011 - 12:17 in Seminar
AhmedKhalifa gave his PhD proposal seminar on Ownership and Immutability: Performance Assessment and Programming Experience.
01 Jun 2011 - 12:58 in Seminar
30 May 2011 - 14:54 in Seminar
MichaelWaterman gave his PhD proposal seminar on Reconciling Architecture and Agile: How Much Architecture?
30 May 2011 - 14:52 in Seminar
30 May 2011 - 14:51 in Seminar
25 May 2011 - 20:37 in Seminar
05 May 2011 - 16:23 in Seminar
07 Apr 2011 - 19:24 in Seminar
05 Apr 2011 - 15:37 in Seminar
30 Mar 2011 - 12:31 in Seminar
10 Dec 2010 - 15:54 in Seminar
SivaDorairaj gave a PhD Proposal seminar on Globally Distributed Agile Software Development - A Grounded Theory
18 Apr 2010 - 13:45 in Seminar
Rustan Leino from Microsoft Research gave a seminar on The Dafny program verifier.
18 Apr 2010 - 13:41 in Seminar
Robert O'Callahan from Mozilla gave a seminar on API Design for the Masses.
18 Apr 2010 - 13:39 in Seminar
Rashina Hoda gave a seminar on Organizing Self-Organizing Agile Teams. .
18 Apr 2010 - 13:38 in Seminar
Craig Anslow gave a PhD Proposal seminar on Multi-touch Table User Interfaces for Collaborative Visual Software Analytics.
18 Apr 2010 - 13:36 in Seminar
Manual Alcino Cunha gave a seminar on An Algebraic Approach to Bidirectional Model Transformations.
18 Apr 2010 - 13:34 in Seminar
Werner Heijstek gave a seminar on Software Design in Global Development.
18 Apr 2010 - 13:32 in Seminar
Sven Hartmann gave a seminar on Chasing after Potential Secrets in Relational Databases.
18 Apr 2010 - 13:30 in Seminar
Philippe Kruchten gave a seminar on Software Architecture Knowledge Management
01 Mar 2010 - 22:37 in Seminar
MarkMoir gave a seminar on "Experience with and Potential of Hardware Transactional Memory". I will briefly summarise our experience with the Hardware Transactional Memory (HTM) feature of Sun's multicore processor code named Rock. This experience has demonstrated significant potential in making it easier to construct concurrent data structures that are scalable, efficient, and correct, but also a number of limitations that prevent us from exploiting the full power of HTM. In the second half of the talk, I will focus on the potential of HTM by considering how it can be used to simplify various concurrent algorithms. The goal of this work has been to explore the assumptions needed about an HTM feature in order to exploit it in various contexts. We hope these observations will help guide designers of future HTM features. Bio: Mark Moir is a Distinguished Engineer a Sun Microsystems, and is the Principal Investigator of the Scalable Synchronization Research Group at Sun Labs. Moir received the B.Sc. (Hons.) degree in Computer Science from Victoria University of Wellington, New Zealand in 1988, and the Ph.D. degree in Computer Science from the University of North Carolina at Chapel Hill, USA in 1996. From August 1996 until June 2000, he was an assistant professor in the Department of Computer Science at the University of Pittsburgh, after which he joined Sun Labs.
24 Feb 2010 - 10:56 in Seminar
James Skene who is a post-doc with John Hosking at the University of Auckland gave a seminar on "Descript, a declarative, object-oriented modelling language". Abstract Software engineering, or the act of producing software, involves capturing decisions and domain knowledge in abstractions. Ultimately, the programs that we write are abstractions, or models, of their every possible execution. But, in the course of writing a program we may also develop other abstractions, such as domain models, class hierarchies, interfaces, domain-specific representations etc. Ideally, once we have captured some knowledge in an abstraction, we would prefer to reuse that abstraction in other projects, rather than go to the effort of redeveloping it. But, it seems to be difficult to keep track of what artifacts mean over time, and to separate interesting abstractions from non-interesting, project specific ones. In my talk I will discuss Descript, a language that I am developing with funding from the FRST. Descript is an attempt at a language that will allow software engineers to capture abstractions in such a way that their meaning is clear, retained over time, easy to extract, relatively untainted by quotidian detail, and at the same time still useful. It is object-oriented in the sense that it models objects and relationships in the real world. It is declarative in the sense that it has no primitives for modelling actions. Descript is intended to be useful for programming, modelling and metamodelling. It is also intended to address some perceived deficiencies in existing technologies in the model-driven engineering sphere, such as UML, MOF and OCL.
18 Feb 2010 - 19:47 in Seminar
Susan Eisenbach from Imperial College, London, England gave a seminar on "Concurrent Programming: Is there a silver bullet?". February 2010.
09 Dec 2009 - 14:31 in Seminar
24 Sep 2009 - 17:31 in Seminar
Stephen Cheng from Innaworks will talk about the A to Z of building a compiler, focusing on everything but the program analysis and optimizations. Stephen will try to cover garbage collection, multi-threading, run-time-library architectural choices, platform specific optimizations, specialized tools developed in-house for building a compiler (such as for debugging run-time library, or profiling etc). He will also talk a little on how code analysis/code generation interact with some of the above topics. Details: Friday, 25th of September, 2009 at 11am in CO216.
18 Sep 2009 - 00:48 in Seminar
14 Sep 2009 - 17:21 in Seminar
Andrew Craik from the Parallelism Research Group at the Microsoft Queensland University of Technology e-Research Centre gave a school seminar on Using ownership to reason about inherent parallelism in object-oriented programs. Andrew stayed for a week and had meetings with various people here working on programming languages and ownership.
14 Sep 2009 - 17:13 in Seminar
|StuartMarshall presented Don't Mention the 'A' Word: Agile Undercover at the Agile Conference, August 2009|
|SivaDorairaj attended the Agile Conference, August 2009|
|DianeStrode from SIM gave her PhD proposal seminar on Coordination in Agile Software Development Projects, August 2009|
|CraigAnslow visited Unlimited Realities who have developed Fingertapps multi-touch software and gave a seminar at Massey University on his PhD research, July 2009|
|JamesNoble attended a Dagstuhl Seminar on Typing, Analysis and Verification of Heap-Manipulating Program, July 2009|
|RashinaHoda featured in the list of Victoria's Top Scholars of 2008-2009, The Dominion Post, July 2009|
|Game helps kids kick the habit, Rilla Khaled's PhD research, July 2009|
|VipulDelwadia is user testing his RemoteME application for playing mobile games over a server, July 2009|
|StephenNelson started an internship with Google in Munich, July 2009|
|StephenNelson, PaleyLi, and NicholasCameron attended ECOOP, July 2009|
|SimonDoherty successfully defended his PhD, June 2009|
|VipulDelwadia gave a really good demo about his playing mobile games over a server research at the Elvis meeting, June 2009|
|DavidPearce is back from his sabbatical, June 2009|
|Nicholas Erdody gave a talk at our meeting on the Open Source Learning Lab, June 2009|
|AlexPotanin (Ownerhship and Immutability), VipulDelwadia (Remotely controlled applications and games on mobile phones), PetraMalik (COMP 200 Adventure Games in Java), and CraigAnslow (Visualising Java Software) demoed some of their research and teaching at the School Meet and Greet Industry Event, June 2009|
|AngelaMartin gave a school seminar on Programmers are from Mars, Customers are from Venus: A Practical Guide to Working with Customers on Agile Projects, May 2009|
|RillaKhaled, PippinBarr, and AngelaMartin are all graduated with PhDs on 20 May 2009|
|AndrewWalbran, EstherNg, and JeremyShipman graduated with Honours and Andrew was awarded the University Academic Medal for Excellence on 20 May 2009|
|RashinaHoda, KeithCassell and CraigAnslow attended NZCSRSC in Auckland, April 2009|
|NicholasCameron attended ESOP in York, England to present his paper Existential Quantification for Variant Ownership, April 2009|
|NedHorvath talked about "Agile Estimation and Planning" at the Agile Professionals Network, 23 March 2009|
|CraigAnslow talked about "Using Vision to Think with Web Based Information Visualization Tools" at the Wellington Java Users Group, 18 March 2009|
|NealGlew from Intel Research visited from 2 March - 6 March 2009|
|MarkMoir from Sun Microsystems donates a Niagara 2 machine which provides 64 concurrent threads (8 cores, each with 8 concurrent threads) to support teaching of concurrent programming, March 2009|
|Elvis moves into new offices on level 2 of Cotton Building, March 2009|
|NicholasCameron begins his two year post-doc in Elvis working with JamesNoble, Feb 2009|
|DavidPearce begins sabbatical at Imperial College, Feb 2009|
|Members of Elvis helped organise the ACSW 2009 conference, Jan 2009|
|Professor JamesNoble Awarded 'Most Influential Paper' at OOPSLA, Nov 2008|
|Members of Elvis went to Graceland, Oct 2008|
|ChrisLewis left ECS to go to grad school at UCSC, May 2008|
|ElvisBrain switched over to Twiki, May 2008|