Alan Mycroft

Name:	Alan Mycroft
Affiliation:	Computer Laboratory, UofC
E-mail:	(only provided to users who are logged into talks.cam)
Last login:	Tue Jan 23 15:19:22 +0000 2024

Public lists managed by Alan Mycroft

• Computer Laboratory Programming Research Group Seminar

Talks given by Alan Mycroft

Obviously this only lists talks that are listed through talks.cam. Furthermore, this facility only works if the speaker's e-mail was specified in a talk. Most talks have not done this.

Talks organised by Alan Mycroft

This list is based on what was entered into the 'organiser' field in a talk. It may not mean that Alan Mycroft actually organised the talk, they may have been responsible only for entering the talk into the talks.cam system.

• When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope Safety
• Energy Efficient Compilation of Irregular Task-Parallel Loops
• Automatic Identification and Parallelisation of General Reduction Operations
• QuLog: A modern logic-based agent-implementation language
• Logic programming beyond Prolog
• Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach
• Points-To and Alias Analysis -- the precision vs efficiency dilemma
• Open Hardware, Software, Internet, Jobs
• Monadic Program Slicing
• Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method
• Demystifying GCC (Or What the GCC manuals should have told you but they don't!)
• Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms
• Analysis, Synchronization and Scheduling Challenges in X10
• Offloading Java to Graphics Processors
• Towards programming Safety Critical Systems in Java
• Sequentializing the Value State Dependence Graph
• The Constraint Handling Rules (CHR) language
• Memory safety with exceptions and linear types