UNM CS 591 Spring 2012

Dynamic Knobs for Responsive Power-Aware Computing

Quality of Service Profiling

Automated fixing of programs with contracts

How do fixes become bugs? (Feb. 7)

What a webserver can learn from a zebra and what we learned in the process (Feb. 7)

An Analysis and Survey of the Development of Mutation Testing (Feb. 9)

Mutation testing on an object-oriented framework: An experience report (Feb. 14)

Is Mutation an Appropriate Tool for Testing (Feb. 14)

Dynamics of adaptation and diversification: a 10,000-generation experiment with bacterial populations (Feb. 16)

Historical contingency and the evolution of a key innovation in an experimental population of Escherichia coli (Feb. 21)

From sequences to shapes and back: a case study in RNA secondary structures (Feb. 21)

Software Mutational Robustness and Proactive Diversity (Feb. 23)

Neutral evolution of mutational robustness (Feb. 28)

Mutational robustness can facilitate adaptation (March 1)

Robustness and evolvability: a paradox resolved (March 1)

Degeneracy: a design principle for achieving robustness and evolvability (March 6)

A Systematic Study of Automated Program Repair: Fixing 55 out of 105 bugs for $8.00 each (March 8)

Automatic program repair with evolutionary computation (March 8 background)

Representations and Operators for Improving Evolutionary Software Repair (March 8, optional)

Evolution of digital organisms at high mutation rates leads to survival of the flattest (March 20)

Applying digital evolution to the development of self-adaptive ULS systems (March 20)

Evolution of a modular software network (March 22)

Fitness landscapes and evolvability (March 29)

The Evolution of System Call Monitoring (ACSAC 2008) (March 27)

Adaptive Anomaly Detection via Self-Calibration and Dynamic Updating (RAID 2009) (March 27)

Security Through Diversity: Leveraging Virtual Machine Technology (IEEE S&P 2009) (April 3)

On Achieving Software Diversity for Improved Network Security using Distributed Coloring Algorithms (CCS 2004) (April 3)

Building Diverse Computer Systems (HotOS 1997) (April 3, Background)

Countering network worms through automatic patch generation (IEEE S&P 2005) (April 5)

Automatic patch and signature generation for buffer overflow attacks.(ISSIS, 2006) (April 5, optional)

Enhancing Server Availability and Security Through Failure-Oblivious Computing" (OSDI 2004) (April 10) Assure: automatic software self-healing using rescue points (ASPLOS 2009) (April 10)

Q: Exploit hardening made easy (NDSS 2011) (optional)

On the infeasibility of modeling polymorphic shellcode (April 12)

Darwin inside the machines: Malware evolution and the consequences for computer security (April 17)

Evolutionary computation as an artificial attacker: generating evasion attacks for detector vulnerability testing (April 17)

Mutation Engine Report (April 19)

Polymorphic Viruses: Implementation, Detection, and Protection (April 19)

Space Shuttle Fault Tolerance: Analog and Digital Teamwork (April 19 ?)

The vision of autonomic computing (April 26)

Engineered Robustness by Controlled Hallucination (May 1)

The art of the propagator (May 1)

Pursue robust indefinite scalability (May 3)