|![[Search]](https://talks.cam.ac.uk/images/search.gif?1209136071)
|![[A-Z Index]](https://talks.cam.ac.uk/images/az.gif?1209136071)
|![[Contact]](https://talks.cam.ac.uk/images/contact.gif?1209136071)
||![[University of Cambridge]](https://talks.cam.ac.uk/images/identifier2.gif?1209136071){kind=small} |
COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. | ![[Talks.cam]](https://talks.cam.ac.uk/images/talkslogosmall.gif?1209136071) |
Computer Laboratory Programming Research Group Seminar
Add to your list(s)
Send you e-mail reminders
Further detail
The seminar presentations can be (a) guest speakers who are visiting Cambridge (b) one of more brief progress reports about the work of PhD students (c) reports on part II projects in an advanced stage (d) summaries of interesting papers (e) presentations of early versions of planned papers (f) tutorials on an interesting technology or topic (g) outlook on planned work in one of our projects If you have a question about this list, please contact: Alan Mycroft; Stephen Kell. If you have a question about a specific talk, click on that talk to find its organiser. 0 upcoming talks and 131 talks in the archive. When Subtyping Constraints Liberate: Polymorphic Subtype Inference And Scope SafetyToday we have two Logic and Semantics talks, with a small gap for coffee in between.
Executing C, C++ and Fortran Efficiently on the Java Virtual Machine via LLVM IRPLEASE NOTE the unusual room and time. External attendees, please ask at reception or call 63780 to be let in
Energy Efficient Compilation of Irregular Task-Parallel Loops
Logic and Semantics Seminar (Computer Laboratory) What does the Future of Programming Look Like?
Automatic Identification and Parallelisation of General Reduction Operations
Title to be confirmedFlow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs
Gotta Go Fast: Futhark - A Data-Parallel Purely Functional Language and its Optimising GPGPU CompilerNote unusual day and time
A Live, Multiple-Representation Probabilistic Programming Environment for Novices
Dependent types, linear types and operating systems
Meeting on Testing and Verification for Computational Science
Biggest Challenges for Kotlin: Interoperability and Tooling
Logic and Semantics Seminar (Computer Laboratory) Effects as sessions, sessions as effectsNOTE UNUSUAL VENUE
Towards a dynamic object model within Unix processes
The Gamma: Programming tools for data journalism
Brand Objects and Gradual Contracts
Improving Implicit Parallelism
Probability and Prejudice: Bridging the Gap Between Machine Learning and Programming Languages
Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
QuLog: A modern logic-based agent-implementation language
Microsoft Research Cambridge, public talks Taming GPU threads with F# and Alea.GPUThis event may be recorded and made available internally or externally via http://research.microsoft.com. Microsoft will own the copyright of any recordings made. If you do not wish to have your image/voice recorded please consider this before attending
Logic programming beyond PrologThis is an MSR Seminar (Station Road), duplicated on the CPRG list
Embedding effect systems in Haskell
Programming Robotic Agents: A Multi-tasking Teleo-Reactive Approach
Points-To and Alias Analysis -- the precision vs efficiency dilemma
Formally Verified Security Micro Policies
Higher-kinded programming in ML
A Core Quantitative Coeffect Calculus
A Core Quantitative Coeffect Calculus
Solving an existential crisis in Haskell
What can Programming Language Research Learn from the Philosophy of Science?
Towards Language Composition
Computer Laboratory Digital Technology Group (DTG) Meetings Julia: A Fast Dynamic Language for Technical Computing
Computer Laboratory Digital Technology Group (DTG) Meetings Upgrading Fortran source code using automatic refactoring
Automated functional program verification using fixpoint fusion
Logic of Hybrid Games
Automatic SIMD vectorization for Haskell
OCaml-Java: blending OCaml & Java
Logic and Semantics Seminar (Computer Laboratory) An overview of nominal algebra, lattice, representation and dualities for computer science foundations
Denotation of Contextual Modal Type theory
Coeffects: Unified static analysis of context-dependence
Goji: a tool to generate OCaml bindings of JavaScript libraries
Concise analysis using implication algebras for task-local memory optimisation
A Heterogeneous Parallel Programming Language and Compiler Architecture
Part III projects: Approximating a Haskell stack trace/Language and compiler for heterogenous parallelism
Coinductive big-step semantics for concurrencyNote unusual time and day
Java 8 Workshop
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language
Monadic Program Slicing
The Whiley Programming Language: Design & Implementation
A Notation for Comonads
Control Flow Analysis for the Join Calculus
Mathematical Structures for Data Types with Restricted Parametericity
Syntax Matters: Writing abstract computations in F#
MPhil Presentations: (1) An investigation of the Join Calculus Abstract Machine (2) Ownership in Object-Oriented Languages
Architecture-neutral Parallelism
Evaluation strategies for monadic computations
Using the OpenJDK to investigate covariance in JavaNote unusual day and time.
Logic and Semantics Seminar (Computer Laboratory) Layered Fixed Point Logic
Virtual machines should be invisible (and might be augmented)
Computer Laboratory Systems Research Group Seminar Software Bloat: A systems' perspective
Wool: low overhead work stealing for fine grain parallelism.Note unusual time of 2pm.
Coeffect Systems and Typing (Preliminary report)
Efficient and Correct Stencil Computations via Pattern Matching and Type Checking
Petri-nets as an Intermediate Representation for Heterogeneous ArchitecturesNote unusual room
When Monads and Comonads OverlapNote unusual time and room.
Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings MethodAnother unusual date/time...
Programming with Comonads and Codo NotationNote unusual time and place
Demystifying GCC (Or What the GCC manuals should have told you but they don't!)Note unusual time/day/location
Functional Programming for the Data CentreNote unusual day and time. Room GS15.
Computer Laboratory Security Seminar What is Software Assurance?
Petri-nets as an Intermediate Representation for Heterogeneous Architectures
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming
Specification, Implementation and Verification of RefactoringsNote: Thursday not Friday.
Idris --- Systems Programming Meets Full Dependent TypesNote: Unusual time and date.
Pluggable Type System with Optional Runtime Monitoring of Type Errors
QuickSpec -- Guessing Formal Specifications using Testing
Performance-portable Programming Abstraction for Image Processing
Computer Laboratory Automated Reasoning Group Lunches Schedulability analysis of embedded real-time Java
Extracting the Semantic Signature of Malware, Metamorphic Viruses and Worms
Analysis, Synchronization and Scheduling Challenges in X10
Offloading Java to Graphics ProcessorsPlease note unusal time/place
Estimating and Exploiting Potential Parallelism by Source-level Dependence Profiling
Functional programming with monads combined with comonads
System Tests from Unit Tests
Adventures in XML updates
Haskell Type Constraints Unleashed
Optimizing sparse vector-matrix multiplication on GPUs
(CANCELLED) Google's Go Programming Language
Alore: Making dynamic languages simpler
Ypnos: Declarative, Parallel Structured Grid Programming
Informal Tutorial: Haskell's Type Classes and Type Families
Intelligent Thread-Level Speculation
Optimizing Dynamically Updateable Programs
Studying task-level parallelism in C programs using Embla (work in progress)
Dictionaries: lazy or strict type class witnesses?
Cake: a language for adapting and linking mismatched binary components
Logic and Semantics Seminar (Computer Laboratory) Structurally Recursive Descent Parsing
Interoperation of Lucid's Dataflow paradigm and Object-orientation with a Coalgebraic Semantics
Designing Languages to Aid Verification
Programming for MambaPossibly shorter with more time for discussion
Deriving efficient data movement from decoupled Access/Execute specifications
Haskell is Not Not ML
Limits of parallelism using Dynamic Dependency Graphs
Work in progress on visual programming languages
Towards programming Safety Critical Systems in Java
A practical approach to Domain Specific Language developmentNote change of speaker/topic
Logical Testing: Hoare-style Specification Meets Executable Validation
Dynamic loaded compiler plugins for the Glasgow Haskell Compiler
Computer Laboratory Computer Architecture Group Meeting Map-reduce as a Programming Model for Custom Computing MachinesNote unusual time
The Constraint Handling Rules (CHR) language
Memory safety with exceptions and linear types
Controlling control flow in web application
Detecting and Tracking Inconsistencies in UML
Jones Optimality and Hardware Virtualization (A Report on Work in Progress)
Termination analysis and call graph construction for higher-order functional programs
Two Software-Based Models of Thread Level Speculation
I solemnly swear that I am up to... automatic parallelisation
Computational specification for temporal abstraction in music
Please see above for contact details for this list. |
Other listsNewnham College MCR Speaker Series Cambridge University First Aid Society Jesus College Graduate Society Graduates' and Fellows' SymposiaOther talksKnot Floer homology and algebraic methods CANCELLED in solidarity with strike action: Permanent Sovereignty over Natural Resources and the Unsettling of Mainstream Narratives of International Legal History A physical model for wheezing in lungs Virtual bargaining as a micro-foundation for communication Making Refuge: Issam Kourbaj How could education systems research prompt a change to how DFIS works on education Coin Betting for Backprop without Learning Rates and More Throwing light on organocatalysis: new opportunities in enantioselective synthesis The Anne McLaren Lecture: CRISPR-Cas Gene Editing: Biology, Technology and Ethics DataFlow SuperComputing for BigData Constructing the virtual fundamental cycle |
Lionel Parreaux, HKUST (Hong Kong University of Science and Technology).
Friday 26 January 2024, 15:15-16:15