Michael Sammler und Derek Dreyer - Info zur Person

(1 - 35 von 38

)

Saarland Informatics Campus

saarland-informatics-campus.de

... Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, Derek Dreyer; Subcubic Certificates for CFL Reachability Dmitry ...

News - CMSsic.saarland

cms.sic.saarland

Category Theory Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler. News. Evaluation. Written: :39 Written By: Michael Sammler. › view

Max Planck researchers publish 8 papers at POPL + a new record!...

saarland-informatics-campus.de

Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak. [pdf]; Persistency Semantics of the Intel-x86 Architecture. Azalea Raad, John Wickerson, ...

Talk: Automated and Foundational Verification of Low- ...University of Wisconsin–Madison

today.wisc.edu

— Bio: Michael Sammler is a PhD student at the Max Planck Institute for Software Systems under the supervision of Deepak Garg and Derek Dreyer.

About Me - Max Planck Institute for Software Systems

people.mpi-sws.org

About Me. Hi, I am Michael Sammler . When I am not skiing or traveling the world, I am a post-doc in the Programming Methodology Group at ETH Zürich . Before that, I was a PhD student with Deepak Garg and Derek Dreyer at the Max Planck Institute for Software Systems and Saarland Informatics Campus . RefinedC , which uses a refinement and ...

Derek Dreyer → Research - Max Planck Institute for Software …

people.mpi-sws.org

WebMichael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg. In ACM SIGPLAN Conference on Programming Language Design …

Islaris: Verification of Machine Code Against Authoritative ISA …

people.mpi-sws.org

WebMichael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell Islaris: Verification of …

Simuliris: A Separation Logic Framework for Verifying Concurrent ...

people.mpi-sws.org

WebLennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers, Jeehoon Kang, and Derek Dreyer Simuliris: A Separation Logic …

Islaris: Verification of Machine Code Against Authoritative ...The University of Edinburgh

www.research.ed.ac.uk

von M Sammler · · Zitiert von: 7 — Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, Peter Sewell.

BFF: Foundational and Automated Verification of Bitfield …

plv.mpi-sws.org

WebMICHAEL SAMMLER, MPI-SWS, Germany RODOLPHE LEPIGRE, MPI-SWS, Germany DEREK DREYER, MPI-SWS, Germany DEEPAK GARG, MPI-SWS, Germany Low-level …

RefinedC: Automating the Foundational Verification of C Code …

plv.mpi-sws.org

WebMichael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg ReinedC: Au-tomating the Foundational Veriication of C Code …

Ralf Jung

research.ralfj.de

Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hoang-Hai Dang, Robbert Krebbers,. Jeehoon Kang, and Derek Dreyer. “Simuliris: A separation logic ...

The High-Level Benefits of Low-Level SandboxingUniversity of California San Diego

cseweb.ucsd.edu

von M SAMMLER · · Zitiert von: 25 — Michael Sammler, Deepak Garg, Derek Dreyer, and Tadeusz Litak The High-Level Benefits of Low-Level. Sandboxing. Proc. ACM Program. Lang.

dblp: Derek Dreyer

dblp.uni-trier.de

List of computer science publications by Derek Dreyer

DBLPhttps://dblp.org › PersonsMichael Sammler

dblp.org

— Michael Sammler , Simon Spies , Youngju Song , Emanuele D'Osualdo , Robbert Krebbers , Deepak Garg , Derek Dreyer :

Seminars - Seminar Assignment Summer Universität des …

seminars.cs.uni-saarland.de

WebCategory Theory by Derek Dreyer, Jan Menz, and Michael Sammler. Category theory is a relatively young branch of mathematics which provides a kind of "abstract theory of …

Melocoton: A Program Logic for Verified Interoperability ...Archive ouverte HAL

hal.science

... Michael Sammler (4) , Lars Birkedal (5) , Derek Dreyer (4). Afficher plus de détails. 1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical ...

Reviewer.ly

cs.reviewer.ly

Top Venues · Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, Derek Dreyer · Armaël Guéneau, Johannes Hostert, Simon Spies, Michael Sammler, ...

Conditional Contextual Refinementsf.snu.ac.kr › ccr

sf.snu.ac.kr

... Seoul National University, Korea; Chung-Kil Hur, Seoul National University, Korea; Michael Sammler, MPI-SWS, Germany; Derek Dreyer, MPI-SWS, Germany ...

SIC CMS

cms.sic.saarland

Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler. News. Evaluation. Written on by Michael Sammler. Hi, the results of the evaluation are now ...

ELVER

www.cl.cam.ac.uk

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg. In PLDI [ bib | pdf | abstract ]; Capability ...

Iris ProjectIris-project.org

iris-project.org

Michael Sammler, Simon Spies, Youngju Song, Emanuele D'Osualdo, Robbert Krebbers, Deepak Garg, Derek Dreyer In POPL 2023: ACM SIGPLAN Symposium on ...

[PDF] Conditional Contextual Refinement - MPG.PuRepure.mpg.de › item_ _2 › component › file_ › content

pure.mpg.de

Youngju Song, Minki Cho, Dongjae Lee, Chung-Kil Hur, Michael Sammler, and Derek Dreyer Conditional. Contextual Refinement. Proc. ACM Program. Lang.

Materials - CMScms.sic.saarland › materials

cms.sic.saarland

Category Theory Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler. Materials. You need to login in order to access more course material.

RefinedC: Automating the Foundational Verification of C Code ...pldi21.org

www.pldi21.org

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg. Keywords: C programming language, separation logic, ...

RefinedC: Automating the foundational verification of C ...GitHub Pages

alastairreid.github.io

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg [doi] [ISBN] [Google Scholar] [DBLP] [Citeseer] [url].

Kayvan MemarianUniversity of Cambridge

www.cl.cam.ac.uk

Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg. In Proc. 42nd ACM SIGPLAN International Conference on ...

Programming Languages Reading Group at IMDEAsoftware.imdea.org › ~nikita.zyuzin › plreading

software.imdea.org

... of C Code with Refined Ownership Types, 2021, Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg, Nikita.

The High-Level Benefits of Low-Level Sandboxing (bibtex)Friedrich-Alexander-Universität Erlangen-Nürnberg

www8.cs.fau.de

Michael Sammler, Deepak Garg, Derek Dreyer and Tadeusz Litak: The High-Level Benefits of Low-Level Sandboxing, In Proc. ACM Program. Lang., 4(POPL),

Simon Spies's research works - ResearchGatewww.researchgate.net › Simon-Spies

www.researchgate.net

Michael Sammler · Simon Spies · Youngju Song; [...] Derek Dreyer. Prior work on multi-language program verification has achieved impressive results, ...

UCAM-CL-TR-947University of Cambridge

www.cl.cam.ac.uk

Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell. In PLDI

Programming Languages & Security Reading Group at ...IMDEA Software

software.imdea.org

2021, Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, Deepak Garg, Nikita , Game Semantics: Easy as Pi,

PublicationsRobbert Krebbers

robbertkrebbers.nl

Lennard Gäher, Michael Sammler, Simon Spies, Ralf Jung, Hai Dang, Robbert Krebbers, Jeehong Kang and Derek Dreyer. Simuliris: A Separation Logic Framework for ...

Teaching AssistantsSIC CMS

cms.sic.saarland

Derek Dreyer, Andrew Hirsch, Jan Menz, Michael Sammler. Instructors. Bild. Derek Dreyer Contact: show mail. JavaScript is required to render email addresses ...

topic.Cerberus.group.bibUniversity of Cambridge

www.cl.cam.ac.uk

@inproceedings{RefinedC-pldi, author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg} ...

Alle Infos zum Namen "Michael Sammler"

Verwandte Suchanfragen zu Michael Sammler

Derek Dreyer

Person "Sammler" (3)
Vorname "Michael" (149265)
Name "Sammler" (172)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Michael Sammler und Derek Dreyer Person-Info