Cristina David
Cristina David
Verified email at cam.ac.uk
Title
Cited by
Cited by
Year
Automated verification of shape and size properties via separation logic
HH Nguyen, C David, S Qin, WN Chin
International Workshop on Verification, Model Checking, and Abstract …, 2007
2032007
Automated verification of shape, size and bag properties via user-defined predicates in separation logic
WN Chin, C David, HH Nguyen, S Qin
Science of Computer Programming 77 (9), 1006-1036, 2012
1722012
Enhancing modular OO verification with separation logic
WN Chin, C David, HH Nguyen, S Qin
ACM SIGPLAN Notices 43 (1), 87-99, 2008
942008
Automatically inferring quantified loop invariants by algorithmic learning from simple templates
S Kong, Y Jung, C David, BY Wang, K Yi
Asian Symposium on Programming Languages and Systems, 328-343, 2010
432010
Counterexample guided inductive synthesis modulo theories
A Abate, C David, P Kesseli, D Kroening, E Polgreen
International Conference on Computer Aided Verification, 270-288, 2018
392018
Measurement of the top quark mass in the tt¯ â lepton+ jets and tt¯ â dilepton channels using s= 7  TeV ATLAS data
G Aad, B Abbott, J Abdallah, R Aben, M Abolins, OS AbouZeid, ...
European Physical Journal C, 2015
352015
Automated formal synthesis of digital controllers for state-space physical plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
International Conference on Computer Aided Verification, 462-482, 2017
322017
Search for the standard model Higgs boson produced in association with a vector boson and decaying into a tau pair in collisions at with the ATLAS …
G Aad, B Abbott, J Abdallah, R Aben, M Abolins, OS AbouZeid, ...
Physical Review D 93 (9), 092005, 2016
302016
Automated verification of shape, size and bag properties
WN Chin, C David, HH Nguyen, S Qin
12th IEEE International Conference on Engineering Complex Computer Systems …, 2007
282007
Measurement of the production cross section for a Higgs boson in association with a vector boson in the H→ WW⁎→ ℓνℓν channel in pp collisions at s= 13 TeV with the ATLAS detector
G Aad, B Abbott, DC Abbott, AA Abud, K Abeling, DK Abhayasinghe, ...
Physics Letters B 798, 134949, 2019
252019
Unrestricted termination and non-termination arguments for bit-vector programs
C David, D Kroening, M Lewis
European Symposium on Programming Languages and Systems, 183-204, 2015
252015
Structured specifications for better verification of heap-manipulating programs
C Gherghina, C David, S Qin, WN Chin
International Symposium on Formal Methods, 386-401, 2011
252011
Sound and automated synthesis of digital stabilizing controllers for continuous plants
A Abate, I Bessa, D Cattaruzza, L Cordeiro, C David, P Kesseli, ...
Proceedings of the 20th International Conference on Hybrid Systems …, 2017
242017
Synthesising interprocedural bit-precise termination proofs (T)
HY Chen, C David, D Kroening, P Schrammel, B Wachter
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
242015
Bi-abduction with pure properties for specification inference
MT Trinh, QL Le, C David, WN Chin
Asian Symposium on Programming Languages and Systems, 107-123, 2013
212013
Using program synthesis for program analysis
C David, D Kroening, M Lewis
Logic for programming, artificial intelligence, and reasoning, 483-498, 2015
202015
Program synthesis: challenges and opportunities
C David, D Kroening
Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2017
192017
Immutable specifications for more concise and precise verification
C David, WN Chin
Proceedings of the 2011 ACM international conference on Object oriented …, 2011
172011
A HIP and SLEEK verification system
WN Chin, C David, C Gherghina
Proceedings of the ACM international conference companion on Object oriented …, 2011
162011
Search for vector-boson resonances decaying to a top quark and bottom quark in the lepton plus jets final state in pp collisions at s= 13 TeV with the ATLAS detector
M Aaboud, G Aad, B Abbott, B Abeloos, DK Abhayasinghe, SH Abidi, ...
Physics Letters B 788, 347-370, 2019
122019
The system can't perform the operation now. Try again later.
Articles 1–20