Travelled to:1 × China
1 × Croatia
1 × Czech Republic
1 × Finland
1 × Hungary
1 × India
1 × Ireland
1 × New Zealand
1 × Portugal
1 × Russia
1 × South Africa
1 × The Netherlands
2 × Canada
2 × France
2 × Germany
2 × Spain
20 × USA
3 × Austria
4 × Italy
5 × United Kingdom
Collaborated with:J.Burnim G.Agha M.Pradel G.C.Necula C.Park ∅ P.Joshi M.Viswanathan M.Naik C.Stergiou G.Rosu C.Lemieux L.Gong W.Choi R.Majumdar T.Elmas N.Jalbert M.Sridharan S.Juvekar P.Schuh S.C.0001 S.Chandra C.Iancu S.Kalasapur T.G.Brutch S.Gibbs D.Gay Y.Kannan A.Vardhan P.Godefroid H.S.Gunawi S.Chatterjee K.Chatterjee T.A.Henzinger M.Shlimovich M.Emmi D.Marinov N.Klarlund G.A.Agha J.Meseguer P.Thati N.Martí-Oliet S.H.Jensen H.Tanno X.Zhang T.Hoshino A.Chander D.Dhurjati D.Yu M.K.Ramanathan A.Grama S.Jagannathan H.Barringer A.Goldberg K.Havelund C.Nguyen H.Yoshida M.R.Prasad I.Ghosh J.Galenson P.Reames R.Bodík B.Hartmann J.Cambronero H.Li S.Kim N.Chida Y.Kawakoya D.Ikarashi K.Takahashi R.Bavishi R.Fox I.Stoica Sifei Luan D.Yang Celeste Barnaby R.Padhye L.Simon Hayawardh Vijayakumar M.Chabbi W.Lavrijsen W.d.Jong J.M.Mellor-Crummey E.Andreasen C.S.Gordon F.Tip C.Cadar S.Khurshid C.S.Pasareanu N.Tillmann W.Visser
Talks about:test (25) program (18) check (11) model (10) generat (9) dynam (9) javascript (8) concurr (8) analysi (8) multithread (7)
Person: Koushik Sen
DBLP: Sen:Koushik
Contributed to:
2015
2015
20152015
2015
2015
2015
20152014
201420132013
201320132012
201120112011201120112011
2011
2011
20102010
2009
20092009
20092009200920082008
20082008200820082007200720072007200620062006200520052005
20062005200420042004
20042003
200220182019
2020201620182019Wrote 72 papers:
- ECOOP-2015-PradelS #empirical #javascript
- The Good, the Bad, and the Ugly: An Empirical Study of Implicit Type Conversions in JavaScript (MP, KS), pp. 519–541.
- ESEC-FSE-2015-GongPS #javascript #named
- JITProf: pinpointing JIT-unfriendly JavaScript code (LG, MP, KS), pp. 357–368.
- ESEC-FSE-2015-JensenSSC #debugging #independence #javascript #memory management #named #platform
- MemInsight: platform-independent memory debugging for JavaScript (SHJ, MS, KS, SC), pp. 345–356.
- ESEC-FSE-2015-SenNGC #execution #multi #named #summary #symbolic computation #using
- MultiSE: multi-path symbolic execution using value summaries (KS, GCN, LG, WC), pp. 842–853.
- ICSE-v1-2015-PradelSS #analysis #consistency #javascript #named #nondeterminism
- TypeDevil: Dynamic Type Inconsistency Analysis for JavaScript (MP, PS, KS), pp. 314–324.
- ICSE-v2-2015-TannoZHS #automation #enterprise #generative #modelling #testing #tool support
- TesMa and CATG: Automated Test Generation Tools for Models of Enterprise Applications (HT, XZ, TH, KS), pp. 717–720.
- ICST-2015-0001YPGS #analysis #generative #testing #using
- Generating Succinct Test Cases Using Don’t Care Analysis (CN, HY, MRP, IG, KS), pp. 1–10.
- ISSTA-2015-GongPSS #javascript #named
- DLint: dynamically checking bad coding practices in JavaScript (LG, MP, MS, KS), pp. 94–105.
- PPoPP-2015-ChabbiLJSMI #parallel #source code
- Barrier elision for production parallel programs (MC, WL, WdJ, KS, JMMC, CI), pp. 109–119.
- SAS-2015-ChoiCNS #javascript #layout #named #type system
- SJS: A Type System for JavaScript with Fixed Object Layout (WC, SC, GCN, KS), pp. 181–198.
- ICSE-2014-GalensonRBHS #interactive #named #synthesis
- CodeHint: dynamic and interactive synthesis of code snippets (JG, PR, RB, BH, KS), pp. 653–663.
- OOPSLA-2014-PradelSNS #generative #latency #named #testing #user interface
- EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation (MP, PS, GCN, KS), pp. 33–47.
- ESEC-FSE-2013-SenKBG #dynamic analysis #framework #javascript #named
- Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (KS, SK, TGB, SG), pp. 488–498.
- ESEC-FSE-2013-SenKBG13a #dynamic analysis #framework #javascript #named #testing
- Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
- OOPSLA-2013-ChoiNS #android #approximate #learning #testing #user interface
- Guided GUI testing of android apps with minimal restart and approximate learning (WC, GCN, KS), pp. 623–640.
- PLDI-2013-ElmasBNS #concurrent #debugging #domain-specific language #named
- CONCURRIT: a domain specific language for reproducing concurrency bugs (TE, JB, GCN, KS), pp. 153–164.
- PPoPP-2013-ParkSI #concurrent #detection #scalability #source code
- Scalable data race detection for partitioned global address space programs (CSP, KS, CI), pp. 305–306.
- PPoPP-2012-BurnimENS #correctness #named #nondeterminism #parallel #specification
- NDetermin: inferring nondeterministic sequential specifications for parallelism correctness (JB, TE, GCN, KS), pp. 329–330.
- PPoPP-2012-ParkS #concurrent
- Concurrent breakpoints (CSP, KS), pp. 331–332.
- ASPLOS-2011-BurnimNS #parallel #semantics #source code #specification #thread
- Specifying and checking semantic atomicity for multithreaded programs (JB, GCN, KS), pp. 79–90.
- ICSE-2011-CadarGKPSTV #assessment #execution #symbolic computation #testing
- Symbolic execution for software testing in practice: preliminary assessment (CC, PG, SK, CSP, KS, NT, WV), pp. 1066–1071.
- ICST-2011-ChanderDSY #automaton #finite #generative #modelling #sequence
- Optimal Test Input Sequence Generation for Finite State Models and Pushdown Systems (AC, DD, KS, DY), pp. 140–149.
- ISSTA-2011-BurnimSS #concurrent #memory management #modelling #source code #testing
- Testing concurrent programs on relaxed memory models (JB, KS, CS), pp. 122–132.
- OOPSLA-2011-JoshiGS #injection #multi #named #programmable
- PREFAIL: a programmable tool for multiple-failure injection (PJ, HSG, KS), pp. 171–188.
- PLDI-2011-BurnimENS #correctness #named #nondeterminism #parallel #runtime #specification
- NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness (JB, TE, GCN, KS), pp. 401–414.
- SAT-2011-Sen #constraints #testing
- Concolic Testing and Constraint Satisfaction (KS), pp. 3–4.
- TACAS-2011-BurnimSS #consistency #memory management #modelling #monitoring
- Sound and Complete Monitoring of Sequential Consistency for Relaxed Memory Models (JB, KS, CS), pp. 11–25.
- FSE-2010-JalbertS #concurrent #debugging #effectiveness #source code
- A trace simplification technique for effective debugging of concurrent programs (NJ, KS), pp. 57–66.
- FSE-2010-JoshiNSG #detection #dynamic analysis #effectiveness
- An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
- ICSE-2010-BurnimS #named #parallel #source code #specification #thread
- DETERMIN: inferring likely deterministic specifications of multithreaded programs (JB, KS), pp. 415–424.
- ASE-2009-BurnimJSS #detection #infinity #lightweight #named #runtime
- Looper: Lightweight Detection of Infinite Loops at Runtime (JB, NJ, CS, KS), pp. 161–169.
- CAV-2009-JoshiNPS #concurrent #framework #named #source code #testing
- CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs (PJ, MN, CSP, KS), pp. 675–681.
- ESEC-FSE-2009-BurnimS #parallel #source code #thread
- Asserting and checking determinism for multithreaded programs (JB, KS), pp. 3–12.
- FASE-2009-ChatterjeeJS #java #named #query #using
- SNIFF: A Search Engine for Java Using Free-Form Queries (SC, SJ, KS), pp. 385–400.
- ICSE-2009-BurnimJS #automation #complexity #generative #named #testing #worst-case
- WISE: Automated test generation for worst-case complexity (JB, SJ, KS), pp. 463–473.
- ICSE-2009-NaikPSG #concurrent #detection #effectiveness
- Effective static deadlock detection (MN, CSP, KS, DG), pp. 386–396.
- PLDI-2009-JoshiPSN #detection #program analysis #random
- A randomized dynamic program analysis technique for detecting real deadlocks (PJ, CSP, KS, MN), pp. 110–120.
- ASE-2008-BurnimS #generative #heuristic #scalability #testing
- Heuristics for Scalable Dynamic Test Generation (JB, KS), pp. 443–446.
- ASE-2008-JoshiS #java #parallel #predict #source code #thread #type system
- Predictive Typestate Checking of Multithreaded Java Programs (PJ, KS), pp. 288–296.
- FSE-2008-ParkS #concurrent #detection #random #source code
- Randomized active atomicity violation detection in concurrent programs (CSP, KS), pp. 135–145.
- FoSSaCS-2008-ChatterjeeSH #markov #model checking
- Model-Checking ω-Regular Properties of Interval Markov Chains (KC, KS, TAH), pp. 302–317.
- ISSTA-2008-KannanS #data type #execution #generative #invariant #symbolic computation
- Universal symbolic execution and its application to likely data structure invariant generation (YK, KS), pp. 283–294.
- PLDI-2008-Sen #concurrent #random testing #source code #testing
- Race directed random testing of concurrent programs (KS), pp. 11–21.
- SAS-2008-RamanathanSGJ #protocol #using
- Protocol Inference Using Static Path Profiles (MKR, KS, AG, SJ), pp. 78–92.
- ASE-2007-Sen #concurrent #effectiveness #random testing #source code #testing
- Effective random testing of concurrent programs (KS), pp. 323–332.
- ASE-2007-Sen07a #testing
- Concolic testing (KS), pp. 571–572.
- ESEC-FSE-2007-JoshiSS #effectiveness #predict #testing
- Predictive testing: amplifying the effectiveness of software testing (PJ, KS, MS), pp. 561–564.
- ICSE-2007-MajumdarS #hybrid #testing
- Hybrid Concolic Testing (RM, KS), pp. 416–426.
- ISSTA-2007-EmmiMS #database #generative
- Dynamic test input generation for database applications (ME, RM, KS), pp. 151–162.
- CAV-2006-SenA #model checking #testing #tool support
- CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.
- CAV-2006-SenV #model checking #parallel #source code #thread
- Model Checking Multithreaded Programs with Asynchronous Atomic Methods (KS, MV), pp. 300–314.
- FASE-2006-SenA #automation #distributed #source code #testing
- Automated Systematic Testing of Open Distributed Programs (KS, GA), pp. 339–356.
- TACAS-2006-SenVA #markov #model checking #nondeterminism
- Model-Checking Markov Chains in the Presence of Uncertainties (KS, MV, GA), pp. 394–410.
- CAV-2005-SenVA #model checking #on the #probability #statistics
- On Statistical Model Checking of Stochastic Systems (KS, MV, GA), pp. 266–280.
- ESEC-FSE-2005-SenMA #c #named #testing
- CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
- PLDI-2005-GodefroidKS #automation #named #random testing #testing
- DART: directed automated random testing (PG, NK, KS), pp. 213–223.
- QAPL-2005-AghaMS06 #named #object-oriented #probability #specification
- PMaude: Rewrite-based Specification Language for Probabilistic Object Systems (GAA, JM, KS), pp. 213–239.
- TACAS-2005-VardhanSVA #using #verification
- Using Language Inference to Verify ω-Regular Properties (AV, KS, MV, GA), pp. 45–60.
- CAV-2004-SenVA #black box #model checking #probability #statistics
- Statistical Model Checking of Black-Box Probabilistic Systems (KS, MV, GA), pp. 202–215.
- ICSE-2004-SenVAR #distributed #monitoring #performance #safety
- Efficient Decentralized Monitoring of Safety in Distributed Systems (KS, AV, GA, GR), pp. 418–427.
- TACAS-2004-SenRA #analysis #online #parallel #performance #predict #safety #source code #thread
- Online Efficient Predictive Safety Analysis of Multithreaded Programs (KS, GR, GA), pp. 123–138.
- VMCAI-2004-BarringerGHS #rule-based #runtime #verification
- Rule-Based Runtime Verification (HB, AG, KH, KS), pp. 44–57.
- ESEC-FSE-2003-SenRA #analysis #parallel #runtime #safety #source code #thread
- Runtime safety analysis of multithreaded programs (KS, GR, GA), pp. 337–346.
- WRLA-2002-ThatiSM #execution #maude #semantics #specification #testing #π-calculus
- An Executable Specification of Asynchronous π-Calculus Semantics and May Testing in Maude 2.0 (PT, KS, NMO), pp. 261–281.
- ASE-2018-LemieuxS #named #testing
- FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage (CL, KS), pp. 475–485.
- ESEC-FSE-2019-CambroneroLKS0 #code search #learning
- When deep learning met code search (JC, HL, SK, KS, SC0), pp. 964–974.
- CC-2020-ChidaKITS #algorithm #linear #parsing
- Is stateful packrat parsing really linear in practice? a counter-example, an improved grammar, and its parsing algorithms (NC, YK, DI, KT, KS), pp. 155–166.
- ECOOP-2016-AndreasenGCSTS #approach #type system
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems (EA, CSG, SC0, MS, FT, KS), p. 26.
- OOPSLA-2018-PradelS #approach #debugging #detection #learning #named
- DeepBugs: a learning approach to name-based bug detection (MP, KS), p. 25.
- OOPSLA-2019-BavishiLFSS #generative #named #synthesis
- AutoPandas: neural-backed generators for program synthesis (RB, CL, RF, KS, IS), p. 27.
- OOPSLA-2019-LuanYBS0 #code search #named #recommendation
- Aroma: code recommendation via structural code search (SL, DY, CB, KS, SC0), p. 28.
- OOPSLA-2019-PadhyeLSSV #fuzzing #named
- FuzzFactory: domain-specific fuzzing with waypoints (RP, CL, KS, LS, HV), p. 29.