Nick Benton - RankMe

60 papers A* 6A 6B 4C 9Misc 1Journal 11Unranked 18

Year	Rank	Type	Title / Venue / Authors
2021	C	`ed.`	PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021 PPDP Niccolò Veltri, Nick Benton, Silvia Ghilezan
2018	J	`jnl`	Effect-dependent transformations for concurrent programs. Sci. Comput. Program. Nick Benton, Martin Hofmann, Vivek Nigam
2018	J	`jnl`	Proof-Relevant Logical Relations for Name Generation. Log. Methods Comput. Sci. Nick Benton, Martin Hofmann, Vivek Nigam
2018	C	`conf`	Semantic Equivalence Checking for HHVM Bytecode. PPDP Nick Benton
2017	J	`jnl`	Correctness of compiling polymorphism to dynamic typing. J. Funct. Program. Kuen-Bang Hou (Favonia), Nick Benton, Robert Harper
2017	J	`jnl`	Proof-Relevant Logical Relations for Name Generation. CoRR Nick Benton, Martin Hofmann, Vivek Nigam
2016	—	`conf`	Counting Successes: Effects and Transformations for Non-deterministic Programs. A List of Successes That Can Change the World Nick Benton, Andrew Kennedy, Martin Hofmann, Vivek Nigam
2016	C	`conf`	Effect-dependent transformations for concurrent programs. PPDP Nick Benton, Martin Hofmann, Vivek Nigam
2015	J	`jnl`	Effect-Dependent Transformations for Concurrent Programs. CoRR Nick Benton, Martin Hofmann, Vivek Nigam
2015	A*	`conf`	Integrating Linear and Dependent Types. POPL Neelakantan R. Krishnaswami, Cécilia Pradic, Nick Benton
2014	A*	`conf`	Abstract effects and proof-relevant logical relations. POPL Nick Benton, Martin Hofmann, Vivek Nigam
2013	C	`conf`	Coq: the world's best macro assembler? PPDP Andrew Kennedy, Nick Benton, Jonas Braband Jensen, Pierre-Évariste Dagand
2013	A*	`conf`	High-level separation logic for low-level code. POPL Jonas Braband Jensen, Nick Benton, Andrew Kennedy
2013	—	`conf`	Proof-Relevant Logical Relations for Name Generation. TLCA Nick Benton, Martin Hofmann, Vivek Nigam
2013	B	`conf`	The Proof Assistant as an Integrated Development Environment. APLAS Nick Benton
2012	J	`jnl`	Abstract Effects and Proof-Relevant Logical Relations CoRR Nick Benton, Martin Hofmann, Vivek Nigam
2012	A	`conf`	Adding Equations to System F Types. ESOP Neelakantan R. Krishnaswami, Nick Benton
2012	A*	`conf`	Higher-order functional reactive programming in bounded space. POPL Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
2012	J	`jnl`	Strongly Typed Term Representations in Coq. J. Autom. Reason. Nick Benton, Chung-Kil Hur, Andrew Kennedy, Conor McBride
2011	A	`conf`	A semantic model for graphical user interfaces. ICFP Neelakantan R. Krishnaswami, Nick Benton
2011	A*	`conf`	Ultrametric Semantics of Reactive Programs. LICS Neelakantan R. Krishnaswami, Nick Benton
2010	—	`conf`	10351 Abstracts Collection - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
2010	—	`conf`	10351 Executive Summary - Modelling, Controlling and Reasoning About State. Modelling, Controlling and Reasoning About State Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
2010	—	`ed.`	Modelling, Controlling and Reasoning About State, 29.08. - 03.09.2010 Modelling, Controlling and Reasoning About State Amal Ahmed, Nick Benton, Lars Birkedal, Martin Hofmann
2010	—	`ed.`	Proceedings of TLDI 2010: 2010 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Madrid, Spain, January 23, 2010 TLDI Andrew Kennedy, Nick Benton
2010	—	`conf`	Step-Indexing: The Good, the Bad and the Ugly. Modelling, Controlling and Reasoning About State Nick Benton, Chung-Kil Hur
2009	A	`conf`	Biorthogonality, step-indexing and compiler correctness. ICFP Nick Benton, Chung-Kil Hur
2009	—	`conf`	Compiling functional types to relational specifications for low level imperative code. TLDI Nick Benton, Nicolas Tabareau
2009	C	`conf`	Relational semantics for effect-based program transformations: higher-order store. PPDP Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
2009	—	`conf`	Some Domain Theory and Denotational Semantics in Coq. TPHOLs Nick Benton, Andrew Kennedy, Carsten Varming
2008	—	`conf`	08061 Abstracts Collection -- Types, Logics and Semantics for State. Types, Logics and Semantics for State Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
2008	—	`conf`	08061 Executive Summary -- Types, Logics and Semantics for State. Types, Logics and Semantics for State Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
2008	C	`conf`	Diagrammatic Reasoning in Separation Logic. Diagrams M. Ridsdale, Mateja Jamnik, Nick Benton, Josh Berdine
2008	—	`ed.`	Types, Logics and Semantics for State, 03.02. - 08.02.2008 Types, Logics and Semantics for State Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett
2008	Misc	`conf`	Undoing Dynamic Typing (Declarative Pearl). FLOPS Nick Benton
2007	C	`conf`	Formalizing and verifying semantic type soundness of a simple compiler. PPDP Nick Benton, Uri Zarfaty
2007	C	`conf`	Relational semantics for effect-based program transformations with dynamic allocation. PPDP Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann
2007	—	`conf`	Semantics of an effect analysis for exceptions. TLDI Nick Benton, Peter Buchlovsky
2006	B	`conf`	Abstracting Allocation. CSL Nick Benton
2006	—	`ed.`	Proceedings of the ACM-SIGPLAN Workshop on ML, ML 2005, Tallinn, Estonia, September 29, 2005 ML Nick Benton, Xavier Leroy
2006	B	`conf`	Reading, Writing and Relations. APLAS Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
2005	B	`conf`	A Typed, Compositional Logic for a Stack-Based Abstract Machine. APLAS Nick Benton
2005	J	`jnl`	Embedded interpreters. J. Funct. Program. Nick Benton
2005	—	`conf`	Preface. ML Nick Benton, Xavier Leroy
2005	—	`conf`	Relational Reasoning in a Nominal Semantics for Storage. TLCA Nick Benton, Benjamin Leperchey
2004	C	`conf`	Adventures in interoperability: the SML.NET experience. PPDP Nick Benton, Andrew Kennedy, Claudio V. Russo
2004	J	`jnl`	Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst. Nick Benton, Luca Cardelli, Cédric Fournet
2004	—	`conf`	Shrinking Reductions in SML.NET. IFL Nick Benton, Andrew Kennedy, Sam Lindley, Claudio V. Russo
2004	A*	`conf`	Simple relational correctness proofs for static analyses and program transformations. POPL Nick Benton
2003	J	`jnl`	Traced Premonoidal Categories. RAIRO Theor. Informatics Appl. Nick Benton, Martin Hyland
2002	A	`conf`	Modern Concurrency Abstractions for C ECOOP Nick Benton, Luca Cardelli, Cédric Fournet
2002	—	`conf`	Traced pre-monoidal categories. FICS Nick Benton, Martin Hyland
2001	—	`conf`	BABEL 2001 - Preface. BABEL Nick Benton, Andrew Kennedy
2001	J	`jnl`	Exceptional Syntax Journal of Functional Programming. J. Funct. Program. Nick Benton, Andrew Kennedy
2001	—	`ed.`	First International Workshop on Multi-Language Infrastructure and Interoperability, BABEL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 8, 2001 BABEL Nick Benton, Andrew Kennedy
2000	—	`conf`	Monads and Effects. APPSEM Nick Benton, John Hughes, Eugenio Moggi
2000	—	`conf`	Type inference for MLj. Scottish Functional Programming Workshop Bruce J. McAdam, Andrew Kennedy, Nick Benton
1999	A	`conf`	Interlanguage Working Without Tears: Blending SML with Java. ICFP Nick Benton, Andrew Kennedy
1999	—	`conf`	Monads, Effects and Transformations. HOOTS Nick Benton, Andrew Kennedy
1998	A	`conf`	Compiling Standard ML to Java Bytecodes. ICFP Nick Benton, Andrew Kennedy, George Russell