E-LIB Suche - Ergebnisse für: Kumar, Ramana

1

Discovering agents:

Kenton, Zachary ; Kumar, Ramana ; Farquhar, Sebastian...
Artificial Intelligence. 322 (2023) - p. 103963 , 2023

Link: https://doi.org/10.1016/..

2

Highly selective H2S sensor realized via the facile synthes..:

Girija, K. G. ; Kumar, Ramana ; Debnath, A. K.
Applied Physics A. 129 (2023) 5 - p. , 2023

Link: https://doi.org/10.1007/..

3

Reward tampering problems and solutions in reinforcement le..:

Everitt, Tom ; Hutter, Marcus ; Kumar, Ramana.
Synthese. 198 (2021) S27 - p. 6435-6467 , 2021

Link: https://doi.org/10.1007/..

4

Proof-Producing Synthesis of CakeML from Monadic HOL Functi..:

Abrahamsson, Oskar ; Ho, Son ; Kanabar, Hrutvik...
Journal of Automated Reasoning. 64 (2020) 7 - p. 1287-1306 , 2020

Link: https://doi.org/10.1007/..

5

TacticToe: Learning to Prove with Tactics:

Gauthier, Thibault ; Kaliszyk, Cezary ; Urban, Josef..
Journal of Automated Reasoning. 65 (2020) 2 - p. 257-286 , 2020

Link: https://doi.org/10.1007/..

6

The verified CakeML compiler backend:

KIAM TAN, YONG ; MYREEN, MAGNUS O. ; KUMAR, RAMANA...
Journal of Functional Programming. 29 (2019) - p. , 2019

Link: https://doi.org/10.1017/..

7

Verified compilation on a verified processor:

, In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Lööw, Andreas ; Kumar, Ramana ; Tan, Yong Kiam... - p. 1041-1053 , 2019

Link: https://dl.acm.org/doi/1..

8

Verified Certificate Checking for Counting Votes:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Ghale, Milad K. ; Pattinson, Dirk ; Kumar, Ramana. - p. 69-87 , 2018

Link: https://doi.org/10.1007/..

9

Program Verification in the Presence of I/O: Semantics, Ver..:

, In: Lecture Notes in Computer Science; Verified Software. Theories, Tools, and Experiments,

Férée, Hugo ; Åman Pohjola, Johannes ; Kumar, Ramana... - p. 88-111 , 2018

Link: https://doi.org/10.1007/..

10

Verifying efficient function calls in CakeML:

Owens, Scott ; Norrish, Michael ; Kumar, Ramana..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-27 , 2017

Link: https://dl.acm.org/doi/1..

11

Verified compilation of CakeML to multiple machine-code tar..:

, In: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs,

Fox, Anthony ; Myreen, Magnus O. ; Tan, Yong Kiam. - p. 125-137 , 2017

Link: https://dl.acm.org/doi/1..

12

Verifying efficient function calls in CakeML:

Owens, Scott ; Norrish, Michael ; Kumar, Ramana..
Proceedings of the ACM on Programming Languages. 1 (2017) ICFP - p. 1-27 , 2017

Link: https://doi.org/10.1145/..

13

A new verified compiler backend for CakeML:

Tan, Yong Kiam ; Myreen, Magnus O. ; Kumar, Ramana...
ACM SIGPLAN Notices. 51 (2016) 9 - p. 60-73 , 2016

Link: https://doi.org/10.1145/..

14

A new verified compiler backend for CakeML:

, In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,

Tan, Yong Kiam ; Myreen, Magnus O. ; Kumar, Ramana... - p. 60-73 , 2016

Link: https://dl.acm.org/doi/1..

15

Self-Formalisation of Higher-Order Logic: Semantics, Soundn..:

Kumar, Ramana ; Arthan, Rob ; Myreen, Magnus O..
Journal of Automated Reasoning. 56 (2016) 3 - p. 221-259 , 2016

Link: https://doi.org/10.1007/..