Profile

Prateek Kumar

Developer | Rust and JavaScript | WebAssembly Enthusiast

Education

Publications

  • Saurabh Joshi, Prateek Kumar, Sukrut Rao, Ruben Martins
    Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT.  JSAT 2019 (vol. 11)  PDF
  • Shalini Jain, Utpal Bora, Prateek Kumar, Vaibhav B. Sinha, Suresh Purini, Ramakrishna Upadrasta
    An analysis of executable size reduction by LLVM passes.  CSIT 2019  PDF
  • Saurabh Joshi, Prateek Kumar, Ruben Martins, Sukrut Rao
    Approximation Strategies for Incomplete MaxSAT.  CP 2018  PDF

Contact