David Clark

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 48

Top Venues

CoRR

IEEE Trans. Software Eng.

IEEE Trans. Instrum. Meas.

Int. J. High Perform. Comput. Appl.

Publications

Kai Zhang, Alistair Reid, David Clark, Michail Michelarakis, Manu A. Haddad
Diagnostics of Partial Discharge Measurements Utilizing Multi-Sensor Temporal Pulse Sequence Analysis. IEEE Access 12 (2024)
David Clark, Cecilia Testart, Matthew Luckie, kc claffy
A path forward: Improving Internet routing security by enabling zones of trust. CoRR (2023)
Abigail C. Dommer, Lorenzo Casalino, Fiona L. Kearns, Mia Rosenfeld, Nicholas Wauer, Surl-Hee Ahn, John Russo, A. Sofia F. Oliveira, Clare Morris, Anthony T. Bogetti, Anda Trifan, Alexander Brace, Terra Sztain, Austin Clyde, Heng Ma, S. Chakra Chennubhotla, Hyungro Lee, Matteo Turilli, Syma Khalid, Teresa Tamayo-Mendoza, Matthew Welborn, Anders S. Christensen, Daniel G. A. Smith, Zhuoran Qiao, Sai K. Sirumalla, Michael O'connor, Frederick R. Manby, Anima Anandkumar, David J. Hardy, James C. Phillips, Abraham C. Stern, Josh Romero, David Clark, Mitchell Dorrell, Tom Maiden, Lei Huang, John D. McCalpin, Christopher J. Woods, Alan Gray, Matt Williams, Bryan Barker, Harinda Rajapaksha, Richard Pitts, Tom Gibbs, John E. Stone, Daniel M. Zuckerman, Adrian J. Mulholland, Thomas Miller, Shantenu Jha, Arvind Ramanathan, Lillian T. Chong, Rommie E. Amaro
#COVIDisAirborne: AI-enabled multiscale computational microscopy of delta SARS-CoV-2 in a respiratory aerosol. Int. J. High Perform. Comput. Appl. 37 (1) (2023)
Harun Bayraktar, Ali Charara, David Clark, Saul Cohen, Timothy B. Costa, Yao-Lung L. Fang, Yang Gao, Jack Guan, John A. Gunnels, Azzam Haidar, Andreas Hehn, Markus Höhnerbach, Matthew Jones, Tom Lubowe, Dmitry Lyakh, Shinya Morino, Paul Springer, Sam Stanwyck, Igor Terentyev, Satya Varadhan, Jonathan Wong, Takuma Yamaguchi
cuQuantum SDK: A High-Performance Library for Accelerating Quantum Science. CoRR (2023)
Ke Liu, Yangyi Sui, David Clark, Jun Lin
Evaluation Method for Airborne Full Magnetic Gradient Tensor Data Measured Over a Survey Area. IEEE Trans. Instrum. Meas. 72 (2023)
Harun Bayraktar, Ali Charara, David Clark, Saul Cohen, Timothy B. Costa, Yao-Lung L. Fang, Yang Gao, Jack Guan, John A. Gunnels, Azzam Haidar, Andreas Hehn, Markus Höhnerbach, Matthew Jones, Tom Lubowe, Dmitry I. Lyakh, Shinya Morino, Paul Springer, Sam Stanwyck, Igor Terentyev, Satya Varadhan, Jonathan Wong, Takuma Yamaguchi
cuQuantum SDK: A High-Performance Library for Accelerating Quantum Science. QCE (2023)
Héctor D. Menéndez, David Clark
Hashing Fuzzing: Introducing Input Diversity to Improve Crash Detection. IEEE Trans. Software Eng. 48 (9) (2022)
William B. Langdon, Afnan A. Al-Subaihin, David Clark
Measuring failed disruption propagation in genetic programming. GECCO (2022)
Krishna Patel, Robert M. Hierons, David Clark
An information theoretic notion of software testability. Inf. Softw. Technol. 143 (2022)
Anda Trifan, Defne Gorgun, Michael Salim, Zongyi Li, Alexander Brace, Maxim Zvyagin, Heng Ma, Austin Clyde, David Clark, David J. Hardy, Tom Burnley, Lei Huang, John D. McCalpin, Murali Emani, Hyenseung Yoo, Junqi Yin, Aristeidis Tsaris, Vishal Subbiah, Tanveer Raza, Jessica Liu, Noah Trebesch, Geoffrey Wells, Venkatesh Mysore, Tom Gibbs, James C. Phillips, S. Chakra Chennubhotla, Ian T. Foster, Rick Stevens, Anima Anandkumar, Venkatram Vishwanath, John E. Stone, Emad Tajkhorshid, Sarah A Harris, Arvind Ramanathan
Intelligent resolution: Integrating Cryo-EM with AI-driven multi-resolution simulations to observe the severe acute respiratory syndrome coronavirus-2 replication-transcription machinery in action. Int. J. High Perform. Comput. Appl. 36 (5-6) (2022)
Héctor D. Menéndez, Michele Boreale, Daniele Gorla, David Clark
Output Sampling for Output Diversity in Automatic Unit Test Generation. IEEE Trans. Software Eng. 48 (2) (2022)
Chunyan Mu, David Clark
Quantitative Verification of Opacity Properties in Security Systems. CoRR (2022)
David Clark, Golam Sorwar, Fiona Naumann, Deborah Newman, Christina Aggar, Andrew Woods
Acceptance and Continuance Usage Intention of Mixed Reality for Australian Healthcare Interprofessional Education. ACIS (2022)
Shibin Liu, Yangyi Sui, Hao Cheng, Zibo Zhang, David Clark
Accuracy Evaluation of Calibrating Magnetic Tensor Gradiometers From Total-Field Gradient Measurements in Aeromagnetic Survey. IEEE Trans. Instrum. Meas. 70 (2021)
Héctor D. Menéndez, David Clark, Earl T. Barr
Getting Ahead of the Arms Race: Hothousing the Coevolution of VirusTotal with a Packer. Entropy 23 (4) (2021)
Justyna Petke, David Clark, William B. Langdon
Software robustness: a survey, a theory, and prospects. ESEC/SIGSOFT FSE (2021)
William B. Langdon, Justyna Petke, David Clark
Dissipative polynomials. GECCO Companion (2021)
Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
HyperGI: Automated Detection and Repair of Information Flow Leakage. CoRR (2021)
Ke Liu, Yangyi Sui, Hao Cheng, Zixiao Wang, David Clark
Magnetic Dipole Moment Determination Using Near-Field Magnetic Gradient Tensor Data. IEEE Geosci. Remote. Sens. Lett. 18 (7) (2021)
Héctor D. Menéndez, Gunel Jahangirova, Federica Sarro, Paolo Tonella, David Clark
Diversifying Focused Testing for Unit Testing. ACM Trans. Softw. Eng. Methodol. 30 (4) (2021)
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
An Empirical Validation of Oracle Improvement. IEEE Trans. Software Eng. 47 (8) (2021)
Ibrahim Mesecan, Daniel Blackwell, David Clark, Myra B. Cohen, Justyna Petke
HyperGI: Automated Detection and Repair of Information Flow Leakage. ASE (2021)
Torben Amtoft, Kelly Androutsopoulos, David Clark
Correctly Slicing Extended Finite State Machines. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
David Clark, Sophia Mancini, Jacob Van Hook
Misère Tic-Tac-Toe on Projective Binary Steiner Triple Systems. Am. Math. Mon. 127 (5) (2020)
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
An Empirical Study on Failed Error Propagation in Java Programs with Real Faults. CoRR (2020)
Nadia Alshahwan, Earl T. Barr, David Clark, George Danezis, Héctor D. Menéndez
Detecting Malware with Information Complexity. Entropy 22 (5) (2020)
Cecilia Testart, Philipp Richter, Alistair King, Alberto Dainotti, David Clark
To Filter or Not to Filter: Measuring the Benefits of Registering in the RPKI Today. PAM (2020)
Shibin Liu, Yangyi Sui, Keith Leslie, Clive Foss, David Clark
Determination of the Direction of Magnetization and Orientation of a Tilted Sheet From Downhole Magnetic Gradient Tensor Data. IEEE Trans. Geosci. Remote. Sens. 58 (3) (2020)
Dan Bruce, Héctor D. Menéndez, Earl T. Barr, David Clark
Ant Colony Optimization for Object-Oriented Unit Test Generation. ANTS Conference (2020)
Lixin Sun, Jonathan Vandermause, Simon L. Batzner, Yu Xie, David Clark, Wei Chen, Boris Kozinsky
Multitask machine learning of collective variables for enhanced sampling of rare events. CoRR (2020)
David Kelly, Mark Marron, David Clark, Earl T. Barr
SafeStrings: Representing Strings as Structured Data. CoRR (2019)
Dan Bruce, Héctor D. Menéndez, David Clark
Dorylus: An Ant Colony Based Tool for Automated Test Case Generation. SSBSE (2019)
Héctor D. Menéndez, Sukriti Bhattacharya, David Clark, Earl T. Barr
The arms race: Adversarial search defeats entropy used to detect malware. Expert Syst. Appl. 118 (2019)
Cecilia Testart, Philipp Richter, Alistair King, Alberto Dainotti, David Clark
Profiling BGP Serial Hijackers: Capturing Persistent Misbehavior in the Global Routing Table. Internet Measurement Conference (2019)
David Clark, Tarleton Gillespie, Natali Helberger, Christine A. Varney, Christo Wilson
Platform regulation: panel. CSLAW (2019)
David Clark, Robert M. Hierons, Krishna Patel
Normalised Squeeziness and Failed Error Propagation. Inf. Process. Lett. 149 (2019)
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
OASIs: oracle assessment and improvement tool. ISSTA (2018)
Earl T. Barr, David Clark, Mark Harman, Alexandru Marginean
Indexing Operators to Extend the Reach of Symbolic Execution. CoRR (2018)
Fabio Pittalà, Christopher Stone, David Clark, Maxim Kuschnerov, Changsong Xie, Abderrahmane Haddad
Laboratory Measurements of SOP Transients due to Lightning Strikes on OPGW Cables. OFC (2018)
Philipp Richter, Ramakrishna Padmanabhan, Neil Spring, Arthur W. Berger, David Clark
Advancing the Art of Internet Edge Outage Detection. Internet Measurement Conference (2018)
Chaiyong Ragkhitwetsagul, Jens Krinke, David Clark
A comparison of code similarity analysers. Empir. Softw. Eng. 23 (4) (2018)
Alejandro Calleja, Alejandro Martín, Héctor D. Menéndez, Juan E. Tapiador, David Clark
Picking on the family: Disrupting android malware triage by forcing misclassification. Expert Syst. Appl. 95 (2018)
Edmund Spencer, David Clark, Ravi Gollapalli, Samuel Russ, Brannon Kerrigan
A System On Chip design for fast time domain impedance spectroscopy. MWSCAS (2017)
Edmund Spencer, David Clark, Samuel Russ, Ravi Gollapalli, Dimitris Vassiliadis, Brannon Kerrigan, John Mullins, Jeffrey Mizell
First results from a time domain impedance probe for measuring plasma properties in the ionosphere. MWSCAS (2017)
Chaiyong Ragkhitwetsagul, Jens Krinke, David Clark
Similarity of Source Code in the Presence of Pervasive Modifications. SCAM (2016)
Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. ICST (2016)
Gunel Jahangirova, David Clark, Mark Harman, Paolo Tonella
Test oracle assessment and improvement. ISSTA (2016)
Sukriti Bhattacharya, Héctor D. Menéndez, Earl T. Barr, David Clark
ITect: Scalable Information Theoretic Similarity for Malware Detection. CoRR (2016)
David Clark, Robert Feldt, Simon M. Poulding, Shin Yoo
Information Transformation: An Underpinning Theory for Software Engineering. ICSE (2) (2015)
Michele Boreale, David Clark, Daniele Gorla
A semiring-based trace semantics for processes with applications to information leakage analysis. Math. Struct. Comput. Sci. 25 (2) (2015)
Robert Feldt, Simon M. Poulding, David Clark, Shin Yoo
Test Set Diameter: Quantifying the Diversity of Sets of Test Cases. CoRR (2015)
David Clark
The network and the OS. SOSP History Day (2015)
David Clark, Renata Teixeira, Marco Mellia
What has Worked and What Won't Work in Crowdsourcing. C2B(I)D@SIGCOMM (2015)
Nadia Alshahwan, Earl T. Barr, David Clark, George Danezis
Detecting Malware with Information Complexity. CoRR (2015)
Amin Vahdat, David Clark, Jennifer Rexford
A Purpose-built Global Network: Google's Move to SDN. ACM Queue 13 (8) (2015)
Kelly Androutsopoulos, David Clark, Haitao Dan, Robert M. Hierons, Mark Harman
An analysis of the relationship between conditional entropy and failed error propagation in software testing. ICSE (2014)
David Clark, Vladimir D. Tonchev
The Nonexistence of (18, 3, 18, 6) Relative Difference Sets. SETA (2014)
Shin Yoo, Mark Harman, David Clark
Fault localization prioritization: Comparing information-theoretic and coverage-based approaches. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
David Clark, Vladimir D. Tonchev
Enumeration of (16, 4, 16, 4) Relative Difference Sets. Electron. J. Comb. 20 (1) (2013)
Katri K. Sieberg, David Clark, Charles A. Holt, Timothy Nordstrom, William Reed
An Experimental Analysis of Asymmetric Power in Conflict Bargaining. Games 4 (3) (2013)
Kelly Androutsopoulos, David Clark, Mark Harman, Robert M. Hierons, Zheng Li, Laurence Tratt
Amorphous Slicing of Extended Finite State Machines. IEEE Trans. Software Eng. 39 (7) (2013)
David Clark, Vladimir D. Tonchev
A new class of majority-logic decodable codes derived from polarity designs. Adv. Math. Commun. 7 (2) (2013)
Kelly Androutsopoulos, David Clark, Mark Harman, Jens Krinke, Laurence Tratt
State-based model slicing: A survey. ACM Comput. Surv. 45 (4) (2013)
David Clark, Robert M. Hierons
Squeeziness: An information theoretic measure for avoiding fault masking. Inf. Process. Lett. 112 (8-9) (2012)
David Clark, Vladimir D. Tonchev
Nonbinary quantum codes derived from finite geometries. Finite Fields Their Appl. 18 (1) (2012)
David Clark, Dieter Jungnickel, Vladimir D. Tonchev
Affine geometry designs, polarities, and Hamada's conjecture. J. Comb. Theory, Ser. A 118 (1) (2011)
David Clark, Roberto Giacobazzi, Chunyan Mu
Foreword: programming language interference and dependence. Math. Struct. Comput. Sci. 21 (6) (2011)
Chunyan Mu, David Clark
A Tool: Quantitative Analyser for Programs. QEST (2011)
Kelly Androutsopoulos, David W. Binkley, David Clark, Nicolas Gold, Mark Harman, Kevin Lano, Zheng Li
Model projection: simplifying models in response to restricting the environment. ICSE (2011)
Steven J. Bauer, David Clark, William H. Lehr
PowerBoost. HomeNets@SIGCOMM (2011)
Lee Renforth, Malcolm Seltzer-Grant, Ross Mackinlay, Steven Goodfellow, David Clark, Roger Shuttleworth
Experiences from over 15 years of on-line partial discharge (OLPD) testing of in-service MV and HV cables, switchgear, transformers and rotating machines. LARC (2011)
Yuichiro Fujiwara, David Clark, Peter Vandendriessche, Maarten De Boeck, Vladimir D. Tonchev
Entanglement-assisted quantum low-density parity-check codes CoRR (2010)
Torben Amtoft, Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li
An alternative characterization of weak order dependence. Inf. Process. Lett. 110 (21) (2010)
Michele Boreale, David Clark, Daniele Gorla
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS (2010)
Chunyan Mu, David Clark
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics. ARES (2009)
Chunyan Mu, David Clark
An Interval-based Abstraction for Quantifying Information Flow. Electron. Notes Theor. Comput. Sci. 253 (3) (2009)
Kelly Androutsopoulos, David Clark, Mark Harman, Zheng Li, Laurence Tratt
Control Dependence for Extended Finite State Machines. FASE (2009)
David Clark, Sebastian Hunt
Non-Interference for Deterministic Interactive Programs. Formal Aspects in Security and Trust (2008)
Kevin Lano, David Clark
Model Transformation Specification and Verification. QSIC (2008)
Kevin Lano, David Clark
Semantics and Refinement of Behavior State Machines. ICEIS (3-1) (2008)
David Clark, Sebastian Danicic, Roberto Giacobazzi
Special issue on Programming Language Interference and Dependence. J. Log. Algebraic Methods Program. 72 (2) (2007)
David Clark, Sebastian Hunt, Pasquale Malacaria
A static analysis for quantifying information flow in a simple imperative language. J. Comput. Secur. 15 (3) (2007)
Xiaowei Yang, David Clark, Arthur W. Berger
NIRA: a new inter-domain routing architecture. IEEE/ACM Trans. Netw. 15 (4) (2007)
Kevin Lano, David Clark
Direct Semantics of Extended State Machines. J. Object Technol. 6 (9) (2007)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantitative Information Flow, Relations and Polymorphic Types. J. Log. Comput. 15 (2) (2005)
Kevin Lano, Kelly Androutsopoulos, David Clark
Refinement Patterns for UML. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
David Clark, Sebastian Hunt, Pasquale Malacaria
Quantified Interference for a While Language. Electron. Notes Theor. Comput. Sci. 112 (2005)
David Clark
Testing Programming Skills with Multiple Choice Questions. Informatics Educ. 3 (2) (2004)
David Clark
Using Consensus Ensembles to Identify Suspect Data. KES (2004)
David Clark
Elsewhere. IEEE Internet Comput. 8 (4) (2004)
David Clark
From the Newsstand. IEEE Internet Comput. 8 (5) (2004)
Kevin Lano, David Clark, Kelly Androutsopoulos
UML to B: Formal Verification of Object-Oriented Models. IFM (2004)
Peter A. Bath, David Clark, Michael Wright
The International Observatory on End of Life Care (IOELC): An Information Resource for Palliative Care. Health Informatics J. 10 (2) (2004)
David Clark
Elsewhere. IEEE Internet Comput. 8 (3) (2004)
Kevin Lano, David Clark, Kelly Androutsopoulos
RSDS, a Subset of UML with Precise Semantics. Obj. Logiciel Base données Réseaux 9 (4) (2003)
Kevin Lano, David Clark, Kelly Androutsopoulos
Safety and Security Analysis of Object-Oriented Models. SAFECOMP (2002)
David Clark, Chris Hankin, Sebastian Hunt
Information flow for Algol-like languages. Comput. Lang. Syst. Struct. 28 (1) (2002)
David Clark
Using Consensus Ensembles to Identify Suspect Data. Aust. J. Intell. Inf. Process. Syst. 8 (1) (2002)
David Clark
Mobile Processors Begin to Grow Up. Computer 35 (3) (2002)
Kevin Lano, David Clark, Kelly Androutsopoulos
From Implicit Specifications to Explicit Designs in Reactive System Development. IFM (2002)

David Clark.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Clark