BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Korea
1 × Poland
1 × USA
1 × United Kingdom
3 × Italy
Collaborated with:
T.W.Reps S.Sagiv M.Sagiv Matthew Noonan David Cok B.Jeannet S.H.Yong S.Horwitz D.Gopan E.Driscoll D.Nguyen D.Naydich D.Melski E.Yahav S.Chandra S.Fink N.Rinetzky M.G.Nanda J.Choi K.Lee R.O'Callahan V.Sarkar M.Sridharan
Talks about:
analysi (3) formula (2) type (2) interprocedur (1) multithread (1) polymorph (1) discoveri (1) differenc (1) algorithm (1) proposit (1)

Person: Alexey Loginov

DBLP DBLP: Loginov:Alexey

Contributed to:

ICSE 20152015
ISSTA 20082008
SAS 20062006
CAV 20052005
SAS 20042004
ESOP 20032003
LICS 20022002
PLDI 20022002
FASE 20012001
PLDI 20162016

Wrote 10 papers:

ICSE-v1-2015-GopanDNNLM
Data-Delineation in Software Binaries and its Application to Buffer-Overrun Discovery (DG, ED, DN, DN, AL, DM), pp. 145–155.
ISSTA-2008-LoginovYCFRN #analysis #safety #verification
Verifying dereference safety via expanding-scope analysis (AL, EY, SC, SF, NR, MGN), pp. 213–224.
SAS-2006-LoginovRS #algorithm #automation #verification
Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal Algorithm (AL, TWR, MS), pp. 261–279.
CAV-2005-LoginovRS #abstraction #induction #learning #refinement
Abstraction Refinement via Inductive Learning (AL, TWR, SS), pp. 519–533.
SAS-2004-JeannetLRS #analysis #approach #interprocedural #relational
A Relational Approach to Interprocedural Shape Analysis (BJ, AL, TWR, SS), pp. 246–264.
ESOP-2003-RepsSL #difference #finite #logic #static analysis
Finite Differencing of Logical Formulas for Static Analysis (TWR, SS, AL), pp. 380–398.
LICS-2002-RepsLS #semantics
Semantic Minimization of 3-Valued Propositional Formulae (TWR, AL, SS), p. 40–?.
PLDI-2002-ChoiLLOSS #concurrent #detection #object-oriented #parallel #performance #precise #source code #thread
Efficient and Precise Datarace Detection for Multithreaded Object-Oriented Programs (JDC, KL, AL, RO, VS, MS), pp. 258–269.
FASE-2001-LoginovYHR #debugging #runtime #type checking
Debugging via Run-Time Type Checking (AL, SHY, SH, TWR), pp. 217–232.
PLDI-2016-NoonanLC #polymorphism #type inference
Polymorphic type inference for machine code (MN, AL, DC), pp. 27–41.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.