BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Meel:Kuldeep_S=

Contributed to:

TACAS 20152015
DAC 20142014
CAV 20132013
CC 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.