Travelled to:1 × Russia
1 × USA
1 × United Kingdom
Collaborated with:S.Chakraborty M.Y.Vardi D.Majeti R.Barik V.Sarkar D.J.Fremont S.A.Seshia
Talks about:generat (4) uniform (3) scalabl (3) wit (3) sat (3) architectur (1) parallel (1) automat (1) layout (1) kernel (1)
Person: Kuldeep S. Meel
DBLP: Meel:Kuldeep_S=
Contributed to:
2015
2014
2013
2016Wrote 4 papers:
- TACAS-2015-ChakrabortyFMSV #generative #on the #parallel #satisfiability #scalability
- On Parallel Scalable Uniform SAT Witness Generation (SC, DJF, KSM, SAS, MYV), pp. 304–319.
- DAC-2014-ChakrabortyMV #generative #satisfiability #scalability
- Balancing Scalability and Uniformity in SAT Witness Generator (SC, KSM, MYV), p. 6.
- CAV-2013-ChakrabortyMV #generative #satisfiability #scalability
- A Scalable and Nearly Uniform Generator of SAT Witnesses (SC, KSM, MYV), pp. 608–623.
- CC-2016-MajetiMBS #architecture #automation #cpu #generative #gpu #kernel #layout
- Automatic data layout generation and kernel mapping for CPU+GPU architectures (DM, KSM, RB, VS), pp. 240–250.