George C. Necula

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Koushik Sen

> Home > Persons > George C. Necula

Publications

2018
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ChoiSNW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ChoiSNW18
Wontae Choi, Koushik Sen, George C. Necula, Wenyu Wang:
DetReduce: minimizing Android GUI test suites for regression testing. ICSE 2018: 445-455
2015
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ChoiCNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ChoiCNS15
Wontae Choi, Satish Chandra, George C. Necula, Koushik Sen:
SJS: A Type System for JavaScript with Fixed Object Layout. SAS 2015: 181-198
[c64]
- view
  - electronic edition @ gi.de
  - no references & citations available
- export record
  dblp key:
  - conf/se/PradelSNS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/PradelSNS15
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen:
EventBreak: Analyzing the Responsiveness of User Interfaces through Performance-Guided Test Generation. Software Engineering & Management 2015: 131
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/SenNGC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/SenNGC15
Koushik Sen, George C. Necula, Liang Gong, Wontae Choi:
MultiSE: multi-path symbolic execution using value summaries. ESEC/SIGSOFT FSE 2015: 842-853
2014
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/PradelSNS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/PradelSNS14
Michael Pradel, Parker Schuh, George C. Necula, Koushik Sen:
EventBreak: analyzing the responsiveness of user interfaces through performance-guided test generation. OOPSLA 2014: 33-47
2013
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ChoiNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ChoiNS13
Wontae Choi, George C. Necula, Koushik Sen:
Guided GUI testing of android apps with minimal restart and approximate learning. OOPSLA 2013: 623-640
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ElmasBNS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ElmasBNS13
Tayfun Elmas, Jacob Burnim, George C. Necula, Koushik Sen:
CONCURRIT: a domain specific language for reproducing concurrency bugs. PLDI 2013: 153-164
2012
[c58]
- view
  - electronic edition @ usenix.org
  - no references & citations available
- export record
  dblp key:
  - conf/hotpar/BurnimENS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotpar/BurnimENS12
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration. HotPar 2012
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/ppopp/BurnimENS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppopp/BurnimENS12
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
NDetermin: inferring nondeterministic sequential specifications for parallelism correctness. PPoPP 2012: 329-330
2011
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/asplos/BurnimNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asplos/BurnimNS11
Jacob Burnim, George C. Necula, Koushik Sen:
Specifying and checking semantic atomicity for multithreaded programs. ASPLOS 2011: 79-90
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BurnimENS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BurnimENS11
Jacob Burnim, Tayfun Elmas, George C. Necula, Koushik Sen:
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness. PLDI 2011: 401-414

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.