Login / Signup
Celina G. Val
Publication Activity (10 Years)
Years Active: 2013-2016
Publications (10 Years): 1
Top Topics
Sat Solving
Multi Context Systems
Information Flows
Hardware And Software
Top Venues
FMCAD
EuroS&P
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
Celina G. Val
,
Michael A. Enescu
,
Sam Bayless
,
William Aiello
,
Alan J. Hu
Precisely Measuring Quantitative Information Flow: 10K Lines of Code and Beyond.
EuroS&P
(2016)
An-Che Cheng
,
Chia-Chih Jack Yen
,
Celina G. Val
,
Sam Bayless
,
Alan J. Hu
,
Iris Hui-Ru Jiang
,
Jing-Yang Jou
Efficient Coverage-Driven Stimulus Generation Using Simultaneous SAT Solving, with Application to SystemVerilog.
ACM Trans. Design Autom. Electr. Syst.
20 (1) (2014)
Alex Horn
,
Michael Tautschnig
,
Celina G. Val
,
Lihao Liang
,
Tom Melham
,
Jim Grundy
,
Daniel Kroening
Formal co-validation of low-level hardware/software interfaces.
FMCAD
(2013)
Sam Bayless
,
Celina G. Val
,
Thomas Ball
,
Holger H. Hoos
,
Alan J. Hu
Efficient modular SAT solving for IC3.
FMCAD
(2013)