Applications of SAT Solvers to Cryptanalysis of Hash Functions Ilya Mironov and Lintao Zhang Microsoft Research, Silicon Valley Campus {mironov,lintaoz}@microsoft.com

Source URL: research.microsoft.com

State Transition System alternative to Linearizability Ilya Sergey 10:48

Source URL: ilyasergey.net

Static Analysis and Code Optimizations in Glasgow Haskell Compiler Ilya Sergey

Source URL: ilyasergey.net

• Software engineering
• Software
• Computer programming
• Glasgow Haskell Compiler
• Haskell
• Real-time strategy

Staged Multi-Result Supercompilation: Filtering by Transformation? Sergei A. Grechanik, Ilya G. Klyuchnikov, Sergei A. Romanenko Keldysh Institute of Applied Mathematics Russian Academy of Sciences

Source URL: meta2014.pereslavl.ru

Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015

Source URL: ilyasergey.net

• Mathematical logic
• Theoretical computer science
• Mathematics
• Type theory
• Logic in computer science
• Automated theorem proving
• Formal methods
• Coq
• Automated reasoning
• Proof assistant
• Separation logic
• Functional programming

Consumer / Producer Communication with Application Level Framing in Named Data Networking Ilya Moiseenko UCLA

Source URL: conferences2.sigcomm.org

• Computing
• Computer networking
• Cyberwarfare
• Internet protocols
• Data transmission
• Denial-of-service attacks
• Named data networking
• Packet loss
• IP multicast
• Network packet
• Communications protocol
• Transport layer

Elegy Ilya Kaminsky They say so much sky in her chest addicted her. They claim, with inappropriate laughter, she requested to be locked in a bird house, refusing to believe in silence

Source URL: kahini.org

Ilya Razenshteyn (MIT) joint with Alexandr Andoni (Columbia), Piotr Indyk (MIT), Thijs Laarhoven (TU Eindhoven) and Ludwig Schmidt (MIT) http://falconn-lib.org

Source URL: ilyaraz.org

Milestone 4 Final Report: Narrowband Contrast Testbed Demonstration of Hybrid Lyot Coronagraph for WFIRST-AFTA Byoung-Joon Seoa , Brian Gordona , Brian Kerna , Andy Kuhnerta , Dwight Moodya , Richard Mullera , Ilya Pober

Source URL: wfirst.gsfc.nasa.gov

The occurrence of Earthlike planets around other stars Will M. Farr, Ilya Mandel, Chris Aldridge, Kirsty Stroud University of Birmingham 3 Aug 2015

Source URL: www.exostats.org