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

Keynote talks:
- Timo Ropinksi Visual Problem Solving by Combining Vision and Visualization Tuesday 31st January, 9.30-10.30
- Michael Kölling The Future of Educational Programming Tools - What Will Come (Or At Least Should Come) Wednesday 1st February 9.30-10.30
- Manish Parashar Moving From Data to Insights - Addressing Data Challenges in Simulation-based Science Thursday 2nd February 9.30-10.30
Invited talks:
- Warwick Irwin It's all academic, anyway; reflections on teaching software engineering (CORE Teaching Award winner, 2011) Tuesday 31st January, 1.30
- Daniel Frampton Abstraction Without Guilt: High-level low-level programming (CORE PhD Thesis Award winner, 2011) Wednesday 1st February, 1.30
ERA Discussion, led by Tom Gedeon, President of CORE Tuesday 31st January, 2.30
CORE & ACDICT Discussion on Research Challenges in ICT, led by Aditya Ghose, Leon Sterling and Philip Ogunbona Thursday 2nd February, 1.30
ACE Workshops on
- Developing an Exam Taxonomy Monday 30th January (morning)
- Introductory Programming Teaching with Greenfoot Monday 30th January (afternoon)
- Road testing the Peer Assisted Teaching Scheme Thursday 2nd February (afternoon)
- Improving Teaching: designing and facilitating for learning at the subject level Friday 3rd February (all day)
- A Shared, Applied Epistemology of Competency in Computer Programming Friday 3rd February (all day)
CATS Tutorial on Multivariate Analysis & Parameterized Complexity, Frances Rosamund, Friday 3rd February (all day)
ACM SIGSPATIAL Australian Chapter Special Workshop (ADC) Monday 30th January (all day)

Overview

Time	Monday	Tuesday	Wednesday	Thursday	Friday
	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.30	ACDC 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.30	ACDC 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.30	ACDC 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.30	ACDC 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.00	ACDC 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.00	ACDC 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

Time	Green 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 workshop	ACE workshop 1
10.00	Morning Tea
10.30	Doctoral Consortium	ADC workshop	ACE workshop 1
11.30	Doctoral Consortium	ADC workshop	ACE workshop 1	HoDs meeting (12-4)
12.30	Lunch
1.30	Doctoral Consortium	ADC workshop	ACE workshop 2	HoDs meeting
2.30	Doctoral Consortium	ADC workshop	ACE workshop 2	HoDs meeting
3.30	Afternoon Tea
4.00	Doctoral Consortium	ADC workshop	ACE workshop 2
5.00	Doctoral Consortium	ADC workshop	ACE 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.00	ACM 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

Time	Seminar Room 1	Seminar Room 2	Seminar Rooms 3&4
9.00	ACE Workshop 4	ACE Workshop 5	CATS Tutorial
10.00	Morning Tea
10.30	ACE Workshop 4	ACE Workshop 5	CATS Tutorial
11.30	ACE Workshop 4	ACE Workshop 5	CATS Tutorial
12.30	Lunch
1.30	ACE Workshop 4	ACE Workshop 5	CATS Tutorial
2.30	ACE Workshop 4	ACE Workshop 5	CATS Tutorial
3.30	Afternoon Tea
4.00	ACE Workshop 4	ACE Workshop 5	CATS Tutorial
5.00	ACE 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