Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexey Loginov
@inproceedings{DBLP:conf/pldi/NoonanLC16,
author = {Matthew Noonan and
Alexey Loginov and
David Cok},
editor = {Chandra Krintz and
Emery D. Berger},
title = {Polymorphic type inference for machine code},
booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
USA, June 13-17, 2016},
pages = {27--41},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2908080.2908119},
doi = {10.1145/2908080.2908119},
timestamp = {Sat, 30 Sep 2023 09:54:48 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NoonanLC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NoonanLC16,
author = {Matthew Noonan and
Alexey Loginov and
David Cok},
title = {Polymorphic Type Inference for Machine Code},
journal = {CoRR},
volume = {abs/1603.05495},
year = {2016},
url = {http://arxiv.org/abs/1603.05495},
eprinttype = {arXiv},
eprint = {1603.05495},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NoonanLC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GopanDNNLM15,
author = {Denis Gopan and
Evan Driscoll and
Ducson Nguyen and
Dimitri Naydich and
Alexey Loginov and
David Melski},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Data-Delineation in Software Binaries and its Application to Buffer-Overrun
Discovery},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {145--155},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.36},
doi = {10.1109/ICSE.2015.36},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GopanDNNLM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JeannetLRS10,
author = {Bertrand Jeannet and
Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
title = {A relational approach to interprocedural shape analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {2},
pages = {5:1--5:52},
year = {2010},
url = {https://doi.org/10.1145/1667048.1667050},
doi = {10.1145/1667048.1667050},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JeannetLRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/RepsSL10,
author = {Thomas W. Reps and
Mooly Sagiv and
Alexey Loginov},
title = {Finite differencing of logical formulas for static analysis},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {32},
number = {6},
pages = {24:1--24:55},
year = {2010},
url = {https://doi.org/10.1145/1749608.1749613},
doi = {10.1145/1749608.1749613},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/RepsSL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/LoginovYCFRN08,
author = {Alexey Loginov and
Eran Yahav and
Satish Chandra and
Stephen Fink and
Noam Rinetzky and
Mangala Gowri Nanda},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Verifying dereference safety via expanding-scope analysis},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {213--224},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390657},
doi = {10.1145/1390630.1390657},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/LoginovYCFRN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LoginovRS06,
author = {Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
editor = {Thomas W. Reps and
Mooly Sagiv and
J{\"{o}}rg Bauer},
title = {Refinement-Based Verification for Possibly-Cyclic Lists},
booktitle = {Program Analysis and Compilation, Theory and Practice, Essays Dedicated
to Reinhard Wilhelm on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4444},
pages = {247--272},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71322-7\_12},
doi = {10.1007/978-3-540-71322-7\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/LoginovRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/LoginovRS06,
author = {Alexey Loginov and
Thomas W. Reps and
Mooly Sagiv},
editor = {Kwangkeun Yi},
title = {Automated Verification of the Deutsch-Schorr-Waite Tree-Traversal
Algorithm},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {261--279},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_17},
doi = {10.1007/11823230\_17},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/LoginovRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/LoginovRS05,
author = {Alexey Loginov and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {Abstraction Refinement via Inductive Learning},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {519--533},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_50},
doi = {10.1007/11513988\_50},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/LoginovRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/DorFGLLMRRRSWYY05,
author = {Nurit Dor and
John Field and
Denis Gopan and
Tal Lev{-}Ami and
Alexey Loginov and
Roman Manevich and
G. Ramalingam and
Thomas W. Reps and
Noam Rinetzky and
Mooly Sagiv and
Reinhard Wilhelm and
Eran Yahav and
Greta Yorsh},
editor = {Bertrand Meyer and
Jim Woodcock},
title = {Automatic Verification of Strongly Dynamic Software Systems},
booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC}
2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13,
2005, Revised Selected Papers and Discussions},
series = {Lecture Notes in Computer Science},
volume = {4171},
pages = {82--92},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-69149-5\_11},
doi = {10.1007/978-3-540-69149-5\_11},
timestamp = {Fri, 17 Feb 2023 09:02:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/DorFGLLMRRRSWYY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JeannetLRS04,
author = {Bertrand Jeannet and
Alexey Loginov and
Thomas W. Reps and
Shmuel Sagiv},
editor = {Roberto Giacobazzi},
title = {A Relational Approach to Interprocedural Shape Analysis},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {246--264},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_19},
doi = {10.1007/978-3-540-27864-1\_19},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/JeannetLRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/RepsSL03,
author = {Thomas W. Reps and
Shmuel Sagiv and
Alexey Loginov},
editor = {Pierpaolo Degano},
title = {Finite Differencing of Logical Formulas for Static Analysis},
booktitle = {Programming Languages and Systems, 12th European Symposium on Programming,
{ESOP} 2003, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11,
2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2618},
pages = {380--398},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36575-3\_26},
doi = {10.1007/3-540-36575-3\_26},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/RepsSL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/RepsLS02,
author = {Thomas W. Reps and
Alexey Loginov and
Shmuel Sagiv},
title = {Semantic Minimization of 3-Valued Propositional Formulae},
booktitle = {17th {IEEE} Symposium on Logic in Computer Science {(LICS} 2002),
22-25 July 2002, Copenhagen, Denmark, Proceedings},
pages = {40},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/LICS.2002.1029816},
doi = {10.1109/LICS.2002.1029816},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/RepsLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChoiLLOSS02,
author = {Jong{-}Deok Choi and
Keunwoo Lee and
Alexey Loginov and
Robert O'Callahan and
Vivek Sarkar and
Manu Sridharan},
editor = {Jens Knoop and
Laurie J. Hendren},
title = {Efficient and Precise Datarace Detection for Multithreaded Object-Oriented
Programs},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN} Conference on Programming
Language Design and Implementation (PLDI), Berlin, Germany, June 17-19,
2002},
pages = {258--269},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/512529.512560},
doi = {10.1145/512529.512560},
timestamp = {Wed, 07 Jul 2021 17:30:34 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ChoiLLOSS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/LoginovYHR01,
author = {Alexey Loginov and
Suan Hsi Yong and
Susan Horwitz and
Thomas W. Reps},
editor = {Heinrich Hu{\ss}mann},
title = {Debugging via Run-Time Type Checking},
booktitle = {Fundamental Approaches to Software Engineering, 4th International
Conference, {FASE} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2029},
pages = {217--232},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45314-8\_16},
doi = {10.1007/3-540-45314-8\_16},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/LoginovYHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
