Magnus Myreen

Citata da

	Tutte	Dal 2018
Citazioni	3490	2043
Indice H	28	24
i10-index	48	39

400

200

100

300

2007200820092010201120122013201420152016201720182019202020212022202313 25 49 98 105 122 155 166 209 209 262 300 397 328 336 341 337

Accesso pubblico

Visualizza tutto

25 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Scott OwensUniversity of KentEmail verificata su kent.ac.uk
Ramana KumarDeepMindEmail verificata su cl.cam.ac.uk
Yong Kiam TanScientist I, Institute for Infocomm Research, SingaporeEmail verificata su cs.cmu.edu
Michael NorrishAustralian National UniversityEmail verificata su anu.edu.au
Francesco Zappa NardelliFacebookEmail verificata su fb.com
Susmit SarkarProfessor of Computer Science, University of St AndrewsEmail verificata su st-andrews.ac.uk
Peter SewellComputer Laboratory, University of CambridgeEmail verificata su cl.cam.ac.uk
Jade AlglaveARM and University College LondonEmail verificata su ucl.ac.uk
Johannes Åman PohjolaUniversity of New South WalesEmail verificata su unsw.edu.au
Tom RidgeIndependentEmail verificata su tom-ridge.com
Ralph-Johan BackProfessor of Computer Science, Åbo AkademiEmail verificata su abo.fi
Gerwin KleinProofcraft and UNSWEmail verificata su unsw.edu.au
Zachary TatlockUniversity of WashingtonEmail verificata su cs.washington.edu
Marijn HeuleAssociate Professor of Computer Science, Carnegie Mellon UniversityEmail verificata su cs.cmu.edu
Eva DarulovaUppsala UniversityEmail verificata su it.uu.se
Samin IshtiaqRiverlaneEmail verificata su riverlane.com
Rose BohrerAssistant Professor, Worcester Polytechnic InstituteEmail verificata su wpi.edu
Stefan MitschSchool of Computing, DePaul UniversityEmail verificata su depaul.edu
André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of TechnologyEmail verificata su kit.edu
Hira Taqdees SyedaApplied Sceintist II, Amazon Web ServicesEmail verificata su amazon.com

Segui

Magnus Myreen

Chalmers University of Technology

Email verificata su cl.cam.ac.uk - Home page

Formal Verification Functional Programming Interactive Theorem Proving Computer Science


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors P Sewell, S Sarkar, S Owens, FZ Nardelli, MO Myreen Communications of the ACM 53 (7), 89-97, 2010	535	2010
CakeML: A Verified Implementation of ML R Kumar, MO Myreen, SA Owens, M Norrish ACM Symposium on Principles of Programming Languages (POPL) 2014, 0	482*
The semantics of x86-CC multiprocessor machine code S Sarkar, P Sewell, FZ Nardelli, S Owens, T Ridge, T Braibant, ... ACM SIGPLAN Notices 44 (1), 379-391, 2009	205	2009
Translation validation for a verified OS kernel TAL Sewell, MO Myreen, G Klein Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013	194	2013
A trustworthy monadic formalization of the ARMv7 instruction set architecture A Fox, MO Myreen International Conference on Interactive Theorem Proving, 243-258, 2010	191	2010
The semantics of Power and ARM multiprocessor machine code J Alglave, A Fox, S Ishtiaq, MO Myreen, S Sarkar, P Sewell, FZ Nardelli Proceedings of the 4th workshop on Declarative aspects of multicore …, 2009	145	2009
Functional big-step semantics S Owens, MO Myreen, R Kumar, YK Tan Programming Languages and Systems: 25th European Symposium on Programming …, 2016	114	2016
A new verified compiler backend for CakeML YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	97	2016
Verified just-in-time compiler on x86 MO Myreen Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2010	93	2010
VeriPhy: verified controller executables from verified cyber-physical system models R Bohrer, YK Tan, S Mitsch, MO Myreen, A Platzer Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018	90	2018
Hoare logic for realistically modelled machine code MO Myreen, MJC Gordon International Conference on Tools and Algorithms for the Construction and …, 2007	89	2007
Machine-code verification for multiple architectures-an application of decompilation into logic MO Myreen, MJC Gordon, K Slind 2008 Formal Methods in Computer-Aided Design, 1-8, 2008	77	2008
Proof-producing translation of higher-order logic into pure and stateful ML MO Myreen, S Owens Journal of Functional Programming 24 (2-3), 284-315, 2014	73	2014
The verified CakeML compiler backend YK Tan, MO Myreen, R Kumar, A Fox, S Owens, M Norrish Journal of Functional Programming 29, e2, 2019	72	2019
Self-formalisation of higher-order logic: Semantics, soundness, and a verified implementation R Kumar, R Arthan, MO Myreen, S Owens Journal of Automated Reasoning 56, 221-259, 2016	62	2016
Formal verification of machine-code programs MO Myreen British Computer Society, 2011	61	2011
Verified characteristic formulae for CakeML A Guéneau, MO Myreen, R Kumar, M Norrish European Symposium on Programming (ESOP), Springer, Lecture Notes in …, 2017	53	2017
Decompilation into logic—improved MO Myreen, MJC Gordon, K Slind 2012 Formal Methods in Computer-Aided Design (FMCAD), 78-81, 2012	49	2012
Proof-producing synthesis of ML from higher-order logic MO Myreen, S Owens ACM SIGPLAN Notices 47 (9), 115-126, 2012	42	2012
A verified runtime for a verified theorem prover MO Myreen, J Davis International Conference on Interactive Theorem Proving, 265-280, 2011	42	2011

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori