Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eric L. Seidel
@article{DBLP:journals/jfp/SeidelJW18,
author = {Eric L. Seidel and
Ranjit Jhala and
Westley Weimer},
title = {Dynamic witnesses for static type errors (or, Ill-Typed Programs Usually
Go Wrong)},
journal = {J. Funct. Program.},
volume = {28},
pages = {e13},
year = {2018},
url = {https://doi.org/10.1017/S0956796818000126},
doi = {10.1017/S0956796818000126},
timestamp = {Tue, 10 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/SeidelJW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Seidel17,
author = {Eric L. Seidel},
title = {Data-Driven Techniques for Type Error Diagnosis},
school = {University of California, San Diego, {USA}},
year = {2017},
url = {http://www.escholarship.org/uc/item/59s4h4pv},
timestamp = {Fri, 20 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Seidel17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/SeidelSCWJ17,
author = {Eric L. Seidel and
Huma Sibghat and
Kamalika Chaudhuri and
Westley Weimer and
Ranjit Jhala},
title = {Learning to blame: localizing novice type errors with data-driven
diagnosis},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{OOPSLA}},
pages = {60:1--60:27},
year = {2017},
url = {https://doi.org/10.1145/3138818},
doi = {10.1145/3138818},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/SeidelSCWJ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1708-07583,
author = {Eric L. Seidel and
Huma Sibghat and
Kamalika Chaudhuri and
Westley Weimer and
Ranjit Jhala},
title = {Learning to Blame: Localizing Novice Type Errors with Data-Driven
Diagnosis},
journal = {CoRR},
volume = {abs/1708.07583},
year = {2017},
url = {http://arxiv.org/abs/1708.07583},
eprinttype = {arXiv},
eprint = {1708.07583},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1708-07583.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/SeidelJW16,
author = {Eric L. Seidel and
Ranjit Jhala and
Westley Weimer},
editor = {Jacques Garrigue and
Gabriele Keller and
Eijiro Sumii},
title = {Dynamic witnesses for static type errors (or, ill-typed programs usually
go wrong)},
booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on
Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22,
2016},
pages = {228--242},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2951913.2951915},
doi = {10.1145/2951913.2951915},
timestamp = {Wed, 23 Jun 2021 15:34:31 +0200},
biburl = {https://dblp.org/rec/conf/icfp/SeidelJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeidelJW16,
author = {Eric L. Seidel and
Ranjit Jhala and
Westley Weimer},
title = {Dynamic Witnesses for Static Type Errors},
journal = {CoRR},
volume = {abs/1606.07557},
year = {2016},
url = {http://arxiv.org/abs/1606.07557},
eprinttype = {arXiv},
eprint = {1606.07557},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SeidelJW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SeidelVJ15,
author = {Eric L. Seidel and
Niki Vazou and
Ranjit Jhala},
editor = {Jan Vitek},
title = {Type Targeted Testing},
booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
{ESOP} 2015, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9032},
pages = {812--836},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46669-8\_33},
doi = {10.1007/978-3-662-46669-8\_33},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SeidelVJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/ElliottPWHBSSL15,
author = {Trevor Elliott and
Lee Pike and
Simon Winwood and
Patrick C. Hickey and
James Bielman and
Jamey Sharp and
Eric L. Seidel and
John Launchbury},
editor = {Ben Lippmeier},
title = {Guilt free ivory},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} Symposium on Haskell, Haskell
2015, Vancouver, BC, Canada, September 3-4, 2015},
pages = {189--200},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2804302.2804318},
doi = {10.1145/2804302.2804318},
timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
biburl = {https://dblp.org/rec/conf/haskell/ElliottPWHBSSL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/haskell/VazouSJ14,
author = {Niki Vazou and
Eric L. Seidel and
Ranjit Jhala},
editor = {Wouter Swierstra},
title = {LiquidHaskell: experience with refinement types in the real world},
booktitle = {Proceedings of the 2014 {ACM} {SIGPLAN} symposium on Haskell, Gothenburg,
Sweden, September 4-5, 2014},
pages = {39--51},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2633357.2633366},
doi = {10.1145/2633357.2633366},
timestamp = {Thu, 24 Jun 2021 16:19:29 +0200},
biburl = {https://dblp.org/rec/conf/haskell/VazouSJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/VazouSJVJ14,
author = {Niki Vazou and
Eric L. Seidel and
Ranjit Jhala and
Dimitrios Vytiniotis and
Simon L. Peyton Jones},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Refinement types for Haskell},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {269--282},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628161},
doi = {10.1145/2628136.2628161},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/VazouSJVJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VazouSJ14,
author = {Niki Vazou and
Eric L. Seidel and
Ranjit Jhala},
title = {From Safety To Termination And Back: SMT-Based Verification For Lazy
Languages},
journal = {CoRR},
volume = {abs/1401.6227},
year = {2014},
url = {http://arxiv.org/abs/1401.6227},
eprinttype = {arXiv},
eprint = {1401.6227},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VazouSJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SeidelVJ14,
author = {Eric L. Seidel and
Niki Vazou and
Ranjit Jhala},
title = {Type Targeted Testing},
journal = {CoRR},
volume = {abs/1410.5370},
year = {2014},
url = {http://arxiv.org/abs/1410.5370},
eprinttype = {arXiv},
eprint = {1410.5370},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SeidelVJ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icchp/KhooSZ12,
author = {Wai L. Khoo and
Eric L. Seidel and
Zhigang Zhu},
editor = {Klaus Miesenberger and
Arthur I. Karshmer and
Petr Pen{\'{a}}z and
Wolfgang L. Zagler},
title = {Designing a Virtual Environment to Evaluate Multimodal Sensors for
Assisting the Visually Impaired},
booktitle = {Computers Helping People with Special Needs - 13th International Conference,
{ICCHP} 2012, Linz, Austria, July 11-13, 2012, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7383},
pages = {573--580},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31534-3\_84},
doi = {10.1007/978-3-642-31534-3\_84},
timestamp = {Tue, 29 Dec 2020 18:41:22 +0100},
biburl = {https://dblp.org/rec/conf/icchp/KhooSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-4135,
author = {Eric L. Seidel},
title = {Metadata Management in Scientific Computing},
journal = {CoRR},
volume = {abs/1203.4135},
year = {2012},
url = {http://arxiv.org/abs/1203.4135},
eprinttype = {arXiv},
eprint = {1203.4135},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-4135.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/grid/AllenGLRSS10,
author = {Gabrielle Allen and
Tom Goodale and
Frank L{\"{o}}ffler and
David Rideout and
Erik Schnetter and
Eric L. Seidel},
title = {Component specification in the Cactus Framework: The Cactus Configuration
Language},
booktitle = {Proceedings of the 2010 11th {IEEE/ACM} International Conference on
Grid Computing, Brussels, Belgium, October 25-29, 2010},
pages = {359--368},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/GRID.2010.5698008},
doi = {10.1109/GRID.2010.5698008},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/grid/AllenGLRSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tg/SeidelAB0S10,
author = {Eric L. Seidel and
Gabrielle Allen and
Steven R. Brandt and
Frank L{\"{o}}ffler and
Erik Schnetter},
editor = {Richard Moore and
Daniel S. Katz and
Shawn Brown},
title = {Simplifying complex software assembly: the component retrieval language
and implementation},
booktitle = {Proceedings of the 2010 TeraGrid Conference, {TG} '10, Pittsburgh,
Pennsylvania, USA, August 2-5, 2010},
pages = {18:1--18:8},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1838574.1838592},
doi = {10.1145/1838574.1838592},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tg/SeidelAB0S10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1341,
author = {Gabrielle Allen and
Tom Goodale and
Frank L{\"{o}}ffler and
David Rideout and
Erik Schnetter and
Eric L. Seidel},
title = {Component Specification in the Cactus Framework: The Cactus Configuration
Language},
journal = {CoRR},
volume = {abs/1009.1341},
year = {2010},
url = {http://arxiv.org/abs/1009.1341},
eprinttype = {arXiv},
eprint = {1009.1341},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1341.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-1342,
author = {Eric L. Seidel and
Gabrielle Allen and
Steven R. Brandt and
Frank L{\"{o}}ffler and
Erik Schnetter},
title = {Simplifying Complex Software Assembly: The Component Retrieval Language
and Implementation},
journal = {CoRR},
volume = {abs/1009.1342},
year = {2010},
url = {http://arxiv.org/abs/1009.1342},
eprinttype = {arXiv},
eprint = {1009.1342},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-1342.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 2023-09-28 02:34 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:
