Aleksey Nogin

24 papers A 2B 3C 1Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2023 — conf
Assured Point Cloud Perception.
ICAA
Christopher R. Serrano, Aleksey Nogin, Michael A. Warren
2021 B conf
Formally Verified Safety Net for Waypoint Navigation Neural Network Controllers.
FM
Alexei Kopylov, Stefan Mitsch, Aleksey Nogin, Michael A. Warren
2021 J jnl
Semantics and Axiomatization for Stochastic Differential Dynamic Logic.
CoRR
Michael Roberts, Alexei Kopylov, Aleksey Nogin
2017 J jnl
A verified messaging system.
Proc. ACM Program. Lang.
William Mansky, Andrew W. Appel, Aleksey Nogin
2014 J jnl
HRLSim: A High Performance Spiking Neural Network Simulator for GPGPU Clusters.
IEEE Trans. Neural Networks Learn. Syst.
Kirill Minkovich, Corey M. Thibeault, Michael John O'Brien, Aleksey Nogin, Youngkwan Cho, Narayan Srinivasa
2012 J jnl
Programming Time-Multiplexed Reconfigurable Hardware Using a Scalable Neuromorphic Compiler.
IEEE Trans. Neural Networks Learn. Syst.
Kirill Minkovich, Narayan Srinivasa, Jose M. Cruz-Albrecht, Youngkwan Cho, Aleksey Nogin
2008 J jnl
On Dynamic Topological Logic of the Real Line.
J. Log. Comput.
Maria Nogin, Aleksey Nogin
2006 B conf
: Designing a Scalable Build Process.
FASE
Jason Hickey, Aleksey Nogin
2006 J jnl
Formal compiler construction in a logical framework.
High. Order Symb. Comput.
Jason Hickey, Aleksey Nogin
2006 C conf
Formalizing Type Operations Using the "Image" Type Constructor.
WoLLIC
Aleksey Nogin, Alexei Kopylov
2006 A conf
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.
ICFP
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
2006 — conf
Practical Reflection for Sequent Logics.
LFMTP@FLoC
Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
2005 — conf
A computational approach to reflective meta-reasoning about languages with bindings.
MERLIN
Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey
2004 — conf
A Mechanism for Sequential Consistency in a Distributed Objects System.
PDCS
Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
2004 — conf
Extensible Hierarchical Tactic Construction in a Logical Framework.
TPHOLs
Jason Hickey, Aleksey Nogin
2003 — conf
Compiler implementation in a formal logical framework.
MERLIN
Jason Hickey, Aleksey Nogin, Adam Granicz
2003 — conf
MetaPRL - A Modular Logical Environment.
TPHOLs
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
2002 — conf
Quotient Types: A Modular Approach.
TPHOLs
Aleksey Nogin
2002 — conf
Sequent Schema for Derived Rules.
TPHOLs
Aleksey Nogin, Jason Hickey
2002 — —
Theory and Implementation of an Efficient Tactic-Based Logical Framework.
Aleksey Nogin
2001 A conf
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.
IJCAR
Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
2001 B conf
Markov's Principle for Propositional Type Theory.
CSL
Alexei Kopylov, Aleksey Nogin
2000 — conf
Fast Tactic-Based Theorem Proving.
TPHOLs
Jason Hickey, Aleksey Nogin
2000 — conf
Writing Constructive Proofs Yielding Efficient Extracted Programs.
Workshop on Type-Theoretic Languages: Proof Search and Semantics
Aleksey Nogin