|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 126 occurrences of 90 keywords
|
|
|
Results
Found 419 publication records. Showing 416 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
24 | Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps |
Templates and Recurrences: Better Together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.13515, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
A Dataset of Dockerfiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.12912, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Goutham Ramakrishnan, Jordan Henkel, Zi Wang, Aws Albarghouthi, Somesh Jha, Thomas W. Reps |
Semantic Robustness of Models of Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.03043, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Michael Vaughn, Thomas W. Reps |
A Generating-Extension-Generator for Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.06645, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Uwe Aickelin, Jenna Marie Reps, Peer-Olaf Siebers, Peng Li |
Using simulation to incorporate dynamic criteria into multiple criteria decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.09891, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.00878, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Luis H. John, Jan A. Kors, Jenna Marie Reps, Patrick B. Ryan, Peter R. Rijnbeek |
How little data do we need for patient-level prediction? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2008.07361, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
Tail Bound Analysis for Probabilistic Programs via Central Moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2001.10150, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
Learning from, Understanding, and Supporting DevOps Artifacts for Docker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2002.03064, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
24 | Jason Breck, John Cyphert, Zachary Kincaid, Thomas W. Reps |
Templates and recurrences: better together. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pp. 688-702, 2020, ACM, 978-1-4503-7613-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Yuanbo Li, Qirun Zhang, Thomas W. Reps |
Fast graph simplification for interleaved Dyck-reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pp. 780-793, 2020, ACM, 978-1-4503-7613-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Qinheping Hu, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Exact and approximate methods for proving unrealizability of syntax-guided synthesis problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020, pp. 1128-1142, 2020, ACM, 978-1-4503-7613-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
Learning from, understanding, and supporting DevOps artifacts for docker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, pp. 38-49, 2020, ACM, 978-1-4503-7121-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Christian Bird, Shuvendu K. Lahiri, Thomas W. Reps |
A Dataset of Dockerfiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSR ![In: MSR '20: 17th International Conference on Mining Software Repositories, Seoul, Republic of Korea, 29-30 June, 2020, pp. 528-532, 2020, ACM, 978-1-4503-7517-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | John Cyphert, Jason Breck, Zachary Kincaid, Thomas W. Reps |
Refinement of path expressions for static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 45:1-45:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Zachary Kincaid, Jason Breck, John Cyphert, Thomas W. Reps |
Closed forms for numerical loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 55:1-55:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019, pp. 303-324, 2019, Elsevier. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Tushar Sharma, Thomas W. Reps |
A new abstraction framework for affine transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 54(1), pp. 110-143, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps |
Enabling Open-World Specification Mining via Unsupervised Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.12098, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Proving Unrealizability for Syntax-Guided Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1905.05800, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Peter R. Rijnbeek, Patrick B. Ryan |
Supplementing claims data analysis using self-reported data to develop a probabilistic phenotype model for current smoking status. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 97, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas W. Reps |
Proving Unrealizability for Syntax-Guided Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (1) ![In: Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I, pp. 335-352, 2019, Springer, 978-3-030-25539-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Noémie Elhadad, Iñigo Urteaga, Alison Callahan, Jenna Reps, Patrick B. Ryan |
Learning Across a Healthcare Data Network to Improve Model Robustness and Evidence Reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMIA ![In: AMIA 2019, American Medical Informatics Association Annual Symposium, Washington, DC, USA, November 16-20, 2019, 2019, AMIA. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
24 | Zachary Kincaid, John Cyphert, Jason Breck, Thomas W. Reps |
Non-linear reasoning for invariant synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 54:1-54:33, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Uwe Aickelin, Jenna Marie Reps, Peer-Olaf Siebers, Peng Li |
Using simulation to incorporate dynamic criteria into multiple criteria decision-making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Oper. Res. Soc. ![In: J. Oper. Res. Soc. 69(7), pp. 1021-1032, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Martijn J. Schuemie, Marc A. Suchard, Patrick B. Ryan, Peter R. Rijnbeek |
Design and implementation of a standardized framework to generate and evaluate patient-level prediction models using observational healthcare data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 25(8), pp. 969-975, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps |
Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.06686, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Thomas W. Reps |
Program Analyses Using Newton's Method (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
NETYS ![In: Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, pp. 3-16, 2018, Springer, 978-3-030-05528-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps |
Code vectors: understanding programs through embedded abstracted symbolic traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018, pp. 163-174, 2018, ACM, 978-1-4503-5573-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
PMAF: an algebraic framework for static analysis of probabilistic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018, pp. 513-528, 2018, ACM, 978-1-4503-5698-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Venkatesh Srinivasan, Ara Vartanian, Thomas W. Reps |
Model-assisted machine-code synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 1(OOPSLA), pp. 61:1-61:26, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Bram Reps, Tobias Weinzierl |
Complex Additive Geometric Multilevel Solvers for Helmholtz Equations on Spacetrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 44(1), pp. 2:1-2:36, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | William R. Harris, Somesh Jha, Thomas W. Reps, Sanjit A. Seshia |
Program synthesis for interactive-security systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 51(2), pp. 362-394, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps |
Neural Attribute Machines for Program Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1705.09231, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Vineeth Kashyap, David Bingham Brown, Ben Liblit, David Melski, Thomas W. Reps |
Source Forager: A Search Engine for Similar Source Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1706.02769, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
24 | Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu |
Newtonian Program Analysis via Tensor Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 39(2), pp. 9:1-9:72, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Quentin Carbonneaux, Jan Hoffmann 0002, Thomas W. Reps, Zhong Shao |
Automated Resource Analysis with Coq Proof Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II, pp. 64-85, 2017, Springer, 978-3-319-63389-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Yu Feng 0001, Ruben Martins, Yuepeng Wang 0001, Isil Dillig, Thomas W. Reps |
Component-based synthesis for complex APIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 599-612, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | David Bingham Brown, Michael Vaughn, Ben Liblit, Thomas W. Reps |
The care and feeding of wild-caught mutants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017, pp. 511-522, 2017, ACM, 978-1-4503-5105-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Zachary Kincaid, Jason Breck, Ashkan Forouhi Boroujeni, Thomas W. Reps |
Compositional recurrence analysis revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017, pp. 248-262, 2017, ACM, 978-1-4503-4988-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Tushar Sharma, Thomas W. Reps |
A New Abstraction Framework for Affine Transformers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings, pp. 342-363, 2017, Springer, 978-3-319-66705-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Simplice Donfack, Patrick Sanan, Olaf Schenk, Bram Reps, Wim Vanroose |
A High Arithmetic Intensity Krylov Subspace Method Based on Stencil Compiler Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCSE ![In: High Performance Computing in Science and Engineering - Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers, pp. 1-18, 2017, Springer, 978-3-319-97135-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Tushar Sharma, Thomas W. Reps |
Sound Bit-Precise Numerical Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings, pp. 500-520, 2017, Springer, 978-3-319-52233-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Uwe Aickelin, Richard B. Hubbard |
Refining adverse drug reaction signals by incorporating interaction variables identified using emergent pattern mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.05906, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Zhaoyang Guo, Haoyue Zhu, Uwe Aickelin |
Identifying Candidate Risk Factors for Prescription Drug Side Effects using Causal Contrast Set Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.05845, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard |
Supervised Adverse Drug Reaction Signalling Framework Imitating Bradford Hill's Causality Considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1607.06198, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Uwe Aickelin, Richard B. Hubbard |
Refining adverse drug reaction signals by incorporating interaction variables identified using emergent pattern mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 69, pp. 61-70, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Venkatesh Srinivasan, Tushar Sharma, Thomas W. Reps |
Speeding up machine-code synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, pp. 165-180, 2016, ACM, 978-1-4503-4444-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Venkatesh Srinivasan, Thomas W. Reps |
An improved algorithm for slicing machine code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016, pp. 378-393, 2016, ACM, 978-1-4503-4444-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Emma Turetsky, Prathmesh Prabhu |
Newtonian program analysis via tensor product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 663-677, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Antoine Miné, Jason Breck, Thomas W. Reps |
An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 560-588, 2016, Springer, 978-3-662-49497-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Thomas W. Reps, Aditya V. Thakur |
Automating Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 3-40, 2016, Springer, 978-3-662-49121-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi, Chris Damski |
Personalising Mobile Advertising Based on Users Installed Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.00587, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Uwe Aickelin, Jiangang Ma, Yanchun Zhang |
Refining Adverse Drug Reactions using Association Rule Mining for Electronic Healthcare Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.05943, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Bram Reps, Tobias Weinzierl |
Complex additive geometric multilevel solvers for Helmholtz equations on spacetrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1508.03954, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Uwe Aickelin |
Incorporating Spontaneous Reporting System Data to Aid Causal Inference in Longitudinal Healthcare Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1502.05938, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard |
A supervised adverse drug reaction signalling framework imitating Bradford Hill's causality considerations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Biomed. Informatics ![In: J. Biomed. Informatics 56, pp. 356-368, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Peter Ohmann, David Bingham Brown, Ben Liblit, Thomas W. Reps |
Recovering execution data from incomplete observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA@SPLASH ![In: Proceedings of the 13th International Workshop on Dynamic Analysis, WODA@SPLASH 2015, Pittsburgh, PA, USA, October 26, 2015, pp. 19-24, 2015, ACM, 978-1-4503-3909-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Venkatesh Srinivasan, Thomas W. Reps |
Partial evaluation of machine code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015, pp. 860-879, 2015, ACM, 978-1-4503-3689-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Venkatesh Srinivasan, Thomas W. Reps |
Synthesis of machine code from semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 596-607, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Reps, Zhaoyang Guo, Haoyue Zhu, Uwe Aickelin |
Identifying Candidate Risk Factors for Prescription Drug Side Effects Using Causal Contrast Set Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HIS ![In: Health Information Science - 4th International Conference, HIS 2015, Melbourne, Australia, May 28-30, 2015, Proceedings, pp. 45-55, 2015, Springer, 978-3-319-19155-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Siegfried Cools, Bram Reps, Wim Vanroose |
A new level-dependent coarse grid correction scheme for indefinite Helmholtz problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Linear Algebra Appl. ![In: Numer. Linear Algebra Appl. 21(4), pp. 513-533, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Kroening, Thomas W. Reps, Sanjit A. Seshia, Aditya V. Thakur |
Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 4(8), pp. 89-106, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Siegfried Cools, Bram Reps, Wim Vanroose |
An Efficient Multigrid Calculation of the Far Field Map for Helmholtz and Schrödinger Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 36(3), 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Signalling Paediatric Side Effects using an Ensemble of Simple Study Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0772, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi |
Tuning a Multiple Classifier System for Side Effect Discovery using Genetic Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.1053, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Grazziela P. Figueredo, Peer-Olaf Siebers, Markus R. Owen, Jenna Reps, Uwe Aickelin |
Comparing Stochastic Differential Equations and Agent-Based Modelling and Simulation for Early-stage Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0758, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
A Novel Semi-Supervised Algorithm for Rare Prescription Side Effect Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0768, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Comparison of algorithms that detect drug side effects using electronic healthcare databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.0748, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Attributes for Causal Inference in Longitudinal Observational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.5774, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
A Novel Semisupervised Algorithm for Rare Prescription Side Effect Discovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Biomed. Health Informatics ![In: IEEE J. Biomed. Health Informatics 18(2), pp. 537-547, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
Specialization Slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 36(2), pp. 5:1-5:67, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Matt Elder, Junghee Lim, Tushar Sharma, Tycho Andersen, Thomas W. Reps |
Abstract Domains of Affine Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 36(4), pp. 11:1-11:73, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Shachar Itzhaky, Nikolaj S. Bjørner, Thomas W. Reps, Mooly Sagiv, Aditya V. Thakur |
Property-Directed Shape Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, pp. 35-51, 2014, Springer, 978-3-319-08866-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Reps, Uwe Aickelin, Jonathan M. Garibaldi, Chris Damski |
Personalising Mobile Advertising Based on Users' Installed Apps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: 2014 IEEE International Conference on Data Mining Workshops, ICDM Workshops 2014, Shenzhen, China, December 14, 2014, pp. 338-345, 2014, IEEE Computer Society, 978-1-4799-4274-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Uwe Aickelin, Jiangang Ma, Yanchun Zhang |
Refining Adverse Drug Reactions Using Association Rule Mining for Electronic Healthcare Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: 2014 IEEE International Conference on Data Mining Workshops, ICDM Workshops 2014, Shenzhen, China, December 14, 2014, pp. 763-770, 2014, IEEE Computer Society, 978-1-4799-4274-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Uwe Aickelin |
Incorporating Spontaneous Reporting System Data to Aid Causal Inference in Longitudinal Healthcare Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM Workshops ![In: 2014 IEEE International Conference on Data Mining Workshops, ICDM Workshops 2014, Shenzhen, China, December 14, 2014, pp. 119-126, 2014, IEEE Computer Society, 978-1-4799-4274-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Daphne Teck Ching Lai, Jonathan M. Garibaldi, Jenna Reps |
Investigating distance metric learning in semi-supervised fuzzy c-means clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2014, Beijing, China, July 6-11, 2014, pp. 1817-1824, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps, Uwe Aickelin, Jonathan M. Garibaldi |
Tuning a multiple classifier system for side effect discovery using genetic algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2014, Beijing, China, July 6-11, 2014, pp. 910-917, 2014, IEEE, 978-1-4799-1488-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Aditya V. Thakur, Jason Breck, Thomas W. Reps |
Satisfiability modulo abstraction for separation logic with linked lists. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPIN ![In: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014, pp. 58-67, 2014, ACM, 978-1-4503-2452-6. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Venkatesh Srinivasan, Thomas W. Reps |
Recovery of Class Hierarchies and Composition Relationships from Machine Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CC ![In: Compiler Construction - 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings, pp. 61-84, 2014, Springer, 978-3-642-54806-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Richard Joiner, Thomas W. Reps, Somesh Jha, Mohan Dhawan, Vinod Ganapathy |
Efficient runtime-enforcement techniques for policy weaving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 224-234, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Min Aung, Susan Horwitz, Richard Joiner, Thomas W. Reps |
Specialization slicing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014, pp. 167, 2014, ACM, 978-1-4503-2784-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Marie Reps |
Detecting adverse drug reactions in the general practice healthcare database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
24 | Aditya V. Thakur, Akash Lal, Junghee Lim, Thomas W. Reps |
PostHat and All That: Automating Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPAS@SAS ![In: Fourth Workshop on Tools for Automatic Program Analysis, TAPAS@SAS 2013, Seattle, Washington, USA, June 19, 2013, pp. 15-32, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Reps, Jan Feyereisl, Jonathan M. Garibaldi, Uwe Aickelin, Jack E. Gibson, Richard B. Hubbard |
Investigating the Detection of Adverse Drug Events in a UK General Practice Electronic Health-Care Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.1078, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Comparing Data-mining Algorithms Developed for Longitudinal Observational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.1584, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Feng Gu 0006, Jan Feyereisl, Robert F. Oates, Jenna Reps, Julie Greensmith, Uwe Aickelin |
Quiet in Class: Classification, Noise and the Dendritic Cell Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.1391, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Discovering Sequential Patterns in a UK General Practice Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1307.1411, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Jenna Marie Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Comparison of algorithms that detect drug side effects using electronic healthcare databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 17(12), pp. 2381-2397, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Wei Zhang 0022, Chong Sun, Junghee Lim, Shan Lu 0001, Thomas W. Reps |
ConMem: Detecting Crash-Triggering Concurrency Bugs through an Effect-Oriented Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 22(2), pp. 10:1-10:33, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Junghee Lim, Thomas W. Reps |
TSL: A System for Generating Abstract Interpreters and its Application to Machine-Code Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 35(1), pp. 4:1-4:59, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jörg Kreiker, Thomas W. Reps, Noam Rinetzky, Mooly Sagiv, Reinhard Wilhelm, Eran Yahav |
Interprocedural Shape Analysis for Effectively Cutpoint-Free Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Programming Logics ![In: Programming Logics - Essays in Memory of Harald Ganzinger, pp. 414-445, 2013, Springer, 978-3-642-37650-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Jenna Reps, Jonathan M. Garibaldi, Uwe Aickelin, Daniele Soria, Jack E. Gibson, Richard B. Hubbard |
Attributes for causal inference in electronic healthcare databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, Porto, Portugal, June 20-22, 2013, pp. 548-549, 2013, IEEE Computer Society, 978-1-4799-1053-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Somesh Jha, Thomas W. Reps, William R. Harris |
Secure programs via game-based synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, FMCAD 2013, Portland, OR, USA, October 20-23, 2013, pp. 12-13, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | William R. Harris, Somesh Jha, Thomas W. Reps, Jonathan Anderson, Robert N. M. Watson |
Declarative, Temporal, and Practical Programming with Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Symposium on Security and Privacy ![In: 2013 IEEE Symposium on Security and Privacy, SP 2013, Berkeley, CA, USA, May 19-22, 2013, pp. 18-32, 2013, IEEE Computer Society, 978-1-4673-6166-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Bram Reps, Wim Vanroose |
Analyzing the wave number dependency of the convergence rate of a multigrid preconditioned Krylov method for the Helmholtz equation with an absorbing layer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numer. Linear Algebra Appl. ![In: Numer. Linear Algebra Appl. 19(2), pp. 232-252, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Andy King, Alan Mycroft, Thomas W. Reps, Axel Simon |
Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dagstuhl Reports ![In: Dagstuhl Reports 2(1), pp. 100-116, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Siegfried Cools, Bram Reps, Wim Vanroose |
An efficient multigrid method calculation of the far field map for Helmholtz problems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1211.4461, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | William R. Harris, Somesh Jha, Thomas W. Reps |
Secure Programming via Visibly Pushdown Safety Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, pp. 581-598, 2012, Springer, 978-3-642-31423-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 416 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ >>] |
|