Result 1 to 20 of 133 total
Minimum satisfying assignments for SMT. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 394-409 (2012).
1
Interpolants as classifiers. (English)
Madhusudan, P. (ed.) et al., Computer aided verification. 24th international conference, CAV 2012, Berkeley, CA, USA, July 7‒13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31423-0/pbk). Lecture Notes in Computer Science 7358, 71-87 (2012).
2
Reasoning about lock placements. (English)
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 336-356 (2012).
3
Simplifying loop invariant generation using splitter predicates. (English)
Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 703-719 (2011).
4
Data representation synthesis (English)
PLDI, 38-49 (2011).
5
Precise and compact modular procedure summaries for heap manipulating programs (English)
PLDI, 567-577 (2011).
6
io-port 70093203 Devito, Zach;
Joubert, Niels;
Palacios, Francisco;
Oakley, Stephen;
Medina, Montserrat;
Barrientos, Mike;
Elsen, Erich;
Ham, Frank;
Aiken, Alex;
Duraisamy, Karthik;
Darve, Eric;
Alonso, Juan;
Hanrahan, Pat
Liszt: a domain specific language for building portable mesh-based PDE solvers (English)
SC, 9 (2011).
7
Online detection of multi-component interactions in production systems (English)
DSN, 49-60 (2011).
8
Precise reasoning for programs using containers (English)
POPL, 187-200 (2011).
9
Testing atomicity of composed concurrent operations (English)
OOPSLA, 51-64 (2011).
10
Automatic fine-grain locking using shape properties (English)
OOPSLA, 225-242 (2011).
11
Simplifying loop invariant generation using splitter predicates (English)
CAV, 703-719 (2011).
12
Inferring data polymorphism in systems code (English)
SIGSOFT FSE, 332-342 (2011).
13
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia (English)
PPOPP, 13-24 (2011).
14
Data structure fusion. (English)
Ueda, Kazunori (ed.), Programming languages and systems. 8th Asian symposium, APLAS 2010, Shanghai, China, November 28‒December 1, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-17163-5/pbk). Lecture Notes in Computer Science 6461, 204-221 (2010).
15
Community epidemic detection using time-correlated anomalies. (English)
Jha, Somesh (ed.) et al., Recent advances in intrusion detection. 13th international symposium, RAID 2010, Ottawa, Ontario, Canada, September 15‒17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15511-6/pbk). Lecture Notes in Computer Science 6307, 360-381 (2010).
16
Small formulas for large programs: on-line constraint simplification in scalable static analysis. (English)
Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14‒16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 236-252 (2010).
17
Fluid updates: Beyond strong vs. weak updates. (English)
Gordon, Andrew D. (ed.), Programming languages and systems. 19th European symposium on programming, ESOP 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20‒28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11956-9/pbk). Lecture Notes in Computer Science 6012, 246-266 (2010).
18
A system to detect inconsistencies between a domain expert’s different perspectives on (classification) tasks. (English)
Koronacki, Jacek (ed.) et al., Advances in machine learning II. Dedicated to the memory of Professor Ryszard S. Michalski. Berlin: Springer (ISBN 978-3-642-05178-4/hbk; 978-3-642-05179-1/ebook). Studies in Computational Intelligence 263, 293-314 (2010).
19
A system to detect inconsistencies between a domain expert’s different perspectives on (Classification) tasks (English)
Advances in Machine Learning II, 293-314 (2010).
20
Result 1 to 20 of 133 total
Start
Contact
Print
General Help
