Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dinakar Dhurjati
@inproceedings{DBLP:conf/asplos/PhothilimthanaT16,
author = {Phitchaya Mangpo Phothilimthana and
Aditya Thakur and
Rastislav Bod{\'{\i}}k and
Dinakar Dhurjati},
editor = {Tom Conte and
Yuanyuan Zhou},
title = {Scaling up Superoptimization},
booktitle = {Proceedings of the Twenty-First International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2016, Atlanta, GA, USA, April 2-6, 2016},
pages = {297--310},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2872362.2872387},
doi = {10.1145/2872362.2872387},
timestamp = {Wed, 07 Jul 2021 13:23:08 +0200},
biburl = {https://dblp.org/rec/conf/asplos/PhothilimthanaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/PhothilimthanaT16,
author = {Phitchaya Mangpo Phothilimthana and
Aditya Thakur and
Rastislav Bod{\'{\i}}k and
Dinakar Dhurjati},
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {GreenThumb: superoptimizer construction framework},
booktitle = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
pages = {261--262},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2892208.2892233},
doi = {10.1145/2892208.2892233},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/PhothilimthanaT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ChanderDSY11,
author = {Ajay Chander and
Dinakar Dhurjati and
Koushik Sen and
Dachuan Yu},
title = {Optimal Test Input Sequence Generation for Finite State Models and
Pushdown Systems},
booktitle = {Fourth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2011, Berlin, Germany, March 21-25, 2011},
pages = {140--149},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICST.2011.64},
doi = {10.1109/ICST.2011.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ChanderDSY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AlTurkiDYCI09,
author = {Musab AlTurki and
Dinakar Dhurjati and
Dachuan Yu and
Ajay Chander and
Hiroshi Inamura},
editor = {Marsha Chechik and
Martin Wirsing},
title = {Formal Specification and Analysis of Timing Properties in Software
Systems},
booktitle = {Fundamental Approaches to Software Engineering, 12th International
Conference, {FASE} 2009, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
22-29, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5503},
pages = {262--277},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00593-0\_18},
doi = {10.1007/978-3-642-00593-0\_18},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fase/AlTurkiDYCI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WassermannYCDIS08,
author = {Gary Wassermann and
Dachuan Yu and
Ajay Chander and
Dinakar Dhurjati and
Hiroshi Inamura and
Zhendong Su},
editor = {Barbara G. Ryder and
Andreas Zeller},
title = {Dynamic test input generation for web applications},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2008, Seattle, WA, USA, July 20-24,
2008},
pages = {249--260},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1390630.1390661},
doi = {10.1145/1390630.1390661},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/WassermannYCDIS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/CriswellLDA07,
author = {John Criswell and
Andrew Lenharth and
Dinakar Dhurjati and
Vikram S. Adve},
editor = {Thomas C. Bressoud and
M. Frans Kaashoek},
title = {Secure virtual architecture: a safe execution environment for commodity
operating systems},
booktitle = {Proceedings of the 21st {ACM} Symposium on Operating Systems Principles
2007, {SOSP} 2007, Stevenson, Washington, USA, October 14-17, 2007},
pages = {351--366},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1294261.1294295},
doi = {10.1145/1294261.1294295},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/CriswellLDA07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Dhurjati06,
author = {Dinakar Dhurjati},
title = {SAFECode: {A} Platform for Developing Reliable Software in Unsafe
Languages},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2006},
url = {https://hdl.handle.net/2142/81732},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Dhurjati06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/DhurjatiA06,
author = {Dinakar Dhurjati and
Vikram S. Adve},
title = {Efficiently Detecting All Dangling Pointer Uses in Production Servers},
booktitle = {2006 International Conference on Dependable Systems and Networks {(DSN}
2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings},
pages = {269--280},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/DSN.2006.31},
doi = {10.1109/DSN.2006.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dsn/DhurjatiA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/DhurjatiA06,
author = {Dinakar Dhurjati and
Vikram S. Adve},
editor = {Leon J. Osterweil and
H. Dieter Rombach and
Mary Lou Soffa},
title = {Backwards-compatible array bounds checking for {C} with very low overhead},
booktitle = {28th International Conference on Software Engineering {(ICSE} 2006),
Shanghai, China, May 20-28, 2006},
pages = {162--171},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1134285.1134309},
doi = {10.1145/1134285.1134309},
timestamp = {Mon, 26 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/DhurjatiA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DhurjatiKA06,
author = {Dinakar Dhurjati and
Sumant Kowshik and
Vikram S. Adve},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {SAFECode: enforcing alias analysis for weakly typed languages},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {144--157},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1133999},
doi = {10.1145/1133981.1133999},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DhurjatiKA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DhurjatiDY06,
author = {Dinakar Dhurjati and
Manuvir Das and
Yue Yang},
editor = {Kwangkeun Yi},
title = {Path-Sensitive Dataflow Analysis with Iterative Refinement},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {425--442},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_27},
doi = {10.1007/11823230\_27},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/DhurjatiDY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/DhurjatiKAL05,
author = {Dinakar Dhurjati and
Sumant Kowshik and
Vikram S. Adve and
Chris Lattner},
title = {Memory safety without garbage collection for embedded applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {4},
number = {1},
pages = {73--111},
year = {2005},
url = {https://doi.org/10.1145/1053271.1053275},
doi = {10.1145/1053271.1053275},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/DhurjatiKAL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lctrts/DhurjatiKAL03,
author = {Dinakar Dhurjati and
Sumant Kowshik and
Vikram S. Adve and
Chris Lattner},
editor = {Frank Mueller and
Ulrich Kremer},
title = {Memory safety without runtime checks or garbage collection},
booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools
for Embedded Systems (LCTES'03). San Diego, California, USA, June
11-13, 2003},
pages = {69--80},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/780732.780743},
doi = {10.1145/780732.780743},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/lctrts/DhurjatiKAL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/KowshikDA02,
author = {Sumant Kowshik and
Dinakar Dhurjati and
Vikram S. Adve},
editor = {Shuvra S. Bhattacharyya and
Trevor N. Mudge and
Wayne H. Wolf and
Ahmed Amine Jerraya},
title = {Ensuring code safety without runtime checks for real-time control
systems},
booktitle = {Proceedings of the International Conference on Compilers, Architectures
and Synthesis for Embedded Systems, {CASES} 2002, Greenoble, France,
October 8-11, 2002},
pages = {288--297},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/581630.581678},
doi = {10.1145/581630.581678},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cases/KowshikDA02.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:13 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:
