|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 63 occurrences of 33 keywords
|
|
|
|
|
Results
Found 60 publication records. Showing 60 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in weak memory models (extended version).  |
Formal Methods in System Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Juergen Boehm, Ursula Goltz, Holger Hermanns, Peter Sewell |
Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011). |
Dagstuhl Reports |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Susmit Sarkar, Peter Sewell, Jade Alglave, Luc Maranget, Derek Williams |
Understanding POWER multiprocessors. |
PLDI |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Litmus: Running Tests against Hardware. |
TACAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaroslav Sevcík, Viktor Vafeiadis, Francesco Zappa Nardelli, Suresh Jagannathan, Peter Sewell |
Relaxed-memory concurrency and verified compilation. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell |
Robin Milner 1934--2010: verification, languages, and concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewell, Tjark Weber |
Mathematizing C++ concurrency. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott Owens, Peter Böhm, Francesco Zappa Nardelli, Peter Sewell |
Lem: A Lightweight Tool for Heavyweight Semantics. |
ITP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Pawel T. Wojciechowski, Asis Unyapoth |
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation. |
ACM Trans. Program. Lang. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Susmit Sarkar, Scott Owens, Francesco Zappa Nardelli, Magnus O. Myreen |
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors. |
Commun. ACM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Thomas Ridge, Susmit Sarkar, Rok Strnisa |
Ott: Effective tool support for the working semanticist. |
J. Funct. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
Memory, an elusive abstraction. |
ISMM |
2010 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
| 1 | Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell |
Fences in Weak Memory Models. |
CAV |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jade Alglave, Anthony C. J. Fox, Samin Ishtiaq, Magnus O. Myreen, Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli |
The semantics of power and ARM multiprocessor machine code. |
DAMP |
2009 |
DBLP DOI BibTeX RDF |
semantics, powerpc, arm, relaxed memory models |
| 1 | Susmit Sarkar, Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Tom Ridge, Thomas Braibant, Magnus O. Myreen, Jade Alglave |
The semantics of x86-CC multiprocessor machine code. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
semantics, relaxed memory models |
| 1 | Scott Owens, Susmit Sarkar, Peter Sewell |
A Better x86 Memory Model: x86-TSO. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Gareth Stoyle, Michael Hicks, Gavin M. Bierman, Keith Wansbrough |
Dynamic rebinding for marshalling and update, via redex-time and destruct-time reduction. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom Ridge, Michael Norrish, Peter Sewell |
A Rigorous Approach to Networking: TCP, from Implementation to Protocol to Service. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis Mutandis: Safe and predictable dynamic software updating. |
ACM Trans. Program. Lang. Syst. |
2007 |
DBLP DOI BibTeX RDF |
Proteus, updateability analysis, type inference, capability, Dynamic software updating |
| 1 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: High-level programming language design for distributed computation. |
J. Funct. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
Ott: effective tool support for the working semanticist. |
ICFP |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rok Strnisa, Peter Sewell, Matthew J. Parkinson |
The java module system: core design and semantic definition. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
LJAM, superpackage, java, module, JAM |
| 1 | Peter Sewell |
Process Calculi: The End of the Beginning?: (From Thought Experiments to Experimental Semantics). |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Biltcliffe, Michael Dales, Sam Jansen, Tom Ridge, Peter Sewell |
Rigorous Protocol Design in Practice: An Optical Packet-Switch MAC in HOL. |
ICNP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
| 1 | John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa |
Type-safe distributed programming for OCaml. |
ML |
2006 |
DBLP DOI BibTeX RDF |
HashCaml, type-safe marshalling, objective Caml |
| 1 | Andrei Serjantov, Peter Sewell |
Passive-attack analysis for connection-based anonymity systems. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Anonymous communication systems, Traffic analysis |
| 1 | Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman, Peter Sewell, Iulian Neamtiu |
Mutatis mutandis: safe and predictable dynamic software updating. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
proteus, updateability analysis, type inference, capability, dynamic software updating |
| 1 | Benjamin C. Pierce, Peter Sewell, Stephanie Weirich, Steve Zdancewic |
It Is Time to Mechanize Programming Language Metatheory. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve Bishop, Matthew Fairbairn, Michael Norrish, Peter Sewell, Michael Smith, Keith Wansbrough |
Rigorous specification and conformance testing techniques for network protocols, as applied to TCP, UDP, and sockets. |
SIGCOMM |
2005 |
DBLP DOI BibTeX RDF |
specification, TCP/IP, network protocols, operational semantics, API, conformance testing, higher-order logic, sockets, HOL |
| 1 | Peter Sewell, James J. Leifer, Keith Wansbrough, Francesco Zappa Nardelli, Mair Allen-Williams, Pierre Habouzit, Viktor Vafeiadis |
Acute: high-level programming language design for distributed computation. |
ICFP |
2005 |
DBLP DOI BibTeX RDF |
rebinding, programming languages, ML, distributed programming, modules, version control, type theory, abstract types, serialisation, marshalling |
| 1 | Brian E. Aydemir, Aaron Bohannon, Matthew Fairbairn, J. Nathan Foster, Benjamin C. Pierce, Peter Sewell, Dimitrios Vytiniotis, Geoffrey Washburn, Stephanie Weirich, Steve Zdancewic |
Mechanized Metatheory for the Masses: The PoplMark Challenge. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luca Cattani, Peter Sewell |
Models for name-passing processes: interleaving and causal. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Y. Becker, Peter Sewell |
Cassandra: Distributed Access Control Policies with Tunable Expressiveness. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Moritz Y. Becker, Peter Sewell |
Cassandra: Flexible Trust Management, Applied to Electronic Health Records. |
CSFW |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Jan Vitek |
Secure Composition of Untrusted Code: Box pi, Wrappers, and Causality. |
Journal of Computer Security |
2003 |
DBLP BibTeX RDF |
|
| 1 | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
Global abstraction-safe marshalling with hash types. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Gavin M. Bierman, Michael Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time ? |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
Global abstraction-safe marshalling with hash types. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
singleton kinds, programming languages, ML, distributed programming, modules, hashing, lambda calculus, type theory, abstract types, serialisation, marshalling |
| 1 | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Stoyle, Keith Wansbrough |
Dynamic rebinding for marshalling and update, with destruct-time? |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
programming languages, distributed programming, lambda calculus, dynamic binding, dynamic update, serialisation, marshalling |
| 1 | Andrei Serjantov, Peter Sewell |
Passive Attack Analysis for Connection-Based Anonymity Systems. |
ESORICS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
From rewrite rules to bisimulation congruences. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Norrish, Peter Sewell, Keith Wansbrough |
Rigour is good for you and feasible: reflections on formal treatments of C and UDP sockets. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov |
Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. |
ESOP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Serjantov, Peter Sewell, Keith Wansbrough |
The UDP Calculus: Rigorous Semantics for Real Networking. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Asis Unyapoth, Peter Sewell |
Nomadic pict: correct communication infrastructure for mobile computation. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
Modules, abstract types, and distributed versioning. |
POPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel T. Wojciechowski, Peter Sewell |
Nomadic Pict: language and infrastructure design for mobile agents. |
IEEE Concurrency |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Jan Vitek |
Secure Composition of Untrusted Code: Wrappers and Causality Types. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Gian Luca Cattani, Peter Sewell |
Models for Name-Passing Processes: Interleaving and Causal. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pawel T. Wojciechowski, Peter Sewell |
Nomadic Pict: Language and Infrastructure Design for Mobile Agents. |
ASA/MA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Jan Vitek |
Secure Composition of Insecure Components. (PDF / PS) |
CSFW |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
From Rewrite to Bisimulation Congruences. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
Global/Local Subtyping and Capability Inference for a Distributed pi-calculus. |
ICALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell, Pawel T. Wojciechowski, Benjamin C. Pierce |
Location-Independent Communication for Mobile Agents: A Two-Level Architecture. |
ICCL Workshop: Internet Programming Languages |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
Nonaxiomatisability of Equivalences over Finite State Processes. |
Ann. Pure Appl. Logic |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
On Implementations and Semantics of a Concurrent Programming Language. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Sewell |
Bisimulation is Not Finitely (First Order) Equationally Axiomatisable |
LICS |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #60 of 60 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")