| Heuristics for scalable dynamic test generation J Burnim, K Sen Proceedings of the 2008 23rd IEEE/ACM international conference on automated …, 2008 | 639 | 2008 |
| WISE: Automated test generation for worst-case complexity J Burnim, S Juvekar, K Sen Proceedings of the 31st International Conference on Software Engineering …, 2009 | 176 | 2009 |
| Asserting and checking determinism for multithreaded programs J Burnim, K Sen Proceedings of the the 7th joint meeting of the European software …, 2009 | 93 | 2009 |
| Testing concurrent programs on relaxed memory models J Burnim, K Sen, C Stergiou Proceedings of the 2011 International Symposium on Software Testing and …, 2011 | 86 | 2011 |
| Sound and complete monitoring of sequential consistency for relaxed memory models J Burnim, K Sen, C Stergiou International Conference on Tools and Algorithms for the Construction and …, 2011 | 81 | 2011 |
| Looper: Lightweight detection of infinite loops at runtime J Burnim, N Jalbert, C Stergiou, K Sen Proceedings of the 2009 IEEE/ACM International Conference on Automated …, 2009 | 75 | 2009 |
| CONCURRIT: a domain specific language for reproducing concurrency bugs. T Elmas, J Burnim, GC Necula, K Sen Proceedings of the 34th ACM SIGPLAN Symposium on Programming Language Design …, 2013 | 45 | 2013 |
| System and method for targeting information items based on popularities of the information items U Mahadevan, JS Burnim US Patent 8,601,004, 2013 | 41 | 2013 |
| System and method for targeting advertisements or other information using user geographical information JS Burnim US Patent 7,949,714, 2011 | 33 | 2011 |
| Specifying and checking semantic atomicity for multithreaded programs J Burnim, G Necula, K Sen Proceedings of the sixteenth international conference on Architectural …, 2011 | 30 | 2011 |
| NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness J Burnim, T Elmas, G Necula, K Sen Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011 | 28 | 2011 |
| DETERMIN: inferring likely deterministic specifications of multithreaded programs J Burnim, K Sen Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010 | 25 | 2010 |
| CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration J Burnim, T Elmas, G Necula, K Sen Proceedings of the 2nd USENIX conference on Hot topics in Parallelism, 2012 | 17 | 2012 |
| Classical scaling of the quantum capacitances for molecular wires JC Ellenbogen, CA Picconatto, JS Burnim Physical Review A 75 (4), 042102, 2007 | 16 | 2007 |
| NDetermin: Inferring nondeterministic sequential specifications for parallelism correctness J Burnim, T Elmas, G Necula, K Sen Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of …, 2012 | 6 | 2012 |
| Path Slicing per Object for Better Testing, Debugging, and Usage Discovery S Juvekar, J Burnim, K Sen University of California, Berkeley, 2009 | 6 | 2009 |
| Separating functional and parallel correctness using nondeterministic sequential specifications J Burnim, G Necula, K Sen Proceedings of the 2nd USENIX conference on Hot topics in parallelism, 6-6, 2010 | 5 | 2010 |
| On the Scaling of Electronic Charge-Storing Memory Down to the Size of Molecules JS Burnim The MITRE Corporation, 2001 | 2 | 2001 |
| Concurrent assertion JS Burnim, M Musuvathi, S Qadeer US Patent 9,053,227, 2015 | | 2015 |
| Lightweight Specifications for Parallel Correctness J Burnim University of California, Berkeley, 2012 | | 2012 |
Koushik SenProfessor of Computer Science, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
