Paul Anderson

According to our database1, Paul Anderson
  • authored at least 58 papers between 1987 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 




muPuppet: A Declarative Subset of the Puppet Configuration Language.
Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

A Formal Semantics for the SmartFrog Configuration Language.
J. Network Syst. Manage., 2016

An Operational Semantics for a Fragment of the Puppet Configuration Language.
CoRR, 2016

Feature Engineering Alternatives for Natural Language Phenotype Classifiers.
Proceedings of the AMIA 2016, 2016

Data science as an undergraduate degree.
Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

Formalising Configuration Languages: Why is this Important in Practice?
Proceedings of the 28th Large Installation System Administration Conference, 2014

Accessibility Futures.
Trans. GIS, 2013

Multi-agent Virtual Machine Management Using the Lightweight Coordination Calculus.
Trans. Computational Collective Intelligence, 2013

Constraint-Based Autonomic Reconfiguration.
Proceedings of the 7th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2013

SA-MAC: Self-Stabilizing Adaptive MAC Protocol for Wireless Sensor Networks.
Proceedings of the 33rd International Conference on Distributed Computing Systems Workshops (ICDCS 2013 Workshops), 2013

Choreographing configuration changes.
Proceedings of the 9th International Conference on Network and Service Management, 2013

Planning Configuration Relocation on the BonFIRE Infrastructure.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Measuring the Value of Static-Analysis Tool Deployments.
IEEE Security & Privacy, 2012

Toward Provenance-Based Security for Configuration Languages.
Proceedings of the 4th Workshop on the Theory and Practice of Provenance, 2012

A Declarative Approach to Automated Configuration.
Proceedings of the Strategies, 2012

Multi-agent Negotiation of Virtual Machine Migration Using the Lightweight Coordination Calculus.
Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Empirical metabolite identification via GA feature selection and Bayes classification.
Proceedings of the ACM International Conference on Bioinformatics, 2012

The Cloud Agnostic e-Science Analysis Platform.
IEEE Internet Computing, 2011

Automated Planning for Configuration Changes.
Proceedings of the Past, 2011

Identifying and Implementing the Underlying Operators for Nuclear Magnetic Resonance based Metabolomics Data Analysis.
Proceedings of the ISCA 3rd International Conference on Bioinformatics and Computational Biology, 2011

On managing social data for enabling socially-aware applications and services.
Proceedings of the 3rd Workshop on Social Network Systems, Paris, France, April 13, 2010, 2010

Prometheus: User-Controlled P2P Social Data Management for Socially-Aware Applications.
Proceedings of the Middleware 2010 - ACM/IFIP/USENIX 11th International Middleware Conference, Bangalore, India, November 29, 2010

Fast and Secure Laptop Backups with Encrypted De-duplication.
Proceedings of the Uncovering the Secrets of System Administration: Proceedings of the 24th Large Installation System Administration Conference, 2010

A Study in Hadoop Streaming with Matlab for NMR Data Processing.
Proceedings of the Cloud Computing, Second International Conference, 2010

Guest editorial network infrastructure configuration.
IEEE Journal on Selected Areas in Communications, 2009

Design and Implementation of Augmented Reality Environment for Complex Anatomy Training: Inguinal Canal Case Study.
Proceedings of the Virtual and Mixed Reality, 2009

A Novel Approach to CT Scans' Interpretation via Incorporation into a VR Human Model.
Proceedings of the Digital Human Modeling, 2009

90% Perspiration: Engineering Static Analysis Techniques for Industrial Applications.
Proceedings of the Eighth IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2008), 2008

Managing Real-World System Configurations with Constraints.
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

'All That Glisters Is Not Gold' - Web 2.0 And The Librarian.
JOLIS, 2007

How to Get Your LISA Paper Accepted.
Proceedings of the 21th Large Installation System Administration Conference, 2007

Toward Broad-Spectrum Autonomic Management.
Proceedings of the Sixth International Conference on Networking (ICN 2007), 2007

Subjectivity in Clone Judgment: Can We Ever Agree?.
Proceedings of the Duplication, Redundancy, and Similarity in Software, 23.07., 2006

Gameplay issues in the design of spatial 3D gestures for video games.
Proceedings of the Extended Abstracts Proceedings of the 2006 Conference on Human Factors in Computing Systems, 2006

Gesture-recognition with Non-referenced Tracking.
Proceedings of the IEEE Symposium on 3D User Interfaces, 2006

The Performance Penalty of XML for Program Intermediate Representations.
Proceedings of the 5th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2005), 30 September, 2005

Configuration Tools: Working Together.
Proceedings of the 19th Conference on Systems Administration (LISA 2005), 2005

The CodeSurfer Software Understanding Platform.
Proceedings of the 13th International Workshop on Program Comprehension (IWPC 2005), 2005

Autonomic Management of Large Clusters and Their Integration into the Grid.
J. Grid Comput., 2004

A refactoring tool for Ada 95.
Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, 2004

CodeSurfer/Path Inspector.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Dynamic Reconfiguration for Grid Fabrics.
Proceedings of the 5th International Workshop on Grid Computing (GRID 2004), 2004

Design and Implementation of a Fine-Grained Software Inspection Tool.
IEEE Trans. Software Eng., 2003

Tool Support for Fine-Grained Software Inspection.
IEEE Software, 2003

Embedded Reflection Mapping
CoRR, 2003

Automated System Administration/Infrastructure.
Proceedings of the 17th Conference on Systems Administration (LISA 2003), 2003

SmartFrog Meets LCFG: Autonomous Reconfiguration with Central Policy Control.
Proceedings of the 17th Conference on Systems Administration (LISA 2003), 2003

Flow insensitive points-to sets.
Information & Software Technology, 2002

Flow Insensitive Points-To Sets.
Proceedings of the 1st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 2001

Large Scale Linux Configuration with LCFG.
Proceedings of the 4th Annual Linux Showcase & Conference 2000, 2000

Design of the PowerPC 604e(tm) Microprocessor.
Proceedings of the Forty-First IEEE Computer Society International Conference: Technologies for the Information Superhighway, 1996

STAR: A General Architecture for the Support of Distortion Oriented Displays.
Proceedings of the First International Conference on Knowledge Discovery and Data Mining (KDD-95), 1995

Paragon specifications: Structure, analysis and implementation.
Future Generation Comp. Syst., 1994

Towards a High-Level Machine Configuration System.
Proceedings of the 8th Conference on Systems Administration (LISA 1994), 1994

Paragon Specifications: Structure, Analysis and Implementation.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

The feasibility of a general-purpose parallel computer using WSI.
Future Generation Comp. Syst., 1990

The Feasibility of a General-purpose Parallel Computing using WSI.
Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

COBWEB-2: Structured Specification of a Wafer-Scale Supercomputer.
Proceedings of the PARLE, 1987