From Invariant Checking to Invariant Inference Using Randomized Search von Sharma, Rahul, Aiken, Alex

Volltext

Longitudinal assessment of an ELISPOT test for Mycobacterium tuberculosis infection von Hill, Philip C, Brookes, Roger H, Fox, Annette, Jackson-Sillah, Dolly, Jeffries, David J, Lugos, Moses D, Donkor, Simon A, Adetifa, Ifedayo M, de Jong, Bouke C, Aiken, Alex M, Adegbola, Richard A, McAdam, Keith P

Volltext

A Data Driven Approach for Algebraic Loop Invariants von Sharma, Rahul, Gupta, Saurabh, Hariharan, Bharath, Aiken, Alex, Liang, Percy, Nori, Aditya V.

Volltext

Incidence of tuberculosis and the predictive value of ELISPOT and Mantoux tests in Gambian case contacts von Hill, Philip C, Jackson-Sillah, Dolly J, Fox, Annette, Brookes, Roger H, de Jong, Bouke C, Lugos, Moses D, Adetifa, Ifedayo M, Donkor, Simon A, Aiken, Alex M, Howie, Stephen R, Corrah, Tumani, McAdam, Keith P, Adegbola, Richard A

Volltext

Secure Information Flow as a Safety Problem von Terauchi, Tachio, Aiken, Alex

Volltext

Verification as Learning Geometric Concepts von Sharma, Rahul, Gupta, Saurabh, Hariharan, Bharath, Aiken, Alex, Nori, Aditya V.

Volltext

Simplifying Loop Invariant Generation Using Splitter Predicates von Sharma, Rahul, Dillig, Isil, Dillig, Thomas, Aiken, Alex

Volltext

From invariant checking to invariant inference using randomized search von Sharma, Rahul, Aiken, Alex

Volltext

Recursive Program Synthesis using Paramorphisms von Hong, Qiantan, Aiken, Alex

Volltext

Saturn: A scalable framework for error detection using Boolean satisfiability von Xie, Yichen, Aiken, Alex

Volltext

A distributed multi-GPU system for fast graph processing von Jia, Zhihao, Kwon, Yongkee, Shipman, Galen, McCormick, Pat, Erez, Mattan, Aiken, Alex

Volltext

Multinode Multi-GPU Two-Electron Integrals: Code Generation Using the Regent Language von Johnson, K. Grace, Mirchandaney, Seema, Hoag, Ellis, Heirich, Alan, Aiken, Alex, Martínez, Todd J.

Volltext

On automatically proving the correctness of math.h implementations von Lee, Wonyeol, Sharma, Rahul, Aiken, Alex

Volltext

FLEET-Fast Lanes for Expedited Execution at 10 Terabits: Program Overview von Douglis, Fred, Robertson, Seth, Berg, Eric van den, Micallef, Josephine, Pucci, Marc, Aiken, Alex, Bergman, Keren, Hattink, Maarten, Seok, Mingoo

Volltext

Quanto: optimizing quantum circuits with automatic generation of circuit identities von Pointing, Jessica, Padon, Oded, Jia, Zhihao, Ma, Henry, Hirth, Auguste, Palsberg, Jens, Aiken, Alex

Volltext

Speaking Pygion: Experiences Writing an Exascale Single Particle Imaging Code von Mirchandaney, Seema, Aiken, Alex, Slaughter, Elliott

Volltext

Induction duality: primal-dual search for invariants von Padon, Oded, Wilcox, James R., Koenig, Jason R., McMillan, Kenneth L., Aiken, Alex

Volltext

A Capability Calculus for Concurrency and Determinism von TERAUCHI, Tachio, AIKEN, Alex

Volltext

Stochastic superoptimization von Schkufza, Eric, Sharma, Rahul, Aiken, Alex

Volltext

Progression to Active Tuberculosis, but Not Transmission, Varies by Mycobacterium tuberculosis Lineage in The Gambia von de Jong, Bouke C., Hill, Philip C., Aiken, Alex, Awine, Timothy, Martin, Antonio, Adetifa, Ifeday M., Jackson-Sillah, Dolly J., Fox, Annette, Kathryn, DeRiemer, Gagneux, Sebastien, Borgdorff, Martien W., McAdam, Keith P. W. J., Corrah, Tumani, Small, Peter M., Adegbola, Richard A.

Volltext