1,739,300 research outputs found
'The Meaning of Ensemble in the History of British Theatre'
No full textA wide ranging conversation with Dr Philippa Burt about ensemble theatre, its place in the history of British Theatre and the relationship between that story and ideas within the Drama School
Declaration of Intention of Mrs. Philippa Priegnitz
No full textDeclaration of Intention to become a citizen of the United States, as filled out and signed by: Mrs. Philippa Priegnitz
Applicant age: 43
Occupation: Housewife
Country of Origin: England
Date of Birth: 5th January 1881
Sailed to the US aboard the vessel: Reliance
City of residence at time of declaration: Atlantic City NJ
Declaration submitted and sworn on date: 19th February 192
Introduction: The Early Greek Alphabets: Origin, Diffusion, Uses
No full textThis is a draft of a chapter/article that has been accepted for publication by Oxford University Press in the forthcoming book The Early Greek Alphabets: Origin, Diffusion, Uses edited by Robert Parker and Philippa M. Steele due for publication in 2021
Concurrent Separation Logics: Logical Abstraction, Logical Atomicity and Environment Liveness Conditions (Invited Talk)
No full textScalable verification for concurrent programs with shared memory is a long-standing, difficult problem. In 2004, O'Hearn and Brookes introduced concurrent separation logic to provide compositional reasoning about coarse-grained concurrent programs with synchronisation primitives (Gödel prize, 2016).
In 2010, I introduced logical abstraction (the fiction of separation) to CSL, developing the CAP logic for reasoning about fine-grained concurrent programs in general and fine-grained lock algorithms in particular. In one logic, it was possible to provide two-sided specifications of concurrent operations, with formally verified implementations and clients.
In 2014, I introduced logical atomicity (the fiction of atomicity) to concurrent separation logics, developing the TaDA logic to capture when individual operations behave atomically. Unlike CAP, where synchronisation primitives leak into the specifications, with TaDA the specifications are "just right" in that they provide more general atomic functions specifications to capture, for example, the full behaviour of lock operations.
In 2021, I introduced environment liveness conditions to concurrent separation logics, developing the TaDA Live logic for reasoning compositionally about the termination of blocking fine-grained concurrent programs. The crucial challenge is how to deal with abstract atomic blocking: that is, abstract atomic operations that have blocking behaviour arising from busy-waiting patterns as found in, for example, fine-grained spin locks. The fundamental innovation is with the design of abstract specifications that capture this blocking behaviour as liveness assumptions on the environment.
In this talk, I will explain this on-going journey in the wonderful world of concurrent separation logics. I will also explain why I have a bright green office chair in the corner of my office, patterned in gold lamé.
Many thanks to my fabulous coauthors on concurrent separation logics: Thomas Dinsdale-Young, Emanuele D'Osualdo, Mike Dodds, Azadeh Farzan, Matthew Parkinson, Pedro da Rocha Pinto, Julian Sutherland, Viktor Vafeiadis and more. Suggested Reading:
- Peter O'Hearn: Resources, Concurrency and Local Reasoning, Journal of Theoretical Computer Science, Festschrift for John C Reynolds 70th birthday, 2007.
- Thomas Dinsdale-Young, Pedro da Rocha Pinto and Philippa Gardner: A Perspective on Specifying and Verifying Concurrent Modules, Journal of Logical and Algebraic Methods in Programming, 2018.
- Emanuele D'Osualdo, Azadeh Farzan, Philippa Gardner and Julian Sutherland: TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), 2021
His Fond Farewells
No full textA collaborative project between Philippa Wood and Angie Butler of ABPress. Fond Farewells is a pair of limited edition artists' books which form part of an on-going project called Endangered Species, this particular edition examines lost language. The two books - His Fond Farewells and Her Fond Farewells are letterpress printed onto men's and ladies' handkerchiefs. The books are machine-stitch bound with material covers to reflect the nature of the contents
Her fond farewells
No full textA collaborative project between Philippa Wood and Angie Butler of ABPress. Fond Farewells is a pair of limited edition artists' books which form part of an on-going project called Endangered Species, this particular edition examines lost language. The two books - His Fond Farewells and Her Fond Farewells are letterpress printed onto men's and ladies' handkerchiefs. The books are machine-stitch bound with material covers to reflect the nature of the content
10 Questions with Attorney, & Writer Philippa Davies
No full textInterview with attorney, writer, and St. Andrew High School for Girls graduate Philippa Davies, author of Travel Light: Memories of a Covenant Journey which was published on February 11th, 2011
Algorithmic management and a new generation of rights at work
No full textTechnology has revolutionised the world of work over the past 30 years. Now its radically changing the way that people are managed at work, from how they are hired and fired to how their work is allocated, monitored and evaluated. The increasing use of complex algorithmic management tools to automate or augment functions traditionally carried out by human managers poses a significant threat to workers’ rights, working conditions, and ability to exercise their agency in the workplace.In this report Dr Joe Atkinson and Dr Philippa Collins argue that existing employment law frameworks are inadequate to meet the challenges posed be these applications of ‘artificial intellegence’ in the workplace. They reject a laissez faire approach to regulating new technologies in the workplace and instead make the case for proactive legal reforms that are urgently needed for the governance of AI at work. The proposed framework gives workers a genuine say in how algorithmic management systems are used and implemented. It also provides workers with the rights needed to protect against, and ensure appropriate accountability for, the potential harms of these technologies.<br/
Competitions: A Chapter in Your Story
No full text'Fresh from the publication of her debut novel, author Philippa Holloway shares her thoughts on how writing competitions helped her get there.
- …
