University of Cambridge > Talks.cam > REMS lunch

REMS lunch

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

REMS lunchtime meeting

Tell a friend about this list:

If you have a question about this list, please contact: Peter Sewell. If you have a question about a specific talk, click on that talk to find its organiser.

0 upcoming talks and 40 talks in the archive.

Compiling algebraic effects to Javascript in js_of_ocaml

UserArmaël Guéneau, ENS Lyon (visiting OCamllabs).

HouseFW11.

ClockWednesday 17 February 2016, 13:00-14:00

Not-quite-so-broken TLS 1.3 mechanised conformance checking

UserHannes Mehnert.

HouseFW11.

ClockWednesday 10 February 2016, 13:00-14:00

Cache Storage Channels: Alias-Driven Attacks

NON-STANDARD DAY: NEXT MONDAY

UserRoberto Guanciale, KTH.

HouseFW26.

ClockMonday 08 February 2016, 13:00-14:00

Sync meeting and Stephen Kell talk: Towards a dynamic object model within Unix processes

REMS lunch *with lunch*. Back in Room FW11 (not SS03)

UserStephen Kell.

HouseFW11.

ClockWednesday 21 October 2015, 13:00-14:00

REMS lunch - sync meeting

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 14 October 2015, 13:00-14:00

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseFW26.

ClockTuesday 06 October 2015, 13:00-14:00

Formally Modelling and Verifying the FreeRTOS Real-time Operating System

UserShu Cheng.

HouseFW26.

ClockFriday 18 September 2015, 10:00-11:00

Algebraic Principles for Program Verification and Refinement Tools

UserVictor Gomes.

HouseFW11.

ClockThursday 17 September 2015, 14:30-15:30

POSTPONED: Abstract machines and certified compilers

UserMaciej Piróg.

HouseFW26.

ClockThursday 17 September 2015, 10:00-11:00

Rozzle: De-Cloaking Internet Malware

UserBen Livshits.

HouseFW11.

ClockWednesday 16 September 2015, 13:00-14:00

Hardware Support for Compartmentalisation

UserRobert Norton.

HouseFW26.

ClockTuesday 15 September 2015, 14:00-15:00

Checking very long ARM traces - An informal introduction

UserAli Sezgin, University of Cambridge.

HouseFW11.

ClockWednesday 09 September 2015, 13:00-14:00

Modelling pcap expressions

UserNik Sultana.

HouseFW11.

ClockWednesday 26 August 2015, 13:00-14:00

Understanding Memory Model Performance

UserCarl Ritson (University of Kent).

HouseFW11.

ClockWednesday 22 July 2015, 13:00-14:00

Kneecap: model-based generation and analysis of network traffic

UserNik Sultana, Computer Lab.

HouseFW11.

ClockWednesday 17 June 2015, 13:00-14:00

Verification Research + X = Impact

nonstandard room: FW26

UserDr John O’Leary.

HouseFW26.

ClockWednesday 03 June 2015, 13:00-14:00

Title to be confirmed

nonstandard room: FW26

UserSpeaker to be confirmed.

HouseFW26.

ClockWednesday 06 May 2015, 13:00-14:00

The Problem of Programming Language Concurrency Semantics

UserJean Pichon-Pharabod.

HouseFW11.

ClockWednesday 08 April 2015, 13:00-14:00

Processor Memory System Verification using DOGReL

UserDaryl Stewart, ARM.

HouseFW11.

ClockWednesday 25 March 2015, 13:00-14:00

Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation

nonstandard room: FW26

UserDavid Kaloper Mersinjak.

HouseFW26.

ClockWednesday 11 March 2015, 13:00-14:00

The CH2O project: making sense of the C standard

UserFreek Wiedijk.

HouseFW11.

ClockWednesday 04 March 2015, 13:00-14:00

Linking and ELF

nonstandard room: FW26

UserStephen Kell / Dominic Mulligan.

HouseFW26.

ClockWednesday 11 February 2015, 13:00-14:00

ARM semantics update

UserShaked Flur.

HouseFW11.

ClockWednesday 28 January 2015, 13:00-14:00

Finding small counterexamples to memory correctness

UserMatt Naylor.

HouseFW11.

ClockWednesday 21 January 2015, 13:00-14:00

TBC: status updates - h/w side

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 14 January 2015, 13:00-14:00

Principles of Shape Analysis

nonstandard room: FW26

UserMooly Sagiv, Tel Aviv University.

HouseFW26.

ClockWednesday 10 December 2014, 13:00-14:00

Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning

nonstandard room: SS03

UserKasper Svendsen.

HouseSS03.

ClockWednesday 26 November 2014, 13:00-14:00

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseSS03.

ClockWednesday 19 November 2014, 13:00-14:00

Lipton's Reduction for TSO

UserAli Sezgin.

HouseFW11.

ClockWednesday 05 November 2014, 13:00-14:00

Title to be confirmed

nonstandard room: SS03

UserSpeaker to be confirmed.

HouseSS03.

ClockWednesday 29 October 2014, 13:00-14:00

TSO-CC and Coherence protocol verification

nonstandard room: SS03

UserMarco Elver (Edinburgh).

Housenonstandard room: SS03.

ClockWednesday 29 October 2014, 13:00-14:00

Towards architectural emulators for multiprocessors: PPCMEM2 status

UserPeter Sewell.

HouseFW11.

ClockWednesday 22 October 2014, 13:00-14:00

Updates

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 01 October 2014, 13:00-14:00

Micro-Policies: A Framework for Tag-Based Security Monitors

Note in FW26

UserBenjamin C. Pierce, University of Pennsylvania .

HouseFW26.

ClockWednesday 10 September 2014, 13:00-14:00

Hypervisor Verification in the PROSPER and HASPOC projects

UserChristoph Baumann, KTH.

HouseFW11.

ClockWednesday 03 September 2014, 13:00-14:00

Title to be confirmed

UserMatt Naylor / Antony Fox.

HouseSS03.

ClockWednesday 27 August 2014, 13:00-14:00

REMS lunch

nonstandard room: SS03

UserDominic Mulligan (University of Cambridge).

HouseSS03.

ClockWednesday 20 August 2014, 13:00-14:00

High-assurance network protocols - implementations and tests

UserHannes Mehrnert / David Kaloper.

HouseFW11.

ClockWednesday 13 August 2014, 13:00-14:00

First REMS lunch

UserSpeaker to be confirmed.

HouseFW11.

ClockWednesday 06 August 2014, 13:00-14:00

Please see above for contact details for this list.

 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity