ACSW 2012 Programme

Update

CATS Session 2 and CATS Session 6: The following two talks have been swapped, and are now at the times below.

CATS Session 2, Wednesday 4.00, second talk: Ken-Ichi Kawarabayashi and David R. Wood. Cliques in Odd-Minor-Free Graphs
CATS Session 6, Thursday 2.30, second talk: Radwa El Shawi, Joachim Gudmundsson and Christos Levcopoulos. Quickest Path queries on transportation network

Highlights

Overview

TimeMondayTuesdayWednesdayThursdayFriday
 Pre-conference workshops
Doctoral consortium
HoDs & Profs meeting
Main day 1 Main day 2 Main day 3 Post-conference workshops
8.30  
Official Opening
Storey Hall
   
9.00 ACDC
ADC workshop
ACE workshop 1
Keynote: Timo Ropinski
Title: Visual Problem Solving by Combining Vision and Visualization
Storey Hall
Keynote: Michael Kölling
Title: The Future of Educational Programming Tools - What Will Come (Or At Least Should Come)
Storey Hall
Keynote: Manish Parashar
Title: Moving From Data to Insights - Addressing Data Challenges in Simulation-based Science
Storey Hall
CATS Tutorial
ACE workshop 4
ACE workshop 5
10.00
Morning Tea
10.30ACDC
ADC workshop
ACE workshop 1
AISC Session 1
ADC Session 1
ACSC Session 1
AUIC Session 1
ACE Session 3
ADC Session 3
ACSC Session 5
HIKM Session 1
ACE Workshop 3
ADC Session 8
CATS Session 4
AusPDC Session 1
CATS Tutorial
ACE workshop 4
ACE workshop 5
11.30ACDC
ADC workshop
ACE workshop 1
HoDs meeting (from 12.00)
AISC Session 2
ADC Session 2
ACSC Session 2
AUIC Session 2
ACE Session 4
ADC Session 4
APCCM Session 1
HIKM Session 2
ACE Workshop 3
APCCM Session 4
CATS Session 5
AusPDC Session 2
CATS Tutorial
ACE workshop 4
ACE workshop 5
12.30
Lunch
Lunch
Lunch
Lunch
ACSW Chairs Meeting
Lunch
1.30ACDC
ADC workshop
ACE workshop 2
HoDs meeting
Invited Talk: Warwick Irwin
Title: It's all academic, anyway; reflections on teaching software engineering
Storey Hall
Invited Talk: Daniel Frampton
Title: Abstraction Without Guilt: High-level low-level programming
Storey Hall
CORE & ACDICT Discussion
Research Challenges in ICT
Aditya Ghose, Leon Sterling, Philip Ogunbona
Storey Hall
CATS Tutorial
ACE workshop 4
ACE workshop 5
2.30ACDC
ADC workshop
ACE workshop 2
HoDs meeting
ERA Discussion
Tom Gedeon, President of CORE
Storey Hall
ACE Session 5
ADC Session 5
CATS Session 1
HIKM Session 3
ACE Workshop 3
APCCM Session 5
CATS Session 6
AusPDC Session 3
CATS Tutorial
ACE workshop 4
ACE workshop 5
3.30
Afternoon Tea
4.00ACDC
ADC workshop
ACE workshop 2
ACE Session 1
AISC Session 3
ACSC Session 3
AUIC Session 3
ACE Session 6
ADC Session 6
CATS Session 2
APCCM Session 2
Closing
Storey Hall
CATS Tutorial
ACE workshop 4
ACE workshop 5
5.00ACDC
ADC workshop
ACE workshop 2
ACE Session 2
AISC Session 4
ACSC Session 4
AUIC Session 4
ACE Session 7
ADC Session 7
CATS Session 3
APCCM Session 3
CATS Tutorial
ACE workshop 4
ACE workshop 5
6.00 
Reception
'Green Brain', Upper Storey Hall
ACM SIGCSE Australian Chapter Business Meeting    
7.30   
Dinner
Heirloom Restaurant
131 Bourke Street, Melbourne Map

Daily Details

All conference venues will be within the Storey Hall building, either in the main auditorium (level 5) or in the seminar and `Green Brain' rooms on level 7. Please note that a specification such as 'Seminar rooms 1&2' is not a mistake, as this is a space made up of two smaller rooms. This will make sense once you arrive at the specified rooms, if not before (as will the reference to the 'Green Brain' :-))

Monday 30th January

TimeGreen Brain 1
Level 7, Storey Hall
Green Brain 2
Level 7, Storey Hall
Seminar Rooms 1& 2
Level 7, Storey Hall
Seminar Rooms 3&4
Level 7, Storey Hall
9.00 Doctoral Consortium ADC workshopACE workshop 1 
10.00
Morning Tea
10.30Doctoral Consortium ADC workshop ACE workshop 1
11.30Doctoral Consortium ADC workshop ACE workshop 1 HoDs meeting (12-4)
12.30
Lunch
1.30Doctoral Consortium ADC workshopACE workshop 2HoDs meeting
2.30Doctoral Consortium ADC workshopACE workshop 2HoDs meeting
3.30
Afternoon Tea
4.00Doctoral Consortium ADC workshopACE workshop 2 
5.00Doctoral Consortium ADC workshopACE workshop 2 

Tuesday 31st January

Time
Events
8.30
Official Opening & Awards
Storey Hall, main auditorium (level 5)
9.00
Keynote: Timo Ropinski
Title: Visual Problem Solving by Combining Vision and Visualization
Chair: Mark Reynolds
Storey Hall, main auditorium (level 5)
10.00
Morning Tea
10.30 AISC Session 1
Room: Seminar Rooms 1&2 Chair: Clark Thomborson

Peter Hyun-Jeen Lee, Udaya Parampalli and Shivaramakrishnan Narayan, Efficient Identity-based Signcryption without Random Oracles

Vorapong Suppakitpaisarn, Masato Edahiro and Hiroshi Imai Fast Elliptic Curve Cryptography Using Minimal Weight Conversion of d Integers

Ali Alhamdan, Harry Bartlett, Leonie Simpson, Ed Dawson, Kenneth Koon-Ho Wong State convergence in the initialisation of the Sfinks stream cipher
ADC Session 1: Invited talk
Room: Green Brain 1 Chair: Alan Fekete

Yufei Tao. Beyond Heuristics: I/O-oriented Algorithms and Structures with Performance Guarantees
ACSC Session 1
Room: Seminar Rooms 3&4 Chair: Burkhard Wunsche

Toshinori Sato, Hideki Mori, Rikiya Yano and Takanori Hayashida Importance of Single-Core Performance in the Multicore Era

Bradley Alexander, Sean Donnellan, Andrew Jeffrey, Travis Olds and Nicholas Sizer Boosting Instruction Set Simulator Performance with Parallel Block Optimisation and Replacement

Denghui Liu and Jinli Cao FEAS: A full-time event aware scheduler for improving responsiveness of virtual machines
AUIC Session 1
Room: Green Brain 2 Chair: Michael Marner

Chris J. Pilgrim Website Navigation Tools - A Decade of Design Trends 2002 to 2011

Rohan McAdam, Keith Nesbitt Leveraging Human movement in the Ultimate Display

Jonathon Grantham, Elizabeth Grantham, David Powers Website accessibility: An Australian view
11.30 AISC Session 2
Room: Seminar Rooms 1&2 Chair: Clark Thomborson

Mohammad Ali Orumiehchiha, Josef Pieprzyk and Ron Steinfeld Cryptanalysis of RC4-Based Hash Function

Kenneth Radke, Colin Boyd, Juan Gonzalez Nieto and Margot Brereton Towards a Secure Human-and-Computer Mutual Authentication Protocol
ADC Session 2: Best papers of ADC 2012
Room: Green Brain 1 Chair: Rui Zhang

Chuanfei Xu, Yanqiu Wang, Yu Gu, Shukuan Lin and Ge Yu. Optimal k-Constraint Coverage Queries on Spatial Objects

Jianzhong Qi, Zhenghua Xu, Yuan Xue and Zeyi Wen. An Efficient Method for Min-dist Location Selection

Boliang Feng, Jiaheng Lu, Yongluan Zhou and Nan Yang. Energy Efficiency for MapReduce Workloads: An In-depth Study
ACSC Session 2
Room: Seminar Rooms 3&4 Chair: Mark Reynolds

Lee Naish Declarative Diagnosis of Floundering in Prolog

Nicholas Downing, Thibaut Feydy and Peter Stuckey Explaining alldifferent

Paul Bailes ERA Challenges for Australian University ICT
AUIC Session 2
Room: Green Brain 2 Chair: Michael Marner

Tim M. Simon, Ross T. Smith, Bruce Thomas, Stewart Von Itzstein, Mark Smith, Joonsuk Park, Jun Park Merging Tangible Buttons and Spatial Augmented Reality to Support Ubiquitous Prototype Designs

Gabriel Hartmann, Burkhard C. Wunsche A Virtual Touchscreen with Depth Recognition

Reece George, Keith Nesbitt, Michael Donovan, John MaynardEvaluating Indigenous Design Features Using Cultural Dimensions
12.30
Lunch
1.30
CORE Teaching Award Winner: Warwick Irwin
Title: It's all academic, anyway; reflections on teaching software engineering
Chair: Simon (TBC)
Storey Hall, main auditorium (level 5)
2.30
ERA Discussion
Chair: Tom Gedeon
Storey Hall, main auditorium (level 5)
3.30
Afternoon Tea
4.00 ACE Session 1: Gender and work integrated learning
Room: Seminar Rooms 1&2 Chair: Michael de Raadt

Tony Koppi, Madeleine Roberts and Golshah Naghdy. Perceptions of a gender-inclusive curriculum amongst Australian Information and Communications Technology

Madeleine Roberts, Tanya Mcgill and Peter Hyland. Attrition from Australian ICT Degrees -- Why Women Leave

Chris Pilgrim and Tony Koppi. Work Integrated Learning Rationale and Practices in Australian Information and Communications Technology Degrees
AISC Session 3
Room: Green Brain 1 Chair: Josef Pieprzyk

Younes Seifi, Suriadi Suriadi, Ernest Foo and Colin Boyd Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets

Chris Mills, Colin J. Fidge and Diane Corney Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device

Christopher Doble, Colin J. Fidge and Diane Corney Data Flow Analysis of Embedded Program Expressions
ACSC Session 3
Room: Green Brain 2 Chair: Chris McDonald

Lee Naish, Kotagiri Ramamohanarao and Hua Jie Lee Spectral debugging: How much better can we do?

Jens Dietrich, Catherine Mccartin, Ewan Tempero and Syed Ali Shah On the Existence of High-Impact Refactoring Opportunities in Programs

Jasbir Dhaliwal, Simon J. Puglisi and Andrew Turpin Trends in Suffix Sorting: A Survey of Low Memory Algorithms
AUIC Session 3
Room: Seminar Rooms 3&4 Chair: Stewart Von Itzstein

Ivan K. Y. Li, Edward M. Peek, Burkhard C. Wunsche, Christof Lutteroth Enhancing 3D Applications Using Stereoscopic 3D and Motion Parallax

Li Guan, Burkhard C. WunscheAn Evaluation of a Sketch-Based Model-by-Example Approach for Crowd Modelling

Ewald T. A. Mass, Michael R. Marner, Ross T. Smith, Bruce H. Thomas Supporting Freeform Modelling in Spatial Augmented Reality Environments with a New Deformable Material
5.00 ACE Session 2: Novice Programming
Room: Seminar Rooms 1&2 Chair: Michael de Raadt

Raina Mason, Graham Cooper and Michael de Raadt. Trends in Introductory Programming Courses in Australian Universities -- Languages, Environments and Pedgogy

Minjie Hu, Michael Winikoff and Stephen Cranefield. Teaching Novice Programming Using Goals and Plans in a Visual Notation

Raymond Lister, Malcolm Corney, James Curran, Daryl D'Souza, Colin Fidge, Richard Gluga, Margaret Hamilton, James Harland, James Hogan, Judy Kay, Tara Murphy, Mike Roggenkamp, Judy Sheard, Simon and Donna Teague. Toward a Shared Understanding of Competency in Programming: An Invitation to the BABELnot Project
AISC Session 4
Room: Green Brain 1 Chair: Josef Pieprzyk

Christophe Hauser, Frederic Tronel, Jason Reid, Colin Fidge A taint marking approach to confidentiality violation detection

Kaleb Lee, Juan Manuel Gonzalez Nieto and Colin Boyd Improving the Efficiency of RFID Authentication with Pre-Computation
ACSC Session 4
Room: Confernence Room 2 Chair: Alex Potanin

Bing Xue, Mengjie Zhang and Will N. Browne Single Feature Ranking and Binary Particle Swarm Optimisation Based Feature Subset Ranking for Feature Selection

Qiao Shi, Andy Song, Thach Nguyen and Arnan Mitchell Evolutionary Design of Optical Waveguide with Multiple Objectives
AUIC Session 4: Poster Descriptions
Room: Seminar Rooms 3&4 Chair: Stewart Von Itzstein

Annika Hinze, Knut Muller, George Buchanan Service History: The Challenges of the 'Back button' in Mobile Context-aware Systems

Jonathon Grantham, Cullen Habel An investigation of factors driving virtual communities

Yorie Nakahira, Minoru Nakayama Feasibility of Computational Estimation of Task-Oriented Visual Attention

Tim M. Simon, Ross T. Smith Magnetic Substrate for use with Tangible Spatial Augmented Reality in Rapid Prototyping Workflows

Samuel J. O'Malley, Ross T. Smith and Bruce H. Thomas Data Mining Office Behavioural Information from Simple Sensors
6.00
Reception

Wednesday 1st February

Time
Events
9.00
Keynote: Michael Kölling
Title: The Future of Educational Programming Tools - What Will Come (Or At Least Should Come)
Chair: Angela Carbone
Storey Hall, main auditorium (level 5)
10.00
Morning Tea
10.30 ACE Session 3: Programming exams + Computing Education Research 1
Room: Green Brain 1 Chair: Simon

Simon, Judy Sheard, Angela Carbone, Donald Chinn, Mikko-Jussi Laakso, Tony Clear, Michael de Raadt, Daryl D'Souza, Raymond Lister, Anne Philpot, James Skene and Geoff Warburton. Introductory programming: examining the exams

Michael de Raadt. Student Created Cheat-Sheets in Examinations: Impact on Student Outcomes

Malcolm Corney, Donna Teague, Alireza Ahadi and Raymond Lister. Some Empirical Results for Neo-Piagetian Reasoning in Novice Programmers and the Relationship to Code Explanation Questions
ADC Session 3: Invited talk
Room: Seminar Rooms 1&2 Chair: Yanchun Zhang

Hua Wang. Security and Privacy for Database Systems
ACSC Session 5
Room: Seminar Rooms 3&4 Chair: Andrew Turpin

Mahdi Parsa and Vlad Estivill-Castro On the parameterized complexity of dominant strategies

Feng Xie, Andy Song and Vic Ciesielski Learning Time Series Patterns by Genetic Programming

Mark Wittkamp, Luigi Barone, Phil Hingston and Lyndon While Real-time Evolutionary Learning of Cooperative Predator-Prey Strategies
HIKM Session 1
Room: Green Brain 2 Chair: Kathleen Gray

Fernando Martin-Sanchez HIKM 2012 Opening Address: Knowledge Management in Biomedical Translational Research

Emilia Bellucci, Sitalakshmi Venkatraman, Nial Muecke, Andrew Stranieri, Jemal Abawajy The Role of Emotional Intelligence on the Resolution of Disputes Involving the Electronic Health Record

Patrick Davis-Desmond, Diego Molla Detection of Evidence in Clinical Research Papers
 
11.30 ACE Session 4: Room: Green Brain 1 Chair: Simon

Programming exams + Computing Education Research 2
Donna Teague, Malcolm Corney, Alireza Ahadi and Raymond Lister. Swapping as the "Hello World" of Relational Reasoning: Replications, Reflections and Extensions

Mats Daniels and Arnold Pears. Models and Methods for Computing Education Research

Neena Thota, Anders Berglund and Tony Clear. Illustration of Paradigm Pluralism in Computing Education Research
ADC Session 4: Data streams and XML
Room: Seminar Rooms 1&2 Chair: Jiaheng Lu

Muhammad Asif Naeem, Gillian Dobbie and Gerald Weber. Optimised X-HYBRIDJOIN for Near-Real-Time Data Warehousing

Stefan Bottcher, Rita Hartel and Steffen Weber. Efficient String-Based XML Stream Prefiltering

Stefan Bottcher, Rita Hartel and Stefan Heindorf. Optimized XPath evaluation for Schema-compressed XML data
APCCM Session 1: Industrial Keynote
Room: Seminar Rooms 1&2 Chair: Aditya Ghose

Srinivas Padmanabhuni. Working Software Engineering Modeling Paradigms for Service-Process Architectures: Practitioner Perspectives
HIKM Session 2
Room: Green Brain 2 Chair: Kathleen Gray

Jaspaljeet Singh Dhillon, Czarina Ramos, Burkhard C. Wunsche, Christof Lutteroth Evaluation of Web 2.0 Technologies for Developing Online Telehealth Systems

Yulong Gu, Jim Warren, Karen Day, Malcolm Pollock, Sue White Achieving Acceptable Structured eReferral Forms

Khairul A. Kasmiran, Albert Y. Zomaya, Ali Al Mazari, Roger J. Garsia A Bayesian Analysis on Historical Clinical Data Concerning Treatment Change for HIV/AIDS Patients
 
12.30
Lunch
1.30
CORE PhD Award Winner: Daniel Frampton
Title: Abstraction Without Guilt: High-level low-level programming
Chair: David Abramson
Storey Hall, main auditorium (level 5)
2.30 ACE Session 5: Tools
Room: Seminar Rooms 1&2 Chair: Judy Sheard

Zouheir Trabelsi. Switch's CAM Table Poisoning Attack: Hands-on Lab Exercises for Network Security Education

Ali Saleh Alammary, Angela Carbone and Judy Sheard. Implementation of smart lab for novice programmers

Silviu Risco and James Reye. Evaluation of an Intelligent Tutoring System used for Teaching RAD in a Database Environment

ADC Session 5: Invited Talk
Room: Green Brain 1 Chair: Rui Zhang

Geoff Webb. Discovering Associations in High-dimensional Data
CATS Session 1
Room: Green Brain 2 Chair: Julian Mestre

Yung Tsin. Decomposing a Multigraph into Split Components

Cong Zhang and Hiroshi Nagamochi. The Next-to-Shortest Path in Undirected Graphs with Nonnegative Weights

Tadao Takaoka. Efficient Algorithms for the All Pairs Shortest Path Problem with Limited Edge Costs
HIKM Session 3
Room: Seminar Rooms 3&4 Chair: Kathleen Gray

Razan Paul, Tudor Groza, Jane Hunter Inducing and Storing Generalised Evidences using Semantic Web Formalisms

Lua Perimal-Lewis, Shaowen Qin, Campbell Thompson, Paul Hakendorf Gaining Insight from Patient Journey Data using a Process-Oriented Analysis Approach

Shahadat Uddin, Liaquat Hossain Effects of Physician Collaboration Network on Hospital Outcomes
3.30
Afternoon Tea
4.00 ACE Session 6: Pedagogy 1
Room: Seminar Rooms 1&2 Chair: Angela Carbone

Joel Fenwick and Peter Sutton. Using Quicksand to Improve Debugging Practice in Post-Novice Level Students

Richard Gluga, Raymond Lister, Judy Kay, Tim Lever and Sabina Kleitman. Coming to terms with Bloom: an online tutorial for teachers of programming fundamentals

Sally Firmin, Judy Sheard, Angela Carbone and John Hurst. An exploration of factors influencing tertiary IT educators' pedagogies
ADC Session 6: Management of Social media
Room: Seminar Rooms 3&4 Chair: Zhen He

Zhao Zhang, Weining Qian and Aoying Zhou. Towards Efficiently Search Experts by Integrating Social Networks and Contents in Social Media

Hao Zhong and Ying Zhou. Combining Content and Quality Indicators in Ranking Ambiguous Query Results On Flickr

Zhixin Zhou, Xiuzhen Zhang and Phil Vines. Sentiment classification of blog posts using topical extracts
CATS Session 2
Room: Green Brain 1 Chair: Julian Mestre

Franz J. Brandenburg. On the Curve Complexity of Upward Planar Drawings

Change: Ken-Ichi Kawarabayashi and David R. Wood. Cliques in Odd-Minor-Free Graphs

Pavel Valtr. On empty pentagons and hexagons in planar point sets
[This paper will be presented by David Wood]
APCCM Session 2: Invited Talk
Room: Green Brain 2 Chair: Aditya Ghose

Sebastian Link. Armstrong databases: validation, communication and consolidation of conceptual models with perfect test data.
5.00 ACE Session 7: Pedagogy 2
Room: Seminar Rooms 1&2 Chair: Angela Carbone

Angela Carbone and Jason Ceddia. Common Areas for Improvement in ICT Units that have Critically Low Student Satisfaction

Judy Sheard and Martin Dick. Dimensions and Directions for Strategies to Address IT Students' Cheating and Plagiarism Practices

Raina Mason and Graham Cooper. Why the Bottom 10% Just Can't Do It - Mental Effort Measures and Implications for Introductory Programming Courses
ADC Session 7: Web data analysis
Room: Seminar Rooms 3&4 Chair: Geoff Webb

Md Saiful Islam, Chengfei Liu and Rui Zhou. On Modeling Query Refinement by Capturing User Intent through Feedback
Fahad Alahmari, James Thom, Liam Magee and Wilson Wong. Evaluating Semantic Browsers for Consuming Linked Data

Jens Dietrich and Catherine Mccartin. Scalable Motif Detection and Aggregation
CATS Session 3
Room: Green Brain 1 Chair: Julian Mestre

Lee Naish, Harald Sondergaard and Benjamin Horsfall. Logic Programming: From Underspecification to Undefinedness

Meena Mahajan, Nitin Saurabh and Karteek Sreenivasaiah. Counting paths in planar width 2 branching programs

Chuzo Iwamoto, Kento Sasaki and Kenichi Morita. Computational Complexity of String Puzzles
APCCM Session 3: Contributed Papers
Room: Green Brain 2 Chair: Sebastian Link

Ove Sorensen, Bernhard Thalheim, Qing Wang. A conceptual justification for model transformations.

Christian Kop. Checking feasible completeness of domain models with natural language queries.
6.00ACM SIGCSE Australian Chapter Business Meeting
Room: Seminar Rooms 1&2
   
7.30
Dinner
Heirloom Restaurant, 131 Bourke Street, Melbourne
Map (about 10 minutes walk from Storey Hall)

Thursday 2nd February

Time
Events
9.00
Keynote: Manish Parashar
Title: Moving From Data to Insights - Addressing Data Challenges in Simulation-based Science
Chair: Jinjun Chen
Storey Hall, main auditorium (level 5)
10.00
Morning Tea
10.30 ACE Workshop 3
Road testing the Peer Assisted Teaching Scheme
Room: Seminar Rooms 3&4
ADC Session 8
Spatial databases and OLAP
Room: Green Brain 1 Chair: Falk Scholer

Wendy Osborn and Annika Hinze. TIP Spatial Index: Efficient Access to Digital Libraries in a Context-Aware Mobile System

Yang Yang and Jinli Cao. Feature-based recommendation framework on OLAP

Bela Stantic, Justin Terry and Abdul Sattar. Efficient Management of Multidimensional Data
CATS Session 4
Room: Seminar Rooms 1&2 Chair: Julian Mestre

Kewen Liao and Hong Shen. Approximating The Reliable Resource Allocation Problem Using Inverse Dual Fitting

Naonori Kakimura and Mizuyo Takamatsu. Matching Problems with Delta-Matroid Constraints

Toshihiro Fujito and Takamasa Sakamaki. How to guard a graph against tree movements
AusPDC Session 1
Room: Green Brain 2 Chair: Rajiv Ranjan

Johann Steinbrecher and Weijia Shang On supernode transformations and multithreading for the longest common subsequence problem

Ken Hawick and Daniel Playne Hard-Sphere Collision Simulations with Multiple GPUs, PCIe Extension Buses and GPU-GPU Communications

Michael J. Dinneen, Masoud Khosravaniand Kuai Wei A Comparative Study of Parallel Algorithms for the Girth Problem
11.30 ACE Workshop 3
Road testing the Peer Assisted Teaching Scheme
Room: Seminar Rooms 3&4
APCCM Session 4: Contributed Papers
Room: Green Brain 1 Chair: Aditya Ghose

Marwane El Kharbili. Business process regulatory compliance management solution frameworks: a comparative evaluation.

Lina Azleny Kamaruddin, Jun Shen, Ghassan Beydoun. Evaluating usage of WSMO and OWL-S in semantic web services. (Early innovation paper).
CATS Session 5
Room: Seminar Rooms 1&2 Chair: Julian Mestre

Martin Olsen. On Defining and Computing Communities

Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen. Weak-Heap Family of Priority Queues in Theory and Praxis

Aniruddh Gandhi, Bakhadyr Khoussainov and Jiamou Liu. Solving infinite games on trees with back-edges
AusPDC Session 2
Room: Green Brain 2 Chair: Rajiv Ranjan

John Eblen, Gary Rogers, Charles Phillips and Michael A. Langston The Use of Fast Approximate Graph Coloring to Enhance Exact Parallel Algorithm Performance

Xiao Liu, Yun Yang, Dahai Cao, Dong Yuan and Jinjun Chen Managing Large Numbers of Business Processes with Cloud Workflow Systems
12.30
Lunch
ACSW Chairs Meeting in Green Brain 1
1.30
CORE & ACDICT Discussion on Research Challenges in ICT
Aditya Ghose, Leon Sterling, Philip Ogunbona
Storey Hall, main auditorium (level 5)
2.30 ACE Workshop 3
Road testing the Peer Assisted Teaching Scheme
Room: Seminar Rooms 3&4
APCCM Session 5: Industry Session
Room: Green Brain 1 Chair: Aditya Ghose
CATS Session 6
Room: Green Brain 2 Chair: Julian Mestre

Toshimasa Ishii. Augmenting Outerplanar Graphs to Meet Diameter Requirements

Change: Radwa El Shawi, Joachim Gudmundsson and Christos Levcopoulos. Quickest Path queries on transportation network

Yuichi Asahiro, Jesper Jansson, Eiji Miyano and Hirotaka Ono. Upper and Lower Degree Bounded Graph Orientation with Minimum Penalty
AusPDC Session 3
Room: Seminar Rooms 1&2 Chair: Jinjun Chen

Jiri Jaros, Bradley E. Treeby and Alistair P. Rendell Use of Multiple GPUs on Shared Memory Multiprocessors for Ultrasound Propagation Simulations

Mahmoud Mesbah, Jefferson Tan, Majid Sarvi and Fatemeh Karimirad Scaling Up Transit Priority Modeling using High Throughput Computing
3.30
Afternoon Tea
4.00
Closing
Storey Hall, main auditorium (level 5)

Friday 3rd February

TimeSeminar Room 1Seminar Room 2Seminar Rooms 3&4
9.00 ACE Workshop 4 ACE Workshop 5 CATS Tutorial
10.00
Morning Tea
10.30ACE Workshop 4 ACE Workshop 5 CATS Tutorial
11.30ACE Workshop 4 ACE Workshop 5 CATS Tutorial
12.30
Lunch
1.30ACE Workshop 4 ACE Workshop 5 CATS Tutorial
2.30ACE Workshop 4 ACE Workshop 5 CATS Tutorial
3.30
Afternoon Tea
4.00ACE Workshop 4 ACE Workshop 5 CATS Tutorial
5.00ACE Workshop 4 ACE Workshop 5 CATS Tutorial

Keynotes

Speaker: Timo Ropinski
Title: Visual Problem Solving by Combining Vision and Visualization
9.00am Tuesday 31st January, Storey Hall, main auditorium (level 5)
Abstract: Analyzing and interpreting imaging data is crucial for many disciplines in science, such as medicine or biology. In the past, two trends could be observed which helped to deal with the challenges involved in the image analysis process. On the one hand, advanced computer vision and image processing algorithms have been applied in order to extract information directly from the data. On the other hand, visualization algorithms have been exploited, which generate expressive representations of the data that allow the user to extract the relevant information by forming a mental model. Both approaches benefit from different capabilities. When applying computer vision based techniques, high throughput computing can be facilitated, while visualizations allow to exploit the robust pattern recognition capabilities of the human observer. While computing is performed with high accuracy and speed, visualization allows to better cope with noise as well as uncertainty and can also facilitate domain knowledge in a more direct way. In this talk synergies between the two approaches will be presented. Therefore, compute capabilities and observe capabilities will be delineated, and it will be shown how the combination of these allow a more effective knowledge extraction from imaging data. The discussed concepts will be demonstrated with several examples from different compute intensive disciplines.

Speaker: Michael Kölling
Title: The Future of Educational Programming Tools - What Will Come (Or At Least Should Come)
9.00am Wednesday 1st February, Storey Hall, main auditorium (level 5)
Abstract: This talk contains no facts. It is made up entirely of my speculations and opinions about what will (or should) happen in the near future of our discipline: Computer Science Education. Since my own personal background is in the area of educational software tools, much of it will be commentary on and speculation about the future of software tools. However, I will not let my potential ignorance of other topics stop me from making comments on the wider discipline. Since I am no more psychic than the average person in the audience, I might be completely wrong with any predictions, and this talk might come down to no more than a collection of unprovable opinions. However, even if people disagree with most of what I say, I hope that many get at least some enjoyment out of their disagreement.

Speaker: Manish Parashar
Title: Moving From Data to Insights - Addressing Data Challenges in Simulation-based Science
9.00am Thursday 2nd February, Storey Hall
Abstract: Data-related concerns are quickly dominating computational and data-enabled sciences, and are limiting the potential impact of end-to-end coupled application formulations enabled by current high-performance distributed computing environments. These data-intensive application workflows present significant data management, transport and processing challenges, involving dynamic coordination, interactions and data-coupling between multiple application process that run at scale on different high performance resources, and with services for monitoring, analysis and visualization and archiving. In this presentation I will explore the data grand challenges of simulation-based science application workflows and investigate how solutions based on managed data pipelines based on in-memory data-staging, in-situ placement and execution, and in-transit data processing can be used to address some of these data challenges at petascale and beyond.

Invited Talks

Speaker: Warwick Irwin
Title: It's all academic, anyway; reflections on teaching software engineering
1.30pm Tuesday 31st January, Storey Hall, main auditorium (level 5)
Abstract: This talk describes innovations and experiments with teaching software engineering, salted with complaints about university teaching culture and formulaic teaching practices. Experiences with a collaborative, student-led alternative to traditional lectures are discussed, along with assessment approaches that provide more valuable feedback and better learning opportunities.

Speaker: Daniel Frampton
Title: Abstraction Without Guilt: High-level low-level programming
1.30pm Wednesday 1st February, Storey Hall
Abstract: High-level languages come with the promise of increased productivity, reliability and security. However, implementations of these languages typically build on the shaky foundation of low-level languages, undermining their promise of security and reliability benefits. In this talk I show that there is a better way--high-level low-level programming--and that this technique will become increasingly important for future programming language implementations.

ACE Sessions

ACE Session 1: Gender and work integrated learning
Tony Koppi, Madeleine Roberts and Golshah Naghdy. Perceptions of a gender-inclusive curriculum amongst Australian Information and Communications Technology
Madeleine Roberts, Tanya Mcgill and Peter Hyland. Attrition from Australian ICT Degrees -- Why Women Leave
Chris Pilgrim and Tony Koppi. Work Integrated Learning Rationale and Practices in Australian Information and Communications Technology Degrees
ACE Session 2: Novice Programming
Raina Mason, Graham Cooper and Michael de Raadt. Trends in Introductory Programming Courses in Australian Universities -- Languages, Environments and Pedgogy
Minjie Hu, Michael Winikoff and Stephen Cranefield. Teaching Novice Programming Using Goals and Plans in a Visual Notation
Raymond Lister, Malcolm Corney, James Curran, Daryl D'Souza, Colin Fidge, Richard Gluga, Margaret Hamilton, James Harland, James Hogan, Judy Kay, Tara Murphy, Mike Roggenkamp, Judy Sheard, Simon and Donna Teague. Toward a Shared Understanding of Competency in Programming: An Invitation to the BABELnot Project
ACE Session 3: Programming exams + Computing Education Research 1
Simon, Judy Sheard, Angela Carbone, Donald Chinn, Mikko-Jussi Laakso, Tony Clear, Michael de Raadt, Daryl D'Souza, Raymond Lister, Anne Philpot, James Skene and Geoff Warburton. Introductory programming: examining the exams
Michael de Raadt. Student Created Cheat-Sheets in Examinations: Impact on Student Outcomes
Malcolm Corney, Donna Teague, Alireza Ahadi and Raymond Lister. Some Empirical Results for Neo-Piagetian Reasoning in Novice Programmers and the Relationship to Code Explanation Questions
ACE Session 4: Programming exams + Computing Education Research 2
Donna Teague, Malcolm Corney, Alireza Ahadi and Raymond Lister. Swapping as the "Hello World" of Relational Reasoning: Replications, Reflections and Extensions
Mats Daniels and Arnold Pears. Models and Methods for Computing Education Research
Neena Thota, Anders Berglund and Tony Clear. Illustration of Paradigm Pluralism in Computing Education Research
ACE Session 5: Tools
Zouheir Trabelsi. Switch's CAM Table Poisoning Attack: Hands-on Lab Exercises for Network Security Education
Ali Saleh Alammary, Angela Carbone and Judy Sheard. Implementation of smart lab for novice programmers
Silviu Risco and James Reye. Evaluation of an Intelligent Tutoring System used for Teaching RAD in a Database Environment
ACE Session 6: Pedagogy 1
Joel Fenwick and Peter Sutton. Using Quicksand to Improve Debugging Practice in Post-Novice Level Students
Richard Gluga, Raymond Lister, Judy Kay, Tim Lever and Sabina Kleitman. Coming to terms with Bloom: an online tutorial for teachers of programming fundamentals
Sally Firmin, Judy Sheard, Angela Carbone and John Hurst. An exploration of factors influencing tertiary IT educators' pedagogies
ACE Session 7: Pedagogy 2
Angela Carbone and Jason Ceddia. Common Areas for Improvement in ICT Units that have Critically Low Student Satisfaction
Judy Sheard and Martin Dick. Dimensions and Directions for Strategies to Address IT Students' Cheating and Plagiarism Practices
Raina Mason and Graham Cooper. Why the Bottom 10% Just Can't Do It - Mental Effort Measures and Implications for Introductory Programming Courses

ADC Sessions

ADC Session 1: Invited talk
Yufei Tao. Beyond Heuristcs: I/O-oriented Algorithms and Structures with Performance Guarantees
ADC Session 2: Best papers of ADC 2012
Chuanfei Xu, Yanqiu Wang, Yu Gu, Shukuan Lin and Ge Yu. Optimal k-Constraint Coverage Queries on Spatial Objects
Jianzhong Qi, Zhenghua Xu, Yuan Xue and Zeyi Wen. An Efficient Method for Min-dist Location Selection
Boliang Feng, Jiaheng Lu, Yongluan Zhou and Nan Yang. Energy Efficiency for MapReduce Workloads: An In-depth Study
ADC Session 3: Invited talk
Hua Wang. Security and Privacy for Database Systems
ADC Session 4: Data streams and XML
Muhammad Asif Naeem, Gillian Dobbie and Gerald Weber. Optimised X-HYBRIDJOIN for Near-Real-Time Data Warehousing
Stefan Bottcher, Rita Hartel and Steffen Weber. Efficient String-Based XML Stream Prefiltering
Stefan Bottcher, Rita Hartel and Stefan Heindorf. Optimized XPath evaluation for Schema-compressed XML data
ADC Session 5: Invited Talk
Geoff Webb. Discovering Associations in High-dimensional Data
ADC Session 6: Management of Social media
Zhao Zhang, Weining Qian and Aoying Zhou. Towards Efficiently Search Experts by Integrating Social Networks and Contents in Social Media
Hao Zhong and Ying Zhou. Combining Content and Quality Indicators in Ranking Ambiguous Query Results On Flickr
Zhixin Zhou, Xiuzhen Zhang and Phil Vines. Sentiment classification of blog posts using topical extracts
ADC Session 7: Web data analysis
Md Saiful Islam, Chengfei Liu and Rui Zhou. On Modeling Query Refinement by Capturing User Intent through Feedback
Fahad Alahmari, James Thom, Liam Magee and Wilson Wong. Evaluating Semantic Browsers for Consuming Linked Data
Jens Dietrich and Catherine Mccartin. Scalable Motif Detection and Aggregation
ADC Session 8
Spatial databases and OLAP
Wendy Osborn and Annika Hinze. TIP Spatial Index: Effcient Access to Digital Libraries in a Context-Aware Mobile System
Yang Yang and Jinli Cao. Feature-based recommendation framework on OLAP
Bela Stantic, Justin Terry and Abdul Sattar. Efficient Management of Multidimensional Data

ACSC Sessions

ACSC Session 1:
Toshinori Sato, Hideki Mori, Rikiya Yano and Takanori Hayashida Importance of Single-Core Performance in the Multicore Era
Bradley Alexander, Sean Donnellan, Andrew Jeffrey, Travis Olds and Nicholas Sizer Boosting Instruction Set Simulator Performance with Parallel Block Optimisation and Replacement
Denghui Liu and Jinli Cao FEAS: A full-time event aware scheduler for improving responsiveness of virtual machines
ACSC Session 2:
Lee Naish Declarative Diagnosis of Floundering in Prolog
Nicholas Downing, Thibaut Feydy and Peter Stuckey Explaining alldifferent
Paul Bailes ERA Challenges for Australian University ICT
ACSC Session 3:
Lee Naish, Kotagiri Ramamohanarao and Hua Jie Lee Spectral debugging: How much better can we do?
Jens Dietrich, Catherine Mccartin, Ewan Tempero and Syed Ali Shah On the Existence of High-Impact Refactoring Opportunities in Programs
Jasbir Dhaliwal, Simon J. Puglisi and Andrew Turpin Trends in Suffix Sorting: A Survey of Low Memory Algorithms
ACSC Session 4:
Bing Xue, Mengjie Zhang and Will N. Browne Single Feature Ranking and Binary Particle Swarm Optimisation Based Feature Subset Ranking for Feature Selection
Qiao Shi, Andy Song, Thach Nguyen and Arnan Mitchell Evolutionary Design of Optical Waveguide with Multiple Objectives
ACSC Session 5:
Mahdi Parsa and Vlad Estivill-Castro On the parameterized complexity of dominant strategies
Feng Xie, Andy Song and Vic Ciesielski Learning Time Series Patterns by Genetic Programming
Mark Wittkamp, Luigi Barone, Phil Hingston and Lyndon While Real-time Evolutionary Learning of Cooperative Predator-Prey Strategies

AISC Sessions

AISC Session 1:
Peter Hyun-Jeen Lee, Udaya Parampalli and Shivaramakrishnan Narayan, Efficient Identity-based Signcryption without Random Oracles
Vorapong Suppakitpaisarn, Masato Edahiro and Hiroshi Imai Fast Elliptic Curve Cryptography Using Minimal Weight Conversion of d Integers
Ali Alhamdan, Harry Bartlett, Leonie Simpson, Ed Dawson, Kenneth Koon-Ho Wong State convergence in the initialisation of the Sfinks stream cipher
AISC Session 2:
Mohammad Ali Orumiehchiha, Josef Pieprzyk and Ron Steinfeld Cryptanalysis of RC4-Based Hash Function
Kenneth Radke, Colin Boyd, Juan Gonzalez Nieto and Margot Brereton Towards a Secure Human-and-Computer Mutual Authentication Protocol
AISC Session 3:
Younes Seifi, Suriadi Suriadi, Ernest Foo and Colin Boyd Analysis of Object-Specific Authorization Protocol (OSAP) using Coloured Petri Nets
Chris Mills, Colin J. Fidge and Diane Corney Tool-Supported Dataflow Analysis of a Security-Critical Embedded Device
Christopher Doble, Colin J. Fidge and Diane Corney Data Flow Analysis of Embedded Program Expressions
AISC Session 4:
Christophe Hauser, Frederic Tronel, Jason Reid, Colin Fidge A taint marking approach to confidentiality violation detection
Kaleb Lee, Juan Manuel Gonzalez Nieto and Colin Boyd Improving the Efficiency of RFID Authentication with Pre-Computation

APCCM Sessions

APCCM Session 1: Industrial Keynote
Srinivas Padmanabhuni. Working Software Engineering Modeling Paradigms for Service-Process Architectures: Practitioner Perspectives
APCCM Session 2: Invited Talk
Sebastian Link. Armstrong databases: validation, communication and consolidation of conceptual models with perfect test data.
APCCM Session 3: Contributed Papers
Ove Sorensen, Bernhard Thalheim, Qing Wang. A conceptual justification for model transformations.
Christian Kop. Checking feasible completeness of domain models with natural language queries.
APCCM Session 4: Contributed Papers
Marwane El Kharbili. Business process regulatory compliance management solution frameworks: a comparative evaluation.
Lina Azleny Kamaruddin, Jun Shen, Ghassan Beydoun. Evaluating usage of WSMO and OWL-S in semantic web services. (Early innovation paper).
APCCM Session 5: Industry Session

AUIC Sessions

AUIC Session 1:
Chris J. Pilgrim Website Navigation Tools - A Decade of Design Trends 2002 to 2011
Rohan McAdam, Keith Nesbitt Leveraging Human movement in the Ultimate Display
Jonathon Grantham, Elizabeth Grantham, David Powers Website accessibility: An Australian view
AUIC Session 2:
Tim M. Simon, Ross T. Smith, Bruce Thomas, Stewart Von Itzstein, Mark Smith, Joonsuk Park, Jun Park Merging Tangible Buttons and Spatial Augmented Reality to Support Ubiquitous Prototype Designs
Gabriel Hartmann, Burkhard C. Wunsche A Virtual Touchscreen with Depth Recognition
Reece George, Keith Nesbitt, Michael Donovan, John MaynardEvaluating Indigenous Design Features Using Cultural Dimensions
AUIC Session 3:
Ivan K. Y. Li, Edward M. Peek, Burkhard C. Wunsche, Christof Lutteroth Enhancing 3D Applications Using Stereoscopic 3D and Motion Parallax
Li Guan, Burkhard C. WunscheAn Evaluation of a Sketch-Based Model-by-Example Approach for Crowd Modelling
Ewald T. A. Mass, Michael R. Marner, Ross T. Smith, Bruce H. Thomas Supporting Freeform Modelling in Spatial Augmented Reality Environments with a New Deformable Material
AUIC Session 4: Poster descriptions
Annika Hinze, Knut Muller, George Buchanan Service History: The Challenges of the 'Back button' in Mobile Context-aware Systems
Jonathon Grantham, Cullen Habel An investigation of factors driving virtual communities
Yorie Nakahira, Minoru Nakayama Feasibility of Computational Estimation of Task-Oriented Visual Attention
Tim M. Simon, Ross T. Smith Magnetic Substrate for use with Tangible Spatial Augmented Reality in Rapid Prototyping Workflows
Samuel J. O'Malley, Ross T. Smith and Bruce H. Thomas Data Mining Office Behavioural Information from Simple Sensors

AusPDC Sessions

AusPDC Session 1:
Johann Steinbrecher and Weijia Shang On supernode transformations and multithreading for the longest common subsequence problem
Ken Hawick and Daniel Playne Hard-Sphere Collision Simulations with Multiple GPUs, PCIe Extension Buses and GPU-GPU Communications
Michael J. Dinneen, Masoud Khosravaniand Kuai Wei A Comparative Study of Parallel Algorithms for the Girth Problem
AusPDC Session 2:
John Eblen, Gary Rogers, Charles Phillips and Michael A. Langston The Use of Fast Approximate Graph Coloring to Enhance Exact Parallel Algorithm Performance
Xiao Liu, Yun Yang, Dahai Cao, Dong Yuan and Jinjun Chen Managing Large Numbers of Business Processes with Cloud Workflow Systems
AusPDC Session 3:
Jiri Jaros, Bradley E. Treeby and Alistair P. Rendell Use of Multiple GPUs on Shared Memory Multiprocessors for Ultrasound Propagation Simulations
Mahmoud Mesbah, Jefferson Tan, Majid Sarvi and Fatemeh Karimirad Scaling Up Transit Priority Modeling using High Throughput Computing

HIKM Sessions

HIKM Session 1
Fernando Martin-Sanchez HIKM 2012 Opening Address
Emilia Bellucci, Sitalakshmi Venkatraman, Nial Muecke, Andrew Stranieri, Jemal Abawajy The Role of Emotional Intelligence on the Resolution of Disputes Involving the Electronic Health Record
Patrick Davis-Desmond, Diego Molla Detection of Evidence in Clinical Research Papers
HIKM Session 2
Jaspaljeet Singh Dhillon, Czarina Ramos, Burkhard C. Wunsche, Christof Lutteroth Evaluation of Web 2.0 Technologies for Developing Online Telehealth Systems
Yulong Gu, Jim Warren, Karen Day, Malcolm Pollock, Sue White Achieving Acceptable Structured eReferral Forms
Khairul A. Kasmiran, Albert Y. Zomaya, Ali Al Mazari, Roger J. Garsia A Bayesian Analysis on Historical Clinical Data Concerning Treatment Change for HIV/AIDS Patients
HIKM Session 3
Razan Paul, Tudor Groza, Jane Hunter Inducing and Storing Generalised Evidences using Semantic Web Formalisms
Lua Perimal-Lewis, Shaowen Qin, Campbell Thompson, Paul Hakendorf Gaining Insight from Patient Journey Data using a Process-Oriented Analysis Approach
Shahadat Uddin, Liaquat Hossain Effects of Physician Collaboration Network on Hospital Outcomes

CATS Sessions

CATS Session 1
Yung Tsin. Decomposing a Multigraph into Split Components
Cong Zhang and Hiroshi Nagamochi. The Next-to-Shortest Path in Undirected Graphs with Nonnegative Weights
Tadao Takaoka. Efficient Algorithms for the All Pairs Shortest Path Problem with Limited Edge Costs
CATS Session 2
Franz J. Brandenburg. On the Curve Complexity of Upward Planar Drawings
Radwa El Shawi, Joachim Gudmundsson and Christos Levcopoulos. Quickest Path queries on transportation network
Pavel Valtr. On empty pentagons and hexagons in planar point sets
[This paper will be presented by David Wood]
CATS Session 3
Lee Naish, Harald Sondergaard and Benjamin Horsfall. Logic Programming: From Underspecification to Undefinedness
Meena Mahajan, Nitin Saurabh and Karteek Sreenivasaiah. Counting paths in planar width 2 branching programs
Chuzo Iwamoto, Kento Sasaki and Kenichi Morita. Computational Complexity of String Puzzles
CATS Session 4
Kewen Liao and Hong Shen. Approximating The Reliable Resource Allocation Problem Using Inverse Dual Fitting
Naonori Kakimura and Mizuyo Takamatsu. Matching Problems with Delta-Matroid Constraints
Toshihiro Fujito and Takamasa Sakamaki. How to guard a graph against tree movements
CATS Session 5
Martin Olsen. On Defining and Computing Communities
Stefan Edelkamp, Amr Elmasry and Jyrki Katajainen. Weak-Heap Family of Priority Queues in Theory and Praxis
Aniruddh Gandhi, Bakhadyr Khoussainov and Jiamou Liu. Solving infinite games on trees with back-edges
CATS Session 6
Toshimasa Ishii. Augmenting Outerplanar Graphs to Meet Diameter Requirements
Ken-Ichi Kawarabayashi and David R. Wood. Cliques in Odd-Minor-Free Graphs
Yuichi Asahiro, Jesper Jansson, Eiji Miyano and Hirotaka Ono. Upper and Lower Degree Bounded Graph Orientation with Minimum Penalty